Create rule coverage functionality - #833

Closed

moritz-gross wants to merge 16 commits into

moritz-gross:create-rule-coverage-functionality

Commits on Sep 23, 2026

v1 of rule coverage report
moritz-gross
committed
2a84c0b

Commits on Sep 26, 2026

Merge branch 'main' into create-rule-coverage-functionality
moritz-gross
committed
c31293b
Add Python script to generate Markdown and HTML rule coverage reports
moritz-gross
committed
d95a021
clarify name of logfiles
moritz-gross
committed
fe42cf8
Switch rule coverage events to JSONL format
moritz-gross
committed
d0c5184
switch to jinja2 templates
moritz-gross
committed
7b025f1
Exclude Unicode mapping files from rule coverage report and improve report generation
moritz-gross
committed
9667b81
Exclude definition files from rule coverage report and update related documentation
moritz-gross
committed
8c7aebf
Add hit counts and test details to rule coverage report
moritz-gross
committed
a030a23
fix title
moritz-gross
committed
bcecc32
Simplify rule coverage event recording
moritz-gross
committed
80622d0
Stream rule coverage events and trim unused report fields
moritz-gross
committed
a1ce78a
Suppress unused variable warning when `rule-coverage` feature is disabled
moritz-gross
committed
4133764
Migrate `rule_coverage` implementation to a dedicated `rulecoverage` package, separating logic, templates, and CLI.
moritz-gross
committed
34add29
uv run ruff format
moritz-gross
committed
ca3000f
Merge branch 'main' into create-rule-coverage-functionality
moritz-gross
committed
38d9ac4