LICENSE
README.md
pyproject.toml
cpre/__init__.py
cpre/__main__.py
cpre/_arguments.py
cpre/_coverage_integers.py
cpre/_expansion_output.py
cpre/_has_include.py
cpre/_lines.py
cpre/_pragma_syntax.py
cpre/_replacement.py
cpre/_rescan.py
cpre/_substitution.py
cpre/_types.py
cpre/analysis.py
cpre/api.py
cpre/configuration.py
cpre/coverage.py
cpre/cpre.py
cpre/discovery.py
cpre/errors.py
cpre/expansion.py
cpre/expressions.py
cpre/include_queries.py
cpre/includes.py
cpre/lexer.py
cpre/macro_analysis.py
cpre/macro_environment.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/serialization.py
cpre/structure.py
cpre/symbolic.py
cpre/text_reports.py
cpre/unknown_macros.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
cpre/cli/__init__.py
cpre/cli/_common.py
cpre/cli/analyze.py
cpre/cli/boolean_expression.py
cpre/cli/cover.py
cpre/cli/has_include_answers.py
cpre/cli/pragma_options.py
cpre/cli/preprocess.py
cpre/cli/preprocess_configuration.py
cpre/cli/simplify_macros.py
tests/test_analysis_telemetry.py
tests/test_boolean_queries.py
tests/test_cgull_migration_profile.py
tests/test_cgull_symbolic_migration_profile.py
tests/test_cli_config_from.py
tests/test_cli_cover.py
tests/test_cli_errors.py
tests/test_cli_has_include.py
tests/test_cli_limits.py
tests/test_cli_macro_options.py
tests/test_cli_pragmas.py
tests/test_cli_preprocess.py
tests/test_cli_sarif_errors.py
tests/test_cli_stdin.py
tests/test_cli_structure.py
tests/test_cli_test_input.py
tests/test_cli_version.py
tests/test_compiler_differential.py
tests/test_concrete_configuration.py
tests/test_configuration_from_source.py
tests/test_coverage.py
tests/test_coverage_integer_comparisons.py
tests/test_documentation.py
tests/test_downstream_compatibility.py
tests/test_downstream_contract.py
tests/test_dump_macros.py
tests/test_expansion_stages.py
tests/test_function_expansion.py
tests/test_has_include.py
tests/test_has_include_from_resolver.py
tests/test_import_layering.py
tests/test_include_resolution.py
tests/test_independent_components.py
tests/test_internal_modularization.py
tests/test_issue_120_skip_settled_names.py
tests/test_issue_133_has_include_exists.py
tests/test_issue_148_directive_whitespace.py
tests/test_issue_149_stringify_spacing.py
tests/test_issue_150_comment_across_directive.py
tests/test_issue_158_condition_error_line.py
tests/test_issue_159_self_referential_condition.py
tests/test_issue_169_directive_line.py
tests/test_json_contract.py
tests/test_lexer.py
tests/test_line_model.py
tests/test_macro_assumptions.py
tests/test_macro_environment.py
tests/test_macro_expansion.py
tests/test_macro_operator_regressions.py
tests/test_macro_rewrite_workflow.py
tests/test_macro_simplification.py
tests/test_macro_simplification_properties.py
tests/test_macro_symbolic_literals.py
tests/test_module_entrypoint.py
tests/test_numeric_character_soundness.py
tests/test_numeric_conditions.py
tests/test_omitted_variadic_argument.py
tests/test_partial_analysis.py
tests/test_pcpp_differential.py
tests/test_pragmas.py
tests/test_predefined_context.py
tests/test_preprocess_entry_point.py
tests/test_preprocessing.py
tests/test_preprocessing_completion.py
tests/test_preprocessing_units.py
tests/test_preprocessor_conditions.py
tests/test_preprocessor_properties.py
tests/test_public_api.py
tests/test_report_builders.py
tests/test_resource_limits.py
tests/test_sarif.py
tests/test_skip_includes.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_typing_configuration.py
tests/test_unknown_macros.py
tests/test_va_opt_context.py
tests/test_version_bump_check.py