blob: 9144b03a1196ec0df32c111b16d50640e0aa514c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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 )
( cd coqprime && make )
export COQPATH="$(pwd)/bedrock:$(pwd)/coqprime${COQPATH:+:}$COQPATH"
make
|