| 0367f98 | Victor Dumitrescu | 28 April 2021, 19:35:07 UTC | JS functions don't return promises | 28 April 2021, 19:35:07 UTC |
| a7dc04f | Dzomo, the Everest Yak | 28 April 2021, 08:25:28 UTC | [CI] regenerate hints and dist | 28 April 2021, 08:25:28 UTC |
| 30f83c2 | Dzomo, the Everest Yak | 27 April 2021, 08:24:49 UTC | [CI] regenerate hints and dist | 27 April 2021, 08:24:49 UTC |
| 7f1c29e | Dzomo, the Everest Yak | 26 April 2021, 08:34:39 UTC | [CI] regenerate hints and dist | 26 April 2021, 08:34:39 UTC |
| 247b170 | Dzomo, the Everest Yak | 25 April 2021, 08:30:38 UTC | [CI] regenerate hints and dist | 25 April 2021, 08:30:38 UTC |
| fcca618 | Dzomo, the Everest Yak | 24 April 2021, 08:25:31 UTC | [CI] regenerate hints and dist | 24 April 2021, 08:25:31 UTC |
| b3f79d5 | Dzomo, the Everest Yak | 23 April 2021, 08:28:37 UTC | [CI] regenerate hints and dist | 23 April 2021, 08:28:37 UTC |
| 7ebea68 | Marina Polubelova | 21 April 2021, 18:22:09 UTC | Merge pull request #433 from project-everest/nik_wf Solver tweaks in support of an F* change | 21 April 2021, 18:22:09 UTC |
| e686af8 | Nikhil Swamy | 21 April 2021, 16:47:22 UTC | Merge branch 'nik_wf' of github.com:project-everest/hacl-star into nik_wf | 21 April 2021, 16:47:22 UTC |
| 7ead7c8 | Nikhil Swamy | 21 April 2021, 16:47:06 UTC | Merge remote-tracking branch 'origin/master' into nik_wf | 21 April 2021, 16:47:06 UTC |
| ced103e | Dzomo, the Everest Yak | 21 April 2021, 08:25:00 UTC | [CI] regenerate hints and dist | 21 April 2021, 08:25:00 UTC |
| b7095fc | U-REDMOND\nswamy | 21 April 2021, 06:02:31 UTC | restart solver | 21 April 2021, 06:02:31 UTC |
| 9eb2577 | Nikhil Swamy | 20 April 2021, 19:53:22 UTC | revert change to RSAPSS.Keys | 20 April 2021, 19:53:22 UTC |
| 8225799 | Nikhil Swamy | 20 April 2021, 19:51:45 UTC | rlimit bump | 20 April 2021, 19:51:45 UTC |
| 33cb4da | Nikhil Swamy | 19 April 2021, 20:46:35 UTC | merging master in | 19 April 2021, 20:46:35 UTC |
| ff70714 | Dzomo, the Everest Yak | 19 April 2021, 08:25:04 UTC | [CI] regenerate hints and dist | 19 April 2021, 08:25:04 UTC |
| ec19047 | Dzomo, the Everest Yak | 18 April 2021, 08:25:03 UTC | [CI] regenerate hints and dist | 18 April 2021, 08:25:03 UTC |
| 3d05f80 | Dzomo, the Everest Yak | 17 April 2021, 08:25:22 UTC | [CI] regenerate hints and dist | 17 April 2021, 08:25:22 UTC |
| dac4321 | Dzomo, the Everest Yak | 16 April 2021, 08:26:28 UTC | [CI] regenerate hints and dist | 16 April 2021, 08:26:28 UTC |
| 07ec9c0 | Dzomo, the Everest Yak | 15 April 2021, 08:28:31 UTC | [CI] regenerate hints and dist | 15 April 2021, 08:28:31 UTC |
| 4056c3f | Marina Polubelova | 14 April 2021, 15:01:18 UTC | Merge pull request #432 from project-everest/polubelova_bignum_safe_api bignum api | 14 April 2021, 15:01:18 UTC |
| daa12ff | marina polubelova | 14 April 2021, 13:13:02 UTC | Merge remote-tracking branch 'origin/master' into polubelova_bignum_safe_api | 14 April 2021, 13:13:02 UTC |
| 00a7baa | marina polubelova | 14 April 2021, 13:12:50 UTC | refresh dist | 14 April 2021, 13:12:50 UTC |
| cad0163 | Marina Polubelova | 14 April 2021, 13:02:36 UTC | add ffdhe_precomp_inv | 14 April 2021, 13:02:36 UTC |
| 0b5bc15 | Marina Polubelova | 14 April 2021, 13:02:00 UTC | rename | 14 April 2021, 13:02:00 UTC |
| 5518ccc | Dzomo, the Everest Yak | 14 April 2021, 08:25:03 UTC | [CI] regenerate hints and dist | 14 April 2021, 08:25:03 UTC |
| 4d3dec0 | Marina Polubelova | 13 April 2021, 22:34:47 UTC | use blocks0 | 13 April 2021, 22:34:47 UTC |
| 1d9ec42 | marina polubelova | 13 April 2021, 22:24:40 UTC | refresh dist | 13 April 2021, 22:24:40 UTC |
| efbd141 | Marina Polubelova | 13 April 2021, 22:04:08 UTC | use blocks0 only for bBits | 13 April 2021, 22:04:08 UTC |
| 1adfa2c | Marina Polubelova | 13 April 2021, 20:06:12 UTC | remove 0 < bBits from preconditions | 13 April 2021, 20:06:12 UTC |
| 0bc1055 | Dzomo, the Everest Yak | 13 April 2021, 08:25:22 UTC | [CI] regenerate hints and dist | 13 April 2021, 08:25:22 UTC |
| 9b872fd | Dzomo, the Everest Yak | 12 April 2021, 08:47:06 UTC | [CI] regenerate hints and dist | 12 April 2021, 08:47:06 UTC |
| cf8f55b | Dzomo, the Everest Yak | 11 April 2021, 08:25:27 UTC | [CI] regenerate hints and dist | 11 April 2021, 08:25:27 UTC |
| 08cacad | Dzomo, the Everest Yak | 10 April 2021, 08:26:52 UTC | [CI] regenerate hints and dist | 10 April 2021, 08:26:52 UTC |
| d59d84d | Dzomo, the Everest Yak | 09 April 2021, 08:22:46 UTC | [CI] regenerate hints and dist | 09 April 2021, 08:22:46 UTC |
| e0d24d8 | Dzomo, the Everest Yak | 08 April 2021, 08:27:11 UTC | [CI] regenerate hints and dist | 08 April 2021, 08:27:11 UTC |
| d68484c | Dzomo, the Everest Yak | 07 April 2021, 08:26:11 UTC | [CI] regenerate hints and dist | 07 April 2021, 08:26:11 UTC |
| 0810c44 | Dzomo, the Everest Yak | 06 April 2021, 08:25:08 UTC | [CI] regenerate hints and dist | 06 April 2021, 08:25:08 UTC |
| 70a2b4d | Jonathan Protzenko | 05 April 2021, 19:05:13 UTC | Merge remote-tracking branch 'origin/master' into HEAD | 05 April 2021, 19:05:13 UTC |
| f7f6f00 | Dzomo, the Everest Yak | 05 April 2021, 08:53:56 UTC | [CI] regenerate hints and dist | 05 April 2021, 08:53:56 UTC |
| 7a42f33 | Dzomo, the Everest Yak | 04 April 2021, 08:26:50 UTC | [CI] regenerate hints and dist | 04 April 2021, 08:26:50 UTC |
| 66f2e8a | Dzomo, the Everest Yak | 03 April 2021, 08:25:39 UTC | [CI] regenerate hints and dist | 03 April 2021, 08:25:39 UTC |
| 2462f98 | Dzomo, the Everest Yak | 02 April 2021, 08:27:09 UTC | [CI] regenerate hints and dist | 02 April 2021, 08:27:09 UTC |
| cf23add | Benjamin Beurdouche | 01 April 2021, 16:16:18 UTC | Merge pull request #429 from project-everest/polubelova_bignum_api Bignum API | 01 April 2021, 16:16:18 UTC |
| 011b2f3 | Marina Polubelova | 01 April 2021, 15:02:14 UTC | refresh hints | 01 April 2021, 15:02:14 UTC |
| ab68dfe | Marina Polubelova | 01 April 2021, 13:07:22 UTC | Merge branch 'master' into polubelova_bignum_api | 01 April 2021, 13:07:22 UTC |
| f6de3d0 | Marina Polubelova | 01 April 2021, 13:07:05 UTC | remove commented-out code | 01 April 2021, 13:07:05 UTC |
| c989877 | Marina Polubelova | 01 April 2021, 10:01:42 UTC | Merge pull request #430 from project-everest/aseem_fstar_dependent_match Build break fix for change in the F* reflection API | 01 April 2021, 10:01:42 UTC |
| 9a1c359 | Aseem Rastogi | 01 April 2021, 08:46:33 UTC | build break fix for change in the F* reflection API | 01 April 2021, 08:46:33 UTC |
| 122750f | Dzomo, the Everest Yak | 31 March 2021, 08:28:17 UTC | [CI] regenerate hints and dist | 31 March 2021, 08:28:17 UTC |
| 139fc5c | marina polubelova | 30 March 2021, 19:03:45 UTC | refresh dist | 30 March 2021, 19:03:45 UTC |
| c8d0fcd | marina polubelova | 30 March 2021, 18:48:22 UTC | Merge remote-tracking branch 'origin/master' into polubelova_bignum_api | 30 March 2021, 18:48:22 UTC |
| 01ba1a3 | Aseem Rastogi | 30 March 2021, 17:10:47 UTC | Merge pull request #428 from project-everest/aseem_fstar_fast_implicits A proof tweak for build break | 30 March 2021, 17:10:47 UTC |
| ca84ea6 | Aseem Rastogi | 30 March 2021, 10:55:20 UTC | a proof tweak for build break | 30 March 2021, 10:55:20 UTC |
| b31bd15 | Dzomo, the Everest Yak | 30 March 2021, 08:28:16 UTC | [CI] regenerate hints and dist | 30 March 2021, 08:28:16 UTC |
| 14b7a9c | marina polubelova | 29 March 2021, 21:04:49 UTC | refresh dist | 29 March 2021, 21:04:49 UTC |
| 2520ce6 | Marina Polubelova | 29 March 2021, 21:01:10 UTC | wip | 29 March 2021, 21:01:10 UTC |
| a0752cb | marina polubelova | 29 March 2021, 20:22:06 UTC | refresh dist | 29 March 2021, 20:22:06 UTC |
| 9a6f074 | marina polubelova | 29 March 2021, 20:11:58 UTC | refresh dist | 29 March 2021, 20:11:58 UTC |
| d8e51c0 | Marina Polubelova | 29 March 2021, 19:59:47 UTC | amm exponentiation | 29 March 2021, 19:59:47 UTC |
| af19e50 | Marina Polubelova | 29 March 2021, 16:18:05 UTC | wip: amm exp | 29 March 2021, 16:18:05 UTC |
| 4eb2b9b | Marina Polubelova | 29 March 2021, 16:17:39 UTC | fix bn_check_mod_exp | 29 March 2021, 16:17:39 UTC |
| 62d408e | Marina Polubelova | 29 March 2021, 15:34:14 UTC | wip: almost montgomery exponentiation | 29 March 2021, 15:34:14 UTC |
| 847e733 | Marina Polubelova | 29 March 2021, 15:33:34 UTC | remove 0 < b from preconditions | 29 March 2021, 15:33:34 UTC |
| 21c52f6 | Marina Polubelova | 29 March 2021, 11:11:30 UTC | add bn_mont_precomp | 29 March 2021, 11:11:30 UTC |
| d639b6f | Marina Polubelova | 29 March 2021, 09:50:16 UTC | remove d from mont lemmas | 29 March 2021, 09:50:16 UTC |
| d2b1a8a | Dzomo, the Everest Yak | 29 March 2021, 08:28:09 UTC | [CI] regenerate hints and dist | 29 March 2021, 08:28:09 UTC |
| 1bb520b | marina polubelova | 28 March 2021, 17:19:47 UTC | refresh dist | 28 March 2021, 17:19:47 UTC |
| c9478d0 | Marina Polubelova | 28 March 2021, 17:09:03 UTC | wip | 28 March 2021, 17:09:03 UTC |
| 5cc3ef5 | marina polubelova | 28 March 2021, 13:49:10 UTC | refresh dist | 28 March 2021, 13:49:10 UTC |
| 51c605b | marina polubelova | 28 March 2021, 13:22:15 UTC | Merge remote-tracking branch 'origin/master' into polubelova_bignum_amm | 28 March 2021, 13:22:15 UTC |
| 71dc1ee | Marina Polubelova | 28 March 2021, 13:20:37 UTC | fix makefile bundles | 28 March 2021, 13:20:37 UTC |
| 967da83 | Marina Polubelova | 28 March 2021, 13:20:20 UTC | update ffdhe and rsapss | 28 March 2021, 13:20:20 UTC |
| 58b8bbb | Marina Polubelova | 28 March 2021, 13:19:38 UTC | drop specialized versions of ffdhe and rsapss | 28 March 2021, 13:19:38 UTC |
| 52a6b80 | Marina Polubelova | 28 March 2021, 13:19:04 UTC | wip | 28 March 2021, 13:19:04 UTC |
| 749f58d | Dzomo, the Everest Yak | 28 March 2021, 08:29:00 UTC | [CI] regenerate hints and dist | 28 March 2021, 08:29:00 UTC |
| 18c921b | Marina Polubelova | 27 March 2021, 22:01:24 UTC | update bignum256 and bignum4096 | 27 March 2021, 22:01:24 UTC |
| 9e9b849 | Marina Polubelova | 27 March 2021, 22:00:42 UTC | add _precomp functions | 27 March 2021, 22:00:42 UTC |
| 8bad0df | Marina Polubelova | 27 March 2021, 21:59:45 UTC | wip | 27 March 2021, 21:59:45 UTC |
| bd3d371 | Benjamin Beurdouche | 27 March 2021, 18:15:10 UTC | Merge pull request #427 from project-everest/beurdouche_byteseq Definition of pub_empty_bytes and aliases | 27 March 2021, 18:15:10 UTC |
| 7056fae | Benjamin Beurdouche | 27 March 2021, 17:05:20 UTC | Merge branch 'master' into beurdouche_byteseq | 27 March 2021, 17:05:20 UTC |
| 4e14155 | Benjamin Beurdouche | 27 March 2021, 16:32:48 UTC | Definition of pub_empty_bytes and aliases | 27 March 2021, 16:32:48 UTC |
| 9be6aaa | Dzomo, the Everest Yak | 27 March 2021, 08:24:48 UTC | [CI] regenerate hints and dist | 27 March 2021, 08:24:48 UTC |
| 3238e9e | Marina Polubelova | 26 March 2021, 17:41:42 UTC | wip | 26 March 2021, 17:41:42 UTC |
| 1df06fc | Dzomo, the Everest Yak | 26 March 2021, 08:24:46 UTC | [CI] regenerate hints and dist | 26 March 2021, 08:24:46 UTC |
| 29c00a7 | Dzomo, the Everest Yak | 25 March 2021, 08:24:53 UTC | [CI] regenerate hints and dist | 25 March 2021, 08:24:53 UTC |
| e89b615 | Marina Polubelova | 24 March 2021, 20:01:05 UTC | wip: safe api | 24 March 2021, 20:01:05 UTC |
| 263efa5 | Marina Polubelova | 24 March 2021, 20:00:45 UTC | update GenericField | 24 March 2021, 20:00:45 UTC |
| 9bb0c82 | Marina Polubelova | 24 March 2021, 16:28:45 UTC | remove nBits from bn_mont_ctx | 24 March 2021, 16:28:45 UTC |
| 9382b24 | Marina Polubelova | 24 March 2021, 15:26:50 UTC | wip | 24 March 2021, 15:26:50 UTC |
| 4e806fa | Marina Polubelova | 24 March 2021, 13:25:00 UTC | rename GenericField to MontArithmetic | 24 March 2021, 13:25:00 UTC |
| eac6ed8 | Marina Polubelova | 24 March 2021, 12:49:51 UTC | wip | 24 March 2021, 12:49:51 UTC |
| 436a130 | Dzomo, the Everest Yak | 24 March 2021, 08:24:35 UTC | [CI] regenerate hints and dist | 24 March 2021, 08:24:35 UTC |
| dcc07c9 | Marina Polubelova | 23 March 2021, 20:23:59 UTC | add bn_field_exp_consttime and _vartime | 23 March 2021, 20:23:59 UTC |
| 0f75b38 | Marina Polubelova | 23 March 2021, 19:53:35 UTC | wip: bn_field_finv | 23 March 2021, 19:53:35 UTC |
| 317d9f8 | Marina Polubelova | 23 March 2021, 17:09:33 UTC | wip | 23 March 2021, 17:09:33 UTC |
| a27e43d | Marina Polubelova | 23 March 2021, 16:22:25 UTC | wip: montgomery exponentiation | 23 March 2021, 16:22:25 UTC |
| 4b7f834 | Marina Polubelova | 23 March 2021, 16:21:15 UTC | add spec.exponentiation | 23 March 2021, 16:21:15 UTC |
| 804c1f0 | Marina Polubelova | 23 March 2021, 16:20:42 UTC | fix amm | 23 March 2021, 16:20:42 UTC |
| 83b8429 | Marina Polubelova | 23 March 2021, 13:21:13 UTC | move double exponentiation | 23 March 2021, 13:21:13 UTC |
