d032c2d | Anna Weine | 06 March 2020, 14:55:02 UTC | Merge branch 'master' into son_revert_blake2s | 06 March 2020, 14:55:02 UTC |
079854e | Benjamin Beurdouche | 06 March 2020, 10:43:27 UTC | Regenerate dist/ | 06 March 2020, 10:43:27 UTC |
908c341 | Benjamin Beurdouche | 06 March 2020, 10:02:49 UTC | Fix for clang-cl-9, restore Firefox build. | 06 March 2020, 10:04:25 UTC |
478b5d6 | Jonathan Protzenko | 05 March 2020, 17:26:43 UTC | Merge branch 'master' into son_revert_blake2s | 05 March 2020, 17:26:43 UTC |
c8df466 | Tahina Ramananandro | 04 March 2020, 23:01:33 UTC | ci: disable ssh-agent | 04 March 2020, 23:01:33 UTC |
3d597fd | Santiago Zanella-Beguelin | 04 March 2020, 18:43:26 UTC | Stabilize proofs | 04 March 2020, 18:43:26 UTC |
e0a88e2 | Son HO | 04 March 2020, 16:22:20 UTC | Merge branch 'master' into son_revert_blake2s | 04 March 2020, 16:22:20 UTC |
d667a94 | Christoph M. Wintersteiger | 04 March 2020, 11:49:20 UTC | Merge branch 'cwinter_merkle_path_hash_sizes' | 04 March 2020, 11:49:20 UTC |
83bb482 | Christoph M. Wintersteiger | 03 March 2020, 18:01:46 UTC | Updated snapshots and hints | 04 March 2020, 10:19:22 UTC |
75c606e | Christoph M. Wintersteiger | 28 February 2020, 20:17:08 UTC | Merkle tree hash sizes and path interface cleanup | 04 March 2020, 10:19:19 UTC |
b73deae | Jonathan Protzenko | 28 February 2020, 16:29:40 UTC | other fix | 04 March 2020, 10:19:19 UTC |
7daa2f7 | Benjamin Lipp (blipp) | 12 December 2019, 18:00:39 UTC | Improve error messages in Makefile concerning Vale | 04 March 2020, 10:19:19 UTC |
b1f9c07 | Son HO | 04 March 2020, 08:38:11 UTC | Revert "Blake2s/256 for Son" This reverts commit a77b9ef72489df3eb1abd6c7bbb9aecfafb2593e. | 04 March 2020, 08:38:11 UTC |
81084d0 | Son HO | 04 March 2020, 08:37:57 UTC | Revert "rlimit" This reverts commit 6e91afbd9af00cfa15d45df54f655bf652726d1b. | 04 March 2020, 08:37:57 UTC |
bfaf0ff | Son HO | 04 March 2020, 08:37:33 UTC | Revert "Indicate in dist/Makefile.tmpl that Hacl_Blake2s_256.o needs -mavx" This reverts commit fa442c96363bd35663717e7f453c7f2fc8b42f8e. | 04 March 2020, 08:37:33 UTC |
3cb6235 | Son HO | 04 March 2020, 08:37:18 UTC | Revert "Deactivate the use of blake2s_256 in Mozilla" This reverts commit b90019d66bcfccc42fca6892d6280c8ab5532754. | 04 March 2020, 08:37:18 UTC |
fd80a4f | Jonathan Protzenko | 02 March 2020, 16:05:22 UTC | Merge pull request #246 from project-everest/blipp_makefile_vale Improve error messages in Makefile concerning Vale | 02 March 2020, 16:05:22 UTC |
16044af | Benjamin Lipp | 02 March 2020, 13:57:21 UTC | Merge branch 'master' into blipp_makefile_vale | 02 March 2020, 13:57:21 UTC |
846fda8 | Jonathan Protzenko | 28 February 2020, 16:29:40 UTC | other fix | 28 February 2020, 16:29:40 UTC |
8c4118b | Jonathan Protzenko | 28 February 2020, 15:56:34 UTC | ci | 28 February 2020, 15:56:34 UTC |
5e1d7fb | Jonathan Protzenko | 28 February 2020, 06:54:19 UTC | Revert "see if this helps" This reverts commit fae3b1685c14f8a65b2779dfffdcdfbf2122542e. | 28 February 2020, 06:54:19 UTC |
fae3b16 | Jonathan Protzenko | 28 February 2020, 03:27:36 UTC | see if this helps | 28 February 2020, 03:27:36 UTC |
cd12ca9 | Jonathan Protzenko | 28 February 2020, 03:26:44 UTC | need 7 | 28 February 2020, 03:26:44 UTC |
6ccf41d | Jonathan Protzenko | 28 February 2020, 03:25:26 UTC | Revert "disable lto for the sake of unbreaking the build" This reverts commit fb3a23cd52bf5f7edc1deaa67725ed3b1682790e. | 28 February 2020, 03:25:26 UTC |
fb3a23c | Jonathan Protzenko | 27 February 2020, 21:08:18 UTC | disable lto for the sake of unbreaking the build | 27 February 2020, 21:08:18 UTC |
d90750a | Jonathan Protzenko | 27 February 2020, 20:28:22 UTC | typo | 27 February 2020, 20:28:22 UTC |
9cd894b | Jonathan Protzenko | 27 February 2020, 20:27:20 UTC | Try with a newer gcc on ci only | 27 February 2020, 20:27:20 UTC |
4d3e155 | Christoph M. Wintersteiger | 27 February 2020, 19:45:54 UTC | Fix dependency of MerkleTree.fsti on EverCrypt | 27 February 2020, 19:45:54 UTC |
4e4db3f | Christoph M. Wintersteiger | 27 February 2020, 19:30:45 UTC | Fix Merkle tree tests | 27 February 2020, 19:30:45 UTC |
bc7fec9 | Jonathan Protzenko | 27 February 2020, 02:31:12 UTC | fix header | 27 February 2020, 02:31:12 UTC |
0c72130 | Jonathan Protzenko | 27 February 2020, 01:50:15 UTC | Fix prefix | 27 February 2020, 01:50:15 UTC |
5146847 | Jonathan Protzenko | 27 February 2020, 01:30:49 UTC | Merge remote-tracking branch 'origin/protz_ci' | 27 February 2020, 01:30:49 UTC |
6963ab1 | Jonathan Protzenko | 27 February 2020, 01:27:34 UTC | fix benchmarks | 27 February 2020, 01:27:34 UTC |
afa5d9c | Jonathan Protzenko | 27 February 2020, 01:26:41 UTC | Merge remote-tracking branch 'origin/son_blake2s_256' | 27 February 2020, 01:26:41 UTC |
7014fba | Jonathan Protzenko | 26 February 2020, 22:37:35 UTC | Merge remote-tracking branch 'origin/son_blake2s_256' | 26 February 2020, 22:37:35 UTC |
7fbaf41 | Jonathan Protzenko | 26 February 2020, 21:40:23 UTC | Merge branch 'cwinter_merkle_hashes' | 26 February 2020, 21:40:23 UTC |
849d861 | Jonathan Protzenko | 26 February 2020, 21:34:53 UTC | missing file | 26 February 2020, 21:34:53 UTC |
5298b78 | Jonathan Protzenko | 26 February 2020, 20:47:51 UTC | More minimalism | 26 February 2020, 20:47:51 UTC |
420d7ad | Jonathan Protzenko | 26 February 2020, 20:46:29 UTC | missed rm | 26 February 2020, 20:46:29 UTC |
9ed386b | Jonathan Protzenko | 26 February 2020, 20:44:23 UTC | Move things around a little bit to enable a 100% standalone version of merkle trees | 26 February 2020, 20:44:23 UTC |
dbc409d | Jonathan Protzenko | 26 February 2020, 20:44:10 UTC | dist | 26 February 2020, 20:44:10 UTC |
f9cb56b | Jonathan Protzenko | 26 February 2020, 20:34:08 UTC | hints | 26 February 2020, 20:34:08 UTC |
8195dea | Jonathan Protzenko | 26 February 2020, 18:54:23 UTC | Fix bundling issue after debugging things in kremlin | 26 February 2020, 18:54:23 UTC |
db8387c | Jonathan Protzenko | 26 February 2020, 18:53:28 UTC | Merge branch 'master' into son_blake2s_256 | 26 February 2020, 18:53:28 UTC |
7fedf3f | Jonathan Protzenko | 26 February 2020, 17:58:33 UTC | Some comments about what's happening | 26 February 2020, 17:58:33 UTC |
52b9479 | Jonathan Protzenko | 26 February 2020, 17:40:03 UTC | Final set of code quality tweaks and refreshed snapshot. With Christoph. | 26 February 2020, 17:40:03 UTC |
12893e5 | Dzomo the everest Yak | 26 February 2020, 08:21:05 UTC | [CI] regenerate hints and dist | 26 February 2020, 08:21:05 UTC |
49305be | Jonathan Protzenko | 26 February 2020, 02:04:04 UTC | Refresh dist and hints | 26 February 2020, 02:04:04 UTC |
cdeee5b | Jonathan Protzenko | 26 February 2020, 00:06:03 UTC | One more erased for code quality | 26 February 2020, 00:06:03 UTC |
5aefb06 | Jonathan Protzenko | 26 February 2020, 00:01:09 UTC | Hash improvements. - Add a few erased here and there for better extraction - Get rid of all the intermediary let-bindings via the ghost argument pattern - Specialize one instance of the hash vector class to rely on a smaller piece of state (just the hash size) rather than the regional instance (possibly better performance) - Fix the issue with hash_copy not extracting unless there's an inline_for_extraction (I think) - This probably also fixes the issue with hhvec having to be marked noextract inline_for_extraction | 26 February 2020, 00:01:09 UTC |
4ec140d | Jonathan Protzenko | 25 February 2020, 15:04:59 UTC | Merge branch 'master' into son_blake2s_256 | 25 February 2020, 15:04:59 UTC |
4b58d59 | Dzomo the everest Yak | 25 February 2020, 08:21:44 UTC | [CI] regenerate hints and dist | 25 February 2020, 08:21:44 UTC |
b90019d | Son HO | 25 February 2020, 08:16:21 UTC | Deactivate the use of blake2s_256 in Mozilla | 25 February 2020, 08:16:21 UTC |
e377aae | Aymeric Fromherz | 24 February 2020, 23:07:15 UTC | Merge pull request #244 from project-everest/afromher_curve Optimisation: Using Rbx instead of R12 in Curve inline asm | 24 February 2020, 23:07:15 UTC |
6c9af28 | Aymeric Fromherz | 24 February 2020, 22:12:47 UTC | Match diff from Wireguard | 24 February 2020, 22:12:47 UTC |
baa6451 | Aymeric Fromherz | 24 February 2020, 21:30:16 UTC | Use rbx instead of r12 in Curve to reduce size of assembly encoding | 24 February 2020, 21:30:16 UTC |
fa442c9 | Son HO | 24 February 2020, 17:26:49 UTC | Indicate in dist/Makefile.tmpl that Hacl_Blake2s_256.o needs -mavx | 24 February 2020, 17:26:49 UTC |
65bbfd7 | Son HO | 24 February 2020, 16:40:29 UTC | Merge remote-tracking branch 'origin/protz_blake2s256' into son_blake2s_256 | 24 February 2020, 16:40:29 UTC |
32af4c1 | Jonathan Protzenko | 24 February 2020, 15:44:59 UTC | Merge remote-tracking branch 'origin/master' into cwinter_merkle_hashes | 24 February 2020, 15:44:59 UTC |
4faa2f0 | Dzomo the everest Yak | 24 February 2020, 08:31:23 UTC | [CI] regenerate hints and dist | 24 February 2020, 08:31:23 UTC |
f21073a | Santiago Zanella-Beguelin | 23 February 2020, 20:02:42 UTC | Merge pull request #242 from project-everest/polubelova_master fix Hacl.Poly1305.Field32xN.Lemmas1 | 23 February 2020, 20:02:42 UTC |
74a05e7 | Marina Polubelova | 23 February 2020, 17:25:11 UTC | fix Hacl.Poly1305.Field32xN.Lemmas1 | 23 February 2020, 17:25:11 UTC |
f4a1590 | Christoph M. Wintersteiger | 21 February 2020, 17:56:17 UTC | Fix dist files | 21 February 2020, 17:56:17 UTC |
6e91afb | Jonathan Protzenko | 21 February 2020, 15:27:58 UTC | rlimit | 21 February 2020, 15:27:58 UTC |
81e5ae3 | Jonathan Protzenko | 21 February 2020, 14:55:09 UTC | Merge remote-tracking branch 'refs/remotes/origin/master' | 21 February 2020, 14:55:09 UTC |
a77b9ef | Jonathan Protzenko | 21 February 2020, 14:53:10 UTC | Blake2s/256 for Son | 21 February 2020, 14:54:36 UTC |
3560bd2 | Dzomo the everest Yak | 21 February 2020, 08:21:28 UTC | [CI] regenerate hints and dist | 21 February 2020, 08:21:28 UTC |
3cc6ce0 | Christoph M. Wintersteiger | 20 February 2020, 18:03:39 UTC | Tweak | 20 February 2020, 18:03:39 UTC |
77fc143 | Christoph M. Wintersteiger | 20 February 2020, 17:46:25 UTC | hints | 20 February 2020, 17:49:26 UTC |
059d76b | Christoph M. Wintersteiger | 20 February 2020, 17:46:11 UTC | More Merkle tree cleanup | 20 February 2020, 17:49:25 UTC |
16c2ab6 | Christoph M. Wintersteiger | 20 February 2020, 16:34:43 UTC | Merkle tree hints | 20 February 2020, 17:49:24 UTC |
685e06e | Christoph M. Wintersteiger | 20 February 2020, 16:33:58 UTC | Merkle tree cleanup | 20 February 2020, 17:49:23 UTC |
2c250c4 | Christoph M. Wintersteiger | 19 February 2020, 20:04:16 UTC | Add proper Merkle tree interface | 20 February 2020, 17:48:23 UTC |
92a64c7 | Christoph M. Wintersteiger | 19 February 2020, 20:02:45 UTC | Add in-place Merkle tree flush | 20 February 2020, 17:48:22 UTC |
b76b862 | Christoph M. Wintersteiger | 13 February 2020, 16:37:16 UTC | Fix Merkle tree benchmark | 20 February 2020, 17:48:21 UTC |
966a031 | Christoph M. Wintersteiger | 13 February 2020, 14:14:47 UTC | Snaphost with new Merkle tree files | 20 February 2020, 17:48:21 UTC |
b73483c | Christoph M. Wintersteiger | 13 February 2020, 14:12:53 UTC | Merkle tree hints | 20 February 2020, 17:48:20 UTC |
239c7bd | Christoph M. Wintersteiger | 13 February 2020, 14:12:11 UTC | Merkle tree parameterization: something that compiles and runs! | 20 February 2020, 17:48:19 UTC |
911c0a7 | Christoph M. Wintersteiger | 11 February 2020, 18:40:33 UTC | Merkle tree parameterization: something that extracts. | 20 February 2020, 17:48:18 UTC |
e6de4d8 | Christoph M. Wintersteiger | 06 February 2020, 12:37:31 UTC | Adjust Merkle trees to stateful regionals | 20 February 2020, 17:48:18 UTC |
bf20cd2 | Christoph M. Wintersteiger | 28 December 2019, 11:49:16 UTC | More Merkle tree verification | 20 February 2020, 17:48:17 UTC |
15be307 | Christoph M. Wintersteiger | 25 December 2019, 00:35:07 UTC | Hints | 20 February 2020, 17:48:03 UTC |
cb94006 | Christoph M. Wintersteiger | 25 December 2019, 00:30:32 UTC | Merkle trees serialization parameterization | 20 February 2020, 17:48:03 UTC |
bd99890 | Christoph M. Wintersteiger | 24 December 2019, 00:12:38 UTC | Merkle trees: options, hints | 20 February 2020, 17:47:48 UTC |
7010480 | Christoph M. Wintersteiger | 23 December 2019, 23:54:02 UTC | Merkle trees: formatting, options | 20 February 2020, 17:47:47 UTC |
7fce069 | Christoph M. Wintersteiger | 23 December 2019, 23:53:22 UTC | Hints | 20 February 2020, 17:47:46 UTC |
85d30e3 | Christoph M. Wintersteiger | 20 December 2019, 12:44:21 UTC | Low level Merkle tree hash function parameterization | 20 February 2020, 17:47:25 UTC |
1f44b87 | Christoph M. Wintersteiger | 13 December 2019, 18:37:32 UTC | High level Merkle tree hash function parameterization | 20 February 2020, 17:47:24 UTC |
0909257 | Christoph M. Wintersteiger | 13 December 2019, 15:45:22 UTC | Hash-parametrized Merkle tree spec | 20 February 2020, 17:47:24 UTC |
c7dc222 | Jonathan Protzenko | 19 February 2020, 20:17:58 UTC | Merge pull request #239 from project-everest/protz_ci Remove custom modifies lemmas; saner rlimits in a P256 proof | 19 February 2020, 20:17:58 UTC |
d339c12 | Jonathan Protzenko | 19 February 2020, 19:23:53 UTC | Remove custom modifies lemmas; saner rlimits in a P256 proof | 19 February 2020, 19:35:53 UTC |
87906a3 | Jonathan Protzenko | 19 February 2020, 17:06:01 UTC | relimit | 19 February 2020, 17:06:01 UTC |
2c31495 | Jonathan Protzenko | 19 February 2020, 16:40:14 UTC | Merge remote-tracking branch 'origin/santiago_fixcanon' into protz_ci | 19 February 2020, 16:40:14 UTC |
4ee279d | Jonathan Protzenko | 19 February 2020, 16:39:58 UTC | rlimit tweaks | 19 February 2020, 16:39:58 UTC |
ec2e3da | Jonathan Protzenko | 19 February 2020, 16:39:54 UTC | hints | 19 February 2020, 16:39:54 UTC |
8a6fff8 | Jonathan Protzenko | 19 February 2020, 16:31:59 UTC | Remove code duplication by using inline_for_extraction. Trivially support the new case without copy-paste. | 19 February 2020, 16:31:59 UTC |
d4c6648 | Santiago Zanella-Beguelin | 19 February 2020, 16:06:31 UTC | Update to new canon_semiring | 19 February 2020, 16:09:03 UTC |
dfa6d03 | Jonathan Protzenko | 19 February 2020, 15:40:06 UTC | Merge remote-tracking branch 'origin/master' into protz_ci | 19 February 2020, 15:40:06 UTC |
cbbc732 | Jonathan Protzenko | 19 February 2020, 15:19:36 UTC | Const pointer support for Lib.Buffer | 19 February 2020, 15:19:36 UTC |
77aea9c | Benjamin Beurdouche | 19 February 2020, 13:06:08 UTC | Merge pull request #238 from project-everest/afromher_renaming Rename Hacl.Spec.P256/ECDSA into Spec.* | 19 February 2020, 13:06:08 UTC |