File age measurements show the distribution of file ages (days since the first commit) and the recency of file updates (days since the latest commit).
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
s2n-bignum.h in include |
191 | - | 4 | 339 | 55 |
bignum_modinv.ml in arm/proofs |
4606 | - | 112 | 236 | 2 |
bignum_modinv.ml in x86/proofs |
4493 | - | 103 | 236 | 3 |
bignum_coprime.ml in arm/proofs |
3250 | - | 218 | 236 | 2 |
bignum_coprime.ml in x86/proofs |
2955 | - | 103 | 236 | 3 |
bignum_montifier.ml in x86/proofs |
2951 | - | 236 | 236 | 1 |
bignum_modifier.ml in x86/proofs |
2948 | - | 236 | 236 | 1 |
bignum_montifier.ml in arm/proofs |
2719 | - | 236 | 236 | 1 |
bignum_modifier.ml in arm/proofs |
2715 | - | 236 | 236 | 1 |
components.ml in common |
2555 | - | 220 | 236 | 3 |
bignum_amontifier.ml in x86/proofs |
2423 | - | 236 | 236 | 1 |
x86.ml in x86/proofs |
2371 | - | 103 | 236 | 8 |
relational.ml in common |
2312 | - | 236 | 236 | 1 |
bignum_amontifier.ml in arm/proofs |
2226 | - | 236 | 236 | 1 |
decode.ml in x86/proofs |
1912 | - | 186 | 236 | 3 |
bignum_emontredc_8n.ml in x86/proofs |
1854 | - | 209 | 236 | 2 |
bignum_kmul_16_32.ml in x86/proofs |
1803 | - | 216 | 236 | 3 |
bignum_montmul_p384.ml in arm/proofs |
1628 | - | 108 | 236 | 4 |
bignum_kmul_16_32.ml in arm/proofs |
1271 | - | 112 | 236 | 2 |
bignum_ksqr_16_32.ml in x86/proofs |
1200 | - | 162 | 236 | 3 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
base.ml in arm/proofs |
48 | - | 236 | 236 | 1 |
base.ml in x86/proofs |
48 | - | 236 | 236 | 1 |
word_clz.ml in arm/proofs |
53 | - | 236 | 236 | 1 |
word_ctz.ml in arm/proofs |
59 | - | 236 | 236 | 1 |
word_ctz.ml in x86/proofs |
61 | - | 236 | 236 | 1 |
bignum_odd.ml in arm/proofs |
65 | - | 236 | 236 | 1 |
word_clz.ml in x86/proofs |
67 | - | 236 | 236 | 1 |
bignum_even.ml in arm/proofs |
68 | - | 236 | 236 | 1 |
bignum_odd.ml in x86/proofs |
68 | - | 236 | 236 | 1 |
bignum_even.ml in x86/proofs |
70 | - | 236 | 236 | 1 |
bignum_nonzero.ml in arm/proofs |
91 | - | 236 | 236 | 1 |
bignum_iszero.ml in arm/proofs |
91 | - | 236 | 236 | 1 |
bignum_nonzero.ml in x86/proofs |
96 | - | 236 | 236 | 1 |
bignum_iszero.ml in x86/proofs |
97 | - | 236 | 236 | 1 |
word_negmodinv.ml in arm/proofs |
98 | - | 236 | 236 | 1 |
bignum_of_word.ml in arm/proofs |
110 | - | 236 | 236 | 1 |
bignum_digit.ml in arm/proofs |
110 | - | 236 | 236 | 1 |
bignum_digit.ml in x86/proofs |
112 | - | 236 | 236 | 1 |
bignum_mux.ml in arm/proofs |
116 | - | 236 | 236 | 1 |
word_negmodinv.ml in x86/proofs |
117 | - | 236 | 236 | 1 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
bignum_tomont_p384_alt.ml in x86/proofs |
511 | - | 4 | 5 | 2 |
bignum_mod_n384_alt.ml in x86/proofs |
476 | - | 4 | 5 | 2 |
bignum_mod_p384_alt.ml in x86/proofs |
459 | - | 4 | 5 | 2 |
bignum_deamont_p384_alt.ml in x86/proofs |
327 | - | 4 | 5 | 2 |
bignum_demont_p384_alt.ml in x86/proofs |
281 | - | 4 | 5 | 2 |
bignum_tomont_p384_alt.S in x86/p384 |
251 | - | 4 | 5 | 2 |
bignum_tomont_p384_alt.S in x86_att/p384 |
250 | - | 4 | 5 | 2 |
bignum_cmul_p384_alt.ml in x86/proofs |
236 | - | 4 | 5 | 2 |
bignum_triple_p384_alt.ml in x86/proofs |
232 | - | 4 | 5 | 2 |
bignum_mod_n384_alt.S in x86/p384 |
183 | - | 4 | 5 | 2 |
bignum_mod_n384_alt.S in x86_att/p384 |
182 | - | 4 | 5 | 2 |
bignum_mod_p384_alt.S in x86/p384 |
179 | - | 4 | 5 | 2 |
bignum_mod_p384_alt.S in x86_att/p384 |
178 | - | 4 | 5 | 2 |
bignum_cmul_p384_alt.S in x86/p384 |
140 | - | 4 | 5 | 2 |
bignum_cmul_p384_alt.S in x86_att/p384 |
139 | - | 4 | 5 | 2 |
bignum_deamont_p384_alt.S in x86/p384 |
137 | - | 4 | 5 | 2 |
bignum_deamont_p384_alt.S in x86_att/p384 |
136 | - | 4 | 5 | 2 |
bignum_triple_p384_alt.S in x86/p384 |
124 | - | 4 | 5 | 2 |
bignum_triple_p384_alt.S in x86_att/p384 |
123 | - | 4 | 5 | 2 |
bignum_demont_p384_alt.S in x86/p384 |
103 | - | 4 | 5 | 2 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
bignum_montmul_p384_alt.ml in x86/proofs |
725 | - | 4 | 7 | 2 |
bignum_montsqr_p384_alt.ml in x86/proofs |
638 | - | 4 | 7 | 2 |
bignum_montmul_p384_alt.ml in arm/proofs |
603 | - | 4 | 7 | 2 |
benchmark.c in benchmarks |
594 | 12 | 4 | 43 | 13 |
bignum_montsqr_p384_alt.ml in arm/proofs |
537 | - | 4 | 7 | 2 |
bignum_tomont_p384_alt.ml in x86/proofs |
511 | - | 4 | 5 | 2 |
bignum_mod_n384_alt.ml in x86/proofs |
476 | - | 4 | 5 | 2 |
bignum_mod_p384_alt.ml in x86/proofs |
459 | - | 4 | 5 | 2 |
bignum_montmul_p256_alt.ml in arm/proofs |
371 | - | 4 | 25 | 3 |
bignum_montmul_p256k1_alt.ml in arm/proofs |
331 | - | 4 | 38 | 4 |
bignum_deamont_p384_alt.ml in x86/proofs |
327 | - | 4 | 5 | 2 |
bignum_montmul_p384_alt.S in arm/p384 |
294 | - | 4 | 7 | 2 |
bignum_demont_p384_alt.ml in x86/proofs |
281 | - | 4 | 5 | 2 |
bignum_montsqr_p384_alt.S in x86/p384 |
278 | - | 4 | 7 | 2 |
bignum_montsqr_p384_alt.S in x86_att/p384 |
277 | - | 4 | 7 | 2 |
bignum_mul_6_12_alt.ml in x86/proofs |
276 | - | 4 | 12 | 2 |
bignum_mul_p256k1_alt.ml in arm/proofs |
262 | - | 4 | 38 | 4 |
bignum_tomont_p384_alt.S in x86/p384 |
251 | - | 4 | 5 | 2 |
bignum_tomont_p384_alt.S in x86_att/p384 |
250 | - | 4 | 5 | 2 |
bignum_montmul_p384_alt.S in x86/p384 |
245 | - | 4 | 7 | 2 |