9328136 | Jonathan Protzenko | 15 April 2020, 18:25:02 UTC | Tweak configure script | 15 April 2020, 18:25:02 UTC |
321f8c4 | Jonathan Protzenko | 15 April 2020, 18:21:31 UTC | Merge remote-tracking branch 'origin/master' into protz_ci | 15 April 2020, 18:21:31 UTC |
0887472 | Jonathan Protzenko | 15 April 2020, 18:20:12 UTC | Try to enable Travis for ARM | 15 April 2020, 18:20:12 UTC |
ba5ddc6 | Jonathan Protzenko | 15 April 2020, 18:10:39 UTC | Run tests against gcc-compatible (should be the same) | 15 April 2020, 18:10:39 UTC |
ed70189 | Jonathan Protzenko | 15 April 2020, 18:02:03 UTC | One more tweak | 15 April 2020, 18:02:03 UTC |
d67c453 | Jonathan Protzenko | 15 April 2020, 18:01:20 UTC | One last issue | 15 April 2020, 18:01:20 UTC |
25d668c | Jonathan Protzenko | 15 April 2020, 17:46:36 UTC | Add proper platform guards to avoid undefined linker references on ARM | 15 April 2020, 17:46:36 UTC |
94a40cb | Dzomo the everest Yak | 15 April 2020, 08:21:45 UTC | [CI] regenerate hints and dist | 15 April 2020, 08:21:45 UTC |
7348189 | Jonathan Protzenko | 14 April 2020, 19:15:33 UTC | A configure script for ARM | 14 April 2020, 19:15:33 UTC |
fe27d23 | Dzomo the everest Yak | 13 April 2020, 08:22:03 UTC | [CI] regenerate hints and dist | 13 April 2020, 08:22:03 UTC |
922bace | Dzomo the everest Yak | 12 April 2020, 08:19:27 UTC | [CI] regenerate hints and dist | 12 April 2020, 08:19:27 UTC |
ede0f8c | Dzomo the everest Yak | 11 April 2020, 08:36:01 UTC | [CI] regenerate hints and dist | 11 April 2020, 08:36:01 UTC |
5fcfae2 | Dzomo the everest Yak | 10 April 2020, 08:21:43 UTC | [CI] regenerate hints and dist | 10 April 2020, 08:21:43 UTC |
f3b5190 | Dzomo the everest Yak | 09 April 2020, 08:19:47 UTC | [CI] regenerate hints and dist | 09 April 2020, 08:19:47 UTC |
9ae0f18 | Dzomo the everest Yak | 08 April 2020, 08:28:55 UTC | [CI] regenerate hints and dist | 08 April 2020, 08:28:55 UTC |
46b54e0 | Dzomo the everest Yak | 07 April 2020, 08:23:14 UTC | [CI] regenerate hints and dist | 07 April 2020, 08:23:14 UTC |
2de67db | Santiago Zanella-Beguelin | 06 April 2020, 23:19:10 UTC | Merge pull request #278 from project-everest/_aseem_no_abstract Removing `abstract` keyword | 06 April 2020, 23:19:10 UTC |
8c1f0de | Santiago Zanella-Beguelin | 06 April 2020, 22:31:32 UTC | Merge branch 'master' into _aseem_no_abstract | 06 April 2020, 22:31:32 UTC |
05e6146 | Santiago Zanella-Beguelin | 06 April 2020, 22:31:03 UTC | Merge pull request #279 from project-everest/joonwonc_merkle_tree_fix_flush Fix the proof of `mt_flush_to_` by using `rv_flush_inplace` | 06 April 2020, 22:31:03 UTC |
29eb779 | Santiago Zanella-Beguelin | 06 April 2020, 22:28:10 UTC | Merge remote-tracking branch 'origin/joonwonc_merkle_tree_fix_flush' into _aseem_no_abstract | 06 April 2020, 22:28:10 UTC |
a77cf4b | Ann Weine | 06 April 2020, 21:37:54 UTC | lemma changed for ci | 06 April 2020, 21:37:54 UTC |
5efd148 | Jonathan Protzenko | 06 April 2020, 20:31:53 UTC | Merge branch 'master' into joonwonc_merkle_tree_fix_flush | 06 April 2020, 20:31:53 UTC |
28d2820 | Joonwon Choi | 06 April 2020, 20:07:27 UTC | Fix the proof of `mt_flush_to_` by using `rv_flush_inplace` | 06 April 2020, 20:07:27 UTC |
c510947 | Aseem Rastogi | 06 April 2020, 17:12:46 UTC | make abstract usage a fatal error | 06 April 2020, 17:12:46 UTC |
3360b87 | Aseem Rastogi | 06 April 2020, 17:12:25 UTC | removing instances of the abstract keyword | 06 April 2020, 17:12:25 UTC |
9ff42fb | Dzomo the everest Yak | 06 April 2020, 08:21:49 UTC | [CI] regenerate hints and dist | 06 April 2020, 08:21:49 UTC |
a1b56ca | Dzomo the everest Yak | 05 April 2020, 08:51:40 UTC | [CI] regenerate hints and dist | 05 April 2020, 08:51:40 UTC |
5a8163d | Jonathan Protzenko | 03 April 2020, 20:41:02 UTC | Merge pull request #276 from project-everest/protz_test Cleanup tests and makefiles | 03 April 2020, 20:41:02 UTC |
3218dfa | Jonathan Protzenko | 03 April 2020, 19:44:28 UTC | Fix tests | 03 April 2020, 19:44:28 UTC |
310fce4 | Santiago Zanella-Beguelin | 03 April 2020, 17:35:19 UTC | Merge pull request #273 from project-everest/karthik_arm_neon Compatibility with ARM Neon | 03 April 2020, 17:35:19 UTC |
64525ff | karthik.bhargavan | 03 April 2020, 16:12:43 UTC | merged | 03 April 2020, 16:12:43 UTC |
141b31b | karthik.bhargavan | 03 April 2020, 16:11:39 UTC | merged | 03 April 2020, 16:11:39 UTC |
827e156 | karthik.bhargavan | 03 April 2020, 16:11:01 UTC | merged | 03 April 2020, 16:11:01 UTC |
7c4b4c8 | Aseem Rastogi | 03 April 2020, 14:52:50 UTC | Merge pull request #274 from project-everest/_aseem_abstract Interfaces in F* ulib for IntN and UIntN modules | 03 April 2020, 14:52:50 UTC |
5d5fec6 | Aseem Rastogi | 03 April 2020, 13:07:59 UTC | Revert config.json | 03 April 2020, 13:07:59 UTC |
d966a81 | Aseem Rastogi | 03 April 2020, 13:07:13 UTC | Merge branch 'master' into _aseem_abstract | 03 April 2020, 13:07:13 UTC |
c30fe0c | Aseem Rastogi | 03 April 2020, 11:54:12 UTC | merkle tree | 03 April 2020, 11:54:12 UTC |
0a6b4c4 | karthik.bhargavan | 03 April 2020, 11:40:01 UTC | trying without hints | 03 April 2020, 11:40:01 UTC |
3c42016 | Aseem Rastogi | 03 April 2020, 10:31:30 UTC | removing another admit (new hints) | 03 April 2020, 10:31:30 UTC |
3888e46 | Aseem Rastogi | 03 April 2020, 10:28:58 UTC | removing one more (new hints) | 03 April 2020, 10:28:58 UTC |
3096de7 | Aseem Rastogi | 03 April 2020, 10:25:38 UTC | removing another admit (new hints) | 03 April 2020, 10:25:38 UTC |
aa85a22 | Aseem Rastogi | 03 April 2020, 10:11:44 UTC | removing an admit (new hints + removing 2 assertions that I added before) | 03 April 2020, 10:11:44 UTC |
b8e0d15 | Aseem Rastogi | 03 April 2020, 10:00:13 UTC | removing an admit (new hint) | 03 April 2020, 10:00:13 UTC |
506ecfa | Dzomo the everest Yak | 03 April 2020, 08:21:59 UTC | [CI] regenerate hints and dist | 03 April 2020, 08:21:59 UTC |
165819b | Aseem Rastogi | 03 April 2020, 08:12:20 UTC | one more | 03 April 2020, 08:12:20 UTC |
ac92990 | Aseem Rastogi | 03 April 2020, 06:10:59 UTC | some more | 03 April 2020, 06:10:59 UTC |
7a36f38 | Aseem Rastogi | 03 April 2020, 05:17:30 UTC | temp admits | 03 April 2020, 05:17:30 UTC |
4841036 | Jonathan Protzenko | 03 April 2020, 00:44:35 UTC | Merge pull request #271 from project-everest/protz_noopenssl Disable OpenSSL and BCrypt | 03 April 2020, 00:44:35 UTC |
828a1c9 | Jonathan Protzenko | 02 April 2020, 23:46:25 UTC | Fix quic_provider | 02 April 2020, 23:46:25 UTC |
52519aa | Jonathan Protzenko | 02 April 2020, 23:08:51 UTC | fix | 02 April 2020, 23:08:51 UTC |
32f9a3c | Jonathan Protzenko | 02 April 2020, 22:24:48 UTC | Disable legacy tests | 02 April 2020, 22:24:48 UTC |
c305a7f | Jonathan Protzenko | 02 April 2020, 21:46:44 UTC | Kick CI | 02 April 2020, 21:46:44 UTC |
2ac35fe | Jonathan Protzenko | 02 April 2020, 20:23:12 UTC | Fix some Makefile bugs | 02 April 2020, 20:23:12 UTC |
86b799e | Santiago Zanella-Beguelin | 02 April 2020, 10:15:47 UTC | Cleanup PR | 02 April 2020, 10:17:50 UTC |
6cd45ad | Santiago Zanella-Beguelin | 02 April 2020, 09:47:05 UTC | Merge branch 'master' into protz_noopenssl | 02 April 2020, 09:47:05 UTC |
1df4049 | Dzomo the everest Yak | 02 April 2020, 08:22:55 UTC | [CI] regenerate hints and dist | 02 April 2020, 08:22:55 UTC |
629fcb5 | karthik.bhargavan | 01 April 2020, 17:05:13 UTC | merged master | 01 April 2020, 17:05:13 UTC |
fc01b0f | Jonathan Protzenko | 01 April 2020, 16:51:21 UTC | Merge pull request #269 from project-everest/denismerigoux_wasm Follow up for JS bindings | 01 April 2020, 16:51:21 UTC |
6d5f8b6 | Jonathan Protzenko | 01 April 2020, 15:54:05 UTC | Merge branch 'master' into denismerigoux_wasm | 01 April 2020, 15:54:05 UTC |
d638355 | karthik.bhargavan | 01 April 2020, 15:31:20 UTC | fixed p256 | 01 April 2020, 15:31:20 UTC |
759bcb7 | karthik.bhargavan | 01 April 2020, 11:58:48 UTC | added hints | 01 April 2020, 11:58:48 UTC |
0f2ffb2 | Dzomo the everest Yak | 01 April 2020, 08:20:26 UTC | [CI] regenerate hints and dist | 01 April 2020, 08:20:26 UTC |
e70ac97 | karthik.bhargavan | 01 April 2020, 06:56:46 UTC | blake2 C test | 01 April 2020, 06:56:46 UTC |
72fc35f | karthik.bhargavan | 01 April 2020, 06:56:26 UTC | sha2 C test | 01 April 2020, 06:56:26 UTC |
200ca29 | Jonathan Protzenko | 01 April 2020, 00:17:13 UTC | Merge pull request #272 from project-everest/guido_test Bump rlimits | 01 April 2020, 00:17:13 UTC |
0303e88 | Guido Martínez | 31 March 2020, 18:27:32 UTC | rlimits | 31 March 2020, 18:27:32 UTC |
c59dd0c | Jonathan Protzenko | 31 March 2020, 17:43:02 UTC | Doc update while I'm at it | 31 March 2020, 17:43:02 UTC |
4f4b329 | Jonathan Protzenko | 31 March 2020, 17:20:59 UTC | Disable OpenSSL and BCrypt by default except for dist/mitls, now the only build with the legacy interface enabled | 31 March 2020, 17:20:59 UTC |
0ff23de | Denis Merigoux | 31 March 2020, 13:03:22 UTC | Merge branch 'master' into denismerigoux_wasm | 31 March 2020, 13:03:22 UTC |
75f6fc4 | Dzomo the everest Yak | 31 March 2020, 08:22:32 UTC | [CI] regenerate hints and dist | 31 March 2020, 08:22:32 UTC |
5d7b3a5 | Denis Merigoux | 30 March 2020, 16:04:39 UTC | Correct folder for Javascript doc cp origin | 30 March 2020, 16:04:39 UTC |
ccff3c3 | Dzomo the everest Yak | 30 March 2020, 08:27:41 UTC | [CI] regenerate hints and dist | 30 March 2020, 08:27:41 UTC |
a9aa154 | Jonathan Protzenko | 29 March 2020, 23:49:04 UTC | Merge pull request #262 from project-everest/denismerigoux_wasm Javascript bindings for HACL-Wasm | 29 March 2020, 23:49:04 UTC |
f8dc6fb | Jonathan Protzenko | 29 March 2020, 22:30:29 UTC | Fix Makefile for various bits, also fixup things after HPKE landed | 29 March 2020, 22:30:29 UTC |
aa7c574 | Jonathan Protzenko | 29 March 2020, 21:46:28 UTC | Merge remote-tracking branch 'origin/master' into denismerigoux_wasm | 29 March 2020, 21:46:28 UTC |
27128e0 | Jonathan Protzenko | 29 March 2020, 21:44:52 UTC | Small fix for Makefile | 29 March 2020, 21:44:52 UTC |
4df94ef | karthikbhargavan | 29 March 2020, 19:26:56 UTC | make in tests | 29 March 2020, 19:26:56 UTC |
9c0a3ac | karthikbhargavan | 29 March 2020, 19:12:05 UTC | passes arm tests | 29 March 2020, 19:12:05 UTC |
967fbdb | karthikbhargavan | 29 March 2020, 19:03:24 UTC | added arm tests | 29 March 2020, 19:03:24 UTC |
daafc8f | karthikbhargavan | 29 March 2020, 17:18:50 UTC | Merge branch 'karthik_blake2' of github.com:mitls/hacl-star into karthik_blake2 | 29 March 2020, 17:18:50 UTC |
7abbbe5 | karthikbhargavan | 29 March 2020, 17:18:34 UTC | fixed arm intrinsics | 29 March 2020, 17:18:34 UTC |
7dc3ab3 | karthik.bhargavan | 29 March 2020, 17:03:31 UTC | new dist files | 29 March 2020, 17:03:31 UTC |
f0b305d | karthik.bhargavan | 29 March 2020, 16:08:16 UTC | made changes for arm compatibility | 29 March 2020, 16:08:16 UTC |
470021b | karthik.bhargavan | 29 March 2020, 09:09:35 UTC | fixed arm intrinsics | 29 March 2020, 09:09:35 UTC |
5cd84fa | karthik.bhargavan | 29 March 2020, 09:08:53 UTC | Merge remote-tracking branch 'origin/master' into karthik_blake2 | 29 March 2020, 09:08:53 UTC |
3b219ba | Dzomo the everest Yak | 29 March 2020, 08:45:15 UTC | [CI] regenerate hints and dist | 29 March 2020, 08:45:15 UTC |
308e687 | karthikbhargavan | 28 March 2020, 17:14:46 UTC | Merge pull request #266 from project-everest/nik_hash_incremental_retry adding a --retry 3 to EverCrypt.Hash.Incremental.init, on consulation… | 28 March 2020, 17:14:46 UTC |
7043fe0 | karthik.bhargavan | 28 March 2020, 09:37:28 UTC | merged dist | 28 March 2020, 09:37:28 UTC |
632509d | karthik.bhargavan | 28 March 2020, 09:15:03 UTC | working after merge | 28 March 2020, 09:15:03 UTC |
cab4255 | Nikhil Swamy | 27 March 2020, 19:32:06 UTC | adding a --retry 3 to EverCrypt.Hash.Incremental.init, on consulation with @protz | 27 March 2020, 19:32:06 UTC |
1ab72c1 | Jonathan Protzenko | 27 March 2020, 18:06:16 UTC | Merge branch 'master' into denismerigoux_wasm | 27 March 2020, 18:06:16 UTC |
db56f0f | Karthikeyan Bhargavan | 27 March 2020, 17:22:59 UTC | Merge pull request #265 from project-everest/karthik_constbuffer Global immutable *const* buffers | 27 March 2020, 17:22:59 UTC |
9ed19e8 | Denis Merigoux | 27 March 2020, 16:29:33 UTC | Fixes doc | 27 March 2020, 16:29:33 UTC |
c9224ad | karthik.bhargavan | 27 March 2020, 16:24:43 UTC | merged master | 27 March 2020, 16:24:43 UTC |
a5f1aab | Denis Merigoux | 27 March 2020, 16:22:00 UTC | Merge remote-tracking branch 'origin/master' into denismerigoux_wasm | 27 March 2020, 16:22:00 UTC |
62432e1 | Denis Merigoux | 27 March 2020, 16:19:09 UTC | Doc for javascript | 27 March 2020, 16:19:09 UTC |
c2c2128 | Denis Merigoux | 27 March 2020, 16:18:49 UTC | Final solution for removing slow curve! | 27 March 2020, 16:18:49 UTC |
640e412 | Denis Merigoux | 27 March 2020, 15:36:43 UTC | Bump npm version number | 27 March 2020, 15:36:43 UTC |
772ae61 | Denis Merigoux | 27 March 2020, 15:35:54 UTC | Move Makefile comment | 27 March 2020, 15:35:54 UTC |
824f123 | Denis Merigoux | 27 March 2020, 15:35:35 UTC | Applying jshint on JS files! | 27 March 2020, 15:35:35 UTC |