blob: 28e5da0445fdb95ae1283eedb1cdeca653ca0754 (
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
|
# 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
# compilation outputs
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/Experiments/NewPipeline/ExtractionHaskell/saturated_solinas
src/Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas
src/Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery
src/Experiments/NewPipeline/ExtractionHaskell/*.hi
src/Experiments/NewPipeline/ExtractionHaskell/*.hs
src/Experiments/NewPipeline/ExtractionHaskell/*.o
src/Experiments/NewPipeline/ExtractionOCaml/saturated_solinas
src/Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas
src/Experiments/NewPipeline/ExtractionOCaml/word_by_word_montgomery
src/Experiments/NewPipeline/ExtractionOCaml/*.cmi
src/Experiments/NewPipeline/ExtractionOCaml/*.cmx
src/Experiments/NewPipeline/ExtractionOCaml/*.ml
src/Experiments/NewPipeline/ExtractionOCaml/*.o
|
