tree 809e7ab6522c3243b634663d350f4af70f6ff0f5
parent 25ab623a86be1e202771f197846a6e4e8aca3520
author David Benjamin <davidben@google.com> 1587657116 -0400
committer CQ bot account: commit-bot@chromium.org <commit-bot@chromium.org> 1587671407 +0000

Tidy up third_party/fiat.

Originally, when we imported fiat-crypto field operations, the pipeline
was in early stages and the generated code had to be manually integrated
with the rest of the curve implementation, so we moved all our
supporting code to third_party/fiat for simplicity. Over time more
supporting code, like the table generators, landed there to be next to
its callers.

fiat-crypto now generates standalone files which we #include into the
supporting code. This moves the supporting code back to the usual
location. It also updates the README.md file to reflect the new
pipeline. (Most of it was a documentation of the old pipeline, which was
much more manual.)

Change-Id: I64db7235feb6566f0d3cd4db3a7146050edaf25a
Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/40904
Commit-Queue: David Benjamin <davidben@google.com>
Reviewed-by: Adam Langley <agl@google.com>