Add optional extra-checks to Wasmi executor and make checking more consistent#1217
Merged
Robbepop merged 13 commits intomainfrom rf-use-unreachable-uncheckedOct 3, 2024
+216-56
Commits
Commits on Oct 2, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
