LICENSE
README.md
pyproject.toml
deity_informant/__init__.py
deity_informant/c64.py
deity_informant/cli.py
deity_informant/frames.py
deity_informant/hello_world.py
deity_informant/layout.py
deity_informant/lifter.py
deity_informant/strided.py
deity_informant/trace.py
deity_informant/vm.py
deity_informant/wholeprog.py
deity_informant.egg-info/PKG-INFO
deity_informant.egg-info/SOURCES.txt
deity_informant.egg-info/dependency_links.txt
deity_informant.egg-info/entry_points.txt
deity_informant.egg-info/requires.txt
deity_informant.egg-info/top_level.txt
deity_informant/cgen/__init__.py
deity_informant/cgen/__main__.py
deity_informant/cgen/emit.py
deity_informant/cgen/mlir.py
deity_informant/cgen/printer.py
deity_informant/cgen/regions.py
deity_informant/sleigh/__init__.py
deity_informant/sleigh/build.py
deity_informant/sleigh/smc.py
deity_informant/sleigh/languages/6510.cspec
deity_informant/sleigh/languages/6510.ldefs
deity_informant/sleigh/languages/6510.pspec
deity_informant/sleigh/languages/6510.slaspec
deity_informant/sleigh/languages/6510_alu.sinc
deity_informant/sleigh/languages/6510_illegal.sinc
deity_informant/smc/__init__.py
deity_informant/smc/asm.py
deity_informant/smc/classify.py
deity_informant/smc/expect.py
deity_informant/smc/feasible.py
deity_informant/smc/generate.py
deity_informant/smc/machine.py
deity_informant/smc/oracle.py
deity_informant/smc/outcomes.py
deity_informant/smc/space.py
deity_informant/smc/synth.py
deity_informant/smc/synthm.py
tests/test_bdiff_mtrace_tools.py
tests/test_boundary.py
tests/test_c64.py
tests/test_carry_fuzz.py
tests/test_cgen.py
tests/test_cli.py
tests/test_corpussum_tool.py
tests/test_coverage.py
tests/test_cycletime.py
tests/test_decimal.py
tests/test_decimal_scan_tool.py
tests/test_decimal_sleigh.py
tests/test_decimal_wholeprog.py
tests/test_doclinks.py
tests/test_framediff_tool.py
tests/test_frames.py
tests/test_fuzzsweep_tool.py
tests/test_gen_pcode.py
tests/test_ghidra_layout.py
tests/test_guard_fuzz.py
tests/test_guard_proofs.py
tests/test_hello_world.py
tests/test_illegals.py
tests/test_induction.py
tests/test_layout.py
tests/test_layoutscore.py
tests/test_lifter.py
tests/test_mutsweep_tool.py
tests/test_native.py
tests/test_pcode2mlir.py
tests/test_pcodec.py
tests/test_perf_tools.py
tests/test_ptr_fuzz.py
tests/test_ptr_guards.py
tests/test_rowsdiff_tool.py
tests/test_sidcmp_tool.py
tests/test_smc.py
tests/test_smc_native.py
tests/test_throwaway.py
tests/test_traceequiv_tool.py
tests/test_vm.py
tests/test_vtools.py
tests/test_vtools_docker.py
tests/test_wholeprog.py
tests/test_wpbank_tool.py
tests/test_wpcorpus_tool.py
tests/test_wplift_tool.py
tests/test_wpsurvey_tool.py