LICENSE
README.md
pyproject.toml
lemmapy/__init__.py
lemmapy/agentio.py
lemmapy/api.py
lemmapy/cli.py
lemmapy/failures.py
lemmapy/hints.py
lemmapy/lsp.py
lemmapy/repair.py
lemmapy/report.py
lemmapy.egg-info/PKG-INFO
lemmapy.egg-info/SOURCES.txt
lemmapy.egg-info/dependency_links.txt
lemmapy.egg-info/entry_points.txt
lemmapy.egg-info/requires.txt
lemmapy.egg-info/top_level.txt
lemmapy/backends/__init__.py
lemmapy/backends/dafny/__init__.py
lemmapy/backends/dafny/driver.py
lemmapy/backends/dafny/encoder.py
lemmapy/backends/dafny/preamble.py
lemmapy/backends/runtime/__init__.py
lemmapy/backends/runtime/emit.py
lemmapy/benchmark/__init__.py
lemmapy/benchmark/exam.py
lemmapy/benchmark/experiment.py
lemmapy/benchmark/mutate.py
lemmapy/benchmark/runner.py
lemmapy/benchmark/specexam.py
lemmapy/difftest/__init__.py
lemmapy/difftest/harness.py
lemmapy/frontend/__init__.py
lemmapy/frontend/conformance.py
lemmapy/frontend/extract.py
lemmapy/frontend/parse.py
lemmapy/frontend/typegate.py
lemmapy/guards/__init__.py
lemmapy/guards/emitter.py
lemmapy/guards/runtime.py
tests/test_agentio.py
tests/test_api.py
tests/test_benchmark.py
tests/test_cli_check.py
tests/test_cli_hunt.py
tests/test_conformance.py
tests/test_contact_examples.py
tests/test_dafny_encoder.py
tests/test_dafny_verify.py
tests/test_difftest.py
tests/test_difftest_cli.py
tests/test_emit_runtime.py
tests/test_exam_artifacts.py
tests/test_experiment.py
tests/test_failures.py
tests/test_guards.py
tests/test_hints.py
tests/test_lsp.py
tests/test_parse.py
tests/test_probes.py
tests/test_repair.py
tests/test_repair_exam.py
tests/test_report.py
tests/test_spec_exam.py
tests/test_typegate.py