Skip to content

fix(bug): soundness and constraints for formal verification#101

Open
eason1981 wants to merge 12 commits into
mainfrom
formal-verification-fixes
Open

fix(bug): soundness and constraints for formal verification#101
eason1981 wants to merge 12 commits into
mainfrom
formal-verification-fixes

Revert "fix(memory): pin op_a to zero when rd = x0 in load instructions"

e128062
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

5 warnings
Format
succeeded Jun 5, 2026 in 19s