8f073ff | Tahina Ramananandro | 17 July 2019, 20:03:02 UTC | Fix OPENSSL_LIB, OPENSSL_INC similarly | 17 July 2019, 21:53:32 UTC |
34e9540 | Tahina Ramananandro | 17 July 2019, 19:14:58 UTC | fix KREMLIN_INC path, needed by Cygwin | 17 July 2019, 19:14:58 UTC |
505946b | Tahina Ramananandro | 16 July 2019, 19:53:32 UTC | Merge branch 'fstar-master' of github.com:mitls/hacl-star into taramana_test_benchmark | 16 July 2019, 19:53:32 UTC |
32de512 | Aseem Rastogi | 16 July 2019, 04:31:20 UTC | Merge branch 'fstar-master' into aseem_top_level_null_wp | 16 July 2019, 04:31:20 UTC |
80a4f25 | Jay Bosamiya | 15 July 2019, 22:18:48 UTC | Merge pull request #175 from project-everest/jay_tighterocamlextract Provide tighter arguments for extraction to OCaml | 15 July 2019, 22:18:48 UTC |
53c96b9 | Jay Bosamiya | 15 July 2019, 18:29:18 UTC | Provide tighter arguments for extraction to ocaml | 15 July 2019, 18:30:53 UTC |
d8a7913 | Aseem Rastogi | 15 July 2019, 11:54:39 UTC | Merge branch 'fstar-master' into aseem_top_level_null_wp | 15 July 2019, 11:54:39 UTC |
92dc7f7 | Aseem Rastogi | 15 July 2019, 11:54:08 UTC | hints | 15 July 2019, 11:54:08 UTC |
d3d8d8d | Aseem Rastogi | 15 July 2019, 11:53:58 UTC | tweak | 15 July 2019, 11:53:58 UTC |
449c167 | Chris Hawblitzel | 13 July 2019, 23:56:51 UTC | Add vale/code/lib/math/Vale.Math.Poly2.Galois.* to connect Spec.GaloisField to Vale.Math.Poly2* (adapted from _dev_ckh_aes branch commit 9477f4b442a8ee4fbf6d13cc9a7aeb7eaa153b0d) | 13 July 2019, 23:56:51 UTC |
3f58d45 | Chris Hawblitzel | 13 July 2019, 13:48:15 UTC | Use one fewer register in GhashUnroll_n | 13 July 2019, 13:48:15 UTC |
22af8cf | Chris Hawblitzel | 13 July 2019, 01:54:07 UTC | Add GhashUnroll_n | 13 July 2019, 01:54:07 UTC |
4c76d28 | Aseem Rastogi | 12 July 2019, 12:04:12 UTC | switch off the top-level trivial preconditions flag | 12 July 2019, 12:04:12 UTC |
04d26cf | Christoph M. Wintersteiger | 10 July 2019, 15:34:58 UTC | Fixed misleading parameter name | 10 July 2019, 15:34:58 UTC |
cead021 | Jonathan Protzenko | 09 July 2019, 17:06:24 UTC | Merge branch 'protz_ctr' into fstar-master | 09 July 2019, 17:06:24 UTC |
ad96443 | Jonathan Protzenko | 09 July 2019, 16:18:23 UTC | Some degree of testing of chacha20 via the CTR API | 09 July 2019, 16:18:23 UTC |
63d5592 | Jonathan Protzenko | 09 July 2019, 15:17:20 UTC | Fix regression | 09 July 2019, 15:17:20 UTC |
4290bf1 | Jonathan Protzenko | 08 July 2019, 23:51:46 UTC | With Aymeric's invaluable help, fix my endianness mistake | 08 July 2019, 23:51:46 UTC |
fa110a2 | Jonathan Protzenko | 08 July 2019, 20:47:57 UTC | Doesn't seem to help either | 08 July 2019, 20:47:57 UTC |
4756bb9 | Jonathan Protzenko | 08 July 2019, 20:44:00 UTC | Test, not giving the right output. Unclear if it's the test vectors, or something else | 08 July 2019, 20:44:00 UTC |
569339a | Jonathan Protzenko | 08 July 2019, 19:14:11 UTC | Add free | 08 July 2019, 19:14:11 UTC |
e900f23 | Jonathan Protzenko | 08 July 2019, 18:02:17 UTC | hints | 08 July 2019, 18:02:17 UTC |
d1572f4 | Jonathan Protzenko | 08 July 2019, 16:38:30 UTC | Some progress on extraction | 08 July 2019, 16:38:30 UTC |
2f490d8 | Jonathan Protzenko | 08 July 2019, 14:54:09 UTC | hints | 08 July 2019, 14:54:09 UTC |
2813866 | Jonathan Protzenko | 05 July 2019, 16:43:10 UTC | hints | 05 July 2019, 16:43:10 UTC |
8ed52f5 | Jonathan Protzenko | 03 July 2019, 22:41:02 UTC | Deprecation warnings; bundle | 03 July 2019, 22:41:02 UTC |
1d1f4a0 | Jonathan Protzenko | 03 July 2019, 22:31:25 UTC | One more step towards extraction; need to move things around more | 03 July 2019, 22:31:25 UTC |
95dec2c | Jonathan Protzenko | 03 July 2019, 22:24:16 UTC | hints | 03 July 2019, 22:24:16 UTC |
359bee9 | Jonathan Protzenko | 03 July 2019, 20:37:39 UTC | Only use Lib.IntTypes.uint8 for the moment | 03 July 2019, 20:37:39 UTC |
5e4ff46 | Jonathan Protzenko | 03 July 2019, 19:58:18 UTC | State that exhibits the bug | 03 July 2019, 19:58:18 UTC |
cbc3fac | Jonathan Protzenko | 03 July 2019, 16:20:33 UTC | Snapshot | 03 July 2019, 16:20:33 UTC |
0f1c920 | Jonathan Protzenko | 02 July 2019, 23:04:19 UTC | wip | 02 July 2019, 23:04:19 UTC |
5d98cc2 | Jonathan Protzenko | 02 July 2019, 22:58:38 UTC | Over-allocate for IVs in order to support in-place reinitialization | 02 July 2019, 22:58:38 UTC |
31b41ef | Jonathan Protzenko | 02 July 2019, 22:53:49 UTC | Merge remote-tracking branch 'origin/fstar-master' into protz_ctr | 02 July 2019, 22:53:49 UTC |
b9a2016 | Jonathan Protzenko | 02 July 2019, 22:53:30 UTC | EverCrypt.CTR: create_in | 02 July 2019, 22:53:30 UTC |
fcdc322 | Jonathan Protzenko | 02 July 2019, 22:24:24 UTC | snapshot | 02 July 2019, 22:24:24 UTC |
d544f25 | Jonathan Protzenko | 02 July 2019, 21:55:02 UTC | Hoisted yet another helper into a reusable form shared between CTR and AEAD | 02 July 2019, 21:55:02 UTC |
1ce36a4 | Jonathan Protzenko | 02 July 2019, 21:05:37 UTC | Small Makefile fix | 02 July 2019, 21:05:37 UTC |
404e01f | Jonathan Protzenko | 02 July 2019, 20:28:35 UTC | Continue to share more definitions, for implementations too. Soon, key expansion can be moved to a separate helper. | 02 July 2019, 20:28:35 UTC |
b2616da | Jonathan Protzenko | 02 July 2019, 20:23:42 UTC | Rewire all of AEAD to think in terms of *implementation* instead of conflating the choice of algorithm and the choice of implementation | 02 July 2019, 20:23:42 UTC |
293d6ae | Jonathan Protzenko | 02 July 2019, 19:58:38 UTC | Snapshot, again | 02 July 2019, 19:58:38 UTC |
94cc554 | Jonathan Protzenko | 02 July 2019, 19:40:39 UTC | Fleshing out more definitions | 02 July 2019, 19:40:39 UTC |
0a19e65 | Jonathan Protzenko | 02 July 2019, 18:27:42 UTC | Another snapshot | 02 July 2019, 18:27:42 UTC |
876877a | Jonathan Protzenko | 02 July 2019, 17:21:50 UTC | Snapshot | 02 July 2019, 17:21:50 UTC |
32799c4 | Jonathan Protzenko | 01 July 2019, 17:34:13 UTC | Merge remote-tracking branch 'origin/fstar-master' into protz_ctr | 01 July 2019, 17:34:13 UTC |
f1532c1 | Jonathan Protzenko | 01 July 2019, 15:33:40 UTC | Fix dependency analysis spurious warning (see FStarLang/FStar#1800) | 01 July 2019, 15:33:40 UTC |
dfad868 | Jonathan Protzenko | 28 June 2019, 21:49:00 UTC | Update | 28 June 2019, 21:49:00 UTC |
196011b | Jonathan Protzenko | 28 June 2019, 19:49:17 UTC | Merge remote-tracking branch 'origin/fstar-master' into protz_ctr | 28 June 2019, 19:49:17 UTC |
325e534 | Jonathan Protzenko | 27 June 2019, 21:51:32 UTC | Fix wording + Changelog entry | 27 June 2019, 21:51:32 UTC |
50414eb | Jonathan Protzenko | 27 June 2019, 21:31:32 UTC | One more fix | 27 June 2019, 21:31:32 UTC |
22a8572 | Jonathan Protzenko | 27 June 2019, 19:13:32 UTC | Start marking stuff as deprecated in EverCrypt | 27 June 2019, 20:35:22 UTC |
4ee4503 | Jonathan Protzenko | 27 June 2019, 20:34:13 UTC | Don't error out on deprecated declarations | 27 June 2019, 20:34:13 UTC |
1540e1f | Jonathan Protzenko | 27 June 2019, 19:11:52 UTC | wip, comments | 27 June 2019, 19:11:52 UTC |
87f3ab7 | Jonathan Protzenko | 26 June 2019, 22:33:05 UTC | Merge remote-tracking branch 'origin/fstar-master' into protz_ctr | 26 June 2019, 22:33:05 UTC |
ea729fe | Tahina Ramananandro | 26 June 2019, 21:08:48 UTC | Merge commit '442cc2f43fa95084f631dbae5fb6b15d346905c2' into taramana_test_benchmark | 26 June 2019, 21:08:48 UTC |
f3277b5 | Jonathan Protzenko | 26 June 2019, 19:52:31 UTC | Merge remote-tracking branch 'origin/fstar-master' into fstar-master | 26 June 2019, 19:52:31 UTC |
df8d650 | Jonathan Protzenko | 26 June 2019, 19:52:26 UTC | Enable building quic_provider on CI | 26 June 2019, 19:52:26 UTC |
aae8a45 | Tahina Ramananandro | 26 June 2019, 19:35:46 UTC | Merge branch 'fstar-master' of github.com:mitls/hacl-star into taramana_test_benchmark | 26 June 2019, 19:35:46 UTC |
442cc2f | Jonathan Protzenko | 26 June 2019, 17:08:45 UTC | Fix benchmarking code | 26 June 2019, 17:08:45 UTC |
c6d4f1d | Aymeric Fromherz | 26 June 2019, 17:04:23 UTC | Uncomment non-standard iv length tests for aesgcm | 26 June 2019, 17:04:23 UTC |
c4ae7f9 | Tahina Ramananandro | 26 June 2019, 15:50:02 UTC | Merge branch 'fstar-master' of github.com:mitls/hacl-star into taramana_test_benchmark | 26 June 2019, 15:50:02 UTC |
f83a5c2 | Aseem Rastogi | 26 June 2019, 10:49:37 UTC | spelling out a flaky proof | 26 June 2019, 10:49:37 UTC |
d083a78 | Jonathan Protzenko | 26 June 2019, 00:59:05 UTC | kick ci | 26 June 2019, 00:59:05 UTC |
6f62cd7 | Jonathan Protzenko | 25 June 2019, 23:09:03 UTC | Restart solver | 25 June 2019, 23:09:03 UTC |
83a8702 | Jonathan Protzenko | 25 June 2019, 23:06:31 UTC | Increase rlimit, doesn't seem to help | 25 June 2019, 23:06:31 UTC |
7418819 | Jonathan Protzenko | 25 June 2019, 22:57:18 UTC | nits | 25 June 2019, 22:57:18 UTC |
f7195a4 | Jonathan Protzenko | 25 June 2019, 22:51:06 UTC | Try bumping rlimits | 25 June 2019, 22:51:06 UTC |
6be6386 | Jonathan Protzenko | 25 June 2019, 21:43:01 UTC | revert | 25 June 2019, 21:43:01 UTC |
a91a61e | Jonathan Protzenko | 25 June 2019, 18:14:47 UTC | A bit of documentation for C clients | 25 June 2019, 18:14:47 UTC |
6506c35 | Jonathan Protzenko | 25 June 2019, 17:13:46 UTC | Flesh out Changes.md | 25 June 2019, 17:13:46 UTC |
39cab0f | Jonathan Protzenko | 25 June 2019, 17:03:09 UTC | Merge remote-tracking branch 'origin/afromher_gcm_big_iv' into protz_ci | 25 June 2019, 17:03:09 UTC |
29393d2 | Jonathan Protzenko | 25 June 2019, 16:28:35 UTC | Generate an import library on windows otherwise, unlike what the mingw manual says, we can't link dynamically | 25 June 2019, 16:28:35 UTC |
506b60f | Aymeric Fromherz | 25 June 2019, 16:08:56 UTC | AEAD optimisation: Store scratch space in space to avoid allocations at each encrypt/decrypt | 25 June 2019, 16:08:56 UTC |
4174b52 | Aymeric Fromherz | 25 June 2019, 14:56:37 UTC | Mark compute_iv wrappers as inline_for_extraction | 25 June 2019, 14:56:37 UTC |
130f4da | Aseem Rastogi | 25 June 2019, 10:45:09 UTC | hints | 25 June 2019, 10:45:09 UTC |
5d99375 | Aseem Rastogi | 25 June 2019, 10:44:49 UTC | some proof tweaks | 25 June 2019, 10:44:49 UTC |
72fa690 | Aseem Rastogi | 25 June 2019, 06:15:29 UTC | merge | 25 June 2019, 06:15:29 UTC |
a1d2a3b | Aseem Rastogi | 25 June 2019, 06:12:13 UTC | removing an admit | 25 June 2019, 06:12:13 UTC |
d1ec509 | Aymeric Fromherz | 24 June 2019, 15:47:03 UTC | Fix legacy extraction | 24 June 2019, 15:47:03 UTC |
548006e | Aseem Rastogi | 24 June 2019, 09:46:33 UTC | explaining yet another proof to Z3 | 24 June 2019, 09:46:33 UTC |
35f8345 | Aseem Rastogi | 24 June 2019, 07:43:48 UTC | trying to remove the admit from fastmul_helpers | 24 June 2019, 07:43:48 UTC |
4f7d26a | Aseem Rastogi | 24 June 2019, 07:36:55 UTC | removing the admit from Lib.Buffer | 24 June 2019, 07:36:55 UTC |
bb68bc7 | Aseem Rastogi | 23 June 2019, 12:32:28 UTC | hints | 23 June 2019, 12:32:28 UTC |
7317b98 | Aseem Rastogi | 23 June 2019, 11:14:38 UTC | hints | 23 June 2019, 11:14:38 UTC |
7669c36 | Aseem Rastogi | 23 June 2019, 11:14:30 UTC | reset options | 23 June 2019, 11:14:30 UTC |
4a2d83b | Aseem Rastogi | 23 June 2019, 07:24:50 UTC | hints | 23 June 2019, 07:24:50 UTC |
22fea8b | Aseem Rastogi | 23 June 2019, 07:24:25 UTC | adding an admit | 23 June 2019, 07:24:25 UTC |
4e66744 | Aseem Rastogi | 23 June 2019, 07:24:03 UTC | spelling out a couple pf proofs | 23 June 2019, 07:24:03 UTC |
bd0852b | Aseem Rastogi | 23 June 2019, 07:23:29 UTC | restricting context of a flaky proof | 23 June 2019, 07:23:29 UTC |
022948c | Aymeric Fromherz | 22 June 2019, 04:46:07 UTC | Hints | 22 June 2019, 04:46:07 UTC |
2e8d97b | Aymeric Fromherz | 22 June 2019, 04:45:50 UTC | Merge branch 'fstar-master' into afromher_gcm_big_iv | 22 June 2019, 04:45:50 UTC |
5ea7de5 | Aymeric Fromherz | 22 June 2019, 02:36:47 UTC | Optimised stdcall for aesgcm compute_iv for 96 bytes ivs | 22 June 2019, 02:36:47 UTC |
8ec83be | Aymeric Fromherz | 21 June 2019, 22:26:42 UTC | Remove debug in taint analysis | 21 June 2019, 22:26:42 UTC |
098b592 | Aymeric Fromherz | 21 June 2019, 22:23:10 UTC | Fix taint analysis for gcmdecrypt + Hints | 21 June 2019, 22:23:10 UTC |
2aefcc6 | Aymeric Fromherz | 21 June 2019, 21:48:54 UTC | More typos in AESGCM | 21 June 2019, 21:48:54 UTC |
cac821a | Aymeric Fromherz | 21 June 2019, 21:21:49 UTC | Fix typo | 21 June 2019, 21:21:49 UTC |
48a1b0d | Aymeric Fromherz | 21 June 2019, 20:33:39 UTC | Increase scratch buffer, use it for secret temp storing instead of iv | 21 June 2019, 20:33:39 UTC |
63213ad | Aseem Rastogi | 21 June 2019, 11:46:31 UTC | Merge branch 'fstar-master' into _fstar_1750 | 21 June 2019, 11:46:31 UTC |
161967d | Aseem Rastogi | 21 June 2019, 11:45:49 UTC | hints | 21 June 2019, 11:45:49 UTC |
de564f0 | Aseem Rastogi | 21 June 2019, 11:45:37 UTC | failing proof in Lib.Buffer | 21 June 2019, 11:45:37 UTC |