Bedrock2 v0.0.2

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

What's Changed

• add in-memory uint128 add for 32-bit by @andres-erbsen in #240
• try out SepCalls in lightbulb.v by @andres-erbsen in #244
• Add support for metrics in the FlatToRiscvFunctions and FlattenExpr passes by @pratapsingh1729 in #246
• Adapt w.r.t. coq/coq#16004 by @Alizter in #250
• Name Coq builds so they are more stable across updates by @JasonGross in #258
• Fix probable typo introduced in bcd4bcf by @JasonGross in #265
• Faster ensure_free by @JasonGross in #267
• Memmove by @andres-erbsen in #275
• add memequal, memswap, memconst by @andres-erbsen in #277
• Python instead of sed by @andres-erbsen in #276
• Add CI tests for Windows and Mac by @JasonGross in #272
• speed up WeakestPreconditionProofs by @andres-erbsen in #280

New Contributors

• @pratapsingh1729 made their first contribution in #246
• @Alizter made their first contribution in #250

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