README.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

[![Build Status](https://api.travis-ci.org/mit-plv/fiat-crypto.png?branch=master)](https://travis-ci.org/mit-plv/fiat-crypto)

Fiat-Crypto: Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives
-----

NOTE: The github.com repo is only intermittently synced with
github.mit.edu.

To build (if your COQPATH variable is empty):

    make

To build (Coq 8.5):

	export COQPATH="$(pwd)/coqprime${COQPATH:+:}$COQPATH"
	make

To build with Coq 8.4

	export COQPATH="$(pwd)/coqprime-8.4${COQPATH:+:}$COQPATH"
	make