7b910e2 | Guido MartÃnez | 05 November 2019, 14:24:35 UTC | fix | 06 November 2019, 12:46:39 UTC |
97ed434 | Guido MartÃnez | 05 November 2019, 13:20:11 UTC | fix splice tactic for new convention | 06 November 2019, 12:46:39 UTC |
7814115 | Jonathan Protzenko | 05 November 2019, 00:06:48 UTC | Comment | 06 November 2019, 12:46:39 UTC |
b76e55f | Jonathan Protzenko | 05 November 2019, 00:05:36 UTC | Tactic Makefile | 06 November 2019, 12:46:39 UTC |
cfbe4be | Guido MartÃnez | 04 November 2019, 21:44:48 UTC | Meta.Interface: fix after F* updates + make native | 06 November 2019, 12:46:39 UTC |
7e75b78 | Dzomo the everest Yak | 05 November 2019, 10:01:39 UTC | [CI] regenerate hints | 05 November 2019, 10:01:39 UTC |
dc6c87a | Dzomo the everest Yak | 04 November 2019, 09:29:51 UTC | [CI] regenerate hints | 04 November 2019, 09:29:51 UTC |
c18013c | Benjamin Beurdouche | 03 November 2019, 12:32:36 UTC | Merge _dev in dev | 03 November 2019, 12:32:36 UTC |
7916105 | Benjamin Beurdouche | 03 November 2019, 11:31:16 UTC | Fix conflicts and merge fstar-master in _dev | 03 November 2019, 11:31:16 UTC |
0941e0c | Benjamin Beurdouche | 03 November 2019, 10:41:18 UTC | Fix path to HACL_HOME in Makefile.local | 03 November 2019, 10:41:18 UTC |
3b52064 | Benjamin Beurdouche | 03 November 2019, 10:37:21 UTC | Relocate Makefile.local | 03 November 2019, 10:37:21 UTC |
4737dfa | Dzomo the everest Yak | 03 November 2019, 09:29:37 UTC | [CI] regenerate hints | 03 November 2019, 09:29:37 UTC |
cbc5978 | Dzomo the everest Yak | 03 November 2019, 08:26:14 UTC | [CI] regenerate hints | 03 November 2019, 08:26:14 UTC |
683584e | Benjamin Beurdouche | 02 November 2019, 18:17:35 UTC | Extract more for libhacl.cmxa | 02 November 2019, 18:17:35 UTC |
4e1df03 | Benjamin Beurdouche | 02 November 2019, 18:17:16 UTC | Prevent extraction from Lib.RandomBuffer.Hardware | 02 November 2019, 18:17:16 UTC |
d6a0472 | Benjamin Beurdouche | 02 November 2019, 17:18:59 UTC | Revert "Use redefined OCAMLMKLIB variable in specs/Makefile.OCaml" This reverts commit 6a4a35fe0580c895cd073dfe6c1c0db426faff95. | 02 November 2019, 17:18:59 UTC |
6a4a35f | Benjamin Beurdouche | 02 November 2019, 16:43:12 UTC | Use redefined OCAMLMKLIB variable in specs/Makefile.OCaml | 02 November 2019, 16:43:12 UTC |
54334a5 | Benjamin Beurdouche | 02 November 2019, 16:41:10 UTC | Deprecate top-level Makefile.OCaml for specs/Makefile.OCaml | 02 November 2019, 16:41:10 UTC |
6b2ddfd | Benjamin Beurdouche | 02 November 2019, 16:40:04 UTC | Build target for obj/libhacl.cmxa | 02 November 2019, 16:40:04 UTC |
a2d7cef | Benjamin Beurdouche | 02 November 2019, 16:39:08 UTC | Refresh hints | 02 November 2019, 16:39:08 UTC |
6e5409d | Dzomo the everest Yak | 02 November 2019, 09:29:45 UTC | [CI] regenerate hints | 02 November 2019, 09:29:45 UTC |
2228d67 | Dzomo the everest Yak | 02 November 2019, 08:26:24 UTC | [CI] regenerate hints | 02 November 2019, 08:26:24 UTC |
f2f96f4 | Santiago Zanella-Beguelin | 01 November 2019, 14:24:07 UTC | Merge pull request #201 from project-everest/_dev_qtesla Add qTESLA to experimental directory and under CI | 01 November 2019, 14:24:07 UTC |
fe0d7ee | Dzomo the everest Yak | 01 November 2019, 09:29:40 UTC | [CI] regenerate hints | 01 November 2019, 09:29:40 UTC |
041fd1d | Dzomo the everest Yak | 01 November 2019, 08:27:02 UTC | [CI] regenerate hints | 01 November 2019, 08:27:02 UTC |
ecf9577 | Santiago Zanella-Beguelin | 31 October 2019, 11:21:18 UTC | Merge pull request #200 from project-everest/santiago_frodo Integrate Frodo | 31 October 2019, 11:21:18 UTC |
694deb0 | Dzomo the everest Yak | 31 October 2019, 09:48:58 UTC | [CI] regenerate hints | 31 October 2019, 09:48:58 UTC |
e40d034 | Santiago Zanella-Beguelin | 31 October 2019, 09:20:55 UTC | Merge branch 'fstar-master' into santiago_frodo | 31 October 2019, 09:20:55 UTC |
c48a49b | Dzomo the everest Yak | 31 October 2019, 08:28:54 UTC | [CI] regenerate hints | 31 October 2019, 08:28:54 UTC |
9043780 | Santiago Zanella-Beguelin | 30 October 2019, 23:15:17 UTC | Merge branch 'fstar-master' into santiago_frodo | 30 October 2019, 23:15:17 UTC |
957d758 | Santiago Zanella-Beguelin | 30 October 2019, 23:03:35 UTC | Remove local .gitignore | 30 October 2019, 23:03:35 UTC |
70a89a4 | Santiago Zanella-Beguelin | 30 October 2019, 23:02:34 UTC | Remove unused DRBG files; to be replaced with verified DRBG | 30 October 2019, 23:02:34 UTC |
e064d4c | Santiago Zanella-Beguelin | 30 October 2019, 23:00:23 UTC | Rename FrodoKEM test | 30 October 2019, 23:00:23 UTC |
f514fba | Santiago Zanella-Beguelin | 30 October 2019, 22:26:54 UTC | Use Makefile.local for FrodoKEM code | 30 October 2019, 22:26:54 UTC |
0bf3089 | Santiago Zanella-Beguelin | 30 October 2019, 22:26:35 UTC | Add %.exe target | 30 October 2019, 22:26:35 UTC |
c0b969d | Santiago Zanella-Beguelin | 30 October 2019, 22:25:19 UTC | Remove code/frodo/include | 30 October 2019, 22:25:19 UTC |
61646a5 | Santiago Zanella-Beguelin | 30 October 2019, 22:07:10 UTC | Avoid printf | 30 October 2019, 22:07:10 UTC |
80ce934 | Kevin Kane | 30 October 2019, 18:33:29 UTC | Add qTESLA hints | 30 October 2019, 18:33:29 UTC |
48fcbdb | Kevin Kane | 29 October 2019, 22:05:45 UTC | Add qTESLA to top-level build in Makefile and Makefile.include | 30 October 2019, 18:33:02 UTC |
5e0e327 | Jonathan Protzenko | 30 October 2019, 17:47:39 UTC | Add DecodeError to error type | 30 October 2019, 17:47:39 UTC |
a9b3087 | Santiago Zanella-Beguelin | 30 October 2019, 16:13:49 UTC | Simplify SPECS_DIR definition | 30 October 2019, 16:13:49 UTC |
0056515 | Kevin Kane | 29 October 2019, 17:35:00 UTC | Migrate from qtesla branch (as of f9f81a5c457b4d45f9bd735cde2bd3fe1731cdae) | 30 October 2019, 15:14:31 UTC |
8c2d582 | Santiago Zanella-Beguelin | 30 October 2019, 11:39:06 UTC | Merge remote-tracking branch 'origin/_dev' into dev | 30 October 2019, 11:39:06 UTC |
2cf3bcb | Santiago Zanella-Beguelin | 30 October 2019, 10:46:52 UTC | Hints | 30 October 2019, 10:46:52 UTC |
7fdfc5f | Santiago Zanella-Beguelin | 30 October 2019, 10:46:31 UTC | Remove Tutorial from Mozilla dist | 30 October 2019, 10:46:31 UTC |
e1fe304 | Santiago Zanella-Beguelin | 30 October 2019, 10:28:06 UTC | Merge branch 'fstar-master' into santiago_frodo | 30 October 2019, 10:28:06 UTC |
718c797 | Tahina Ramananandro | 26 October 2019, 17:12:14 UTC | Remove deprecated `providers/quic` See project-everest/everquic-crypto instead. | 30 October 2019, 10:15:57 UTC |
6fbb8ed | Dzomo the everest Yak | 30 October 2019, 08:27:03 UTC | [CI] regenerate hints | 30 October 2019, 08:27:03 UTC |
13d6810 | Aymeric Fromherz | 30 October 2019, 01:19:17 UTC | Readd lib/tutorial | 30 October 2019, 01:19:17 UTC |
8c2d3df | Aymeric Fromherz | 30 October 2019, 00:18:40 UTC | Temporary fix to Makefile: Do not extract Lib.RandomBuffer.Hardware and remove lib/tutorial from lib directories | 30 October 2019, 00:18:40 UTC |
d0cf252 | Santiago Zanella-Beguelin | 29 October 2019, 20:50:37 UTC | Hints for new modules | 29 October 2019, 20:50:37 UTC |
3887c0d | Santiago Zanella-Beguelin | 29 October 2019, 20:10:41 UTC | Don't add NIST submission | 29 October 2019, 20:10:41 UTC |
636c1ba | Santiago Zanella-Beguelin | 29 October 2019, 20:06:29 UTC | Rebase hints on fstar-master | 29 October 2019, 20:06:29 UTC |
b0074b1 | Santiago Zanella-Beguelin | 29 October 2019, 19:50:31 UTC | Hints | 29 October 2019, 20:05:04 UTC |
99d5f5a | Santiago Zanella-Beguelin | 29 October 2019, 19:50:05 UTC | Add Spec prefix to Frodo.KEM spec and propagate renaming | 29 October 2019, 20:05:03 UTC |
92aa2c1 | Santiago Zanella-Beguelin | 29 October 2019, 18:56:26 UTC | Hints | 29 October 2019, 20:05:02 UTC |
9f634eb | Santiago Zanella-Beguelin | 29 October 2019, 18:53:09 UTC | Move Hacl.Frodo.Clear to Lib.Memzero | 29 October 2019, 20:05:02 UTC |
55e1754 | Santiago Zanella-Beguelin | 29 October 2019, 18:17:44 UTC | Hints | 29 October 2019, 20:05:01 UTC |
66fda35 | Santiago Zanella-Beguelin | 29 October 2019, 18:16:25 UTC | Remove unused functions in Lib_RandomBuffer_System | 29 October 2019, 20:04:49 UTC |
d5f5b40 | Santiago Zanella-Beguelin | 29 October 2019, 18:15:28 UTC | Switch to LowStar.Endianness from Kremlin.Endianness in lib | 29 October 2019, 20:04:48 UTC |
afeaa0c | Santiago Zanella-Beguelin | 29 October 2019, 15:11:17 UTC | Standalone DRBG from NIST submission | 29 October 2019, 20:04:48 UTC |
6a11798 | Santiago Zanella-Beguelin | 29 October 2019, 15:09:48 UTC | Hints | 29 October 2019, 20:04:47 UTC |
8a33839 | Santiago Zanella-Beguelin | 29 October 2019, 15:08:57 UTC | Add Frodo spec tests; stub implementations of Hacl.Frodo.Random and Hacl.Keccak(4x) | 29 October 2019, 20:04:47 UTC |
3381362 | Santiago Zanella-Beguelin | 29 October 2019, 10:34:52 UTC | Frodo Hints | 29 October 2019, 20:04:16 UTC |
1135fac | Santiago Zanella-Beguelin | 29 October 2019, 10:34:02 UTC | Fix local Makefiles | 29 October 2019, 20:04:16 UTC |
ce67133 | Santiago Zanella-Beguelin | 25 October 2019, 18:09:50 UTC | Frodo integration | 29 October 2019, 20:04:15 UTC |
075bdb0 | Dzomo the everest Yak | 29 October 2019, 08:26:14 UTC | [CI] regenerate hints | 29 October 2019, 08:26:14 UTC |
77afb9c | Jonathan Protzenko | 29 October 2019, 01:40:25 UTC | Merge remote-tracking branch 'refs/remotes/origin/fstar-master' into fstar-master | 29 October 2019, 01:40:25 UTC |
7ae0cca | Jonathan Protzenko | 29 October 2019, 01:38:58 UTC | Split out a precondition | 29 October 2019, 01:38:58 UTC |
6cec28f | Marina Polubelova | 28 October 2019, 17:40:34 UTC | wip: poly_update_nblocks_lemma | 28 October 2019, 17:40:34 UTC |
94f5947 | Marina Polubelova | 28 October 2019, 14:20:58 UTC | finist proof of | 28 October 2019, 14:20:58 UTC |
8dcbe04 | Marina Polubelova | 28 October 2019, 13:43:22 UTC | start proving poly evaluation properties | 28 October 2019, 13:43:22 UTC |
4847bf4 | Dzomo the everest Yak | 28 October 2019, 08:29:12 UTC | [CI] regenerate hints | 28 October 2019, 08:29:12 UTC |
0803e40 | Benjamin Beurdouche | 27 October 2019, 11:39:31 UTC | PKE_Enc and PKE_Dec for Spec.HPKE | 27 October 2019, 11:39:31 UTC |
5801b1e | Benjamin Beurdouche | 27 October 2019, 09:06:29 UTC | Refresh hints for lib/ | 27 October 2019, 09:06:29 UTC |
a678a9b | Benjamin Beurdouche | 27 October 2019, 09:05:56 UTC | More noextract and delete trailing whitespaces for lemmas/Spec.P256.Lemmas | 27 October 2019, 09:05:56 UTC |
23b1f6d | Dzomo the everest Yak | 27 October 2019, 08:26:57 UTC | [CI] regenerate hints | 27 October 2019, 08:26:57 UTC |
b18b894 | Benjamin Beurdouche | 26 October 2019, 20:01:20 UTC | Refresh hints | 26 October 2019, 20:01:20 UTC |
e1b2615 | Benjamin Beurdouche | 26 October 2019, 20:00:45 UTC | Remove dependency in Lib.RandomSequence | 26 October 2019, 20:00:45 UTC |
77692d1 | Benjamin Beurdouche | 26 October 2019, 19:26:49 UTC | Hints for UPKE | 26 October 2019, 19:26:49 UTC |
6e6a40f | Benjamin Beurdouche | 26 October 2019, 19:26:16 UTC | Admit some things in Spec.UPKE for now... | 26 October 2019, 19:26:16 UTC |
07c6bcc | Benjamin Beurdouche | 26 October 2019, 19:11:58 UTC | Adding specs/alternative and specs/experimental to local Makefile | 26 October 2019, 19:11:58 UTC |
0e8d761 | Benjamin Beurdouche | 26 October 2019, 19:11:28 UTC | More hints from specs/alternative and specs/experimental | 26 October 2019, 19:11:28 UTC |
e3ce0f3 | Benjamin Beurdouche | 26 October 2019, 19:10:01 UTC | Remove files relocated to deprecated/ | 26 October 2019, 19:10:01 UTC |
63c385d | Benjamin Beurdouche | 26 October 2019, 19:09:28 UTC | Move Spec.PBKDF2.fst to deprecated/ | 26 October 2019, 19:09:28 UTC |
fd0589d | Benjamin Beurdouche | 26 October 2019, 19:07:13 UTC | Move Spec.QDSA to deprecated/ for now | 26 October 2019, 19:07:13 UTC |
c5b5da3 | Benjamin Beurdouche | 26 October 2019, 19:06:07 UTC | QDSA requires too much work for now... | 26 October 2019, 19:06:07 UTC |
45a2bcf | Benjamin Beurdouche | 26 October 2019, 18:59:53 UTC | Add an admit to verify lemmas/Spec.P256.Lemmas.fst | 26 October 2019, 18:59:53 UTC |
10d65e9 | Benjamin Beurdouche | 26 October 2019, 18:59:25 UTC | Progress on restoring experimental/Spec.Ed448.fst | 26 October 2019, 18:59:25 UTC |
d7b7a53 | Benjamin Beurdouche | 26 October 2019, 18:31:51 UTC | Kaboom Spec.Agile.Hash.Incremental.fst | 26 October 2019, 18:31:51 UTC |
5e2f21b | Benjamin Beurdouche | 26 October 2019, 18:30:23 UTC | Restore experimental/Spec.Hash.KeyedHash.fst | 26 October 2019, 18:30:23 UTC |
833a9e7 | Benjamin Beurdouche | 26 October 2019, 18:08:46 UTC | Hints for OSX | 26 October 2019, 18:08:46 UTC |
fedbd6e | Benjamin Beurdouche | 26 October 2019, 18:07:49 UTC | Remove unnecessary functions from Spec.Agile.AEAD.fsti | 26 October 2019, 18:07:49 UTC |
b855832 | Marina Polubelova | 26 October 2019, 17:23:17 UTC | put admits in Spec.Agile.AEAD (encrypt_split and decrypt_split) and Spec.P256.Basic | 26 October 2019, 17:23:17 UTC |
fd3e6d5 | Marina Polubelova | 26 October 2019, 17:22:09 UTC | remove Spec.P256.Test.fst | 26 October 2019, 17:22:09 UTC |
2c0d6ad | Marina Polubelova | 26 October 2019, 17:21:43 UTC | add specs/experimental and lib/tutorial to ALL_HACL_DIRS | 26 October 2019, 17:21:43 UTC |
69d1f9a | Tahina Ramananandro | 26 October 2019, 17:12:14 UTC | Remove deprecated `providers/quic` See project-everest/everquic-crypto instead. | 26 October 2019, 17:12:14 UTC |
88c9e49 | Marina Polubelova | 26 October 2019, 16:15:00 UTC | Merge remote-tracking branch 'origin/fstar-master' into _dev | 26 October 2019, 16:15:00 UTC |
e242444 | Jonathan Protzenko | 26 October 2019, 15:21:30 UTC | Use Vale command-line flags for Vale files that are reachable via local Makefiles (e.g. via the specs directory) | 26 October 2019, 15:21:30 UTC |
fa76487 | Benjamin Beurdouche | 26 October 2019, 15:08:20 UTC | Move Spec.P256 to experimental | 26 October 2019, 15:08:20 UTC |