Skip to content

RQ-58-SELDSL (#242): 24 new Rocq-proved rules (50 -> 74) — dynamic-imm folds, width conversions, select family — each deleting the hand-written emission it supersedes - #1004

Merged
avrabe merged 16 commits into
mainfrom
feat/sel-dsl-rules-50-to-70-242
Aug 19, 2026
Merged

RQ-58-SELDSL (#242): 24 new Rocq-proved rules (50 -> 74) — dynamic-imm folds, width conversions, select family — each deleting the hand-written emission it supersedes#1004
avrabe merged 16 commits into
mainfrom
feat/sel-dsl-rules-50-to-70-242

chore(#867): re-bank model-coverage census — 24 new DSL rules add Vcr…

91cb6d5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar