Skip to main content

Browse the archive

https://github.com/mit-plv/fiat-crypto
12 July 2022, 18:24:35 UTC
Revision 72fe0dddee5e6dceeab0b8a2e6a745abf5287d3e authored by Jason Gross on 15 July 2021, 00:27:45 UTC, committed by Jason Gross on 15 July 2021, 00:28:57 UTC 
make perf csv
 
```
make COQBIN="$HOME/.local64/coq/coq-8.11.1/bin/" SKIP_BEDROCK2=1 TIMED=1 --output-sync perf-csv
```
1 parent f020c4e
Raw File
Tip revision: 72fe0dddee5e6dceeab0b8a2e6a745abf5287d3e authored by Jason Gross on 15 July 2021, 00:27:45 UTC
make perf csv
Tip revision: 72fe0dd
COPYRIGHT 
SPDX-License-Identifier: MIT OR Apache-2.0 OR BSD-1-Clause

Fiat Cryptography is licensed under the MIT License <LICENSE-MIT> or
<http://opensource.org/licenses/MIT>, the Apache License, Version 2.0
<LICENSE-APACHE> or <http://www.apache.org/licenses/LICENSE-2.0>, or
the BSD 1-Clause License <LICENSE-BSD-1> or
<https://spdx.org/licenses/BSD-1-Clause.html>, at your option.
back to top