Skip to content

refactor(bv): Simplify bv2nat mapping using right shifts#1320

Open
bclement-ocp wants to merge 3 commits into
OCamlPro:nextfrom
bclement-ocp:bclement/bv2nat-asr
Open

refactor(bv): Simplify bv2nat mapping using right shifts#1320
bclement-ocp wants to merge 3 commits into
OCamlPro:nextfrom
bclement-ocp:bclement/bv2nat-asr

refactor(bv): Simplify bv2nat mapping using right shifts

4fd9d98
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.