Back to pull request #6029

feat: BitVec normalization rule for udiv by twoPow #6246

Sign in to view logs

Triggered via pull request November 11, 2024 09:32

bollu

synchronize #6029

opencompl:simproc-udiv-two-pow

Status Success

Total duration 30s

Billable time 1m

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files