Skip to content

feat: redundant rule detection via polynomial overhead comparison (#193)#194

Merged
GiggleLiu merged 27 commits intomainfrom
jg/redundant-rule-detection
Mar 10, 2026
Merged

feat: redundant rule detection via polynomial overhead comparison (#193)#194
GiggleLiu merged 27 commits intomainfrom
jg/redundant-rule-detection

Commits

Commits on Mar 9, 2026

Commits on Mar 10, 2026