Skip to content

[verifier] Generalize shift check_eval to be symbolic over Channel::Elem

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

Generalize shift verifier to be symbolic over Channel::Elem #1444

[verifier] Generalize shift check_eval to be symbolic over Channel::Elem
6515422
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
wasm-vanilla-build
succeeded Apr 8, 2026 in 24s