Generating programs for circuit-based programming languages by leveraging a BNF-style meta-language, which is used to describe the program. The tool takes this as input, generates an AST from it, then outputs a program.
See wiki for more details.
- Dependencies
./scripts/setup/setup_env.sh- Run
uv run scripts/run.pyto run fuzzer and differential testing.
To run fuzzer on its own, setup cmake build dir using
./scripts/setup/setup_build.shthen running build/fuzzer.
- Use
converage htmlto generate html for coverage report
See dev for dev-specific docs
- Only GCC/clang compilers due to some use of GCC pragmas
- >= C++20 required