The algorithm to generate matchers took a long time to be discovered and refined to its present version. The rest of mgen is mostly boring engineering. Extensive fuzzing ensures that the two core components of mgen (tables and matchers generation) are correct on specific problem instances. |
||
---|---|---|
.. | ||
mgen | ||
abi8.py | ||
abifuzz.sh | ||
callgen.ml | ||
cra.sh | ||
lexh.c | ||
pmov.c | ||
test.sh | ||
vatest.py |