Skip to content
Check for copyright header

fix: handling BitVec.ofNat with Nat fvars in bv_decide #4936

Sign in to view logs

fix: handling BitVec.ofNat with Nat fvars in bv_decide

fix: handling BitVec.ofNat with Nat fvars in bv_decide #4936

Triggered via pull request September 26, 2024 21:22
@hargoniXhargoniX
opened #5484
hbv/fix_bv_decide_nat
Status Success
Total duration 35s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
27s
check-lean-files
Fit to window
Zoom out
Zoom in