Rewriter v0.0.2

A pre-release tag for use with Fiat Cryptography v0.0.12 and a non-dev opam package.

What's Changed

• Use simple notypeclasses refine in transparent assert by @JasonGross in #24
• Future proof mod_bound_nonneg by @mrhaandi in #25
• Prove wf_smart_App_curried by @JasonGross in #26
• Overlay for coq/coq#14224 by @jfehrle in #27
• Switch to a heterogenous base_interp_beq by @JasonGross in #28
• Adapt to Coq PR #14379: change of semantics of Reserved Infix "'o'" by @herbelin in #29
• Add support for seprate ml files for Coq 8.15 by @JasonGross in #31
• Adapting to Coq PR #14711: Evd.check_univ_decl returns also the universe binders by @herbelin in #30
• Adapt w.r.t. coq/coq#14903. by @ppedrot in #32
• [CI] Update Coq versions by @JasonGross in #33
• Bump etc/coq-scripts from 1ad4075 to c34a5e9 by @dependabot in #35
• Bump etc/coq-scripts from c34a5e9 to 3be05c7 by @dependabot in #36
• Add util lemmas ported from fiat-crypto by @JasonGross in #37
• adapt to coq/coq#15220 by @gares in #34
• Bump actions/checkout from 2 to 3 by @dependabot in #38
• Bump etc/coq-scripts from 3be05c7 to 7e68a28 by @dependabot in #39

New Contributors

• @mrhaandi made their first contribution in #25
• @jfehrle made their first contribution in #27
• @dependabot made their first contribution in #35
• @gares made their first contribution in #34

Full Changelog: v0.0.1...v0.0.2