aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
blob: 0a28789cdcc4ad6fcf941e2650dcdf0d1ec2ee27 (plain)
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
# 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/saturated_solinas.exe
src/ExtractionOCaml/unsaturated_solinas.exe
src/ExtractionOCaml/word_by_word_montgomery.exe
src/ExtractionOCaml/*.cmi
src/ExtractionOCaml/*.cmx
src/ExtractionOCaml/*.ml
src/ExtractionOCaml/*.o