https://github.com/mit-plv/fiat-crypto
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 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
.gitignore
# vim
[._]*.s[a-v][a-z]
[._]*.sw[a-p]
[._]s[a-v][a-z]
[._]sw[a-p]

# emacs
*~
\#*\#
/.emacs.desktop
/.emacs.desktop.lock
*.elc
auto-save-list
tramp
.\#*

# misc
*.pyc
zig-cache

# java
*.class
fiat-java/doc

# coq
.*.aux
.*.d
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
*.o
*.v.d
*.vio
*.vo
*.vok
*.vos
.coq-native
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache
native_compute_profile_*.data

# generated timing files
*.timing.diff
*.v.after-timing
*.v.before-timing
*.v.timing
time-of-build-after.log
time-of-build-before.log
time-of-build-both.log
time-of-build-pretty.log

*.d
Makefile.bak
Makefile.coq
Makefile.coq.conf
Makefile.coq.bak
Makefile-coq.conf

/remake_curves.log
/finished.ok
/time-of-build-pretty.log
/time-of-build.log

/*.out
/*.out.processed
output-tests/*.expected.processed

# OCaml
*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa

# ocamlbuild working directory
_build/

# ocamlbuild targets
*.byte
*.native

# oasis generated files
setup.data
setup.log

/_CoqProject

# Merlin configuring file for Vim and Emacs
.merlin

# Dune generated files
*.install

# Local OPAM switch
_opam/

# compilation outputs
*.exe
/*.o
etc/tscfreq
src/Specific/NISTP256/AMD64/feadd.c
src/Specific/NISTP256/AMD64/feadd.h
src/Specific/NISTP256/AMD64/femul.c
src/Specific/NISTP256/AMD64/femul.h
src/Specific/NISTP256/AMD64/fenz.c
src/Specific/NISTP256/AMD64/fenz.h
src/Specific/NISTP256/AMD64/feopp.c
src/Specific/NISTP256/AMD64/feopp.h
src/Specific/NISTP256/AMD64/fesub.c
src/Specific/NISTP256/AMD64/fesub.h
src/Specific/NISTP256/AMD64/icc/measure
src/Specific/NISTP256/AMD64/icc/p256_test
src/Specific/NISTP256/AMD64/measure
src/Specific/NISTP256/AMD64/test/feadd_test
src/Specific/NISTP256/AMD64/test/femul_test
src/Specific/NISTP256/AMD64/test/p256_test
src/Specific/NISTP256/AMD128/feadd.c
src/Specific/NISTP256/AMD128/feadd.h
src/Specific/NISTP256/AMD128/femul.c
src/Specific/NISTP256/AMD128/femul.h
src/Specific/NISTP256/AMD128/fenz.c
src/Specific/NISTP256/AMD128/fenz.h
src/Specific/NISTP256/AMD128/feopp.c
src/Specific/NISTP256/AMD128/feopp.h
src/Specific/NISTP256/AMD128/fesub.c
src/Specific/NISTP256/AMD128/fesub.h
src/Specific/NISTP256/AMD128/icc/measure
src/Specific/NISTP256/AMD128/icc/p256_test
src/Specific/NISTP256/AMD128/measure
src/Specific/NISTP256/AMD128/test/feadd_test
src/Specific/NISTP256/AMD128/test/femul_test
src/Specific/NISTP256/AMD128/test/p256_test
src/Specific/X25519/C64/femul.c
src/Specific/X25519/C64/femul.h
src/Specific/X25519/C64/fesquare.c
src/Specific/X25519/C64/fesquare.h
src/Specific/X25519/C64/ladderstep.c
src/Specific/X25519/C64/ladderstep.h
src/Specific/X25519/C64/freeze.c
src/Specific/X25519/C64/freeze.h
src/Specific/X25519/C64/measure
src/Specific/X25519/C64/test
src/Specific/X25519/C32/femul.c
src/Specific/X25519/C32/femul.h
src/Specific/X25519/C32/fesquare.c
src/Specific/X25519/C32/fesquare.h
src/Specific/X25519/C32/ladderstep.c
src/Specific/X25519/C32/ladderstep.h
src/Specific/X25519/C32/freeze.c
src/Specific/X25519/C32/freeze.h
src/Specific/X25519/C32/measure
src/Specific/X25519/C32/test
src/Specific/X2448/Karatsuba/C64/femul.c
src/Specific/X2448/Karatsuba/C64/femul.h
third_party/openssl-curve25519/measure
third_party/openssl-nistp256c64/measure
third_party/openssl-nistz256-adx/measure
third_party/openssl-nistz256-amd64/measure
third_party/openssl-nistz256/measure
third_party/curve25519-donna-c64/measure
src/ExtractionHaskell/saturated_solinas
src/ExtractionHaskell/unsaturated_solinas
src/ExtractionHaskell/word_by_word_montgomery
src/ExtractionHaskell/base_conversion
src/ExtractionHaskell/saturated_solinas.exe
src/ExtractionHaskell/unsaturated_solinas.exe
src/ExtractionHaskell/word_by_word_montgomery.exe
src/ExtractionHaskell/base_conversion.exe
src/ExtractionHaskell/*.hi
src/ExtractionHaskell/*.hs
src/ExtractionHaskell/*.o
src/ExtractionOCaml/saturated_solinas
src/ExtractionOCaml/unsaturated_solinas
src/ExtractionOCaml/word_by_word_montgomery
src/ExtractionOCaml/base_conversion
src/ExtractionOCaml/bedrock2_saturated_solinas
src/ExtractionOCaml/bedrock2_unsaturated_solinas
src/ExtractionOCaml/bedrock2_word_by_word_montgomery
src/ExtractionOCaml/bedrock2_base_conversion
src/ExtractionOCaml/perf_unsaturated_solinas
src/ExtractionOCaml/perf_word_by_word_montgomery
src/ExtractionOCaml/saturated_solinas.exe
src/ExtractionOCaml/unsaturated_solinas.exe
src/ExtractionOCaml/word_by_word_montgomery.exe
src/ExtractionOCaml/base_conversion.exe
src/ExtractionOCaml/bedrock2_saturated_solinas.exe
src/ExtractionOCaml/bedrock2_unsaturated_solinas.exe
src/ExtractionOCaml/bedrock2_word_by_word_montgomery.exe
src/ExtractionOCaml/bedrock2_base_conversion.exe
src/ExtractionOCaml/perf_unsaturated_solinas.exe
src/ExtractionOCaml/perf_word_by_word_montgomery.exe
src/ExtractionOCaml/*.cmi
src/ExtractionOCaml/*.cmx
src/ExtractionOCaml/*.ml
src/ExtractionOCaml/*.o
src/Rewriter/PerfTesting/Specific/generated/*.v
#src/Rewriter/PerfTesting/Specific/generated/*.log
src/Rewriter/PerfTesting/Specific/generated/*.sh
src/Rewriter/PerfTesting/Specific/generated/primes.mk

# Rust
/fiat-rust/Cargo.lock
/fiat-rust/target/


# Misc
native_compute_profile_*.data
back to top