README.md


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