path # lines of code number of updates days since first update days since last update first updated last updated codebuild/proofs.yml 16 5 61 50 2021-12-02 2021-12-13 codebuild/tests.yml 9 4 61 50 2021-12-02 2021-12-13 codebuild/cloudformation.yml 369 5 61 54 2021-12-02 2021-12-09 common/relational.ml 2312 1 236 236 2021-06-10 2021-06-10 common/records.ml 137 1 236 236 2021-06-10 2021-06-10 common/for_hollight.ml 158 1 236 236 2021-06-10 2021-06-10 common/overlap.ml 639 1 236 236 2021-06-10 2021-06-10 common/interval.ml 980 6 236 60 2021-06-10 2021-12-03 common/components.ml 2555 3 236 220 2021-06-10 2021-06-26 common/bignum.ml 788 7 236 82 2021-06-10 2021-11-11 common/elf.ml 134 1 236 236 2021-06-10 2021-06-10 common/words2.ml 401 1 236 236 2021-06-10 2021-06-10 common/misc.ml 955 8 236 89 2021-06-10 2021-11-04 x86/p384/bignum_montsqr_p384_alt.S 278 2 7 4 2022-01-25 2022-01-28 x86/p384/bignum_mod_n384.S 179 2 232 194 2021-06-14 2021-07-22 x86/p384/bignum_mod_p384_6.S 87 2 232 194 2021-06-14 2021-07-22 x86/p384/bignum_demont_p384_alt.S 103 2 5 4 2022-01-27 2022-01-28 x86/p384/bignum_deamont_p384.S 137 5 232 140 2021-06-14 2021-09-14 x86/p384/bignum_montsqr_p384.S 240 6 232 140 2021-06-14 2021-09-14 x86/p384/bignum_double_p384.S 99 2 232 194 2021-06-14 2021-07-22 x86/p384/bignum_optneg_p384.S 93 2 232 194 2021-06-14 2021-07-22 x86/p384/bignum_sub_p384.S 86 2 232 194 2021-06-14 2021-07-22 x86/p384/bignum_littleendian_6.S 61 1 96 96 2021-10-28 2021-10-28 x86/p384/bignum_add_p384.S 100 2 232 194 2021-06-14 2021-07-22 x86/p384/bignum_half_p384.S 80 2 232 194 2021-06-14 2021-07-22 x86/p384/bignum_triple_p384_alt.S 124 2 5 4 2022-01-27 2022-01-28 x86/p384/bignum_tomont_p384.S 230 6 232 123 2021-06-14 2021-10-01 x86/p384/bignum_triple_p384.S 119 5 232 4 2021-06-14 2022-01-28 x86/p384/bignum_mod_p384.S 177 2 232 194 2021-06-14 2021-07-22 x86/p384/bignum_mod_n384_alt.S 183 2 5 4 2022-01-27 2022-01-28 x86/p384/bignum_tomont_p384_alt.S 251 2 5 4 2022-01-27 2022-01-28 x86/p384/bignum_deamont_p384_alt.S 137 2 5 4 2022-01-27 2022-01-28 x86/p384/bignum_bigendian_6.S 77 4 220 96 2021-06-26 2021-10-28 x86/p384/bignum_demont_p384.S 103 5 232 140 2021-06-14 2021-09-14 x86/p384/bignum_montmul_p384_alt.S 245 2 7 4 2022-01-25 2022-01-28 x86/p384/bignum_mod_p384_alt.S 179 2 5 4 2022-01-27 2022-01-28 x86/p384/bignum_neg_p384.S 74 2 232 194 2021-06-14 2021-07-22 x86/p384/bignum_mux_6.S 65 4 218 150 2021-06-28 2021-09-04 x86/p384/bignum_cmul_p384.S 123 3 232 194 2021-06-14 2021-07-22 x86/p384/bignum_montmul_p384.S 230 6 232 140 2021-06-14 2021-09-14 x86/p384/bignum_mod_n384_6.S 89 2 232 194 2021-06-14 2021-07-22 x86/p384/bignum_nonzero_6.S 45 3 217 150 2021-06-29 2021-09-04 x86/p384/bignum_cmul_p384_alt.S 140 2 5 4 2022-01-27 2022-01-28 x86/generic/bignum_digitsize.S 52 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_lt.S 84 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_ctz.S 67 2 232 194 2021-06-14 2021-07-22 x86/generic/word_recip.S 117 2 110 97 2021-10-14 2021-10-27 x86/generic/bignum_modinv.S 587 7 232 18 2021-06-14 2022-01-14 x86/generic/bignum_sqr.S 139 3 95 18 2021-10-29 2022-01-14 x86/generic/bignum_modsub.S 67 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_cmod.S 186 1 81 81 2021-11-12 2021-11-12 x86/generic/bignum_cmnegadd.S 113 1 116 116 2021-10-08 2021-10-08 x86/generic/bignum_divmod10.S 71 1 84 84 2021-11-09 2021-11-09 x86/generic/bignum_mux.S 53 3 232 194 2021-06-14 2021-07-22 x86/generic/bignum_even.S 37 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_cmadd.S 105 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_montmul.S 204 3 232 194 2021-06-14 2021-07-22 x86/generic/bignum_pow2.S 60 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_amontredc.S 194 3 232 194 2021-06-14 2021-07-22 x86/generic/bignum_demont.S 161 3 232 194 2021-06-14 2021-07-22 x86/generic/bignum_gt.S 84 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_add.S 120 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_modifier.S 471 3 232 194 2021-06-14 2021-07-22 x86/generic/bignum_optsubadd.S 81 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_cdiv_exact.S 149 1 80 80 2021-11-13 2021-11-13 x86/generic/bignum_ge.S 84 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_montsqr.S 196 4 232 46 2021-06-14 2021-12-17 x86/generic/bignum_cmul.S 96 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_mul.S 116 3 232 97 2021-06-14 2021-10-27 x86/generic/bignum_copy.S 58 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_madd.S 121 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_digit.S 55 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_shl_small.S 90 2 232 194 2021-06-14 2021-07-22 x86/generic/word_max.S 35 1 117 117 2021-10-07 2021-10-07 x86/generic/bignum_mux16.S 68 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_iszero.S 45 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_moddouble.S 73 2 232 194 2021-06-14 2021-07-22 x86/generic/word_clz.S 37 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_montredc.S 208 3 232 194 2021-06-14 2021-07-22 x86/generic/bignum_normalize.S 100 3 232 194 2021-06-14 2021-07-22 x86/generic/bignum_optsub.S 67 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_sub.S 114 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_cld.S 54 2 232 194 2021-06-14 2021-07-22 x86/generic/word_ctz.S 36 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_montifier.S 470 3 232 194 2021-06-14 2021-07-22 x86/generic/word_negmodinv.S 60 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_ctd.S 54 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_bitfield.S 90 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_of_word.S 52 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_le.S 84 2 232 194 2021-06-14 2021-07-22 x86/generic/word_min.S 35 1 118 118 2021-10-06 2021-10-06 x86/generic/bignum_nonzero.S 45 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_eq.S 73 3 232 194 2021-06-14 2021-07-22 x86/generic/bignum_negmodinv.S 150 3 232 194 2021-06-14 2021-07-22 x86/generic/bignum_bitsize.S 68 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_coprime.S 417 4 232 145 2021-06-14 2021-09-09 x86/generic/bignum_muladd10.S 61 2 88 46 2021-11-05 2021-12-17 x86/generic/bignum_modadd.S 78 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_amontmul.S 195 3 232 194 2021-06-14 2021-07-22 x86/generic/bignum_shr_small.S 82 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_optadd.S 66 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_optneg.S 66 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_odd.S 36 2 232 194 2021-06-14 2021-07-22 x86/generic/bignum_cdiv.S 274 1 80 80 2021-11-13 2021-11-13 x86/generic/bignum_amontsqr.S 187 4 232 46 2021-06-14 2021-12-17 x86/generic/bignum_emontredc.S 121 3 232 194 2021-06-14 2021-07-22 x86/generic/bignum_modoptneg.S 74 2 232 194 2021-06-14 2021-07-22 x86/generic/word_bytereverse.S 32 2 224 194 2021-06-22 2021-07-22 x86/generic/bignum_clz.S 68 3 232 46 2021-06-14 2021-12-17 x86/generic/bignum_amontifier.S 403 3 232 194 2021-06-14 2021-07-22 x86/secp256k1/bignum_triple_p256k1.S 93 1 48 48 2021-12-15 2021-12-15 x86/secp256k1/bignum_mod_n256k1_4.S 75 1 47 47 2021-12-16 2021-12-16 x86/secp256k1/bignum_sub_p256k1.S 66 1 60 60 2021-12-03 2021-12-03 x86/secp256k1/bignum_mod_p256k1_4.S 64 1 47 47 2021-12-16 2021-12-16 x86/secp256k1/bignum_add_p256k1.S 76 1 49 49 2021-12-14 2021-12-14 x86/secp256k1/bignum_cmul_p256k1_alt.S 89 2 38 27 2021-12-25 2022-01-05 x86/secp256k1/bignum_neg_p256k1.S 65 1 47 47 2021-12-16 2021-12-16 x86/secp256k1/bignum_demont_p256k1.S 87 2 47 46 2021-12-16 2021-12-17 x86/secp256k1/bignum_montsqr_p256k1.S 167 1 46 46 2021-12-17 2021-12-17 x86/secp256k1/bignum_double_p256k1.S 74 1 48 48 2021-12-15 2021-12-15 x86/secp256k1/bignum_mul_p256k1_alt.S 157 2 38 27 2021-12-25 2022-01-05 x86/secp256k1/bignum_triple_p256k1_alt.S 94 2 38 27 2021-12-25 2022-01-05 x86/secp256k1/bignum_montsqr_p256k1_alt.S 163 2 38 27 2021-12-25 2022-01-05 x86/secp256k1/bignum_mul_p256k1.S 139 2 49 48 2021-12-14 2021-12-15 x86/secp256k1/bignum_montmul_p256k1.S 178 1 46 46 2021-12-17 2021-12-17 x86/secp256k1/bignum_tomont_p256k1.S 80 2 47 46 2021-12-16 2021-12-17 x86/secp256k1/bignum_sqr_p256k1.S 137 2 49 48 2021-12-14 2021-12-15 x86/secp256k1/bignum_tomont_p256k1_alt.S 89 2 38 27 2021-12-25 2022-01-05 x86/secp256k1/bignum_optneg_p256k1.S 72 1 47 47 2021-12-16 2021-12-16 x86/secp256k1/bignum_deamont_p256k1.S 114 2 47 46 2021-12-16 2021-12-17 x86/secp256k1/bignum_sqr_p256k1_alt.S 146 2 38 27 2021-12-25 2022-01-05 x86/secp256k1/bignum_half_p256k1.S 67 1 48 48 2021-12-15 2021-12-15 x86/secp256k1/bignum_cmul_p256k1.S 80 1 48 48 2021-12-15 2021-12-15 x86/secp256k1/bignum_montmul_p256k1_alt.S 175 2 38 27 2021-12-25 2022-01-05 x86/proofs/bignum_muladd10.ml 163 1 88 88 2021-11-05 2021-11-05 x86/proofs/bignum_sqr_p256k1.ml 287 2 49 48 2021-12-14 2021-12-15 x86/proofs/bignum_mod_p256k1_4.ml 179 1 47 47 2021-12-16 2021-12-16 x86/proofs/bignum_mod_n256_4.ml 130 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_triple_p384_alt.ml 232 2 5 4 2022-01-27 2022-01-28 x86/proofs/bignum_optneg.ml 196 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_le.ml 398 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_sqr_p521.ml 640 4 155 103 2021-08-30 2021-10-21 x86/proofs/bignum_modsub.ml 274 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_lt.ml 399 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_sub_p521.ml 162 2 204 112 2021-07-12 2021-10-12 x86/proofs/bignum_sub_p256k1.ml 135 1 60 60 2021-12-03 2021-12-03 x86/proofs/bignum_ge.ml 398 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_montsqr_p384_alt.ml 638 2 7 4 2022-01-25 2022-01-28 x86/proofs/bignum_eq.ml 281 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_neg_p256k1.ml 114 1 47 47 2021-12-16 2021-12-16 x86/proofs/bignum_sqr_6_12_alt.ml 232 2 11 4 2022-01-21 2022-01-28 x86/proofs/bignum_clz.ml 231 2 236 103 2021-06-10 2021-10-21 x86/proofs/bignum_bitsize.ml 218 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_mul_6_12_alt.ml 276 2 12 4 2022-01-20 2022-01-28 x86/proofs/bignum_negmodinv.ml 626 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_neg_p521.ml 142 2 147 108 2021-09-07 2021-10-16 x86/proofs/bignum_emontredc.ml 516 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_neg_p256.ml 118 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_add_p256k1.ml 182 1 49 49 2021-12-14 2021-12-14 x86/proofs/bignum_mul_p256k1.ml 319 2 49 48 2021-12-14 2021-12-15 x86/proofs/bignum_mod_p256.ml 421 3 236 108 2021-06-10 2021-10-16 x86/proofs/bignum_add_p384.ml 164 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_sub_p384.ml 149 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_demont_p521.ml 179 1 152 152 2021-09-02 2021-09-02 x86/proofs/word_negmodinv.ml 117 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_optsub.ml 197 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_mod_p256_4.ml 126 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_tomont_p256_alt.ml 323 1 18 18 2022-01-14 2022-01-14 x86/proofs/bignum_littleendian_4.ml 187 1 96 96 2021-10-28 2021-10-28 x86/proofs/bignum_mod_n256k1_4.ml 130 1 47 47 2021-12-16 2021-12-16 x86/proofs/bignum_sqr_6_12.ml 260 2 236 209 2021-06-10 2021-07-07 x86/proofs/make.ml 158 2 236 208 2021-06-10 2021-07-08 x86/proofs/word_bytereverse.ml 63 1 224 224 2021-06-22 2021-06-22 x86/proofs/bignum_demont.ml 716 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_mul_6_12.ml 331 2 236 209 2021-06-10 2021-07-07 x86/proofs/bignum_optneg_p256k1.ml 142 1 47 47 2021-12-16 2021-12-16 x86/proofs/bignum_triple_p256k1.ml 191 1 48 48 2021-12-15 2021-12-15 x86/proofs/bignum_mul_p521.ml 786 5 126 103 2021-09-28 2021-10-21 x86/proofs/bignum_sqr.ml 573 1 95 95 2021-10-29 2021-10-29 x86/proofs/bignum_mod_n384_6.ml 150 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_deamont_p521.ml 305 4 151 103 2021-09-03 2021-10-21 x86/proofs/bignum_montsqr.ml 894 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_madd.ml 537 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_sqr_4_8.ml 166 2 236 209 2021-06-10 2021-07-07 x86/proofs/bignum_mul_4_8.ml 198 2 236 209 2021-06-10 2021-07-07 x86/proofs/bignum_deamont_p256k1.ml 220 2 47 46 2021-12-16 2021-12-17 x86/proofs/bignum_littleendian_6.ml 191 1 96 96 2021-10-28 2021-10-28 x86/proofs/bignum_normalize.ml 452 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_montsqr_p256k1_alt.ml 313 2 38 27 2021-12-25 2022-01-05 x86/proofs/bignum_digit.ml 112 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_half_p256k1.ml 151 1 48 48 2021-12-15 2021-12-15 x86/proofs/bignum_of_word.ml 118 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_nonzero_6.ml 74 1 217 217 2021-06-29 2021-06-29 x86/proofs/word_ctz.ml 61 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_kmul_16_32.ml 1803 3 236 216 2021-06-10 2021-06-30 x86/proofs/bignum_montsqr_p256k1.ml 315 1 46 46 2021-12-17 2021-12-17 x86/proofs/bignum_double_p521.ml 139 3 202 103 2021-07-14 2021-10-21 x86/proofs/bignum_mux_6.ml 104 1 218 218 2021-06-28 2021-06-28 x86/proofs/bignum_mod_p384_6.ml 142 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_deamont_p256.ml 220 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_shl_small.ml 287 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_cmul_p256.ml 224 4 236 97 2021-06-10 2021-10-27 x86/proofs/bignum_cmul_p256_alt.ml 224 1 18 18 2022-01-14 2022-01-14 x86/proofs/bignum_cmadd.ml 491 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_mul_p256k1_alt.ml 303 2 38 27 2021-12-25 2022-01-05 x86/proofs/bignum_iszero.ml 97 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_cdiv.ml 1824 1 80 80 2021-11-13 2021-11-13 x86/proofs/bignum_sqr_8_16.ml 375 3 236 162 2021-06-10 2021-08-23 x86/proofs/word_max.ml 58 1 117 117 2021-10-07 2021-10-07 x86/proofs/bignum_montmul_p384_alt.ml 725 2 7 4 2022-01-25 2022-01-28 x86/proofs/bignum_moddouble.ml 362 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_cdiv_exact.ml 468 1 80 80 2021-11-13 2021-11-13 x86/proofs/bignum_modifier.ml 2948 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_ksqr_32_64.ml 2013 3 227 112 2021-06-19 2021-10-12 x86/proofs/bignum_amontsqr.ml 822 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_triple_p256k1_alt.ml 180 2 38 27 2021-12-25 2022-01-05 x86/proofs/bignum_half_p521.ml 178 2 200 194 2021-07-16 2021-07-22 x86/proofs/bignum_deamont_p384_alt.ml 327 2 5 4 2022-01-27 2022-01-28 x86/proofs/bignum_coprime.ml 2955 3 236 103 2021-06-10 2021-10-21 x86/proofs/bignum_montredc.ml 1036 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_cmul_p521.ml 346 3 186 108 2021-07-30 2021-10-16 x86/proofs/bignum_mod_n256_alt.ml 439 1 18 18 2022-01-14 2022-01-14 x86/proofs/bignum_sub_p256.ml 137 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_amontredc.ml 947 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_bigendian_6.ml 202 2 220 96 2021-06-26 2021-10-28 x86/proofs/bignum_triple_p256.ml 226 5 236 108 2021-06-10 2021-10-16 x86/proofs/bignum_mul.ml 447 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_divmod10.ml 227 1 84 84 2021-11-09 2021-11-09 x86/proofs/bignum_mux16.ml 270 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_mod_n384.ml 475 3 236 108 2021-06-10 2021-10-16 x86/proofs/bignum_cld.ml 208 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_montmul_p256k1.ml 345 1 46 46 2021-12-17 2021-12-17 x86/proofs/bignum_modadd.ml 334 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_triple_p384.ml 243 4 236 108 2021-06-10 2021-10-16 x86/proofs/bignum_gt.ml 399 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_cmul_p256k1_alt.ml 179 2 38 27 2021-12-25 2022-01-05 x86/proofs/bignum_montmul.ml 922 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_mod_p384_alt.ml 459 2 5 4 2022-01-27 2022-01-28 x86/proofs/bignum_half_p256.ml 146 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_demont_p256k1.ml 160 2 47 46 2021-12-16 2021-12-17 x86/proofs/bignum_montsqr_p256_alt.ml 415 1 25 25 2022-01-07 2022-01-07 x86/proofs/bignum_add_p521.ml 198 3 207 108 2021-07-09 2021-10-16 x86/proofs/word_min.ml 58 1 118 118 2021-10-06 2021-10-06 x86/proofs/bignum_tomont_p256.ml 366 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_cmnegadd.ml 466 1 116 116 2021-10-08 2021-10-08 x86/proofs/bignum_sub.ml 722 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_montmul_p256_alt.ml 451 1 25 25 2022-01-07 2022-01-07 x86/proofs/bignum_cmul.ml 363 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_amontmul.ml 851 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_ksqr_16_32.ml 1200 3 236 162 2021-06-10 2021-08-23 x86/proofs/bignum_shr_small.ml 279 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_mod_n521_9.ml 296 3 123 108 2021-10-01 2021-10-16 x86/proofs/bignum_cmod.ml 1293 1 81 81 2021-11-12 2021-11-12 x86/proofs/bignum_tomont_p384_alt.ml 511 2 5 4 2022-01-27 2022-01-28 x86/proofs/bignum_mod_p256_alt.ml 418 1 18 18 2022-01-14 2022-01-14 x86/proofs/bignum_montsqr_p256.ml 427 4 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_mod_p521_9.ml 223 3 189 108 2021-07-27 2021-10-16 x86/proofs/bignum_mux.ml 132 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_optneg_p256.ml 146 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_triple_p256_alt.ml 212 1 18 18 2022-01-14 2022-01-14 x86/proofs/bignum_tomont_p521.ml 314 3 120 108 2021-10-04 2021-10-16 x86/proofs/bignum_ctd.ml 175 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_cmul_p384.ml 238 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_tomont_p256k1_alt.ml 178 2 38 27 2021-12-25 2022-01-05 x86/proofs/bignum_optneg_p384.ml 160 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_montifier.ml 2951 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_cmul_p256k1.ml 174 1 48 48 2021-12-15 2021-12-15 x86/proofs/bignum_double_p256.ml 143 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_emontredc_8n.ml 1854 2 236 209 2021-06-10 2021-07-07 x86/proofs/bignum_montmul_p256.ml 450 4 236 112 2021-06-10 2021-10-12 x86/proofs/word_recip.ml 652 3 110 103 2021-10-14 2021-10-21 x86/proofs/bignum_cmul_p384_alt.ml 236 2 5 4 2022-01-27 2022-01-28 x86/proofs/bignum_montmul_p521.ml 889 4 125 103 2021-09-29 2021-10-21 x86/proofs/bignum_add_p256.ml 144 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_mod_p384.ml 468 3 236 108 2021-06-10 2021-10-16 x86/proofs/instruction.ml 399 3 236 186 2021-06-10 2021-07-30 x86/proofs/bignum_optsubadd.ml 265 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_montmul_p384.ml 746 4 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_nonzero_4.ml 72 1 217 217 2021-06-29 2021-06-29 x86/proofs/bignum_mux_4.ml 96 1 218 218 2021-06-28 2021-06-28 x86/proofs/bignum_add.ml 671 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_optneg_p521.ml 151 2 145 108 2021-09-09 2021-10-16 x86/proofs/bignum_pow2.ml 143 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_tomont_p384.ml 527 3 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_demont_p384.ml 282 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_demont_p384_alt.ml 281 2 5 4 2022-01-27 2022-01-28 x86/proofs/bignum_kmul_32_64.ml 3085 2 167 112 2021-08-18 2021-10-12 x86/proofs/bignum_ctz.ml 189 1 236 236 2021-06-10 2021-06-10 x86/proofs/decode.ml 1912 3 236 186 2021-06-10 2021-07-30 x86/proofs/bignum_double_p256k1.ml 202 1 48 48 2021-12-15 2021-12-15 x86/proofs/bignum_double_p384.ml 163 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_optadd.ml 183 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_even.ml 70 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_nonzero.ml 96 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_deamont_p384.ml 328 2 236 112 2021-06-10 2021-10-12 x86/proofs/base.ml 48 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_digitsize.ml 197 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_deamont_p256_alt.ml 198 1 18 18 2022-01-14 2022-01-14 x86/proofs/bignum_bigendian_4.ml 196 2 220 96 2021-06-26 2021-10-28 x86/proofs/bignum_mul_4_8_alt.ml 169 4 41 27 2021-12-22 2022-01-05 x86/proofs/bignum_modinv.ml 4493 3 236 103 2021-06-10 2021-10-21 x86/proofs/bignum_mod_n256.ml 438 3 236 108 2021-06-10 2021-10-16 x86/proofs/bignum_odd.ml 68 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_copy.ml 172 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_montsqr_p384.ml 675 4 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_demont_p256.ml 180 2 236 112 2021-06-10 2021-10-12 x86/proofs/bignum_sqr_p256k1_alt.ml 287 2 38 27 2021-12-25 2022-01-05 x86/proofs/bignum_sqr_4_8_alt.ml 151 2 41 39 2021-12-22 2021-12-24 x86/proofs/bignum_modoptneg.ml 219 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_mul_8_16.ml 496 3 236 195 2021-06-10 2021-07-21 x86/proofs/bignum_tomont_p256k1.ml 170 2 47 46 2021-12-16 2021-12-17 x86/proofs/bignum_triple_p521.ml 339 3 195 108 2021-07-21 2021-10-16 x86/proofs/bignum_mod_n384_alt.ml 476 2 5 4 2022-01-27 2022-01-28 x86/proofs/bignum_half_p384.ml 158 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_amontifier.ml 2423 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_bitfield.ml 251 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_demont_p256_alt.ml 166 1 18 18 2022-01-14 2022-01-14 x86/proofs/x86.ml 2371 8 236 103 2021-06-10 2021-10-21 x86/proofs/bignum_montmul_p256k1_alt.ml 329 2 38 27 2021-12-25 2022-01-05 x86/proofs/bignum_montsqr_p521.ml 750 4 154 103 2021-08-31 2021-10-21 x86/proofs/word_clz.ml 67 1 236 236 2021-06-10 2021-06-10 x86/proofs/bignum_neg_p384.ml 125 2 236 112 2021-06-10 2021-10-12 x86/p521/bignum_sqr_p521.S 254 5 155 18 2021-08-30 2022-01-14 x86/p521/bignum_mod_n521_9.S 120 3 123 18 2021-10-01 2022-01-14 x86/p521/bignum_sub_p521.S 92 2 204 194 2021-07-12 2021-07-22 x86/p521/bignum_half_p521.S 77 2 200 194 2021-07-16 2021-07-22 x86/p521/bignum_add_p521.S 99 2 207 194 2021-07-09 2021-07-22 x86/p521/bignum_mul_p521.S 355 3 126 18 2021-09-28 2022-01-14 x86/p521/bignum_mod_p521_9.S 95 1 189 189 2021-07-27 2021-07-27 x86/p521/bignum_demont_p521.S 78 1 152 152 2021-09-02 2021-09-02 x86/p521/bignum_deamont_p521.S 121 1 151 151 2021-09-03 2021-09-03 x86/p521/bignum_montmul_p521.S 376 3 125 18 2021-09-29 2022-01-14 x86/p521/bignum_triple_p521.S 128 2 195 194 2021-07-21 2021-07-22 x86/p521/bignum_optneg_p521.S 88 1 145 145 2021-09-09 2021-09-09 x86/p521/bignum_tomont_p521.S 111 1 120 120 2021-10-04 2021-10-04 x86/p521/bignum_cmul_p521.S 136 1 186 186 2021-07-30 2021-07-30 x86/p521/bignum_montsqr_p521.S 276 5 154 18 2021-08-31 2022-01-14 x86/p521/bignum_double_p521.S 69 4 202 150 2021-07-14 2021-09-04 x86/p521/bignum_neg_p521.S 84 1 147 147 2021-09-07 2021-09-07 x86/fastmul/bignum_mul_6_12_alt.S 135 2 12 4 2022-01-20 2022-01-28 x86/fastmul/bignum_sqr_6_12_alt.S 143 2 11 4 2022-01-21 2022-01-28 x86/fastmul/bignum_emontredc_8n.S 348 4 232 150 2021-06-14 2021-09-04 x86/fastmul/bignum_kmul_16_32.S 416 4 232 150 2021-06-14 2021-09-04 x86/fastmul/bignum_mul_8_16.S 208 5 232 150 2021-06-14 2021-09-04 x86/fastmul/bignum_ksqr_32_64.S 756 5 227 150 2021-06-19 2021-09-04 x86/fastmul/bignum_mul_4_8_alt.S 104 4 41 27 2021-12-22 2022-01-05 x86/fastmul/bignum_sqr_4_8.S 114 4 232 150 2021-06-14 2021-09-04 x86/fastmul/bignum_kmul_32_64.S 1099 4 167 137 2021-08-18 2021-09-17 x86/fastmul/bignum_ksqr_16_32.S 450 6 232 150 2021-06-14 2021-09-04 x86/fastmul/bignum_mul_4_8.S 127 4 232 150 2021-06-14 2021-09-04 x86/fastmul/bignum_sqr_8_16.S 252 5 232 150 2021-06-14 2021-09-04 x86/fastmul/bignum_sqr_6_12.S 178 5 232 150 2021-06-14 2021-09-04 x86/fastmul/bignum_sqr_4_8_alt.S 97 4 41 27 2021-12-22 2022-01-05 x86/fastmul/bignum_mul_6_12.S 161 4 232 150 2021-06-14 2021-09-04 x86/p256/bignum_tomont_p256_alt.S 158 1 18 18 2022-01-14 2022-01-14 x86/p256/bignum_montsqr_p256_alt.S 174 1 25 25 2022-01-07 2022-01-07 x86/p256/bignum_mod_p256_4.S 67 2 232 194 2021-06-14 2021-07-22 x86/p256/bignum_mod_n256.S 155 2 232 194 2021-06-14 2021-07-22 x86/p256/bignum_mod_p256.S 148 4 232 18 2021-06-14 2022-01-14 x86/p256/bignum_montmul_p256.S 152 6 232 140 2021-06-14 2021-09-14 x86/p256/bignum_mod_p256_alt.S 150 1 18 18 2022-01-14 2022-01-14 x86/p256/bignum_demont_p256_alt.S 102 1 18 18 2022-01-14 2022-01-14 x86/p256/bignum_deamont_p256.S 107 5 232 140 2021-06-14 2021-09-14 x86/p256/bignum_deamont_p256_alt.S 123 1 18 18 2022-01-14 2022-01-14 x86/p256/bignum_cmul_p256.S 100 3 232 194 2021-06-14 2021-07-22 x86/p256/bignum_triple_p256.S 104 3 232 194 2021-06-14 2021-07-22 x86/p256/bignum_montmul_p256_alt.S 168 3 25 18 2022-01-07 2022-01-14 x86/p256/bignum_demont_p256.S 84 5 232 140 2021-06-14 2021-09-14 x86/p256/bignum_double_p256.S 76 2 232 194 2021-06-14 2021-07-22 x86/p256/bignum_nonzero_4.S 43 3 217 150 2021-06-29 2021-09-04 x86/p256/bignum_optneg_p256.S 79 2 232 194 2021-06-14 2021-07-22 x86/p256/bignum_add_p256.S 76 2 232 194 2021-06-14 2021-07-22 x86/p256/bignum_sub_p256.S 67 2 232 194 2021-06-14 2021-07-22 x86/p256/bignum_half_p256.S 68 2 232 194 2021-06-14 2021-07-22 x86/p256/bignum_cmul_p256_alt.S 114 1 18 18 2022-01-14 2022-01-14 x86/p256/bignum_mod_n256_4.S 75 2 232 194 2021-06-14 2021-07-22 x86/p256/bignum_triple_p256_alt.S 106 1 18 18 2022-01-14 2022-01-14 x86/p256/bignum_mod_n256_alt.S 159 1 18 18 2022-01-14 2022-01-14 x86/p256/bignum_bigendian_4.S 70 4 220 96 2021-06-26 2021-10-28 x86/p256/bignum_mux_4.S 57 4 218 150 2021-06-28 2021-09-04 x86/p256/bignum_littleendian_4.S 57 1 96 96 2021-10-28 2021-10-28 x86/p256/bignum_neg_p256.S 71 2 232 194 2021-06-14 2021-07-22 x86/p256/bignum_tomont_p256.S 151 5 232 140 2021-06-14 2021-09-14 x86/p256/bignum_montsqr_p256.S 153 6 232 140 2021-06-14 2021-09-14 arm/p384/bignum_montsqr_p384_alt.S 228 2 7 4 2022-01-25 2022-01-28 arm/p384/bignum_mod_n384.S 165 7 236 4 2021-06-10 2022-01-28 arm/p384/bignum_mod_p384_6.S 73 4 236 140 2021-06-10 2021-09-14 arm/p384/bignum_deamont_p384.S 124 8 236 4 2021-06-10 2022-01-28 arm/p384/bignum_montsqr_p384.S 315 6 236 140 2021-06-10 2021-09-14 arm/p384/bignum_double_p384.S 82 4 236 140 2021-06-10 2021-09-14 arm/p384/bignum_optneg_p384.S 85 4 236 140 2021-06-10 2021-09-14 arm/p384/bignum_sub_p384.S 74 4 236 140 2021-06-10 2021-09-14 arm/p384/bignum_littleendian_6.S 161 1 96 96 2021-10-28 2021-10-28 arm/p384/bignum_add_p384.S 86 4 236 140 2021-06-10 2021-09-14 arm/p384/bignum_half_p384.S 76 4 236 140 2021-06-10 2021-09-14 arm/p384/bignum_tomont_p384.S 122 8 236 4 2021-06-10 2022-01-28 arm/p384/bignum_triple_p384.S 111 6 236 4 2021-06-10 2022-01-28 arm/p384/bignum_mod_p384.S 148 6 236 4 2021-06-10 2022-01-28 arm/p384/bignum_bigendian_6.S 162 8 220 96 2021-06-26 2021-10-28 arm/p384/bignum_demont_p384.S 100 8 236 4 2021-06-10 2022-01-28 arm/p384/bignum_montmul_p384_alt.S 294 2 7 4 2022-01-25 2022-01-28 arm/p384/bignum_neg_p384.S 72 4 236 140 2021-06-10 2021-09-14 arm/p384/bignum_mux_6.S 64 6 218 97 2021-06-28 2021-10-27 arm/p384/bignum_cmul_p384.S 128 6 236 4 2021-06-10 2022-01-28 arm/p384/bignum_montmul_p384.S 355 6 236 140 2021-06-10 2021-09-14 arm/p384/bignum_mod_n384_6.S 80 5 236 140 2021-06-10 2021-09-14 arm/p384/bignum_nonzero_6.S 46 4 217 140 2021-06-29 2021-09-14 arm/generic/bignum_digitsize.S 51 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_lt.S 84 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_ctz.S 69 4 236 140 2021-06-10 2021-09-14 arm/generic/word_recip.S 104 1 110 110 2021-10-14 2021-10-14 arm/generic/bignum_modinv.S 508 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_sqr.S 118 1 95 95 2021-10-29 2021-10-29 arm/generic/bignum_modsub.S 67 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_cmod.S 158 1 81 81 2021-11-12 2021-11-12 arm/generic/bignum_cmnegadd.S 112 1 116 116 2021-10-08 2021-10-08 arm/generic/bignum_divmod10.S 66 1 84 84 2021-11-09 2021-11-09 arm/generic/bignum_mux.S 50 5 236 140 2021-06-10 2021-09-14 arm/generic/bignum_even.S 35 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_cmadd.S 102 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_montmul.S 171 5 236 140 2021-06-10 2021-09-14 arm/generic/bignum_pow2.S 56 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_amontredc.S 157 5 236 140 2021-06-10 2021-09-14 arm/generic/bignum_demont.S 140 5 236 140 2021-06-10 2021-09-14 arm/generic/bignum_gt.S 84 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_add.S 117 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_modifier.S 412 5 236 140 2021-06-10 2021-09-14 arm/generic/bignum_optsubadd.S 78 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_cdiv_exact.S 138 1 80 80 2021-11-13 2021-11-13 arm/generic/bignum_ge.S 84 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_montsqr.S 170 6 236 46 2021-06-10 2021-12-17 arm/generic/bignum_cmul.S 94 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_mul.S 98 5 236 97 2021-06-10 2021-10-27 arm/generic/bignum_copy.S 58 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_madd.S 106 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_digit.S 55 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_shl_small.S 88 4 236 140 2021-06-10 2021-09-14 arm/generic/word_max.S 34 1 117 117 2021-10-07 2021-10-07 arm/generic/bignum_mux16.S 62 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_iszero.S 44 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_moddouble.S 70 4 236 140 2021-06-10 2021-09-14 arm/generic/word_clz.S 31 3 236 140 2021-06-10 2021-09-14 arm/generic/bignum_montredc.S 171 5 236 140 2021-06-10 2021-09-14 arm/generic/bignum_normalize.S 98 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_optsub.S 63 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_sub.S 114 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_cld.S 51 4 236 140 2021-06-10 2021-09-14 arm/generic/word_ctz.S 40 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_montifier.S 411 5 236 140 2021-06-10 2021-09-14 arm/generic/word_negmodinv.S 68 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_ctd.S 50 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_bitfield.S 82 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_of_word.S 45 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_le.S 84 4 236 140 2021-06-10 2021-09-14 arm/generic/word_min.S 34 1 118 118 2021-10-06 2021-10-06 arm/generic/bignum_nonzero.S 44 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_eq.S 74 5 236 140 2021-06-10 2021-09-14 arm/generic/bignum_negmodinv.S 123 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_bitsize.S 64 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_coprime.S 370 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_muladd10.S 59 1 88 88 2021-11-05 2021-11-05 arm/generic/bignum_modadd.S 79 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_amontmul.S 162 5 236 140 2021-06-10 2021-09-14 arm/generic/bignum_shr_small.S 81 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_optadd.S 63 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_optneg.S 63 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_odd.S 34 4 236 140 2021-06-10 2021-09-14 arm/generic/bignum_cdiv.S 235 1 80 80 2021-11-13 2021-11-13 arm/generic/bignum_amontsqr.S 161 6 236 46 2021-06-10 2021-12-17 arm/generic/bignum_emontredc.S 100 5 236 140 2021-06-10 2021-09-14 arm/generic/bignum_modoptneg.S 71 4 236 140 2021-06-10 2021-09-14 arm/generic/word_bytereverse.S 42 4 224 140 2021-06-22 2021-09-14 arm/generic/bignum_clz.S 65 5 236 46 2021-06-10 2021-12-17 arm/generic/bignum_amontifier.S 349 4 236 140 2021-06-10 2021-09-14 arm/secp256k1/bignum_triple_p256k1.S 86 3 48 27 2021-12-15 2022-01-05 arm/secp256k1/bignum_mod_n256k1_4.S 71 1 47 47 2021-12-16 2021-12-16 arm/secp256k1/bignum_sub_p256k1.S 64 1 60 60 2021-12-03 2021-12-03 arm/secp256k1/bignum_mod_p256k1_4.S 60 1 47 47 2021-12-16 2021-12-16 arm/secp256k1/bignum_add_p256k1.S 71 1 49 49 2021-12-14 2021-12-14 arm/secp256k1/bignum_neg_p256k1.S 60 1 47 47 2021-12-16 2021-12-16 arm/secp256k1/bignum_demont_p256k1.S 76 2 47 46 2021-12-16 2021-12-17 arm/secp256k1/bignum_montsqr_p256k1.S 164 1 46 46 2021-12-17 2021-12-17 arm/secp256k1/bignum_double_p256k1.S 68 1 48 48 2021-12-15 2021-12-15 arm/secp256k1/bignum_mul_p256k1_alt.S 168 4 38 4 2021-12-25 2022-01-28 arm/secp256k1/bignum_montsqr_p256k1_alt.S 158 4 38 18 2021-12-25 2022-01-14 arm/secp256k1/bignum_mul_p256k1.S 208 2 49 48 2021-12-14 2021-12-15 arm/secp256k1/bignum_montmul_p256k1.S 238 1 46 46 2021-12-17 2021-12-17 arm/secp256k1/bignum_tomont_p256k1.S 89 4 47 27 2021-12-16 2022-01-05 arm/secp256k1/bignum_sqr_p256k1.S 181 2 49 48 2021-12-14 2021-12-15 arm/secp256k1/bignum_optneg_p256k1.S 68 1 47 47 2021-12-16 2021-12-16 arm/secp256k1/bignum_deamont_p256k1.S 97 2 47 46 2021-12-16 2021-12-17 arm/secp256k1/bignum_sqr_p256k1_alt.S 143 2 38 27 2021-12-25 2022-01-05 arm/secp256k1/bignum_half_p256k1.S 63 1 48 48 2021-12-15 2021-12-15 arm/secp256k1/bignum_cmul_p256k1.S 85 3 48 27 2021-12-15 2022-01-05 arm/secp256k1/bignum_montmul_p256k1_alt.S 192 4 38 4 2021-12-25 2022-01-28 arm/proofs/bignum_muladd10.ml 169 1 88 88 2021-11-05 2021-11-05 arm/proofs/bignum_sqr_p256k1.ml 376 2 49 48 2021-12-14 2021-12-15 arm/proofs/bignum_mod_p256k1_4.ml 168 1 47 47 2021-12-16 2021-12-16 arm/proofs/bignum_mod_n256_4.ml 117 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_optneg.ml 182 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_le.ml 358 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_sqr_p521.ml 1128 6 155 103 2021-08-30 2021-10-21 arm/proofs/bignum_modsub.ml 269 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_lt.ml 358 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_sub_p521.ml 138 3 204 108 2021-07-12 2021-10-16 arm/proofs/bignum_sub_p256k1.ml 129 1 60 60 2021-12-03 2021-12-03 arm/proofs/bignum_ge.ml 358 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_montsqr_p384_alt.ml 537 2 7 4 2022-01-25 2022-01-28 arm/proofs/bignum_eq.ml 272 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_neg_p256k1.ml 106 1 47 47 2021-12-16 2021-12-16 arm/proofs/bignum_sqr_6_12_alt.ml 177 2 11 4 2022-01-21 2022-01-28 arm/proofs/bignum_clz.ml 222 1 236 236 2021-06-10 2021-06-10 arm/proofs/arm.ml 660 5 236 89 2021-06-10 2021-11-04 arm/proofs/bignum_bitsize.ml 220 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_mul_6_12_alt.ml 242 2 12 4 2022-01-20 2022-01-28 arm/proofs/bignum_negmodinv.ml 579 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_neg_p521.ml 127 2 147 108 2021-09-07 2021-10-16 arm/proofs/bignum_emontredc.ml 471 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_neg_p256.ml 107 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_add_p256k1.ml 171 1 49 49 2021-12-14 2021-12-14 arm/proofs/bignum_mul_p256k1.ml 452 2 49 48 2021-12-14 2021-12-15 arm/proofs/bignum_mod_p256.ml 404 3 236 108 2021-06-10 2021-10-16 arm/proofs/bignum_add_p384.ml 179 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_sub_p384.ml 142 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_demont_p521.ml 160 1 152 152 2021-09-02 2021-09-02 arm/proofs/word_negmodinv.ml 98 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_optsub.ml 182 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_mod_p256_4.ml 111 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_littleendian_4.ml 228 1 96 96 2021-10-28 2021-10-28 arm/proofs/bignum_mod_n256k1_4.ml 119 1 47 47 2021-12-16 2021-12-16 arm/proofs/bignum_sqr_6_12.ml 277 2 236 112 2021-06-10 2021-10-12 arm/proofs/make.ml 158 2 236 208 2021-06-10 2021-07-08 arm/proofs/word_bytereverse.ml 73 1 224 224 2021-06-22 2021-06-22 arm/proofs/bignum_demont.ml 646 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_mul_6_12.ml 562 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_optneg_p256k1.ml 136 1 47 47 2021-12-16 2021-12-16 arm/proofs/bignum_triple_p256k1.ml 170 1 48 48 2021-12-15 2021-12-15 arm/proofs/bignum_mul_p521.ml 1630 4 126 103 2021-09-28 2021-10-21 arm/proofs/bignum_sqr.ml 559 1 95 95 2021-10-29 2021-10-29 arm/proofs/bignum_mod_n384_6.ml 128 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_deamont_p521.ml 317 4 151 103 2021-09-03 2021-10-21 arm/proofs/bignum_montsqr.ml 798 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_madd.ml 499 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_sqr_4_8.ml 182 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_mul_4_8.ml 257 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_deamont_p256k1.ml 201 2 47 46 2021-12-16 2021-12-17 arm/proofs/bignum_littleendian_6.ml 261 1 96 96 2021-10-28 2021-10-28 arm/proofs/bignum_normalize.ml 455 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_montsqr_p256k1_alt.ml 298 2 38 27 2021-12-25 2022-01-05 arm/proofs/bignum_digit.ml 110 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_half_p256k1.ml 138 1 48 48 2021-12-15 2021-12-15 arm/proofs/bignum_of_word.ml 110 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_nonzero_6.ml 71 1 217 217 2021-06-29 2021-06-29 arm/proofs/word_ctz.ml 59 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_kmul_16_32.ml 1271 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_montsqr_p256k1.ml 353 1 46 46 2021-12-17 2021-12-17 arm/proofs/bignum_double_p521.ml 119 2 202 108 2021-07-14 2021-10-16 arm/proofs/bignum_mux_6.ml 101 1 218 218 2021-06-28 2021-06-28 arm/proofs/bignum_mod_p384_6.ml 118 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_deamont_p256.ml 167 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_shl_small.ml 324 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_cmul_p256.ml 221 4 236 97 2021-06-10 2021-10-27 arm/proofs/bignum_cmadd.ml 428 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_mul_p256k1_alt.ml 262 4 38 4 2021-12-25 2022-01-28 arm/proofs/bignum_iszero.ml 91 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_cdiv.ml 1746 1 80 80 2021-11-13 2021-11-13 arm/proofs/bignum_sqr_8_16.ml 488 2 236 112 2021-06-10 2021-10-12 arm/proofs/word_max.ml 55 1 117 117 2021-10-07 2021-10-07 arm/proofs/bignum_montmul_p384_alt.ml 603 2 7 4 2022-01-25 2022-01-28 arm/proofs/bignum_moddouble.ml 345 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_cdiv_exact.ml 495 1 80 80 2021-11-13 2021-11-13 arm/proofs/bignum_modifier.ml 2715 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_ksqr_32_64.ml 1461 3 227 112 2021-06-19 2021-10-12 arm/proofs/bignum_amontsqr.ml 732 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_half_p521.ml 157 1 200 200 2021-07-16 2021-07-16 arm/proofs/bignum_coprime.ml 3250 2 236 218 2021-06-10 2021-06-28 arm/proofs/bignum_montredc.ml 941 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_cmul_p521.ml 299 3 186 108 2021-07-30 2021-10-16 arm/proofs/bignum_sub_p256.ml 134 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_amontredc.ml 858 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_bigendian_6.ml 266 2 220 96 2021-06-26 2021-10-28 arm/proofs/bignum_triple_p256.ml 194 3 236 108 2021-06-10 2021-10-16 arm/proofs/bignum_mul.ml 429 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_divmod10.ml 208 1 84 84 2021-11-09 2021-11-09 arm/proofs/bignum_mux16.ml 259 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_mod_n384.ml 420 3 236 108 2021-06-10 2021-10-16 arm/proofs/bignum_cld.ml 206 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_montmul_p256k1.ml 697 1 46 46 2021-12-17 2021-12-17 arm/proofs/bignum_modadd.ml 326 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_triple_p384.ml 210 3 236 108 2021-06-10 2021-10-16 arm/proofs/bignum_gt.ml 358 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_montmul.ml 814 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_half_p256.ml 134 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_demont_p256k1.ml 145 2 47 46 2021-12-16 2021-12-17 arm/proofs/bignum_montsqr_p256_alt.ml 340 1 25 25 2022-01-07 2022-01-07 arm/proofs/bignum_add_p521.ml 165 3 207 108 2021-07-09 2021-10-16 arm/proofs/word_min.ml 55 1 118 118 2021-10-06 2021-10-06 arm/proofs/bignum_tomont_p256.ml 413 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_cmnegadd.ml 451 1 116 116 2021-10-08 2021-10-08 arm/proofs/bignum_sub.ml 715 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_montmul_p256_alt.ml 371 3 25 4 2022-01-07 2022-01-28 arm/proofs/bignum_cmul.ml 384 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_amontmul.ml 741 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_ksqr_16_32.ml 845 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_shr_small.ml 345 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_mod_n521_9.ml 258 3 123 108 2021-10-01 2021-10-16 arm/proofs/bignum_cmod.ml 1204 1 81 81 2021-11-12 2021-11-12 arm/proofs/bignum_montsqr_p256.ml 500 3 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_mod_p521_9.ml 214 4 189 108 2021-07-27 2021-10-16 arm/proofs/bignum_mux.ml 116 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_optneg_p256.ml 129 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_tomont_p521.ml 306 3 120 108 2021-10-04 2021-10-16 arm/proofs/bignum_ctd.ml 154 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_cmul_p384.ml 238 3 236 108 2021-06-10 2021-10-16 arm/proofs/bignum_optneg_p384.ml 140 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_montifier.ml 2719 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_cmul_p256k1.ml 167 1 48 48 2021-12-15 2021-12-15 arm/proofs/bignum_double_p256.ml 122 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_emontredc_8n.ml 1140 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_montmul_p256.ml 1082 4 236 108 2021-06-10 2021-10-16 arm/proofs/word_recip.ml 605 3 110 103 2021-10-14 2021-10-21 arm/proofs/bignum_montmul_p521.ml 1637 4 125 103 2021-09-29 2021-10-21 arm/proofs/bignum_add_p256.ml 168 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_mod_p384.ml 476 3 236 108 2021-06-10 2021-10-16 arm/proofs/instruction.ml 1160 5 236 84 2021-06-10 2021-11-09 arm/proofs/bignum_optsubadd.ml 248 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_montmul_p384.ml 1628 4 236 108 2021-06-10 2021-10-16 arm/proofs/bignum_nonzero_4.ml 68 1 217 217 2021-06-29 2021-06-29 arm/proofs/bignum_mux_4.ml 93 1 218 218 2021-06-28 2021-06-28 arm/proofs/bignum_add.ml 632 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_optneg_p521.ml 136 2 145 108 2021-09-09 2021-10-16 arm/proofs/bignum_pow2.ml 133 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_tomont_p384.ml 499 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_demont_p384.ml 430 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_kmul_32_64.ml 2097 2 167 112 2021-08-18 2021-10-12 arm/proofs/bignum_ctz.ml 172 1 236 236 2021-06-10 2021-06-10 arm/proofs/decode.ml 865 5 236 82 2021-06-10 2021-11-11 arm/proofs/bignum_double_p256k1.ml 188 1 48 48 2021-12-15 2021-12-15 arm/proofs/bignum_double_p384.ml 133 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_optadd.ml 173 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_even.ml 68 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_nonzero.ml 91 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_deamont_p384.ml 475 2 236 112 2021-06-10 2021-10-12 arm/proofs/base.ml 48 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_digitsize.ml 198 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_bigendian_4.ml 232 2 220 96 2021-06-26 2021-10-28 arm/proofs/bignum_mul_4_8_alt.ml 146 4 41 4 2021-12-22 2022-01-28 arm/proofs/bignum_modinv.ml 4606 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_mod_n256.ml 400 3 236 108 2021-06-10 2021-10-16 arm/proofs/bignum_odd.ml 65 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_copy.ml 168 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_montsqr_p384.ml 1011 3 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_demont_p256.ml 133 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_sqr_p256k1_alt.ml 237 2 38 27 2021-12-25 2022-01-05 arm/proofs/bignum_sqr_4_8_alt.ml 120 2 41 39 2021-12-22 2021-12-24 arm/proofs/bignum_modoptneg.ml 205 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_mul_8_16.ml 772 2 236 112 2021-06-10 2021-10-12 arm/proofs/bignum_tomont_p256k1.ml 168 2 47 46 2021-12-16 2021-12-17 arm/proofs/bignum_triple_p521.ml 254 5 195 103 2021-07-21 2021-10-21 arm/proofs/bignum_half_p384.ml 140 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_amontifier.ml 2226 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_bitfield.ml 243 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_montmul_p256k1_alt.ml 331 4 38 4 2021-12-25 2022-01-28 arm/proofs/bignum_montsqr_p521.ml 1234 5 154 103 2021-08-31 2021-10-21 arm/proofs/word_clz.ml 53 1 236 236 2021-06-10 2021-06-10 arm/proofs/bignum_neg_p384.ml 115 2 236 112 2021-06-10 2021-10-12 arm/p521/bignum_sqr_p521.S 531 4 155 131 2021-08-30 2021-09-23 arm/p521/bignum_mod_n521_9.S 127 3 123 18 2021-10-01 2022-01-14 arm/p521/bignum_sub_p521.S 84 4 204 140 2021-07-12 2021-09-14 arm/p521/bignum_half_p521.S 67 4 200 140 2021-07-16 2021-09-14 arm/p521/bignum_add_p521.S 89 4 207 140 2021-07-09 2021-09-14 arm/p521/bignum_mul_p521.S 512 1 126 126 2021-09-28 2021-09-28 arm/p521/bignum_mod_p521_9.S 89 3 189 123 2021-07-27 2021-10-01 arm/p521/bignum_demont_p521.S 70 2 152 140 2021-09-02 2021-09-14 arm/p521/bignum_deamont_p521.S 105 3 151 97 2021-09-03 2021-10-27 arm/p521/bignum_montmul_p521.S 513 1 125 125 2021-09-29 2021-09-29 arm/p521/bignum_triple_p521.S 97 3 195 140 2021-07-21 2021-09-14 arm/p521/bignum_optneg_p521.S 83 2 145 140 2021-09-09 2021-09-14 arm/p521/bignum_tomont_p521.S 107 1 120 120 2021-10-04 2021-10-04 arm/p521/bignum_cmul_p521.S 129 2 186 140 2021-07-30 2021-09-14 arm/p521/bignum_montsqr_p521.S 551 4 154 131 2021-08-31 2021-09-23 arm/p521/bignum_double_p521.S 62 6 202 97 2021-07-14 2021-10-27 arm/p521/bignum_neg_p521.S 78 2 147 140 2021-09-07 2021-09-14 arm/fastmul/bignum_mul_6_12_alt.S 227 3 12 4 2022-01-20 2022-01-28 arm/fastmul/bignum_sqr_6_12_alt.S 162 2 11 4 2022-01-21 2022-01-28 arm/fastmul/bignum_emontredc_8n.S 321 4 236 140 2021-06-10 2021-09-14 arm/fastmul/bignum_kmul_16_32.S 748 6 236 140 2021-06-10 2021-09-14 arm/fastmul/bignum_mul_8_16.S 292 4 236 140 2021-06-10 2021-09-14 arm/fastmul/bignum_ksqr_32_64.S 696 6 227 140 2021-06-19 2021-09-14 arm/fastmul/bignum_mul_4_8_alt.S 128 4 41 4 2021-12-22 2022-01-28 arm/fastmul/bignum_sqr_4_8.S 136 4 236 140 2021-06-10 2021-09-14 arm/fastmul/bignum_kmul_32_64.S 1013 5 167 140 2021-08-18 2021-09-14 arm/fastmul/bignum_ksqr_16_32.S 513 6 236 140 2021-06-10 2021-09-14 arm/fastmul/bignum_mul_4_8.S 155 4 236 140 2021-06-10 2021-09-14 arm/fastmul/bignum_sqr_8_16.S 319 4 236 140 2021-06-10 2021-09-14 arm/fastmul/bignum_sqr_6_12.S 225 4 236 140 2021-06-10 2021-09-14 arm/fastmul/bignum_sqr_4_8_alt.S 103 2 41 39 2021-12-22 2021-12-24 arm/fastmul/bignum_mul_6_12.S 234 4 236 140 2021-06-10 2021-09-14 arm/p256/bignum_montsqr_p256_alt.S 145 1 25 25 2022-01-07 2022-01-07 arm/p256/bignum_mod_p256_4.S 62 4 236 140 2021-06-10 2021-09-14 arm/p256/bignum_mod_n256.S 143 6 236 18 2021-06-10 2022-01-14 arm/p256/bignum_mod_p256.S 129 5 236 18 2021-06-10 2022-01-14 arm/p256/bignum_montmul_p256.S 241 5 236 140 2021-06-10 2021-09-14 arm/p256/bignum_deamont_p256.S 95 6 236 18 2021-06-10 2022-01-14 arm/p256/bignum_cmul_p256.S 113 6 236 18 2021-06-10 2022-01-14 arm/p256/bignum_triple_p256.S 94 5 236 18 2021-06-10 2022-01-14 arm/p256/bignum_montmul_p256_alt.S 176 3 25 4 2022-01-07 2022-01-28 arm/p256/bignum_demont_p256.S 79 6 236 18 2021-06-10 2022-01-14 arm/p256/bignum_double_p256.S 69 4 236 140 2021-06-10 2021-09-14 arm/p256/bignum_nonzero_4.S 43 4 217 140 2021-06-29 2021-09-14 arm/p256/bignum_optneg_p256.S 72 4 236 140 2021-06-10 2021-09-14 arm/p256/bignum_add_p256.S 74 4 236 140 2021-06-10 2021-09-14 arm/p256/bignum_sub_p256.S 64 4 236 140 2021-06-10 2021-09-14 arm/p256/bignum_half_p256.S 67 4 236 140 2021-06-10 2021-09-14 arm/p256/bignum_mod_n256_4.S 71 5 236 140 2021-06-10 2021-09-14 arm/p256/bignum_bigendian_4.S 127 8 220 96 2021-06-26 2021-10-28 arm/p256/bignum_mux_4.S 56 6 218 97 2021-06-28 2021-10-27 arm/p256/bignum_littleendian_4.S 125 1 96 96 2021-10-28 2021-10-28 arm/p256/bignum_neg_p256.S 62 4 236 140 2021-06-10 2021-09-14 arm/p256/bignum_tomont_p256.S 107 6 236 18 2021-06-10 2022-01-14 arm/p256/bignum_montsqr_p256.S 216 5 236 140 2021-06-10 2021-09-14 benchmarks/benchmark.c 594 13 43 4 2021-12-20 2022-01-28 include/s2n-bignum.h 191 55 339 4 2021-02-27 2022-01-28 include/s2n-bignum-c89.h 191 13 46 4 2021-12-17 2022-01-28 x86_att/p384/bignum_montsqr_p384_alt.S 277 2 7 4 2022-01-25 2022-01-28 x86_att/p384/bignum_mod_n384.S 178 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_mod_p384_6.S 86 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_demont_p384_alt.S 102 2 5 4 2022-01-27 2022-01-28 x86_att/p384/bignum_deamont_p384.S 136 3 145 140 2021-09-09 2021-09-14 x86_att/p384/bignum_montsqr_p384.S 239 3 145 140 2021-09-09 2021-09-14 x86_att/p384/bignum_double_p384.S 98 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_optneg_p384.S 92 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_sub_p384.S 85 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_littleendian_6.S 60 1 96 96 2021-10-28 2021-10-28 x86_att/p384/bignum_add_p384.S 99 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_half_p384.S 79 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_triple_p384_alt.S 123 2 5 4 2022-01-27 2022-01-28 x86_att/p384/bignum_tomont_p384.S 229 4 145 123 2021-09-09 2021-10-01 x86_att/p384/bignum_triple_p384.S 118 4 145 4 2021-09-09 2022-01-28 x86_att/p384/bignum_mod_p384.S 176 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_mod_n384_alt.S 182 2 5 4 2022-01-27 2022-01-28 x86_att/p384/bignum_tomont_p384_alt.S 250 2 5 4 2022-01-27 2022-01-28 x86_att/p384/bignum_deamont_p384_alt.S 136 2 5 4 2022-01-27 2022-01-28 x86_att/p384/bignum_bigendian_6.S 76 3 145 96 2021-09-09 2021-10-28 x86_att/p384/bignum_demont_p384.S 102 3 145 140 2021-09-09 2021-09-14 x86_att/p384/bignum_montmul_p384_alt.S 244 2 7 4 2022-01-25 2022-01-28 x86_att/p384/bignum_mod_p384_alt.S 178 2 5 4 2022-01-27 2022-01-28 x86_att/p384/bignum_neg_p384.S 73 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_mux_6.S 64 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_cmul_p384.S 122 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_montmul_p384.S 229 3 145 140 2021-09-09 2021-09-14 x86_att/p384/bignum_mod_n384_6.S 88 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_nonzero_6.S 44 2 145 144 2021-09-09 2021-09-10 x86_att/p384/bignum_cmul_p384_alt.S 139 2 5 4 2022-01-27 2022-01-28 x86_att/generic/bignum_digitsize.S 51 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_lt.S 83 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_ctz.S 66 1 138 138 2021-09-16 2021-09-16 x86_att/generic/word_recip.S 116 2 110 97 2021-10-14 2021-10-27 x86_att/generic/bignum_modinv.S 586 4 138 18 2021-09-16 2022-01-14 x86_att/generic/bignum_sqr.S 138 3 95 18 2021-10-29 2022-01-14 x86_att/generic/bignum_modsub.S 66 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_cmod.S 185 1 81 81 2021-11-12 2021-11-12 x86_att/generic/bignum_cmnegadd.S 112 1 116 116 2021-10-08 2021-10-08 x86_att/generic/bignum_divmod10.S 70 1 84 84 2021-11-09 2021-11-09 x86_att/generic/bignum_mux.S 52 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_even.S 36 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_cmadd.S 104 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_montmul.S 203 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_pow2.S 59 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_amontredc.S 193 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_demont.S 160 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_gt.S 83 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_add.S 119 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_modifier.S 470 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_optsubadd.S 80 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_cdiv_exact.S 148 1 80 80 2021-11-13 2021-11-13 x86_att/generic/bignum_ge.S 83 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_montsqr.S 195 2 138 46 2021-09-16 2021-12-17 x86_att/generic/bignum_cmul.S 95 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_mul.S 115 2 138 97 2021-09-16 2021-10-27 x86_att/generic/bignum_copy.S 57 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_madd.S 120 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_digit.S 54 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_shl_small.S 89 1 138 138 2021-09-16 2021-09-16 x86_att/generic/word_max.S 34 1 117 117 2021-10-07 2021-10-07 x86_att/generic/bignum_mux16.S 67 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_iszero.S 44 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_moddouble.S 72 1 138 138 2021-09-16 2021-09-16 x86_att/generic/word_clz.S 36 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_montredc.S 207 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_normalize.S 99 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_optsub.S 66 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_sub.S 113 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_cld.S 53 1 138 138 2021-09-16 2021-09-16 x86_att/generic/word_ctz.S 35 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_montifier.S 469 1 138 138 2021-09-16 2021-09-16 x86_att/generic/word_negmodinv.S 59 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_ctd.S 53 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_bitfield.S 89 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_of_word.S 51 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_le.S 83 1 138 138 2021-09-16 2021-09-16 x86_att/generic/word_min.S 34 1 118 118 2021-10-06 2021-10-06 x86_att/generic/bignum_nonzero.S 44 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_eq.S 72 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_negmodinv.S 149 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_bitsize.S 67 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_coprime.S 416 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_muladd10.S 60 2 88 46 2021-11-05 2021-12-17 x86_att/generic/bignum_modadd.S 77 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_amontmul.S 194 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_shr_small.S 81 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_optadd.S 65 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_optneg.S 65 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_odd.S 35 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_cdiv.S 273 1 80 80 2021-11-13 2021-11-13 x86_att/generic/bignum_amontsqr.S 186 2 138 46 2021-09-16 2021-12-17 x86_att/generic/bignum_emontredc.S 120 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_modoptneg.S 73 1 138 138 2021-09-16 2021-09-16 x86_att/generic/word_bytereverse.S 31 1 138 138 2021-09-16 2021-09-16 x86_att/generic/bignum_clz.S 67 2 138 46 2021-09-16 2021-12-17 x86_att/generic/bignum_amontifier.S 402 1 138 138 2021-09-16 2021-09-16 x86_att/secp256k1/bignum_triple_p256k1.S 92 1 48 48 2021-12-15 2021-12-15 x86_att/secp256k1/bignum_mod_n256k1_4.S 74 1 47 47 2021-12-16 2021-12-16 x86_att/secp256k1/bignum_sub_p256k1.S 65 1 60 60 2021-12-03 2021-12-03 x86_att/secp256k1/bignum_mod_p256k1_4.S 63 1 47 47 2021-12-16 2021-12-16 x86_att/secp256k1/bignum_add_p256k1.S 75 1 49 49 2021-12-14 2021-12-14 x86_att/secp256k1/bignum_cmul_p256k1_alt.S 88 2 38 27 2021-12-25 2022-01-05 x86_att/secp256k1/bignum_neg_p256k1.S 64 1 47 47 2021-12-16 2021-12-16 x86_att/secp256k1/bignum_demont_p256k1.S 86 2 47 46 2021-12-16 2021-12-17 x86_att/secp256k1/bignum_montsqr_p256k1.S 166 1 46 46 2021-12-17 2021-12-17 x86_att/secp256k1/bignum_double_p256k1.S 73 1 48 48 2021-12-15 2021-12-15 x86_att/secp256k1/bignum_mul_p256k1_alt.S 156 2 38 27 2021-12-25 2022-01-05 x86_att/secp256k1/bignum_triple_p256k1_alt.S 93 2 38 27 2021-12-25 2022-01-05 x86_att/secp256k1/bignum_montsqr_p256k1_alt.S 162 2 38 27 2021-12-25 2022-01-05 x86_att/secp256k1/bignum_mul_p256k1.S 138 2 49 48 2021-12-14 2021-12-15 x86_att/secp256k1/bignum_montmul_p256k1.S 177 1 46 46 2021-12-17 2021-12-17 x86_att/secp256k1/bignum_tomont_p256k1.S 79 2 47 46 2021-12-16 2021-12-17 x86_att/secp256k1/bignum_sqr_p256k1.S 136 2 49 48 2021-12-14 2021-12-15 x86_att/secp256k1/bignum_tomont_p256k1_alt.S 88 2 38 27 2021-12-25 2022-01-05 x86_att/secp256k1/bignum_optneg_p256k1.S 71 1 47 47 2021-12-16 2021-12-16 x86_att/secp256k1/bignum_deamont_p256k1.S 113 2 47 46 2021-12-16 2021-12-17 x86_att/secp256k1/bignum_sqr_p256k1_alt.S 145 2 38 27 2021-12-25 2022-01-05 x86_att/secp256k1/bignum_half_p256k1.S 66 1 48 48 2021-12-15 2021-12-15 x86_att/secp256k1/bignum_cmul_p256k1.S 79 1 48 48 2021-12-15 2021-12-15 x86_att/secp256k1/bignum_montmul_p256k1_alt.S 174 2 38 27 2021-12-25 2022-01-05 x86_att/p521/bignum_sqr_p521.S 253 4 141 18 2021-09-13 2022-01-14 x86_att/p521/bignum_mod_n521_9.S 119 3 123 18 2021-10-01 2022-01-14 x86_att/p521/bignum_sub_p521.S 91 1 141 141 2021-09-13 2021-09-13 x86_att/p521/bignum_half_p521.S 76 1 141 141 2021-09-13 2021-09-13 x86_att/p521/bignum_add_p521.S 98 1 141 141 2021-09-13 2021-09-13 x86_att/p521/bignum_mul_p521.S 354 3 126 18 2021-09-28 2022-01-14 x86_att/p521/bignum_mod_p521_9.S 94 1 141 141 2021-09-13 2021-09-13 x86_att/p521/bignum_demont_p521.S 77 1 141 141 2021-09-13 2021-09-13 x86_att/p521/bignum_deamont_p521.S 120 1 141 141 2021-09-13 2021-09-13 x86_att/p521/bignum_montmul_p521.S 375 3 125 18 2021-09-29 2022-01-14 x86_att/p521/bignum_triple_p521.S 127 1 141 141 2021-09-13 2021-09-13 x86_att/p521/bignum_optneg_p521.S 87 1 141 141 2021-09-13 2021-09-13 x86_att/p521/bignum_tomont_p521.S 110 1 120 120 2021-10-04 2021-10-04 x86_att/p521/bignum_cmul_p521.S 135 1 141 141 2021-09-13 2021-09-13 x86_att/p521/bignum_montsqr_p521.S 275 4 141 18 2021-09-13 2022-01-14 x86_att/p521/bignum_double_p521.S 68 1 141 141 2021-09-13 2021-09-13 x86_att/p521/bignum_neg_p521.S 83 1 141 141 2021-09-13 2021-09-13 x86_att/attrofy.sed 80 6 145 27 2021-09-09 2022-01-05 x86_att/fastmul/bignum_mul_6_12_alt.S 134 2 12 4 2022-01-20 2022-01-28 x86_att/fastmul/bignum_sqr_6_12_alt.S 142 2 11 4 2022-01-21 2022-01-28 x86_att/fastmul/bignum_emontredc_8n.S 347 1 137 137 2021-09-17 2021-09-17 x86_att/fastmul/bignum_kmul_16_32.S 415 1 137 137 2021-09-17 2021-09-17 x86_att/fastmul/bignum_mul_8_16.S 207 1 137 137 2021-09-17 2021-09-17 x86_att/fastmul/bignum_ksqr_32_64.S 755 1 137 137 2021-09-17 2021-09-17 x86_att/fastmul/bignum_mul_4_8_alt.S 103 4 41 27 2021-12-22 2022-01-05 x86_att/fastmul/bignum_sqr_4_8.S 113 1 137 137 2021-09-17 2021-09-17 x86_att/fastmul/bignum_kmul_32_64.S 1098 1 137 137 2021-09-17 2021-09-17 x86_att/fastmul/bignum_ksqr_16_32.S 449 1 137 137 2021-09-17 2021-09-17 x86_att/fastmul/bignum_mul_4_8.S 126 1 137 137 2021-09-17 2021-09-17 x86_att/fastmul/bignum_sqr_8_16.S 251 1 137 137 2021-09-17 2021-09-17 x86_att/fastmul/bignum_sqr_6_12.S 177 1 137 137 2021-09-17 2021-09-17 x86_att/fastmul/bignum_sqr_4_8_alt.S 96 4 41 27 2021-12-22 2022-01-05 x86_att/fastmul/bignum_mul_6_12.S 160 1 137 137 2021-09-17 2021-09-17 x86_att/p256/bignum_tomont_p256_alt.S 157 1 18 18 2022-01-14 2022-01-14 x86_att/p256/bignum_montsqr_p256_alt.S 173 1 25 25 2022-01-07 2022-01-07 x86_att/p256/bignum_mod_p256_4.S 66 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_mod_n256.S 154 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_mod_p256.S 147 3 144 18 2021-09-10 2022-01-14 x86_att/p256/bignum_montmul_p256.S 151 2 144 140 2021-09-10 2021-09-14 x86_att/p256/bignum_mod_p256_alt.S 149 1 18 18 2022-01-14 2022-01-14 x86_att/p256/bignum_demont_p256_alt.S 101 1 18 18 2022-01-14 2022-01-14 x86_att/p256/bignum_deamont_p256.S 106 2 144 140 2021-09-10 2021-09-14 x86_att/p256/bignum_deamont_p256_alt.S 122 1 18 18 2022-01-14 2022-01-14 x86_att/p256/bignum_cmul_p256.S 99 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_triple_p256.S 103 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_montmul_p256_alt.S 167 3 25 18 2022-01-07 2022-01-14 x86_att/p256/bignum_demont_p256.S 83 2 144 140 2021-09-10 2021-09-14 x86_att/p256/bignum_double_p256.S 75 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_nonzero_4.S 42 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_optneg_p256.S 78 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_add_p256.S 75 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_sub_p256.S 66 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_half_p256.S 67 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_cmul_p256_alt.S 113 1 18 18 2022-01-14 2022-01-14 x86_att/p256/bignum_mod_n256_4.S 74 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_triple_p256_alt.S 105 1 18 18 2022-01-14 2022-01-14 x86_att/p256/bignum_mod_n256_alt.S 158 1 18 18 2022-01-14 2022-01-14 x86_att/p256/bignum_bigendian_4.S 69 2 144 96 2021-09-10 2021-10-28 x86_att/p256/bignum_mux_4.S 56 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_littleendian_4.S 56 1 96 96 2021-10-28 2021-10-28 x86_att/p256/bignum_neg_p256.S 70 1 144 144 2021-09-10 2021-09-10 x86_att/p256/bignum_tomont_p256.S 150 2 144 140 2021-09-10 2021-09-14 x86_att/p256/bignum_montsqr_p256.S 152 2 144 140 2021-09-10 2021-09-14