From 974789055ff8183521cd9fb641ec40dadd2c80c4 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 15 Jun 2016 14:20:11 -0400 Subject: Update README so it's good for both github.com and github.mit.edu --- README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 4486c7f76..91a6c8142 100644 --- a/README.md +++ b/README.md @@ -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" -- cgit v1.2.3