blob: 91a6c8142115114f55b828c7f2986de87a3bfba4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Fiat-Crypto: Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives
-----
... which would make a good paper title.
NOTE: The gibhub.com repo is only intermittently synced with
github.mit.edu. If you're in CSAIL, you should pull from the
github.mit.edu repo.
To build:
export COQPATH="$(pwd)/coqprime${COQPATH:+:}$COQPATH"
make
|