From cd3721995eddd65aca6a5d0a6a305830352d5680 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Sat, 16 Jan 2016 16:08:16 -0500 Subject: remove fiat dependency --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index fc87a9f0e..b969cb415 100644 --- a/README.md +++ b/README.md @@ -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 - (cd fiat && make fiat-core) + git clone git@github.mit.edu:plv/bedrock.git + ( cd bedrock && $(MAKE) Bedrock/Word.vo ) make -- cgit v1.2.3