LICENSE
README.md
pyproject.toml
bisim/__init__.py
bisim/_runner.py
bisim/address.py
bisim/canon.py
bisim/cli.py
bisim/core.py
bisim/evalbench.py
bisim/extract.py
bisim/fmt.py
bisim/gitcheck.py
bisim/gitdiff.py
bisim/llm.py
bisim/merge.py
bisim/mint.py
bisim/mintcli.py
bisim/probes.py
bisim/reach.py
bisim/reachcli.py
bisim/registry.py
bisim/sandbox.py
bisim/store.py
bisim/target.py
bisim/witness.py
bisim.egg-info/PKG-INFO
bisim.egg-info/SOURCES.txt
bisim.egg-info/dependency_links.txt
bisim.egg-info/entry_points.txt
bisim.egg-info/requires.txt
bisim.egg-info/top_level.txt
tests/test_address.py
tests/test_branches.py
tests/test_canon.py
tests/test_classes.py
tests/test_cli.py
tests/test_core.py
tests/test_coverage.py
tests/test_decorated.py
tests/test_effects.py
tests/test_evalbench.py
tests/test_extract.py
tests/test_gitdiff.py
tests/test_llm.py
tests/test_merge.py
tests/test_mint.py
tests/test_mint_classes.py
tests/test_probes.py
tests/test_reach.py
tests/test_registry.py
tests/test_sandbox.py
tests/test_setup_cmds.py
tests/test_smoke.py
tests/test_target.py
tests/test_witness.py