The distribution of size of files (measured in lines of code).
File | # lines | # units |
---|---|---|
bignum_modinv.ml in arm/proofs |
4606 | - |
bignum_modinv.ml in x86/proofs |
4493 | - |
bignum_coprime.ml in arm/proofs |
3250 | - |
bignum_kmul_32_64.ml in x86/proofs |
3085 | - |
bignum_coprime.ml in x86/proofs |
2955 | - |
bignum_montifier.ml in x86/proofs |
2951 | - |
bignum_modifier.ml in x86/proofs |
2948 | - |
bignum_montifier.ml in arm/proofs |
2719 | - |
bignum_modifier.ml in arm/proofs |
2715 | - |
components.ml in common |
2555 | - |
bignum_amontifier.ml in x86/proofs |
2423 | - |
x86.ml in x86/proofs |
2371 | - |
relational.ml in common |
2312 | - |
bignum_amontifier.ml in arm/proofs |
2226 | - |
bignum_kmul_32_64.ml in arm/proofs |
2097 | - |
bignum_ksqr_32_64.ml in x86/proofs |
2013 | - |
decode.ml in x86/proofs |
1912 | - |
bignum_emontredc_8n.ml in x86/proofs |
1854 | - |
bignum_cdiv.ml in x86/proofs |
1824 | - |
bignum_kmul_16_32.ml in x86/proofs |
1803 | - |
bignum_cdiv.ml in arm/proofs |
1746 | - |
bignum_montmul_p521.ml in arm/proofs |
1637 | - |
bignum_mul_p521.ml in arm/proofs |
1630 | - |
bignum_montmul_p384.ml in arm/proofs |
1628 | - |
bignum_ksqr_32_64.ml in arm/proofs |
1461 | - |
bignum_cmod.ml in x86/proofs |
1293 | - |
bignum_kmul_16_32.ml in arm/proofs |
1271 | - |
bignum_montsqr_p521.ml in arm/proofs |
1234 | - |
bignum_cmod.ml in arm/proofs |
1204 | - |
bignum_ksqr_16_32.ml in x86/proofs |
1200 | - |
instruction.ml in arm/proofs |
1160 | - |
bignum_emontredc_8n.ml in arm/proofs |
1140 | - |
bignum_sqr_p521.ml in arm/proofs |
1128 | - |
bignum_kmul_32_64.S in x86/fastmul |
1099 | - |
bignum_kmul_32_64.S in x86_att/fastmul |
1098 | - |
bignum_montmul_p256.ml in arm/proofs |
1082 | - |
bignum_montredc.ml in x86/proofs |
1036 | - |
bignum_kmul_32_64.S in arm/fastmul |
1013 | - |
bignum_montsqr_p384.ml in arm/proofs |
1011 | - |
interval.ml in common |
980 | - |
misc.ml in common |
955 | - |
bignum_amontredc.ml in x86/proofs |
947 | - |
bignum_montredc.ml in arm/proofs |
941 | - |
bignum_montmul.ml in x86/proofs |
922 | - |
bignum_montsqr.ml in x86/proofs |
894 | - |
bignum_montmul_p521.ml in x86/proofs |
889 | - |
decode.ml in arm/proofs |
865 | - |
bignum_amontredc.ml in arm/proofs |
858 | - |
bignum_amontmul.ml in x86/proofs |
851 | - |
bignum_ksqr_16_32.ml in arm/proofs |
845 | - |
File | # lines | # units |
---|---|---|
benchmark.c in benchmarks |
594 | 12 |
There are 82 files with lines longer than 120 characters. In total, there are 84 long lines.
File | # lines | # units | # long lines |
---|---|---|---|
cloudformation.yml in codebuild |
369 | - | 2 |
s2n-bignum.h in include |
191 | - | 2 |
bignum_triple_p384_alt.ml in x86/proofs |
232 | - | 1 |
bignum_sqr_p521.ml in x86/proofs |
640 | - | 1 |
bignum_sub_p521.ml in x86/proofs |
162 | - | 1 |
bignum_montsqr_p384_alt.ml in x86/proofs |
638 | - | 1 |
bignum_neg_p521.ml in x86/proofs |
142 | - | 1 |
bignum_add_p384.ml in x86/proofs |
164 | - | 1 |
bignum_sub_p384.ml in x86/proofs |
149 | - | 1 |
bignum_demont_p521.ml in x86/proofs |
179 | - | 1 |
bignum_mul_p521.ml in x86/proofs |
786 | - | 1 |
bignum_mod_n384_6.ml in x86/proofs |
150 | - | 1 |
bignum_deamont_p521.ml in x86/proofs |
305 | - | 1 |
bignum_double_p521.ml in x86/proofs |
139 | - | 1 |
bignum_mod_p384_6.ml in x86/proofs |
142 | - | 1 |
bignum_montmul_p384_alt.ml in x86/proofs |
725 | - | 1 |
bignum_half_p521.ml in x86/proofs |
178 | - | 1 |
bignum_deamont_p384_alt.ml in x86/proofs |
327 | - | 1 |
bignum_cmul_p521.ml in x86/proofs |
346 | - | 1 |
bignum_mod_n384.ml in x86/proofs |
475 | - | 1 |