| f95b8d3 | Jonathan Protzenko | 29 April 2020, 18:25:07 UTC | Merge remote-tracking branch 'origin/master' into protz_ci | 29 April 2020, 18:25:07 UTC |
| 6f4f257 | Jonathan Protzenko | 29 April 2020, 18:24:14 UTC | Upgrade tests prior to merge | 29 April 2020, 18:24:14 UTC |
| 30b167c | Marina Polubelova | 29 April 2020, 17:25:06 UTC | Merge remote-tracking branch 'origin/master' into _repeat_gen_blocks | 29 April 2020, 17:25:06 UTC |
| cb44f56 | Dzomo, the Everest Yak | 29 April 2020, 16:26:05 UTC | [CI] regenerate hints and dist | 29 April 2020, 16:26:05 UTC |
| fcfce99 | Jonathan Protzenko | 29 April 2020, 15:37:30 UTC | Merge pull request #292 from project-everest/protz_doc Fix docs (again) | 29 April 2020, 15:37:30 UTC |
| daf5fc9 | Jonathan Protzenko | 29 April 2020, 14:50:43 UTC | Merge branch 'master' into protz_doc | 29 April 2020, 14:50:43 UTC |
| a61149a | Ann Weine | 29 April 2020, 14:10:38 UTC | wip | 29 April 2020, 14:10:38 UTC |
| 1b41676 | Dzomo the everest Yak | 29 April 2020, 08:20:45 UTC | [CI] regenerate hints and dist | 29 April 2020, 08:20:45 UTC |
| ed65503 | Jonathan Protzenko | 29 April 2020, 00:55:09 UTC | Found the issue | 29 April 2020, 00:55:09 UTC |
| 715a378 | Dzomo the everest Yak | 28 April 2020, 23:41:03 UTC | [CI] regenerate hints and dist | 28 April 2020, 23:41:03 UTC |
| 32fff11 | Jonathan Protzenko | 28 April 2020, 22:07:08 UTC | Merge pull request #291 from project-everest/protz_doc Try to fix a bunch of doc issues | 28 April 2020, 22:07:08 UTC |
| 11151da | Jonathan Protzenko | 28 April 2020, 21:25:03 UTC | Merge branch 'master' into protz_doc | 28 April 2020, 21:25:03 UTC |
| 3c02506 | Jonathan Protzenko | 28 April 2020, 19:48:10 UTC | Try to fix a bunch of doc issues | 28 April 2020, 19:48:10 UTC |
| f4b1bf1 | Ann Weine | 28 April 2020, 15:05:24 UTC | even more wip | 28 April 2020, 15:05:24 UTC |
| d72902d | Ann Weine | 28 April 2020, 15:04:13 UTC | wip | 28 April 2020, 15:04:13 UTC |
| 631b24b | Ann Weine | 28 April 2020, 11:56:25 UTC | wip | 28 April 2020, 11:56:25 UTC |
| 1536466 | Ann Weine | 28 April 2020, 11:12:45 UTC | wip | 28 April 2020, 11:12:45 UTC |
| 10d6dba | Dzomo the everest Yak | 28 April 2020, 08:22:43 UTC | [CI] regenerate hints and dist | 28 April 2020, 08:22:43 UTC |
| c627ed6 | Marina Polubelova | 28 April 2020, 00:21:34 UTC | Merge pull request #290 from project-everest/polubelova_tests clean up C tests | 28 April 2020, 00:21:34 UTC |
| 10a8b2b | Marina Polubelova | 27 April 2020, 21:43:47 UTC | remove extra call of print_result | 27 April 2020, 21:43:47 UTC |
| 4db9be4 | Marina Polubelova | 27 April 2020, 21:37:11 UTC | fix print_time | 27 April 2020, 21:37:11 UTC |
| a78c876 | Marina Polubelova | 27 April 2020, 21:32:54 UTC | Merge remote-tracking branch 'origin/master' into polubelova_tests | 27 April 2020, 21:32:54 UTC |
| 9539445 | Marina Polubelova | 27 April 2020, 21:32:17 UTC | clean up C tests | 27 April 2020, 21:32:17 UTC |
| 81320b2 | Jonathan Protzenko | 27 April 2020, 16:16:14 UTC | Merge pull request #289 from project-everest/protz_fix_mitls Two lines to fix mitls | 27 April 2020, 16:16:14 UTC |
| 3b967ae | Jonathan Protzenko | 27 April 2020, 15:35:12 UTC | Merge branch 'master' into protz_fix_mitls | 27 April 2020, 15:35:12 UTC |
| 5f8d27d | Dzomo the everest Yak | 27 April 2020, 08:21:02 UTC | [CI] regenerate hints and dist | 27 April 2020, 08:21:02 UTC |
| 6a1fff3 | Marina Polubelova | 26 April 2020, 16:55:16 UTC | kick ci | 26 April 2020, 16:55:16 UTC |
| 2e89b1d | Marina Polubelova | 26 April 2020, 14:05:44 UTC | add naclbox-test.c | 26 April 2020, 14:05:44 UTC |
| 37a41bd | Marina Polubelova | 26 April 2020, 14:04:11 UTC | move salsa20-test to tests | 26 April 2020, 14:04:11 UTC |
| c6d87bd | Marina Polubelova | 26 April 2020, 14:02:04 UTC | remove duplicate test file | 26 April 2020, 14:02:04 UTC |
| 46b0447 | Marina Polubelova | 26 April 2020, 13:59:42 UTC | share test vectors in tests-openssl | 26 April 2020, 13:59:42 UTC |
| c49caf7 | Dzomo the everest Yak | 26 April 2020, 08:20:22 UTC | [CI] regenerate hints and dist | 26 April 2020, 08:20:22 UTC |
| a6363f2 | Jonathan Protzenko | 26 April 2020, 01:01:33 UTC | Merge branch 'master' into protz_fix_mitls | 26 April 2020, 01:01:33 UTC |
| cebb1ba | Jonathan Protzenko | 26 April 2020, 00:59:56 UTC | Fix miTLS with these two lines | 26 April 2020, 00:59:56 UTC |
| 2e81fa4 | Marina Polubelova | 25 April 2020, 23:55:40 UTC | define print_time once | 25 April 2020, 23:55:40 UTC |
| 5dd28bf | Marina Polubelova | 25 April 2020, 23:03:56 UTC | add curve25519 to arm tests | 25 April 2020, 23:03:56 UTC |
| 4d0d8fe | Marina Polubelova | 25 April 2020, 22:42:01 UTC | blake2: share test vectors | 25 April 2020, 22:42:01 UTC |
| 881bb5c | Marina Polubelova | 25 April 2020, 22:40:37 UTC | curve25519: share test vectors | 25 April 2020, 22:40:37 UTC |
| c2d9d86 | Marina Polubelova | 25 April 2020, 22:39:24 UTC | chacha20poly1305: share test vectors | 25 April 2020, 22:39:24 UTC |
| 1a8612b | Marina Polubelova | 25 April 2020, 22:38:35 UTC | chacha20: share test vectors | 25 April 2020, 22:38:35 UTC |
| be77ec3 | Marina Polubelova | 25 April 2020, 22:36:11 UTC | poly1305: share test vectors | 25 April 2020, 22:36:11 UTC |
| 72a4549 | Marina Polubelova | 25 April 2020, 16:10:15 UTC | relax the preconditions of repeat_l | 25 April 2020, 16:10:15 UTC |
| 84e20ea | Marina Polubelova | 25 April 2020, 14:02:53 UTC | Merge remote-tracking branch 'origin/master' into _repeat_gen_blocks | 25 April 2020, 14:02:53 UTC |
| f59acc7 | Dzomo the everest Yak | 25 April 2020, 08:25:43 UTC | [CI] regenerate hints and dist | 25 April 2020, 08:25:43 UTC |
| 5a17d58 | Jonathan Protzenko | 25 April 2020, 00:33:01 UTC | Merge pull request #270 from project-everest/protz_streaming A streaming functor on top of a block-based algorithm type class | 25 April 2020, 00:33:01 UTC |
| 1539fc6 | Jonathan Protzenko | 24 April 2020, 23:18:32 UTC | kick CI | 24 April 2020, 23:18:32 UTC |
| 56130dc | Jonathan Protzenko | 24 April 2020, 22:56:52 UTC | And now a missing dependency in the Makefile | 24 April 2020, 22:56:52 UTC |
| a3e4394 | Jonathan Protzenko | 24 April 2020, 22:18:35 UTC | Always forgetting about tests | 24 April 2020, 22:18:35 UTC |
| c1b4d5b | Jonathan Protzenko | 24 April 2020, 21:45:25 UTC | Forgot a unit | 24 April 2020, 21:45:25 UTC |
| d15c5b7 | Jonathan Protzenko | 24 April 2020, 21:30:42 UTC | kick CI | 24 April 2020, 21:30:42 UTC |
| 43ccf4d | Jonathan Protzenko | 24 April 2020, 21:24:16 UTC | Forgot to add lib | 24 April 2020, 21:24:16 UTC |
| eb25ba6 | Jonathan Protzenko | 24 April 2020, 21:20:26 UTC | More hints | 24 April 2020, 21:20:26 UTC |
| ce838b6 | Jonathan Protzenko | 24 April 2020, 21:14:35 UTC | Forgot a renaming | 24 April 2020, 21:14:35 UTC |
| dd82cbe | Jonathan Protzenko | 24 April 2020, 21:13:51 UTC | Remove more code duplication | 24 April 2020, 21:13:51 UTC |
| aa211c2 | Jonathan Protzenko | 24 April 2020, 21:11:09 UTC | More renamings, more test cleanups | 24 April 2020, 21:11:09 UTC |
| 6f91754 | Jonathan Protzenko | 24 April 2020, 20:28:39 UTC | More cleanup, sadly | 24 April 2020, 20:28:39 UTC |
| 540fe46 | Jonathan Protzenko | 24 April 2020, 19:45:32 UTC | Add proper early failures to the build script rather than get unscrutable vale errors later | 24 April 2020, 19:45:32 UTC |
| 832a7e8 | Jonathan Protzenko | 24 April 2020, 19:43:45 UTC | Merge remote-tracking branch 'origin/master' into protz_streaming | 24 April 2020, 19:43:45 UTC |
| e86ba28 | Jonathan Protzenko | 24 April 2020, 19:36:21 UTC | typo | 24 April 2020, 19:36:21 UTC |
| f86de8c | Jonathan Protzenko | 24 April 2020, 19:34:27 UTC | An exemplary test, and some hints | 24 April 2020, 19:34:27 UTC |
| 8bd6ba2 | Jonathan Protzenko | 24 April 2020, 18:52:26 UTC | Move the logical reasoning to a separate spec file, one more lemma without nl arithmetic | 24 April 2020, 18:52:26 UTC |
| 70ec4c7 | Jonathan Protzenko | 24 April 2020, 18:09:29 UTC | Refresh selected bits of the snapshot | 24 April 2020, 18:09:29 UTC |
| 1e08089 | Jonathan Protzenko | 24 April 2020, 18:04:14 UTC | Merge branch 'protz_streaming' of pro.github.com:project-everest/hacl-star into protz_streaming | 24 April 2020, 18:04:14 UTC |
| d6b7e91 | Jonathan Protzenko | 24 April 2020, 18:01:54 UTC | Refresh selected bits of the snapshot | 24 April 2020, 18:02:35 UTC |
| 5c9ec83 | Jonathan Protzenko | 24 April 2020, 17:55:18 UTC | More sharing of definition | 24 April 2020, 17:55:18 UTC |
| a85cd04 | Jonathan Protzenko | 24 April 2020, 17:39:38 UTC | Renaming, comments | 24 April 2020, 17:39:38 UTC |
| 3444b4b | Dzomo the everest Yak | 24 April 2020, 08:21:13 UTC | [CI] regenerate hints and dist | 24 April 2020, 08:21:13 UTC |
| ab3fdfd | Marina Polubelova | 23 April 2020, 22:30:30 UTC | add precomp_inv_zeros lemma | 23 April 2020, 22:30:30 UTC |
| da9453e | Jonathan Protzenko | 23 April 2020, 19:57:35 UTC | Fix inefficiency thanks to Marina's new lemma | 23 April 2020, 19:57:35 UTC |
| 8b6588a | Jonathan Protzenko | 23 April 2020, 19:47:31 UTC | Merge remote-tracking branch 'origin/poly_ctx_zeros' into protz_streaming | 23 April 2020, 19:47:31 UTC |
| f3e83c2 | Marina Polubelova | 23 April 2020, 18:36:44 UTC | add ctx_inv_zeros lemma | 23 April 2020, 18:36:44 UTC |
| 9abac0a | Marina Polubelova | 23 April 2020, 17:17:54 UTC | fix fill_blocks_simple | 23 April 2020, 17:17:54 UTC |
| bb8d02b | Marina Polubelova | 23 April 2020, 17:17:26 UTC | simplify proof of fsqr_felem5 | 23 April 2020, 17:17:26 UTC |
| d1d43c7 | Jonathan Protzenko | 23 April 2020, 15:57:16 UTC | Also fixup OCaml bindings | 23 April 2020, 15:57:16 UTC |
| d4dc8e2 | Marina Polubelova | 23 April 2020, 15:23:11 UTC | Merge remote-tracking branch 'origin/master' into _repeat_gen_blocks | 23 April 2020, 15:23:11 UTC |
| a7c35ae | Marina Polubelova | 23 April 2020, 15:20:34 UTC | hints | 23 April 2020, 15:20:34 UTC |
| 604af77 | Marina Polubelova | 23 April 2020, 15:20:06 UTC | rlimits | 23 April 2020, 15:20:06 UTC |
| 6cfee50 | Marina Polubelova | 23 April 2020, 13:33:48 UTC | stabilize proofs | 23 April 2020, 13:33:48 UTC |
| eab620b | Marina Polubelova | 23 April 2020, 12:47:34 UTC | rlimits | 23 April 2020, 12:47:34 UTC |
| e3bc2bc | Dzomo the everest Yak | 23 April 2020, 08:22:47 UTC | [CI] regenerate hints and dist | 23 April 2020, 08:22:47 UTC |
| 59583fe | Jonathan Protzenko | 23 April 2020, 00:03:22 UTC | Selective refresh of dist | 23 April 2020, 00:03:22 UTC |
| 861fb42 | Jonathan Protzenko | 22 April 2020, 23:09:14 UTC | Dump more facts to strengthen this proof | 22 April 2020, 23:09:14 UTC |
| da3f8ad | Jonathan Protzenko | 22 April 2020, 21:53:20 UTC | Try larger rlimit | 22 April 2020, 21:53:20 UTC |
| 69423d9 | Jonathan Protzenko | 22 April 2020, 20:56:18 UTC | Address review comments | 22 April 2020, 20:58:56 UTC |
| 4e89581 | Jonathan Protzenko | 22 April 2020, 20:43:07 UTC | Kill the last flaky proof in this module | 22 April 2020, 20:43:07 UTC |
| df1e80b | Jonathan Protzenko | 22 April 2020, 20:32:01 UTC | Bump rlimit | 22 April 2020, 20:32:01 UTC |
| 5b32488 | Jonathan Protzenko | 22 April 2020, 20:29:17 UTC | Merge remote-tracking branch 'origin/master' into protz_streaming | 22 April 2020, 20:29:17 UTC |
| ebd95cc | Jonathan Protzenko | 22 April 2020, 17:56:47 UTC | Minor stuff | 22 April 2020, 17:56:47 UTC |
| 40fcbb8 | Aseem Rastogi | 22 April 2020, 15:10:56 UTC | Merge pull request #286 from project-everest/_aseem_fstar_no_return Fixes for changes in F* VC generation | 22 April 2020, 15:10:56 UTC |
| fc79758 | Aseem Rastogi | 22 April 2020, 12:26:24 UTC | hints | 22 April 2020, 12:26:24 UTC |
| 67bd506 | Aseem Rastogi | 22 April 2020, 12:25:17 UTC | some tweaks for F* VC changes | 22 April 2020, 12:25:17 UTC |
| 0f7967b | Dzomo the everest Yak | 22 April 2020, 08:20:07 UTC | [CI] regenerate hints and dist | 22 April 2020, 08:20:07 UTC |
| 316547d | Jonathan Protzenko | 21 April 2020, 21:45:56 UTC | Minor fix | 21 April 2020, 21:45:56 UTC |
| 14d6e14 | Jonathan Protzenko | 21 April 2020, 21:38:37 UTC | Propagate | 21 April 2020, 21:38:37 UTC |
| 68874b2 | Jonathan Protzenko | 21 April 2020, 21:30:41 UTC | Give up and grep for the exact LLVM buggy version | 21 April 2020, 21:30:41 UTC |
| b001fbf | Jonathan Protzenko | 21 April 2020, 21:21:11 UTC | Hopefully fix feature detection this time | 21 April 2020, 21:21:11 UTC |
| 566411e | Jonathan Protzenko | 21 April 2020, 20:30:22 UTC | And try another kind of feature test just to be thorough | 21 April 2020, 20:30:22 UTC |
| 96d6fda | Jonathan Protzenko | 21 April 2020, 20:29:55 UTC | Revert "Even more aggressive "feature detection"" This reverts commit d323d64a4c9c69083b42770929ce93e0e61fa819. | 21 April 2020, 20:29:55 UTC |
| d323d64 | Jonathan Protzenko | 21 April 2020, 20:16:58 UTC | Even more aggressive "feature detection" | 21 April 2020, 20:16:58 UTC |
| 3f6f5d2 | Jonathan Protzenko | 21 April 2020, 20:14:07 UTC | Other fix | 21 April 2020, 20:14:07 UTC |
