Wasmtime GitHub notifications bot (Jun 30 2026 at 23:00): Wasmtime GitHub notifications bot (Jun 30 2026 at 23:00):avanhatt opened PR #13777 from avanhatt:isle-veri-slow-mul-fix to bytecodealliance:main:
For the ISLE verifier:
- Fix the
imulrule tagging logic, fixes #13773- Add basic verifier check (build and enumerate applicable rules/tags; skips invoking either solver) to CI to avoid accidental issues like this in the future.
Wasmtime GitHub notifications bot (Jun 30 2026 at 23:00):avanhatt requested alexcrichton for a review on PR #13777.
Wasmtime GitHub notifications bot (Jun 30 2026 at 23:00):avanhatt requested wasmtime-compiler-reviewers for a review on PR #13777.
Wasmtime GitHub notifications bot (Jun 30 2026 at 23:00):avanhatt requested wasmtime-default-reviewers for a review on PR #13777.
Wasmtime GitHub notifications bot (Jun 30 2026 at 23:05):avanhatt updated PR #13777.
Wasmtime GitHub notifications bot (Jun 30 2026 at 23:06):avanhatt edited PR #13777:
For the ISLE verifier:
- Fix the
imulrule tagging logic, fixes #13773- Add basic verifier check (build and enumerate applicable rules/tags; skips invoking either solver) to CI to avoid accidental issues like this in the future. This runs in about 55 seconds on my machine.
CC @fitzgen, @cfallin
Wasmtime GitHub notifications bot (Jun 30 2026 at 23:21)::thumbs_up: alexcrichton submitted PR review.
Wasmtime GitHub notifications bot (Jun 30 2026 at 23:21):alexcrichton added PR #13777 VeriISLE: fix imul rule tagging, add basic (no solver) CI check to the merge queue.
Wasmtime GitHub notifications bot (Jun 30 2026 at 23:45)::check: alexcrichton merged PR #13777.
Wasmtime GitHub notifications bot (Jun 30 2026 at 23:45):alexcrichton removed PR #13777 VeriISLE: fix imul rule tagging, add basic (no solver) CI check from the merge queue.
Last updated: Jul 29 2026 at 05:03 UTC