FStar.BV: expose bvshl, bvshr and bvmod with bit vector rhs #116
Triggered via pull request
November 29, 2023 23:13
amosr
Status
Success
Total duration
17m 56s
Artifacts
–