Skip to content

feat(VCR-ISA-001): extend generate-not-mirror Rocq ISA model to nine i64 pseudo-ops (41→50)#773

Merged
avrabe merged 2 commits into
mainfrom
feat/45-vcr-isa-extend2
Jul 15, 2026
Merged

feat(VCR-ISA-001): extend generate-not-mirror Rocq ISA model to nine i64 pseudo-ops (41→50)#773
avrabe merged 2 commits into
mainfrom
feat/45-vcr-isa-extend2

docs(VCR-ISA-001): bump DSL rule + Qed counts for the nine i64 pseudo…

be9e6cb
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 15, 2026 in 0s

96.17% of diff hit (target 86.69%)

View this Pull Request on Codecov

96.17% of diff hit (target 86.69%)

View more details on Codecov