LICENSE
NOTICE
README.md
pyproject.toml
src/svgap/__init__.py
src/svgap/__main__.py
src/svgap/adjudication.py
src/svgap/audit.py
src/svgap/challenge.py
src/svgap/cli.py
src/svgap/demo.py
src/svgap/functional.py
src/svgap/legibility.py
src/svgap/manifest.py
src/svgap/model.py
src/svgap/onboarding.py
src/svgap/pilot.py
src/svgap/provenance.py
src/svgap/reporting.py
src/svgap/study.py
src/svgap/submission.py
src/svgap/validation.py
src/svgap.egg-info/PKG-INFO
src/svgap.egg-info/SOURCES.txt
src/svgap.egg-info/dependency_links.txt
src/svgap.egg-info/entry_points.txt
src/svgap.egg-info/requires.txt
src/svgap.egg-info/top_level.txt
src/svgap/backends/__init__.py
src/svgap/backends/base.py
src/svgap/backends/reference_yosys.py
src/svgap/backends/registry.py
src/svgap/demo_assets/tb.sv
src/svgap/demo_assets/safe/design.sv
src/svgap/demo_assets/safe/manifest.toml
src/svgap/demo_assets/unsafe/design.sv
src/svgap/demo_assets/unsafe/manifest.toml
tests/test_adjudication.py
tests/test_audit.py
tests/test_backends.py
tests/test_challenge.py
tests/test_check_fail_on.py
tests/test_demo.py
tests/test_examples.py
tests/test_generation_command.py
tests/test_imported_functional.py
tests/test_legibility_onboarding.py
tests/test_manifest.py
tests/test_pilot.py
tests/test_reporting.py
tests/test_result_registry.py
tests/test_schema.py
tests/test_study.py
tests/test_submission.py
tests/test_synthetic_review.py
tests/test_validation.py