LICENSE
README.md
pyproject.toml
cpre/__init__.py
cpre/__main__.py
cpre/analysis.py
cpre/api.py
cpre/cli.py
cpre/configuration.py
cpre/cpre.py
cpre/discovery.py
cpre/errors.py
cpre/expansion.py
cpre/expressions.py
cpre/include_queries.py
cpre/macros.py
cpre/model.py
cpre/numeric_conditions.py
cpre/parser.py
cpre/pragmas.py
cpre/preprocessing.py
cpre/proofs.py
cpre/reporting.py
cpre/robdd.py
cpre/sarif.py
cpre/structure.py
cpre/symbolic.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_boolean_queries.py
tests/test_cgull_migration_profile.py
tests/test_cgull_symbolic_migration_profile.py
tests/test_cli_errors.py
tests/test_cli_sarif_errors.py
tests/test_concrete_configuration.py
tests/test_documentation.py
tests/test_downstream_compatibility.py
tests/test_downstream_contract.py
tests/test_function_expansion.py
tests/test_has_include.py
tests/test_internal_modularization.py
tests/test_macro_assumptions.py
tests/test_macro_environment.py
tests/test_macro_expansion.py
tests/test_macro_operator_regressions.py
tests/test_module_entrypoint.py
tests/test_numeric_character_soundness.py
tests/test_numeric_conditions.py
tests/test_pcpp_differential.py
tests/test_pragmas.py
tests/test_predefined_context.py
tests/test_preprocessing.py
tests/test_preprocessing_completion.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_structural_conditionals.py
tests/test_structural_downstream_contract.py
tests/test_structural_review_regressions.py
tests/test_structured_errors.py
tests/test_symbolic_public_api.py
tests/test_va_opt_context.py
tests/test_version.py