| 3a84f46 | Victor Dumitrescu | 17 April 2020, 15:12:30 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ctypes_evercrypt | 17 April 2020, 15:12:30 UTC |
| b96d052 | Dzomo the everest Yak | 17 April 2020, 08:20:36 UTC | [CI] regenerate hints and dist | 17 April 2020, 08:20:36 UTC |
| 4cc0657 | Jonathan Protzenko | 16 April 2020, 16:48:58 UTC | Merge remote-tracking branch 'origin/master' into vdum_ctypes_evercrypt | 16 April 2020, 16:48:58 UTC |
| 96bd4b7 | Jonathan Protzenko | 16 April 2020, 16:46:33 UTC | Merge pull request #281 from project-everest/protz_ci A configure script for ARM | 16 April 2020, 16:46:33 UTC |
| 3a0ba5b | Jonathan Protzenko | 16 April 2020, 15:03:51 UTC | Merge branch 'master' into protz_ci | 16 April 2020, 15:03:51 UTC |
| dd4761e | Victor Dumitrescu | 16 April 2020, 14:37:45 UTC | Nit | 16 April 2020, 14:37:45 UTC |
| 724d104 | Victor Dumitrescu | 16 April 2020, 09:31:08 UTC | Attempt to set environment correctly for Windows Co-authored-by: @protz | 16 April 2020, 09:31:08 UTC |
| 1674197 | Dzomo the everest Yak | 16 April 2020, 08:20:03 UTC | [CI] regenerate hints and dist | 16 April 2020, 08:20:03 UTC |
| ca37fbf | Jonathan Protzenko | 15 April 2020, 23:12:23 UTC | Revert to dynamic linking | 15 April 2020, 23:12:23 UTC |
| b9f6cf8 | Jonathan Protzenko | 15 April 2020, 22:32:53 UTC | And now try to other way with a static library, see which works on which platform | 15 April 2020, 22:32:53 UTC |
| 33b99c7 | Jonathan Protzenko | 15 April 2020, 22:21:06 UTC | Don't link the cmxa against both static and dynamic libraries | 15 April 2020, 22:21:06 UTC |
| ebb69c2 | Jonathan Protzenko | 15 April 2020, 22:04:37 UTC | Forgot dll files for windows | 15 April 2020, 22:04:37 UTC |
| 53f0308 | Victor Dumitrescu | 15 April 2020, 20:52:22 UTC | Some more build fixes | 15 April 2020, 20:52:22 UTC |
| b9e7d26 | Jonathan Protzenko | 15 April 2020, 20:40:12 UTC | Make sure configure is properly copied via nightly | 15 April 2020, 20:40:12 UTC |
| 354c09c | Jonathan Protzenko | 15 April 2020, 18:29:16 UTC | Off by two, try Travis again | 15 April 2020, 18:29:16 UTC |
| 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 |
| adf0331 | Victor Dumitrescu | 15 April 2020, 17:50:31 UTC | Attempt to fix Windows build 2 | 15 April 2020, 17:50:31 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 |
| f7de6c9 | Victor Dumitrescu | 15 April 2020, 16:15:39 UTC | Attempt to fix Windows build | 15 April 2020, 16:15:39 UTC |
| 0df449a | Victor Dumitrescu | 15 April 2020, 09:56:18 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ctypes_evercrypt | 15 April 2020, 09:56:18 UTC |
| 223b91a | Victor Dumitrescu | 15 April 2020, 09:52:35 UTC | OCaml API: Various fixes | 15 April 2020, 09:52:35 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 |
| 45a0360 | Jonathan Protzenko | 14 April 2020, 01:50:58 UTC | Merge branch 'master' into vdum_ctypes_evercrypt | 14 April 2020, 01:50:58 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 |
| 64122b3 | Jonathan Protzenko | 09 April 2020, 16:14:34 UTC | my bad | 09 April 2020, 16:14:34 UTC |
| 1cf2055 | Victor Dumitrescu | 09 April 2020, 16:10:53 UTC | Add OCaml API test to CI | 09 April 2020, 16:10:53 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 |
| 0c952e3 | Victor Dumitrescu | 03 April 2020, 15:22:25 UTC | OCaml API: Cleanup, remove dependency on Bigstring for now | 03 April 2020, 15:22:25 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 |
| ce5b049 | Victor Dumitrescu | 03 April 2020, 13:34:17 UTC | Reset hints and dist to be the same as master again | 03 April 2020, 13:34:17 UTC |
| 43ac605 | Victor Dumitrescu | 03 April 2020, 13:22:38 UTC | Update snapshot | 03 April 2020, 13:22:38 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 |
| 6c836d2 | Victor Dumitrescu | 03 April 2020, 12:58:46 UTC | Reset hints and dist to be the same as master | 03 April 2020, 12:58:46 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 |
| aed5346 | Victor Dumitrescu | 03 April 2020, 10:21:47 UTC | OCaml API: opam release process | 03 April 2020, 10:21:47 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 |
| 083ed1f | Victor Dumitrescu | 03 April 2020, 09:14:23 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ctypes_evercrypt | 03 April 2020, 09:14:23 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 |
| 9dade9e | Victor Dumitrescu | 02 April 2020, 13:24:07 UTC | OCaml API: Fix disjointess check for Bytes | 02 April 2020, 13:25:23 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 |
| 7e2a418 | Victor Dumitrescu | 01 April 2020, 19:02:01 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ctypes_evercrypt | 01 April 2020, 19:02:01 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 |
