Release

Merge pull request #57 from JasonGross/opam

Add coq-bbv.opam file

8.16-8.19 Compatible Release

What's Changed

• Remove deprecated files in Coq.Arith by @Villetaneuse in #47
• adapt to rocq-prover/rocq#18730 by @andres-erbsen in #49

New Contributors

• @Villetaneuse made their first contribution in #47
• @andres-erbsen made their first contribution in #49

Full Changelog: v1.4...v1.5

8.14-8.18 Compatible Release

What's Changed

• Alternate adaptation w.r.t. rocq-prover/rocq#16004 by @JasonGross in #41
• Adapt w.r.t. rocq-prover/rocq#16904. by @ppedrot in #42
• Adapt to rocq-prover/rocq#16920 by @olaure01 in #43
• Adapt w.r.t. rocq-prover/rocq#16903. by @ppedrot in #44

New Contributors

• @ppedrot made their first contribution in #42
• @olaure01 made their first contribution in #43

Full Changelog: v1.3...v1.4

8.7-8.15 Compatible Release

What's Changed

• Make bbv compatible with Coq 8.7 by @JasonGross in #33
• Future proof NatLib and ZLib by @mrhaandi in #34
• modify pow2_inc by @thery in #35
• Adapt to rocq-prover/rocq#14819 by @proux01 in #36
• Avoid unary round-trip for binary literals by @bacam in #37
• Test more released versions of Coq by @JasonGross in #39

New Contributors

• @mrhaandi made their first contribution in #34
• @thery made their first contribution in #35
• @proux01 made their first contribution in #36
• @bacam made their first contribution in #37

Full Changelog: v1.2...v1.3

8.8.2-8.12.0 Compatible Release

v1.2

fix ppa name

Coq 8.9 Compatible Release

v1.1

added notation for string to binary

First Official Release

v1.0

targets for install and uninstall