LICENSE
README.md
pyproject.toml
cpre/__init__.py
cpre/__main__.py
cpre/analysis.py
cpre/api.py
cpre/cli.py
cpre/cpre.py
cpre/discovery.py
cpre/errors.py
cpre/expressions.py
cpre/model.py
cpre/parser.py
cpre/reporting.py
cpre/robdd.py
cpre/sarif.py
cpre.egg-info/PKG-INFO
cpre.egg-info/SOURCES.txt
cpre.egg-info/dependency_links.txt
cpre.egg-info/entry_points.txt
cpre.egg-info/requires.txt
cpre.egg-info/top_level.txt
tests/test_cli_errors.py
tests/test_cli_sarif_errors.py
tests/test_downstream_contract.py
tests/test_internal_modularization.py
tests/test_macro_assumptions.py
tests/test_module_entrypoint.py
tests/test_preprocessor_conditions.py
tests/test_preprocessor_properties.py
tests/test_public_api.py
tests/test_resource_limits.py
tests/test_sarif.py
tests/test_structured_errors.py
tests/test_version.py