forked from mit-plv/fiat-crypto
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitignore
139 lines (133 loc) · 3.77 KB
/
.gitignore
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
# 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
# coq
*.aux
*.d
*.glob
*.vio
*.vo
CoqMakefile.conf
Makefile.bak
Makefile.coq
Makefile.coq.conf
Makefile.coq.bak
Makefile-old.conf
csdp.cache
lia.cache
nlia.cache
nia.cache
nra.cache
.csdp.cache
.lia.cache
.nlia.cache
.nia.cache
.nra.cache
/remake_curves.log
/finished.ok
/time-of-build-pretty.log
/time-of-build.log
/*.out
# compilation outputs
/*.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/saturated_solinas.exe
src/ExtractionHaskell/unsaturated_solinas.exe
src/ExtractionHaskell/word_by_word_montgomery.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/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/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