adc46d4 | Santiago Zanella-Beguelin | 10 December 2019, 18:21:31 UTC | Update MERGE.md | 10 December 2019, 18:21:31 UTC |
9bd821d | Santiago Zanella-Beguelin | 10 December 2019, 17:10:55 UTC | Merge branch 'fstar-master_dev_merge' into dev_fstar-master_merge | 10 December 2019, 17:10:55 UTC |
a5a9ec6 | Santiago Zanella-Beguelin | 10 December 2019, 17:04:23 UTC | Merge branch 'fstar-master' of https://github.com/mitls/hacl-star into fstar-master | 10 December 2019, 17:04:23 UTC |
d30b6d9 | Santiago Zanella-Beguelin | 10 December 2019, 17:04:03 UTC | Don't ignore ctyped.depend | 10 December 2019, 17:04:03 UTC |
6800db0 | Santiago Zanella-Beguelin | 10 December 2019, 17:03:37 UTC | Document merges between fstar-master and dev | 10 December 2019, 17:03:37 UTC |
24ff91f | Santiago Zanella-Beguelin | 10 December 2019, 15:56:00 UTC | Refresh dist | 10 December 2019, 16:00:36 UTC |
e3393a5 | Santiago Zanella-Beguelin | 10 December 2019, 14:52:53 UTC | Merge remote-tracking branch 'origin/fstar-master' into dev | 10 December 2019, 15:24:14 UTC |
a3e7a54 | Christoph M. Wintersteiger | 10 December 2019, 13:19:02 UTC | Upgraded Merkle tree path verification examples | 10 December 2019, 13:19:56 UTC |
4dce543 | Christoph M. Wintersteiger | 09 December 2019, 18:11:58 UTC | Upgraded Merkle path verification examples | 10 December 2019, 13:19:55 UTC |
5563607 | Christoph M. Wintersteiger | 09 December 2019, 16:51:34 UTC | Added C Merkle path verification demo | 10 December 2019, 13:19:55 UTC |
b489981 | Santiago Zanella-Beguelin | 10 December 2019, 11:29:22 UTC | Merge remote-tracking branch 'origin/fstar-master' into fstar-master_dev_merge | 10 December 2019, 11:29:22 UTC |
adab61e | Dzomo the everest Yak | 10 December 2019, 08:27:11 UTC | [CI] regenerate hints | 10 December 2019, 08:27:11 UTC |
d2a9d0d | Santiago Zanella-Beguelin | 09 December 2019, 17:55:40 UTC | New .hints files | 09 December 2019, 17:55:40 UTC |
c05420e | Santiago Zanella-Beguelin | 09 December 2019, 17:55:08 UTC | Merge remote-tracking branch 'origin/_dev' into fstar-master_dev_merge | 09 December 2019, 17:55:08 UTC |
24da026 | Santiago Zanella-Beguelin | 09 December 2019, 17:51:02 UTC | Merge remote-tracking branch 'origin/fstar-master' into fstar-master_dev_merge | 09 December 2019, 17:51:02 UTC |
1990ae6 | Santiago Zanella-Beguelin | 09 December 2019, 17:48:55 UTC | Refresh dist | 09 December 2019, 17:50:10 UTC |
ae8e182 | Santiago Zanella-Beguelin | 09 December 2019, 17:46:56 UTC | Use same header (without Kremlin invocation) for all distributed files; ignore generated files | 09 December 2019, 17:46:56 UTC |
4698cc4 | Christoph M. Wintersteiger | 09 December 2019, 13:21:04 UTC | Merge pull request #209 from project-everest/cwinter_merkle_paths Merkle paths | 09 December 2019, 13:21:04 UTC |
3da9c3f | Christoph M. Wintersteiger | 09 December 2019, 11:49:06 UTC | Fix assumption in Merkle tree path serialization | 09 December 2019, 11:53:57 UTC |
19f3e94 | Christoph M. Wintersteiger | 06 December 2019, 18:44:00 UTC | Simplify Merkle path verification demo | 09 December 2019, 11:53:56 UTC |
017ac07 | Christoph M. Wintersteiger | 06 December 2019, 18:41:25 UTC | More Merkle trees | 09 December 2019, 11:53:55 UTC |
bcfd5e0 | Christoph M. Wintersteiger | 05 December 2019, 15:37:06 UTC | Removed unnecessary `rec`s | 09 December 2019, 11:53:55 UTC |
19d9952 | Christoph M. Wintersteiger | 05 December 2019, 15:30:54 UTC | Added path serialization to Merkle trees | 09 December 2019, 11:53:27 UTC |
904d2ab | Dzomo the everest Yak | 09 December 2019, 08:27:36 UTC | [CI] regenerate hints | 09 December 2019, 08:27:36 UTC |
e52759f | Dzomo the everest Yak | 08 December 2019, 08:25:56 UTC | [CI] regenerate hints | 08 December 2019, 08:25:56 UTC |
41efd78 | Benjamin Beurdouche | 07 December 2019, 17:30:00 UTC | Initial implementation of the Ascon permutation | 07 December 2019, 17:30:00 UTC |
947c244 | Benjamin Beurdouche | 07 December 2019, 17:29:26 UTC | Interface for Lib.ByteBuffer.Tuples.fsti | 07 December 2019, 17:29:38 UTC |
3274d48 | Dzomo the everest Yak | 07 December 2019, 08:26:59 UTC | [CI] regenerate hints | 07 December 2019, 08:26:59 UTC |
e3351f8 | Benjamin Beurdouche | 06 December 2019, 21:34:34 UTC | New Makefile for aes-256-cbc | 06 December 2019, 21:34:34 UTC |
2549b51 | Benjamin Beurdouche | 06 December 2019, 21:34:02 UTC | Rename old Makefile for aes-256-cbc | 06 December 2019, 21:34:02 UTC |
f7c9b72 | Benjamin Beurdouche | 06 December 2019, 18:26:54 UTC | Merge fstar-master in _dev | 06 December 2019, 18:26:54 UTC |
0ffd047 | Santiago Zanella-Beguelin | 06 December 2019, 17:09:24 UTC | Merge remote-tracking branch 'origin/fstar-master' into fstar-master_dev_merge | 06 December 2019, 17:56:07 UTC |
6026ec0 | Santiago Zanella-Beguelin | 06 December 2019, 15:09:29 UTC | Merge remote-tracking branch 'origin/_dev' into fstar-master_dev_merge | 06 December 2019, 15:09:29 UTC |
4ef6a70 | Benjamin Beurdouche | 06 December 2019, 13:36:26 UTC | Initial documentation for Lib_RandomBuffer_System | 06 December 2019, 13:36:26 UTC |
53ffa17 | Dzomo the everest Yak | 06 December 2019, 08:27:21 UTC | [CI] regenerate hints | 06 December 2019, 08:27:21 UTC |
186a985 | Jonathan Protzenko | 05 December 2019, 15:22:25 UTC | kick CI | 05 December 2019, 15:22:25 UTC |
eba2222 | Jonathan Protzenko | 05 December 2019, 14:51:19 UTC | Enable RST snippets for portable-gcc-compatible -- it's only for test so might as well | 05 December 2019, 14:51:22 UTC |
2380df4 | Jonathan Protzenko | 05 December 2019, 14:25:40 UTC | Placeholder for docs | 05 December 2019, 14:25:40 UTC |
2b865f6 | Dzomo the everest Yak | 05 December 2019, 08:27:44 UTC | [CI] regenerate hints | 05 December 2019, 08:27:44 UTC |
dd05ce3 | Aseem Rastogi | 05 December 2019, 05:18:31 UTC | Merge branch 'aseem_chacha20_spec_equiv' into fstar-master | 05 December 2019, 05:18:31 UTC |
3f325af | Aseem Rastogi | 05 December 2019, 04:46:18 UTC | trying to fix a proof | 05 December 2019, 04:46:18 UTC |
b47feaa | Benjamin Beurdouche | 04 December 2019, 16:32:56 UTC | Initial version of Spec.Ascon.Hash.fst | 04 December 2019, 16:32:56 UTC |
15de201 | Benjamin Beurdouche | 04 December 2019, 13:55:00 UTC | Initial version of Ascon | 04 December 2019, 13:55:00 UTC |
d30f091 | Benjamin Beurdouche | 04 December 2019, 13:52:46 UTC | Library for lseq to ltuple and converse | 04 December 2019, 13:52:46 UTC |
80596c8 | Dzomo the everest Yak | 04 December 2019, 08:27:11 UTC | [CI] regenerate hints | 04 December 2019, 08:27:11 UTC |
91d8bf1 | Jonathan Protzenko | 03 December 2019, 23:05:50 UTC | Keep ml files | 03 December 2019, 23:05:50 UTC |
0a9427e | Jonathan Protzenko | 03 December 2019, 23:02:47 UTC | Forgot to enact changes in Makefile.tmpl | 03 December 2019, 23:02:47 UTC |
9111bb2 | Jonathan Protzenko | 03 December 2019, 22:10:44 UTC | More generated OCaml files under version control | 03 December 2019, 22:10:44 UTC |
44f4189 | Jonathan Protzenko | 03 December 2019, 22:07:52 UTC | Makefile fix: just use the mini .depend generated by KreMLin | 03 December 2019, 22:07:52 UTC |
10dabb7 | Jonathan Protzenko | 03 December 2019, 20:23:07 UTC | Sample codegen with -fnoreturn-else | 03 December 2019, 20:26:28 UTC |
1039839 | Santiago Zanella-Beguelin | 03 December 2019, 11:23:01 UTC | Merge remote-tracking branch 'origin/dev' into fstar-master | 03 December 2019, 11:24:59 UTC |
2d7a98b | Jonathan Protzenko | 02 December 2019, 17:41:48 UTC | Update README | 02 December 2019, 17:41:48 UTC |
b3243e9 | Benjamin Beurdouche | 02 December 2019, 17:34:25 UTC | Merge fstar-master in _dev | 02 December 2019, 17:34:25 UTC |
bc6c1f1 | Jonathan Protzenko | 02 December 2019, 13:37:22 UTC | Merge remote-tracking branch 'origin/fstar-master' into protz_git_c | 02 December 2019, 13:37:22 UTC |
aed7134 | Jonathan Protzenko | 02 December 2019, 13:37:08 UTC | Update README, rename distributions | 02 December 2019, 13:37:08 UTC |
7dc2bb7 | Marina Polubelova | 02 December 2019, 13:30:04 UTC | cleanup tests | 02 December 2019, 13:30:04 UTC |
9c4b19b | Dzomo the everest Yak | 02 December 2019, 09:34:11 UTC | [CI] regenerate hints | 02 December 2019, 09:34:11 UTC |
ac979d9 | Dzomo the everest Yak | 02 December 2019, 08:27:48 UTC | [CI] regenerate hints | 02 December 2019, 08:27:48 UTC |
00ec064 | Jonathan Protzenko | 01 December 2019, 17:09:59 UTC | Disable if-else optimization until it is fixed | 01 December 2019, 17:09:59 UTC |
4b51e0b | Dzomo the everest Yak | 01 December 2019, 09:34:00 UTC | [CI] regenerate hints | 01 December 2019, 09:34:00 UTC |
911eea9 | Dzomo the everest Yak | 01 December 2019, 08:27:30 UTC | [CI] regenerate hints | 01 December 2019, 08:27:30 UTC |
706e87e | Dzomo the everest Yak | 30 November 2019, 09:30:42 UTC | [CI] regenerate hints | 30 November 2019, 09:30:42 UTC |
7fdefbb | Dzomo the everest Yak | 30 November 2019, 08:27:37 UTC | [CI] regenerate hints | 30 November 2019, 08:27:37 UTC |
8565919 | Marina Polubelova | 29 November 2019, 15:55:10 UTC | fix local Makefiles | 29 November 2019, 15:55:10 UTC |
065ca5f | Marina Polubelova | 29 November 2019, 15:42:58 UTC | Merge remote-tracking branch 'origin/dev' into _dev | 29 November 2019, 15:42:58 UTC |
b06f899 | Santiago Zanella-Beguelin | 29 November 2019, 13:25:44 UTC | Merge pull request #207 from franziskuskiefer/franziskus-libintvec-mozilla Only add libintvector.h include when necessary for mozilla dist | 29 November 2019, 13:25:44 UTC |
eefad99 | Franziskus Kiefer | 29 November 2019, 11:01:59 UTC | Merge remote-tracking branch 'upstream/fstar-master' into franziskus-libintvec-mozilla | 29 November 2019, 11:01:59 UTC |
ae9cb35 | Franziskus Kiefer | 29 November 2019, 11:01:42 UTC | use INTRINSIC_FLAGS | 29 November 2019, 11:01:42 UTC |
5b69e68 | Santiago Zanella-Beguelin | 25 November 2019, 15:43:47 UTC | Re-enable long logs for accurate stats | 29 November 2019, 09:57:25 UTC |
182b605 | Dzomo the everest Yak | 29 November 2019, 09:44:57 UTC | [CI] regenerate hints | 29 November 2019, 09:44:57 UTC |
aaa623f | Franziskus Kiefer | 29 November 2019, 09:33:06 UTC | Merge branch 'fstar-master' into franziskus-libintvec-mozilla | 29 November 2019, 09:33:06 UTC |
d00179a | Franziskus Kiefer | 29 November 2019, 09:24:00 UTC | Only add libintvector.h include when necessary for mozilla dist | 29 November 2019, 09:24:00 UTC |
3ae979b | Dzomo the everest Yak | 29 November 2019, 08:49:33 UTC | [CI] regenerate hints | 29 November 2019, 08:49:33 UTC |
e23ae60 | Aseem Rastogi | 29 November 2019, 02:59:46 UTC | Merge branch 'fstar-master' into aseem_dev | 29 November 2019, 02:59:46 UTC |
4a0181f | Aseem Rastogi | 28 November 2019, 15:19:34 UTC | Merge branch 'aseem_dynamic_regions_cleanup' into fstar-master | 28 November 2019, 15:19:34 UTC |
1316c7f | Dzomo the everest Yak | 28 November 2019, 13:05:32 UTC | [CI] regenerate hints | 28 November 2019, 13:05:32 UTC |
eecbb2c | Santiago Zanella-Beguelin | 28 November 2019, 11:16:26 UTC | Merge remote-tracking branch 'origin/fstar-master' into dev | 28 November 2019, 11:16:26 UTC |
9cea348 | Dzomo the everest Yak | 28 November 2019, 08:49:58 UTC | [CI] regenerate hints | 28 November 2019, 08:49:58 UTC |
a403d75 | Aseem Rastogi | 28 November 2019, 08:31:34 UTC | some proof tweak to separate out relation between total_len and max_input_len | 28 November 2019, 08:31:34 UTC |
e61a35e | Jonathan Protzenko | 27 November 2019, 19:47:47 UTC | License block and version info to minimize git diff from one version to the next | 27 November 2019, 19:48:02 UTC |
4acf7fc | Jonathan Protzenko | 27 November 2019, 19:26:35 UTC | Put the build of the snapshot in the right place | 27 November 2019, 19:26:35 UTC |
5d58fc0 | Jonathan Protzenko | 27 November 2019, 18:21:55 UTC | Refresh checked-in Makefiles; skip some irrelevant entries; don't check in .a files | 27 November 2019, 18:21:55 UTC |
ae1ca06 | Jonathan Protzenko | 27 November 2019, 18:16:08 UTC | Try to keep snapshots under version control | 27 November 2019, 18:16:08 UTC |
0d9565a | Benjamin Beurdouche | 27 November 2019, 17:41:00 UTC | Refresh hints | 27 November 2019, 17:41:00 UTC |
fb529e0 | Benjamin Beurdouche | 27 November 2019, 17:40:41 UTC | Fix Chacha20 Makefile for local builds | 27 November 2019, 17:40:41 UTC |
a6499ff | Chris Hawblitzel | 27 November 2019, 15:50:24 UTC | Merge branch 'fstar-master' of https://github.com/project-everest/hacl-star into fstar-master | 27 November 2019, 15:50:24 UTC |
b947b15 | Chris Hawblitzel | 27 November 2019, 13:31:29 UTC | Fix some more quantifier patterns | 27 November 2019, 13:31:29 UTC |
401b9ba | Jonathan Protzenko | 27 November 2019, 13:05:21 UTC | Merge remote-tracking branch 'origin/fstar-master' into protz_static | 27 November 2019, 13:05:21 UTC |
53785c8 | Aseem Rastogi | 27 November 2019, 05:47:19 UTC | tweak to incremental hash proof | 27 November 2019, 10:10:00 UTC |
a49bebc | Aseem Rastogi | 27 November 2019, 05:47:27 UTC | hints | 27 November 2019, 05:47:27 UTC |
086b36a | Aseem Rastogi | 27 November 2019, 05:47:19 UTC | tweak to incremental hash proof | 27 November 2019, 05:47:19 UTC |
b8bf24b | Jonathan Protzenko | 27 November 2019, 02:33:02 UTC | Merge remote-tracking branch 'origin/fstar-master' into protz_static | 27 November 2019, 02:33:02 UTC |
28fee40 | Jonathan Protzenko | 26 November 2019, 22:20:38 UTC | hints | 26 November 2019, 22:20:38 UTC |
cbc4577 | Jonathan Protzenko | 26 November 2019, 22:13:59 UTC | double up rilimit because of flaky proof | 26 November 2019, 22:13:59 UTC |
ba51f45 | Jonathan Protzenko | 26 November 2019, 20:15:09 UTC | Try to fix tests and benchmark | 26 November 2019, 20:15:09 UTC |
c1acdbe | Tahina Ramananandro | 26 November 2019, 19:30:05 UTC | try to address instable proof on Windows | 26 November 2019, 19:30:05 UTC |
3c44008 | Jonathan Protzenko | 26 November 2019, 17:58:23 UTC | More aggressive bundling | 26 November 2019, 17:58:23 UTC |
96789a2 | Jonathan Protzenko | 26 November 2019, 16:21:02 UTC | Forgot an include path | 26 November 2019, 16:21:02 UTC |
6c29297 | Jonathan Protzenko | 26 November 2019, 16:03:45 UTC | linking without libkremlib.a | 26 November 2019, 16:03:45 UTC |
5cb6e79 | Tahina Ramananandro | 26 November 2019, 15:53:31 UTC | disable the infamous unused_in_not_unused_in_disjoint2 pattern | 26 November 2019, 15:53:31 UTC |