0d9153d | Santiago Zanella-Beguelin | 11 December 2019, 17:46:08 UTC | Actually warn about snapshot diff | 12 December 2019, 10:33:01 UTC |
7405f78 | Dzomo the everest Yak | 12 December 2019, 08:22:13 UTC | [CI] regenerate hints and dist | 12 December 2019, 08:22:13 UTC |
fc3d1f6 | Jonathan Protzenko | 11 December 2019, 23:45:55 UTC | Also statically link at the final step | 11 December 2019, 23:45:55 UTC |
8cab44c | Jonathan Protzenko | 11 December 2019, 23:00:25 UTC | proper static linking | 11 December 2019, 23:00:25 UTC |
7390098 | Jonathan Protzenko | 11 December 2019, 22:49:42 UTC | Refresh makefiles and make the snapshot build fail properly (take 3) | 11 December 2019, 22:49:42 UTC |
ef21a14 | Jonathan Protzenko | 11 December 2019, 22:35:27 UTC | Static linking for _gen programs since there keeps being conflicts between static and dynamic linking on windows | 11 December 2019, 22:35:27 UTC |
f5e3d21 | Jonathan Protzenko | 11 December 2019, 19:02:28 UTC | fix kremlin build branch | 11 December 2019, 19:02:28 UTC |
1f687bc | Jonathan Protzenko | 11 December 2019, 18:22:01 UTC | Post-merge snapshot refresh; remove un-needed ctypes.depend | 11 December 2019, 18:22:01 UTC |
84874d4 | Jonathan Protzenko | 11 December 2019, 18:19:52 UTC | Merge remote-tracking branch 'origin/fstar-master' into protz_ctypes | 11 December 2019, 18:19:52 UTC |
7d1fd3f | Jonathan Protzenko | 11 December 2019, 17:52:10 UTC | Try to make initial build of the snapshot properly fail; also, check under version control the new Makefiles to avoid early build errors | 11 December 2019, 17:52:10 UTC |
fc21612 | Jonathan Protzenko | 11 December 2019, 17:00:22 UTC | Really need to stop using EVERCRYPT_CONFIG | 11 December 2019, 17:00:22 UTC |
d690a72 | Jonathan Protzenko | 11 December 2019, 16:59:35 UTC | Revert "Try another fix" This reverts commit 5b3e187f3752e64d7fa23d7bac4bc72a7a652dc5. | 11 December 2019, 16:59:35 UTC |
5b3e187 | Jonathan Protzenko | 11 December 2019, 16:54:44 UTC | Try another fix | 11 December 2019, 16:54:44 UTC |
2efbff1 | Dzomo the everest Yak | 11 December 2019, 16:47:32 UTC | [CI] regenerate hints and dist | 11 December 2019, 16:47:32 UTC |
9615d72 | Santiago Zanella-Beguelin | 11 December 2019, 16:21:31 UTC | Merge pull request #208 from franziskuskiefer/ci-snapshot Add C snapshot to nightly builds when generating hints | 11 December 2019, 16:21:31 UTC |
db37846 | Jonathan Protzenko | 11 December 2019, 15:39:50 UTC | Fix suggested by Victor | 11 December 2019, 15:39:50 UTC |
4467e14 | Jonathan Protzenko | 11 December 2019, 15:39:07 UTC | Merge branch 'protz_ctypes' of pro.github.com:mitls/hacl-star into protz_ctypes | 11 December 2019, 15:39:07 UTC |
5936c22 | Jonathan Protzenko | 11 December 2019, 15:38:43 UTC | Also for execution | 11 December 2019, 15:38:43 UTC |
7490b17 | Franziskus Kiefer | 11 December 2019, 15:05:30 UTC | Update .gitignore Co-Authored-By: Santiago Zanella-Beguelin <s-zanella@users.noreply.github.com> | 11 December 2019, 15:05:30 UTC |
597e4d5 | Jonathan Protzenko | 11 December 2019, 14:58:39 UTC | Blind fix | 11 December 2019, 14:58:39 UTC |
fbdba0d | Franziskus Kiefer | 11 December 2019, 13:19:40 UTC | add diff warning | 11 December 2019, 13:19:40 UTC |
ed2c0a0 | Franziskus Kiefer | 11 December 2019, 12:59:10 UTC | Merge remote-tracking branch 'upstream/fstar-master' into ci-snapshot | 11 December 2019, 12:59:10 UTC |
f1c55e6 | Santiago Zanella-Beguelin | 11 December 2019, 10:50:32 UTC | Merge remote-tracking branch 'origin/fstar-master' into fstar-master_dev_merge | 11 December 2019, 10:50:32 UTC |
c8cd208 | Victor Dumitrescu | 11 December 2019, 08:35:11 UTC | Merge branch 'fstar-master' of github.com:project-everest/hacl-star into protz_ctypes | 11 December 2019, 08:35:11 UTC |
9139b8e | Dzomo the everest Yak | 11 December 2019, 08:27:19 UTC | [CI] regenerate hints | 11 December 2019, 08:27:19 UTC |
5fe9615 | Franziskus Kiefer | 10 December 2019, 19:46:11 UTC | Merge remote-tracking branch 'upstream/fstar-master' into ci-snapshot | 10 December 2019, 19:46:11 UTC |
2205eeb | Franziskus Kiefer | 10 December 2019, 19:45:36 UTC | re-build for ci snapshot | 10 December 2019, 19:45:36 UTC |
54a11a7 | Jonathan Protzenko | 10 December 2019, 18:53:08 UTC | A pretty diagram and an overview | 10 December 2019, 18:53:08 UTC |
5decfe4 | Santiago Zanella-Beguelin | 10 December 2019, 18:22:50 UTC | Format | 10 December 2019, 18:25:05 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 |
3b5b968 | Victor Dumitrescu | 10 December 2019, 16:11:09 UTC | More -ctypes | 10 December 2019, 16:11:09 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 |
64f70b1 | Jonathan Protzenko | 09 December 2019, 19:32:20 UTC | Delete files that should not be under version control | 09 December 2019, 19:32:20 UTC |
b7d5b1c | Jonathan Protzenko | 09 December 2019, 19:31:46 UTC | Generate even more bindings... still an issue but getting closer. All the _gen programs compile and run. Updated gitignore, put proper stuff under version control | 09 December 2019, 19:31:46 UTC |
765d0b5 | Jonathan Protzenko | 09 December 2019, 19:22:07 UTC | Try compiling more ctypes bindings | 09 December 2019, 19:22:07 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 |
517a58c | Franziskus Kiefer | 07 December 2019, 19:45:04 UTC | Merge remote-tracking branch 'upstream/fstar-master' into ci-snapshot | 07 December 2019, 19:45:04 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 |
de10370 | Franziskus Kiefer | 06 December 2019, 12:32:58 UTC | Merge remote-tracking branch 'upstream/fstar-master' into ci-snapshot | 06 December 2019, 12:32:58 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 |
c6a1127 | Franziskus Kiefer | 03 December 2019, 10:03:13 UTC | only update existing dist files; use extra argument to do this | 03 December 2019, 10:03:13 UTC |
edf55d6 | Franziskus Kiefer | 03 December 2019, 09:32:43 UTC | drop files in dist we don't want | 03 December 2019, 09:32:43 UTC |
545d9f7 | Franziskus Kiefer | 03 December 2019, 06:11:08 UTC | add C snapshot to nightly builds when generating hints | 03 December 2019, 06:11:08 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 |