diff options
| author |  Robert Sloan <varomodt@dhcp-18-189-51-40.dyn.MIT.EDU> | 2015-09-10 18:52:17 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@dhcp-18-189-51-40.dyn.MIT.EDU> | 2015-09-10 18:52:17 -0400 |
| commit | 2c7b377febf9f42de6c7313dfe4154efdfb90da1 (patch) | |
| tree | 3cd619d157fd7d228a9f534be23b3d23261bdf33 /README.md | |
| parent | f4e1d24da03c54fde2df41aa4a3d8ed17940004e (diff) | |
init our centralized repo
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -1,2 +1,11 @@ -# fiat-crypto -Cryptographic Primitive Code Generation in Fiat +Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives in Fiat +----- + +... which would make a good paper title. + +To build: + + ln -s <FIAT_DIR> fiat + (cd fiat && make fiat-core) + make + |