blob: fc87a9f0e5de87fe64f17fd7d579298f9f1b699d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives in Fiat
-----
... which would make a good paper title.
To build:
ln -s <FIAT_DIR> fiat
(cd fiat && make fiat-core)
make
|