Skip to content
Nix CI

feat: recurrence for BitVec.mul as repeated shifts for bitblasting #62

Sign in to view logs

feat: recurrence for BitVec.mul as repeated shifts for bitblasting

feat: recurrence for BitVec.mul as repeated shifts for bitblasting #62

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix Linux
2m 31s
2m 31s