LICENSE
README.md
pyproject.toml
examples/off_by_one.cpp
examples/ring_buffer.cpp
src/veripp/__init__.py
src/veripp/agent.py
src/veripp/baseline.py
src/veripp/cache.py
src/veripp/cli.py
src/veripp/compdb.py
src/veripp/cppsig.py
src/veripp/esbmc.py
src/veripp/harness.py
src/veripp/llm.py
src/veripp/paths.py
src/veripp/sarif.py
src/veripp/scan.py
src/veripp/term.py
src/veripp/triage.py
src/veripp.egg-info/PKG-INFO
src/veripp.egg-info/SOURCES.txt
src/veripp.egg-info/dependency_links.txt
src/veripp.egg-info/entry_points.txt
src/veripp.egg-info/requires.txt
src/veripp.egg-info/top_level.txt
src/veripp/include/veripp/contracts.hpp
tests/test_action_summary.py
tests/test_baseline.py
tests/test_cache.py
tests/test_cli_ux.py
tests/test_delivery.py
tests/test_end_to_end.py
tests/test_harness.py
tests/test_multifile.py
tests/test_noise.py
tests/test_packaging.py
tests/test_parsing.py
tests/test_providers.py
tests/test_readme_promises.py
tests/test_sarif.py
tests/test_scan.py
tests/test_scan_tree.py
tests/test_sequence.py
tests/test_skill_commands.py
tests/test_structs.py
tests/test_triage.py
tests/test_vacuity.py