-
- Downloads
Merge branch 'ralf/bitvector' into 'master'
create new package for stdpp-bitvector library See merge request !542
No related branches found
No related tags found
Checking pipeline status
Showing
- CHANGELOG.md 6 additions, 0 deletionsCHANGELOG.md
- _CoqProject 5 additions, 2 deletions_CoqProject
- coq-stdpp-bitvector.opam 26 additions, 0 deletionscoq-stdpp-bitvector.opam
- coq-stdpp-unstable.opam 1 addition, 0 deletionscoq-stdpp-unstable.opam
- stdpp_bitvector/bitvector.v 3 additions, 0 deletionsstdpp_bitvector/bitvector.v
- stdpp_bitvector/definitions.v 1 addition, 3 deletionsstdpp_bitvector/definitions.v
- stdpp_bitvector/tactics.v 14 additions, 32 deletionsstdpp_bitvector/tactics.v
- stdpp_unstable/bitblast.v 21 additions, 0 deletionsstdpp_unstable/bitblast.v
- tests/bitvector_definitions.ref 0 additions, 0 deletionstests/bitvector_definitions.ref
- tests/bitvector_definitions.v 1 addition, 1 deletiontests/bitvector_definitions.v
- tests/bitvector_tactics.v 2 additions, 1 deletiontests/bitvector_tactics.v
Loading
Please register or sign in to comment