Request: Instructions to reproduce fiat-crypto files

[jhand2]

Would it be feasible to document the configurations were used to generate the fiat-crypto arithmetic used in this crate? In particular:

In particular:

• Which version of fiat-crypto was used as the source
• Which version of fiat-constify was used

This would help to be able to ensure the files in this crate match some specific fiat-crypto release.

[tarcieri]

We can have fiat-constify at least embed a comment in the transformed files.

It's somewhat annoying that in all of the comments fiat-crypto generates about its inputs, it doesn't include its own version. That might be something worth reporting upstream?

[tarcieri]

Something that might be interesting (especially as I'm pondering upgrading all of the backends) is turning fiat-constify into a tool that automates the entire code generation process, possibly with some kind of config file checked into the repo that says which of the various codegen options to use