diff options
author | Jason Gross <jgross@mit.edu> | 2016-06-15 14:20:11 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-06-15 14:20:11 -0400 |
commit | 974789055ff8183521cd9fb641ec40dadd2c80c4 (patch) | |
tree | 737f8de0d70e05180e00b013cc0b2b6e62519ab9 /README.md | |
parent | ff051043f926a15ed2575122791e1d7c57fe7ac1 (diff) |
Update README so it's good for both github.com and github.mit.edu
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,8 +1,12 @@ -Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives +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" |