README.md
pyproject.toml
src/cseq/__init__.py
src/cseq/_compat.py
src/cseq/acceptance.py
src/cseq/api.py
src/cseq/binary.py
src/cseq/cache.py
src/cseq/cli.py
src/cseq/compile_db.py
src/cseq/config.py
src/cseq/cpu_rules.py
src/cseq/dependencies.py
src/cseq/docs.py
src/cseq/dwarf.py
src/cseq/event_store.py
src/cseq/explain.py
src/cseq/fast_parser.py
src/cseq/html.py
src/cseq/html_bundle.py
src/cseq/hybrid_parser.py
src/cseq/linker.py
src/cseq/marker.py
src/cseq/model.py
src/cseq/parser.py
src/cseq/parser_contract_cases.json
src/cseq/parser_dependency_lock.json
src/cseq/parser_environment.py
src/cseq/parser_migration.py
src/cseq/plugin.py
src/cseq/project.py
src/cseq/query.py
src/cseq/runtime.py
src/cseq/runtime_address.py
src/cseq/runtime_cpu.py
src/cseq/scanner.py
src/cseq/sequence.py
src/cseq/server.py
src/cseq/source_index.py
src/cseq/static_store.py
src/cseq/trace_analysis.py
src/cseq/trace_diff.py
src/cseq/tree_sitter_parser.py
src/cseq/valueflow.py
src/cseq.egg-info/PKG-INFO
src/cseq.egg-info/SOURCES.txt
src/cseq.egg-info/dependency_links.txt
src/cseq.egg-info/entry_points.txt
src/cseq.egg-info/requires.txt
src/cseq.egg-info/top_level.txt
src/cseq/resources/README.md
src/cseq/resources/design.md
src/cseq/resources/verification_report.html
tests/test_acceptance.py
tests/test_alias_tier3.py
tests/test_analysis_cache.py
tests/test_binary.py
tests/test_cache.py
tests/test_cli.py
tests/test_compile_db.py
tests/test_config_cli_api.py
tests/test_cpu_rules.py
tests/test_differential.py
tests/test_dwarf.py
tests/test_event_store.py
tests/test_explain.py
tests/test_fast_compact_table.py
tests/test_folding_semantic.py
tests/test_fuzz.py
tests/test_golden.py
tests/test_guarded_regions.py
tests/test_html.py
tests/test_html_advanced.py
tests/test_html_bundle.py
tests/test_html_folding.py
tests/test_html_range_bundle.py
tests/test_html_runtime.py
tests/test_hybrid_parser.py
tests/test_linker_map.py
tests/test_marker.py
tests/test_parallel_cli.py
tests/test_parallel_parse.py
tests/test_parser.py
tests/test_parser_environment.py
tests/test_parser_migration.py
tests/test_plugin.py
tests/test_preprocessor_guard.py
tests/test_project_cache.py
tests/test_property.py
tests/test_query.py
tests/test_runtime.py
tests/test_runtime_address.py
tests/test_runtime_cpu_evidence.py
tests/test_scanner.py
tests/test_sequence.py
tests/test_sequence_regions.py
tests/test_server.py
tests/test_source_index.py
tests/test_static_store.py
tests/test_switch_regions.py
tests/test_trace_analysis.py
tests/test_trace_diff.py
tests/test_tree_sitter_large_tu.py
tests/test_tree_sitter_parser_contract.py
tests/test_valueflow.py