Skip to content

Merge branch 'master' into invariant-check-oveflows

0011afe
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Minimize unnecessary casts and check for overflows in witness invariants #1665

Merge branch 'master' into invariant-check-oveflows
0011afe
Select commit
Loading
Failed to load commit list.