coq-community/bits

A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]

CoqApache-2.0

Issues

Fix deprecated-hint-rewrite-without-locality warnings
#19 opened 3 years ago by anton-trunov
0
Switch axiom verification build tool from ocamlbuild to dune
#17 opened 3 years ago by anton-trunov
0
Introduce separate axiom verification Makefile targets for 8-bit and 16-bit cases
#16 opened 3 years ago by anton-trunov
0
make verify hangs
#13 opened 4 years ago by vzaliva
2
opam release
#6 opened 5 years ago by anton-trunov
1
Compatibility with Mathcomp 1.10 and Coq dev
#5 opened 5 years ago by anton-trunov
1
Use coq-community templates on this project
#2 opened 5 years ago by anton-trunov
1