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 |