README.md


1
2
3
4
5
6
7
8
9
10
11

Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives
-----

... which would make a good paper title.

To build:

    git clone git@github.mit.edu:plv/bedrock.git
    ( cd bedrock && $(MAKE) Bedrock/Word.vo )
    make