diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-01-16 16:08:16 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-01-16 16:08:16 -0500 |
| commit | cd3721995eddd65aca6a5d0a6a305830352d5680 (patch) | |
| tree | 9701446eb033278ebac484e7ce675f05299d75d4 /README.md | |
| parent | 78618797b6947a2fcd1a4b68f08e32d8e2b9aa29 (diff) | |
remove fiat dependency
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,11 +1,11 @@ -Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives in Fiat +Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives ----- ... which would make a good paper title. To build: - ln -s <FIAT_DIR> fiat - (cd fiat && make fiat-core) + git clone git@github.mit.edu:plv/bedrock.git + ( cd bedrock && $(MAKE) Bedrock/Word.vo ) make |