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