| 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 |
| 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 |
| 0f2ffb2 | Dzomo the everest Yak | 01 April 2020, 08:20:26 UTC | [CI] regenerate hints and dist | 01 April 2020, 08:20: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 |
| 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 |
| 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 |
| 91c6d06 | Denis Merigoux | 27 March 2020, 14:42:01 UTC | Various small fixes | 27 March 2020, 14:42:01 UTC |
| 0552c57 | Denis Merigoux | 27 March 2020, 14:41:45 UTC | At last prevent Slow curve from being generated | 27 March 2020, 14:41:45 UTC |
| 429a31f | Denis Merigoux | 26 March 2020, 16:30:24 UTC | Ignore fixes | 27 March 2020, 10:44:16 UTC |
| d95b3c8 | Dzomo the everest Yak | 27 March 2020, 08:26:07 UTC | [CI] regenerate hints and dist | 27 March 2020, 08:26:07 UTC |
| b556ea2 | Dzomo the everest Yak | 26 March 2020, 08:26:40 UTC | [CI] regenerate hints and dist | 26 March 2020, 08:26:40 UTC |
| edac320 | karthik.bhargavan | 26 March 2020, 06:49:05 UTC | removed Root from gbuffer; fixed Lib.PrintBuffer | 26 March 2020, 06:49:05 UTC |
| f744b87 | karthik.bhargavan | 25 March 2020, 17:42:19 UTC | merged | 25 March 2020, 17:42:19 UTC |
| 07f894e | Dzomo the everest Yak | 25 March 2020, 08:44:32 UTC | [CI] regenerate hints and dist | 25 March 2020, 08:44:32 UTC |
| 796eaa1 | karthik.bhargavan | 25 March 2020, 08:15:23 UTC | refreshed hints from linux laptop | 25 March 2020, 08:15:23 UTC |
| 14cf068 | karthikbhargavan | 24 March 2020, 18:16:38 UTC | reset vale hints, upped poly-lemmas2 rlimit | 24 March 2020, 18:16:38 UTC |
| 591d9d4 | karthikbhargavan | 24 March 2020, 18:16:22 UTC | reset vale hints, upped poly-lemmas2 rlimit | 24 March 2020, 18:16:22 UTC |
| ccdc53e | karthikbhargavan | 24 March 2020, 17:05:48 UTC | checking in hints | 24 March 2020, 17:05:48 UTC |
| 35e5d71 | Aymeric Fromherz | 24 March 2020, 15:39:32 UTC | Merge pull request #261 from project-everest/afromher_hpke HPKE implementation and instantiations | 24 March 2020, 15:39:32 UTC |
| 493d130 | Aymeric Fromherz | 24 March 2020, 14:39:08 UTC | Merge branch 'master' into afromher_hpke | 24 March 2020, 14:39:08 UTC |
| 24d3821 | Aymeric Fromherz | 24 March 2020, 14:38:40 UTC | Remove incorrect (but unused) order for Spec.Agile.DH | 24 March 2020, 14:38:40 UTC |
| f77d66e | karthikbhargavan | 24 March 2020, 11:33:04 UTC | Merge branch 'master' into karthik_constbuffer | 24 March 2020, 11:33:04 UTC |
| f952f93 | karthikbhargavan | 24 March 2020, 11:31:41 UTC | introduces global buffers == const immutable buffers | 24 March 2020, 11:31:41 UTC |
| 40b2700 | Denis Merigoux | 24 March 2020, 10:21:50 UTC | Makefile typo | 24 March 2020, 10:21:50 UTC |
| c4d4c49 | Denis Merigoux | 24 March 2020, 09:26:44 UTC | Merge remote-tracking branch 'origin/master' into denismerigoux_wasm | 24 March 2020, 09:26:44 UTC |
| 26c43ab | Dzomo the everest Yak | 24 March 2020, 08:28:21 UTC | [CI] regenerate hints and dist | 24 March 2020, 08:28:21 UTC |
| 40a5343 | Jonathan Protzenko | 23 March 2020, 22:18:05 UTC | Merge pull request #263 from project-everest/protz_ci Fix executable mode | 23 March 2020, 22:18:05 UTC |
| 3dc9422 | Jonathan Protzenko | 23 March 2020, 17:45:03 UTC | Merge branch 'master' into protz_ci | 23 March 2020, 17:45:03 UTC |
| ce514ab | Guido Martínez | 23 March 2020, 17:25:15 UTC | Merge pull request #259 from project-everest/guido_math tidy up lemma_mult_{le,lt}_right calls | 23 March 2020, 17:25:15 UTC |
| b655b5b | Denis Merigoux | 23 March 2020, 17:02:41 UTC | Deleting unecessary helper files produced by Kremlin | 23 March 2020, 17:02:41 UTC |
| 4e37216 | Denis Merigoux | 23 March 2020, 16:59:28 UTC | Added comment | 23 March 2020, 16:59:28 UTC |
| 72d87d7 | Denis Merigoux | 23 March 2020, 16:53:07 UTC | Resetting modifications to the Makefile of Curve | 23 March 2020, 16:53:07 UTC |
| 1a239d2 | Aymeric Fromherz | 23 March 2020, 16:52:32 UTC | Merge branch 'master' into afromher_hpke | 23 March 2020, 16:52:32 UTC |
| d3b16b4 | Aymeric Fromherz | 23 March 2020, 16:51:08 UTC | Clean Makefile | 23 March 2020, 16:51:08 UTC |
| 0f273d1 | Jonathan Protzenko | 23 March 2020, 16:41:10 UTC | Sigh, more executable files | 23 March 2020, 16:41:10 UTC |
| 7dc7007 | Guido Martínez | 23 March 2020, 16:20:29 UTC | Merge branch 'master' into guido_math | 23 March 2020, 16:20:29 UTC |
| 919aaa2 | Denis Merigoux | 23 March 2020, 15:51:32 UTC | Use set instead of loop | 23 March 2020, 15:51:32 UTC |
| c986cf3 | Denis Merigoux | 23 March 2020, 15:51:11 UTC | Kremlin does not generate slow curve any more | 23 March 2020, 15:51:11 UTC |
| 941dd94 | Denis Merigoux | 23 March 2020, 15:40:22 UTC | Makefile changes | 23 March 2020, 15:40:22 UTC |
| fce7e1c | Jonathan Protzenko | 23 March 2020, 15:13:19 UTC | Fix executable mode | 23 March 2020, 15:13:19 UTC |
| 0a12e9c | Denis Merigoux | 23 March 2020, 15:08:52 UTC | Bumped npm version | 23 March 2020, 15:08:52 UTC |
| bac0fca | Denis Merigoux | 23 March 2020, 14:47:14 UTC | Deleted file really (previous commit was just .gitignore) | 23 March 2020, 14:47:14 UTC |
| e6b1456 | Denis Merigoux | 23 March 2020, 14:31:59 UTC | Removed slow Curve25519_64 slow from bundle | 23 March 2020, 14:32:34 UTC |
| 114d0c6 | Denis Merigoux | 23 March 2020, 10:25:04 UTC | Merge remote-tracking branch 'origin/master' into denismerigoux_wasm | 23 March 2020, 10:25:04 UTC |
| 50bbe96 | Denis Merigoux | 23 March 2020, 10:14:53 UTC | Precisely control what's inside the npm package | 23 March 2020, 10:14:53 UTC |
| d1a9713 | Denis Merigoux | 23 March 2020, 08:30:51 UTC | Makefile fixes | 23 March 2020, 08:30:51 UTC |
| a728ccf | Aseem Rastogi | 22 March 2020, 13:06:38 UTC | Merge pull request #260 from project-everest/fstar-steel Some proof tweaks before merging F* steel branch to master | 22 March 2020, 13:06:38 UTC |
| 027cee4 | Aseem Rastogi | 22 March 2020, 07:14:03 UTC | kick in CI | 22 March 2020, 07:14:03 UTC |
| df0c85e | Aseem Rastogi | 21 March 2020, 16:20:31 UTC | kick in CI | 21 March 2020, 16:20:31 UTC |
| 4d1fb49 | Aymeric Fromherz | 21 March 2020, 00:12:44 UTC | Parametrize over Curve vale precondition, following @protz advice | 21 March 2020, 00:12:44 UTC |
| 2838467 | Aymeric Fromherz | 20 March 2020, 22:45:19 UTC | Parametrize over predicate for curve assembly features | 20 March 2020, 22:45:19 UTC |
| 528371b | Aymeric Fromherz | 20 March 2020, 21:48:43 UTC | Rename Generic files into HPKE.Interface | 20 March 2020, 21:48:43 UTC |
| f2dab0f | Aymeric Fromherz | 20 March 2020, 20:04:34 UTC | Fix HPKE instantiations | 20 March 2020, 20:04:34 UTC |
| 9687d60 | Aymeric Fromherz | 20 March 2020, 17:57:44 UTC | Move HPKE impl to Stack effect | 20 March 2020, 17:57:59 UTC |
| 3bd15cd | Denis Merigoux | 20 March 2020, 17:23:40 UTC | Used another better path resolution | 20 March 2020, 17:23:40 UTC |
| bc68877 | Denis Merigoux | 20 March 2020, 17:16:31 UTC | All paths resolved | 20 March 2020, 17:16:31 UTC |
| 4ef66a9 | Denis Merigoux | 20 March 2020, 17:03:05 UTC | Proper Makefile rules + location of files | 20 March 2020, 17:03:05 UTC |
| 5348dab | Aymeric Fromherz | 20 March 2020, 16:50:25 UTC | Merge branch 'master' into afromher_hpke | 20 March 2020, 16:50:25 UTC |
| 90b6b04 | Denis Merigoux | 20 March 2020, 16:12:35 UTC | Makefile that updates bindings/js | 20 March 2020, 16:12:35 UTC |
| c88ce32 | Denis Merigoux | 20 March 2020, 15:03:21 UTC | Makefile fix ? | 20 March 2020, 15:03:21 UTC |
| e32154f | Denis Merigoux | 20 March 2020, 14:58:12 UTC | Fixed makefile | 20 March 2020, 14:58:12 UTC |
| c22e2ac | Denis Merigoux | 20 March 2020, 14:57:22 UTC | Added everything for npm package | 20 March 2020, 14:57:22 UTC |
| 88d4f4b | Denis Merigoux | 20 March 2020, 10:32:29 UTC | Merge remote-tracking branch 'origin/master' into protz_wasm | 20 March 2020, 10:32:29 UTC |
| 5148bfb | Denis Merigoux | 20 March 2020, 10:18:03 UTC | Added HKDF | 20 March 2020, 10:18:03 UTC |
| 2045b61 | Denis Merigoux | 20 March 2020, 09:56:49 UTC | Added HMAC | 20 March 2020, 09:56:49 UTC |
| ac94cdf | Aseem Rastogi | 20 March 2020, 09:42:46 UTC | reverting F* branch | 20 March 2020, 09:42:46 UTC |
| e07bc8a | Denis Merigoux | 20 March 2020, 09:33:33 UTC | Added SHA3 | 20 March 2020, 09:33:33 UTC |
| 136d240 | Aseem Rastogi | 20 March 2020, 07:23:18 UTC | explaining a proof more | 20 March 2020, 07:23:18 UTC |
| 5c2c8b2 | Aseem Rastogi | 20 March 2020, 07:01:09 UTC | hint and tweaks to config.json | 20 March 2020, 07:01:09 UTC |
| 55ea532 | Aseem Rastogi | 20 March 2020, 05:11:52 UTC | using retry for a merkle tree proof | 20 March 2020, 05:11:52 UTC |
