7bb769a | Jonathan Protzenko | 04 January 2020, 14:25:52 UTC | One more round of tweaks to the documentation | 04 January 2020, 14:25:52 UTC |
7ccaf2b | Dzomo the everest Yak | 04 January 2020, 08:19:31 UTC | [CI] regenerate hints and dist | 04 January 2020, 08:19:31 UTC |
10b9a2e | Jonathan Protzenko | 03 January 2020, 22:40:45 UTC | Tidbits | 03 January 2020, 22:40:45 UTC |
fa4e070 | Jonathan Protzenko | 03 January 2020, 21:39:11 UTC | Fix-up after merge | 03 January 2020, 21:39:11 UTC |
0ea2f9a | Jonathan Protzenko | 03 January 2020, 21:29:19 UTC | Merge remote-tracking branch 'origin/karthik_docs' into fstar-master | 03 January 2020, 21:29:19 UTC |
3493775 | Jonathan Protzenko | 03 January 2020, 21:28:54 UTC | More EverCrypt documentation | 03 January 2020, 21:28:54 UTC |
250efae | karthikbhargavan | 03 January 2020, 16:50:48 UTC | specs/README.md | 03 January 2020, 16:50:48 UTC |
7114eb2 | Jonathan Protzenko | 03 January 2020, 16:24:53 UTC | gitignore | 03 January 2020, 16:24:53 UTC |
331dc69 | Jonathan Protzenko | 03 January 2020, 15:55:20 UTC | Author fixes | 03 January 2020, 15:55:20 UTC |
bc3c567 | Jonathan Protzenko | 03 January 2020, 15:22:52 UTC | Fixup paths | 03 January 2020, 15:22:52 UTC |
7155b13 | Jonathan Protzenko | 03 January 2020, 15:21:00 UTC | Merge remote-tracking branch 'origin/fstar-master' into karthik_docs | 03 January 2020, 15:21:00 UTC |
b96ae66 | karthikbhargavan | 03 January 2020, 15:12:22 UTC | done pass | 03 January 2020, 15:12:22 UTC |
24d8e41 | karthikbhargavan | 03 January 2020, 15:00:42 UTC | done hacl apis | 03 January 2020, 15:00:42 UTC |
7eed59b | karthikbhargavan | 03 January 2020, 15:00:16 UTC | done hacl apis | 03 January 2020, 15:00:16 UTC |
757f4fd | karthikbhargavan | 03 January 2020, 14:40:26 UTC | haclecdh | 03 January 2020, 14:40:26 UTC |
86c1ef0 | karthikbhargavan | 03 January 2020, 14:16:13 UTC | done with aead and hash; more to document | 03 January 2020, 14:16:13 UTC |
c605e91 | karthikbhargavan | 03 January 2020, 13:16:36 UTC | restruct | 03 January 2020, 13:16:36 UTC |
9b717fe | Dzomo the everest Yak | 03 January 2020, 08:19:56 UTC | [CI] regenerate hints and dist | 03 January 2020, 08:19:56 UTC |
25a1f31 | Jonathan Protzenko | 02 January 2020, 18:37:19 UTC | More documentation | 02 January 2020, 18:37:19 UTC |
8d02717 | Jonathan Protzenko | 02 January 2020, 17:22:42 UTC | Fix path | 02 January 2020, 17:22:42 UTC |
09e8af1 | Jonathan Protzenko | 02 January 2020, 17:15:47 UTC | Split out Sphinx rendering-fixup-copy to a separate script for Karthik | 02 January 2020, 17:15:52 UTC |
8bc23ad | karthikbhargavan | 02 January 2020, 15:17:55 UTC | MERGE rename | 02 January 2020, 15:17:55 UTC |
3918ed3 | karthikbhargavan | 02 January 2020, 15:17:13 UTC | readme | 02 January 2020, 15:17:13 UTC |
4da837c | karthikbhargavan | 02 January 2020, 15:12:22 UTC | restruct | 02 January 2020, 15:12:22 UTC |
0633d82 | Dzomo the everest Yak | 02 January 2020, 08:19:38 UTC | [CI] regenerate hints and dist | 02 January 2020, 08:19:38 UTC |
56d1406 | Dzomo the everest Yak | 01 January 2020, 08:19:47 UTC | [CI] regenerate hints and dist | 01 January 2020, 08:19:47 UTC |
83a75e5 | Jonathan Protzenko | 31 December 2019, 18:27:37 UTC | Merge branch 'fstar-master' of pro.github.com:mitls/hacl-star into fstar-master | 31 December 2019, 18:27:37 UTC |
eea7a46 | Jonathan Protzenko | 31 December 2019, 18:27:35 UTC | More documentation | 31 December 2019, 18:27:35 UTC |
214a3c5 | Dzomo the everest Yak | 31 December 2019, 08:20:37 UTC | [CI] regenerate hints and dist | 31 December 2019, 08:20:37 UTC |
d6b1353 | Jonathan Protzenko | 30 December 2019, 23:35:02 UTC | More documentation | 30 December 2019, 23:35:02 UTC |
f2035da | Karthikeyan Bhargavan | 30 December 2019, 15:39:20 UTC | Merge pull request #211 from project-everest/polubelova_ci Polubelova ci | 30 December 2019, 15:39:20 UTC |
3f46cad | Karthikeyan Bhargavan | 30 December 2019, 14:58:58 UTC | Merge branch 'fstar-master' into polubelova_ci | 30 December 2019, 14:58:58 UTC |
540aec7 | Dzomo the everest Yak | 30 December 2019, 08:20:38 UTC | [CI] regenerate hints and dist | 30 December 2019, 08:20:38 UTC |
1e22c3e | Dzomo the everest Yak | 29 December 2019, 08:20:21 UTC | [CI] regenerate hints and dist | 29 December 2019, 08:20:21 UTC |
de6853d | Dzomo the everest Yak | 28 December 2019, 08:20:35 UTC | [CI] regenerate hints and dist | 28 December 2019, 08:20:35 UTC |
1e331d0 | Dzomo the everest Yak | 27 December 2019, 08:20:07 UTC | [CI] regenerate hints and dist | 27 December 2019, 08:20:07 UTC |
63883cb | Dzomo the everest Yak | 26 December 2019, 08:20:23 UTC | [CI] regenerate hints and dist | 26 December 2019, 08:20:23 UTC |
c053fe1 | Dzomo the everest Yak | 25 December 2019, 08:20:47 UTC | [CI] regenerate hints and dist | 25 December 2019, 08:20:47 UTC |
5fea7b4 | Dzomo the everest Yak | 24 December 2019, 08:22:48 UTC | [CI] regenerate hints and dist | 24 December 2019, 08:22:48 UTC |
b1ed572 | Chris Hawblitzel | 24 December 2019, 00:13:34 UTC | Improve SMT patterns in Memory and Memory_Sems | 24 December 2019, 00:13:34 UTC |
4e6e2cd | Chris Hawblitzel | 23 December 2019, 22:55:26 UTC | Remove SMTPat from addrs_set_lemma | 23 December 2019, 22:55:26 UTC |
a131503 | Chris Hawblitzel | 23 December 2019, 22:12:00 UTC | Add more calls to list_disjoint_or_eq_reveal | 23 December 2019, 22:12:00 UTC |
90054ea | Chris Hawblitzel | 23 December 2019, 18:05:04 UTC | Make Vale.Interop.Heap_s.list_disjoint_or_eq opaque | 23 December 2019, 18:05:04 UTC |
beb3285 | Chris Hawblitzel | 23 December 2019, 15:23:52 UTC | Merge branch 'fstar-master' into _vale_opaque_make | 23 December 2019, 15:23:52 UTC |
25494b2 | Chris Hawblitzel | 23 December 2019, 14:28:20 UTC | Use opaque_make for aes_encrypt_LE and compute_iv_BE | 23 December 2019, 14:28:20 UTC |
d857e53 | Karthikeyan Bhargavan | 23 December 2019, 12:20:30 UTC | Merge branch 'fstar-master' into polubelova_ci | 23 December 2019, 12:20:30 UTC |
7bb2ec4 | Dzomo the everest Yak | 23 December 2019, 08:20:15 UTC | [CI] regenerate hints and dist | 23 December 2019, 08:20:15 UTC |
afffa99 | Dzomo the everest Yak | 22 December 2019, 08:20:25 UTC | [CI] regenerate hints and dist | 22 December 2019, 08:20:25 UTC |
933e230 | Dzomo the everest Yak | 21 December 2019, 08:24:13 UTC | [CI] regenerate hints and dist | 21 December 2019, 08:24:13 UTC |
00bcdde | Chris Hawblitzel | 20 December 2019, 15:29:38 UTC | Capitalize Vale procedure names | 20 December 2019, 15:29:38 UTC |
7ff01ee | Dzomo the everest Yak | 20 December 2019, 08:21:15 UTC | [CI] regenerate hints and dist | 20 December 2019, 08:21:15 UTC |
e53c6a8 | Dzomo the everest Yak | 19 December 2019, 08:20:55 UTC | [CI] regenerate hints and dist | 19 December 2019, 08:20:55 UTC |
e69d868 | Marina Polubelova | 18 December 2019, 17:50:19 UTC | add missing noextract | 18 December 2019, 17:50:19 UTC |
925e968 | Marina Polubelova | 18 December 2019, 16:56:41 UTC | fix after merging | 18 December 2019, 16:56:41 UTC |
542d861 | Marina Polubelova | 18 December 2019, 15:52:29 UTC | Merge remote-tracking branch 'origin/fstar-master' into polubelova_ci # Conflicts: # code/poly1305/Hacl.Poly1305.Field32xN.Lemmas.fst # hints/Hacl.Poly1305.Field32xN.Lemmas.fst.hints | 18 December 2019, 15:52:29 UTC |
9f59217 | Dzomo the everest Yak | 18 December 2019, 08:21:17 UTC | [CI] regenerate hints and dist | 18 December 2019, 08:21:17 UTC |
40d6a99 | Chris Hawblitzel | 18 December 2019, 01:49:38 UTC | Say "reveal_opaque" instead of "FStar.Pervasives.reveal_opaque" now that there's only one function named "reveal_opaque" | 18 December 2019, 01:49:38 UTC |
f36c23a | Chris Hawblitzel | 17 December 2019, 22:32:09 UTC | Revise Vale.Def.Opaque_s to improve "opaque" definitions. The newer style uses [@"opaque_to_smt"] to completely hide opaque definitions from the SMT solver (unlike the older make_opaque) and also hides definitions from the normalizer (unlike using [@"opaque_to_smt"] by itself). | 17 December 2019, 22:32:09 UTC |
9a0bddd | Dzomo the everest Yak | 17 December 2019, 08:21:00 UTC | [CI] regenerate hints and dist | 17 December 2019, 08:21:00 UTC |
53cc2f7 | Victor Dumitrescu | 16 December 2019, 13:48:49 UTC | Makefile fix for -ctypes | 16 December 2019, 13:48:49 UTC |
6a4cf2a | Victor Dumitrescu | 16 December 2019, 13:48:04 UTC | Merge branch 'fstar-master' of github.com:project-everest/hacl-star into vdum_ctypes | 16 December 2019, 13:48:04 UTC |
bd9f572 | Dzomo the everest Yak | 16 December 2019, 08:20:44 UTC | [CI] regenerate hints and dist | 16 December 2019, 08:20:44 UTC |
cd6e8b8 | Dzomo the everest Yak | 15 December 2019, 08:20:16 UTC | [CI] regenerate hints and dist | 15 December 2019, 08:20:16 UTC |
57fedcb | Dzomo the everest Yak | 14 December 2019, 08:20:04 UTC | [CI] regenerate hints and dist | 14 December 2019, 08:20:04 UTC |
1caeb2b | Jonathan Protzenko | 13 December 2019, 22:06:45 UTC | Use the same trick for _images | 13 December 2019, 22:06:45 UTC |
5990980 | Jonathan Protzenko | 13 December 2019, 22:05:52 UTC | Revert "for CI only" This reverts commit 7eb6b61ebf0804f6b3fdfbefbae657d041cd4d08. | 13 December 2019, 22:05:52 UTC |
7eb6b61 | Jonathan Protzenko | 13 December 2019, 22:02:23 UTC | for CI only | 13 December 2019, 22:02:23 UTC |
e47964e | Dzomo the everest Yak | 13 December 2019, 20:21:19 UTC | [CI] regenerate hints and dist | 13 December 2019, 20:21:19 UTC |
811cb3c | Jonathan Protzenko | 13 December 2019, 19:46:54 UTC | Nightly tutorial refresh | 13 December 2019, 19:46:54 UTC |
a6eaf0c | Jonathan Protzenko | 13 December 2019, 19:40:26 UTC | doc | 13 December 2019, 19:40:26 UTC |
91ca209 | Victor Dumitrescu | 13 December 2019, 16:34:56 UTC | Try again to generate OCaml bindings for gcc-compatible snapshot Skipping MerkleTree for now | 13 December 2019, 16:34:56 UTC |
f5b2fea | Christoph M. Wintersteiger | 13 December 2019, 13:54:53 UTC | Snapshot | 13 December 2019, 13:54:53 UTC |
ee42ebc | Christoph M. Wintersteiger | 13 December 2019, 13:51:49 UTC | More Merkle tree hash function tricks | 13 December 2019, 13:51:49 UTC |
60ff4d1 | Christoph M. Wintersteiger | 12 December 2019, 17:54:04 UTC | Removed unnecessary rec | 13 December 2019, 10:42:20 UTC |
f03b089 | Christoph M. Wintersteiger | 12 December 2019, 17:50:44 UTC | Add (hacky) support for other hash functions in Merkle trees | 13 December 2019, 10:42:19 UTC |
1098454 | Christoph M. Wintersteiger | 12 December 2019, 17:00:01 UTC | Improve Merkle path verification examples | 13 December 2019, 10:42:17 UTC |
c21690b | Dzomo the everest Yak | 13 December 2019, 08:20:05 UTC | [CI] regenerate hints and dist | 13 December 2019, 08:20:05 UTC |
ea8caa7 | Christoph M. Wintersteiger | 10 December 2019, 18:16:17 UTC | const merkle_tree! | 12 December 2019, 11:29:52 UTC |
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 |