mit-plv/fiat-crypto v0.0.7

Fiat Cryptography v0.0.7

on GitHub

Last (pre-)release before moving the inversion-c files to a new folder.

Contains the following changes, among others:

• Fix a bug in parsing 0x<num1>e<num2>
• Fix a timing issue in the BY inversion template
• C Stringification: prepend __extension__ before the typedef with __int128; This allows the generated C code to compile with gcc and -Wpedantic.
• Adjust style of generated Go code to be more in line with standard Go
• New Zig backend