Releases: rocq-community/corn
Releases · rocq-community/corn
9.0.0
What's Changed
- Require Arith before using hintdb arith by @andres-erbsen in #215
- Remove useless
...by @SkySkimmer in #216 - ci: Add checks for 8.20 and 9.0 by @Lysxia in #217
- Update examples by @Lysxia in #218
New Contributors
Full Changelog: 8.20.0...9.0.0
Contributors
andres-erbsen, SkySkimmer, and Lysxia
Assets 2
8.20.0
What's Changed
- Update maintainer list in README. by @Zimmi48 in #207
- Adapt to rocq-prover/rocq#19530 by @proux01 in #208
- Re-implement PixMap writer in Elpi by @MSoegtropIMC in #209
- adapt to elpi 2.0 by @gares in #212
- Adapt to rocq-prover/rocq#19801 by @proux01 in #214
New Contributors
- @MSoegtropIMC made their first contribution in #209
Full Changelog: 8.19.0...8.20.0
Contributors
gares, Zimmi48, and 2 other contributors
Assets 2
Compatibility release for Coq 8.19
What's Changed
- Adapt to rocq-prover/rocq#18164 by @Villetaneuse in #202
- Adapt to rocq-prover/rocq#18590 by @proux01 in #203
- Adapt to rocq-prover/rocq#18880 by @proux01 in #205
- remove unneeded Ndigits dependency (adapt to rocq-prover/rocq#18936) by @andres-erbsen in #206
Full Changelog: 8.18.0...8.19.0
Contributors
andres-erbsen, proux01, and Villetaneuse
Assets 3
Compatibility release for Coq 8.18.
What's Changed
- Compatibility fixes for Coq 8.18 (for rocq-prover/rocq#16904, rocq-prover/rocq#16920 and rocq-prover/rocq#17564) by @ppedrot and @olaure01 in #175, #176 and #180
- Typo fix by @joaquimpuig in #178
- Remove support for untested versions of Coq by @anandadalton in #179
- Simplification of configure and many fixes of Coq deprecations by @anandadalton in #183, #184, #185, #186, #187, @anandadalton in #188, #189, #190, #191, #194, #195, @anandadalton in #197, #198
- Compatibility fix for the upcoming Coq 8.19 (for rocq-prover/rocq#6134) by @proux01 in #199
- Update testing to Coq 8.18 by @Zimmi48 in #201
New Contributors
- @joaquimpuig made their first contribution in #178
- @anandadalton made their first contribution in #179
Full Changelog: 8.16.0...8.18.0
Contributors
Zimmi48, ppedrot, and 4 other contributors
Assets 2
Compatibility release for Coq 8.16
This release is known to be compatible with Coq 8.11 to 8.16.
Compatibility release for Coq 8.13.0.
This release has been tested to be compatible with Coq 8.7-8.13. We expect that it will also be compatible with the upcoming Coq 8.14.
Compatible with 8.6 and up
Compatible with 8.6 and up