blob: 4486c7f765d51849ba6afbf9cffcc394bb5dbee7 (
plain)
1
2
3
4
5
6
7
8
9
|
Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives
-----
... which would make a good paper title.
To build:
export COQPATH="$(pwd)/coqprime${COQPATH:+:}$COQPATH"
make
|