mit-plv/fiat-crypto v0.0.12 on GitHub

What's Changed

General:
- Compatibility with Haskell 9.2.1 by @JasonGross in #1048
- [CLI] Give precedence to the final argument on the command-line by @JasonGross in #1097
- Add encode_word and copy to PushButtonSynthesis by @JasonGross in #1103
- Fixed some performance issues with List.rev l -> List.rev_append l [] by @JasonGross in #1106
- Felem cswap by @DIJamner in #1128
JSON:
- Add option --emit-all-casts and use it in JSON by @JasonGross in #1107
C:
- Inline all functions in C, even in clang by @JasonGross in #1165
Experimental Assembly Equivalence Checker:
- Add a pass for turning unary operations into truncations by @JasonGross in #1098
- Add support for checking callee-saved registers by @JasonGross in #1096
- Enable const folding for mul asm by @JasonGross in #1127
- Better explanation of unification error messages by @JasonGross in #1136
- adding shl shlx to mul * imm by @dderjoel in #1123
- Parameterize over dereference_scalar in more places by @JasonGross in #1161
- Better equivalence checking errors in the face of bad loads by @JasonGross in #1163
- Mem extension (part 1) by @JasonGross in #1166

Full Changelog: v0.0.11...v0.0.12