a39db79 | Chris Hawblitzel | 12 January 2020, 15:11:50 UTC | Allow Vale code to change ghost state | 12 January 2020, 15:11:50 UTC |
06a1c3f | Dzomo the everest Yak | 12 January 2020, 08:19:58 UTC | [CI] regenerate hints and dist | 12 January 2020, 08:19:58 UTC |
16b1994 | Chris Hawblitzel | 11 January 2020, 20:07:17 UTC | Add init function to Vale.Lib.Map16 | 11 January 2020, 20:07:17 UTC |
fbd56fd | Dzomo the everest Yak | 11 January 2020, 08:19:32 UTC | [CI] regenerate hints and dist | 11 January 2020, 08:19:32 UTC |
7341621 | Chris Hawblitzel | 10 January 2020, 23:59:54 UTC | Simplify proof in Vale.X64.Lemmas | 10 January 2020, 23:59:54 UTC |
25a4be5 | Chris Hawblitzel | 10 January 2020, 21:55:49 UTC | Add lemmas to prove is_machine_heap_update in Vale.X64.Machine_Semantics_s.fst | 10 January 2020, 21:55:49 UTC |
3978042 | Jonathan Protzenko | 10 January 2020, 20:05:07 UTC | Refresh dist with short names | 10 January 2020, 20:05:07 UTC |
6d9b4b1 | Aymeric Fromherz | 10 January 2020, 19:43:51 UTC | Restore in-progress work for better inline asm | 10 January 2020, 19:43:51 UTC |
035dfe8 | Aymeric Fromherz | 10 January 2020, 16:37:25 UTC | Merge branch 'fstar-master' | 10 January 2020, 16:37:25 UTC |
e8c60cf | Aseem Rastogi | 10 January 2020, 07:14:41 UTC | valid regression due to fix in F* #1908 | 10 January 2020, 07:14:41 UTC |
e6642cd | Jonathan Protzenko | 09 January 2020, 16:35:52 UTC | Don't enable stack-check by default, as it may collide with system defaults such as -fstack-clash_protection | 09 January 2020, 16:35:52 UTC |
2e5330e | Dzomo the everest Yak | 09 January 2020, 08:19:46 UTC | [CI] regenerate hints and dist | 09 January 2020, 08:19:46 UTC |
e221bcb | Jonathan Protzenko | 07 January 2020, 21:30:24 UTC | Re-instate -fnoreturn-else, refresh snapshot, and fix #218 | 07 January 2020, 21:30:24 UTC |
27d6770 | Jonathan Protzenko | 07 January 2020, 20:30:30 UTC | One more tweak for Jason | 07 January 2020, 20:30:30 UTC |
215d928 | Jonathan Protzenko | 07 January 2020, 18:51:05 UTC | linux dist fixes | 07 January 2020, 18:51:05 UTC |
2c86ad2 | Jonathan Protzenko | 07 January 2020, 18:40:33 UTC | Merge remote-tracking branch 'origin/protz_ci' | 07 January 2020, 18:40:33 UTC |
c0d72ab | Jonathan Protzenko | 07 January 2020, 18:34:28 UTC | Checkin dist/linux | 07 January 2020, 18:34:28 UTC |
f065556 | Jonathan Protzenko | 07 January 2020, 18:33:02 UTC | Merge remote-tracking branch 'origin/protz_ci' | 07 January 2020, 18:33:02 UTC |
c25101f | Jonathan Protzenko | 07 January 2020, 18:32:37 UTC | Linux dist directory | 07 January 2020, 18:32:37 UTC |
13bd031 | Jonathan Protzenko | 07 January 2020, 18:12:17 UTC | Refresh dist | 07 January 2020, 18:12:58 UTC |
5995ab1 | Jonathan Protzenko | 07 January 2020, 17:31:04 UTC | Temporarily remove -fnoreturn-else and refresh dist | 07 January 2020, 17:31:04 UTC |
b1ffe22 | Jonathan Protzenko | 07 January 2020, 16:51:28 UTC | Remove -fnoreturn-else (buggy) | 07 January 2020, 16:51:28 UTC |
6fe294d | Dzomo the everest Yak | 06 January 2020, 08:19:42 UTC | [CI] regenerate hints and dist | 06 January 2020, 08:19:42 UTC |
d64c401 | karthikbhargavan | 05 January 2020, 11:50:39 UTC | Merge pull request #216 from project-everest/karthik_docs Change ed25519 API arg names | 05 January 2020, 11:50:39 UTC |
061c2a3 | karthikbhargavan | 05 January 2020, 11:10:06 UTC | Update README.md | 05 January 2020, 11:10:06 UTC |
74c3cc5 | karthikbhargavan | 05 January 2020, 10:58:34 UTC | Merge branch 'fstar-master' into karthik_docs | 05 January 2020, 10:58:34 UTC |
f891d1c | Dzomo the everest Yak | 05 January 2020, 08:19:15 UTC | [CI] regenerate hints and dist | 05 January 2020, 08:19:15 UTC |
64ce2d7 | karthikbhargavan | 05 January 2020, 04:07:24 UTC | Merge branch 'fstar-master' into karthik_docs | 05 January 2020, 04:07:24 UTC |
f1c596d | karthikbhargavan | 05 January 2020, 01:54:39 UTC | Ed API doc | 05 January 2020, 01:54:39 UTC |
7a1b91e | karthikbhargavan | 05 January 2020, 01:48:21 UTC | ed25519 api | 05 January 2020, 01:48:21 UTC |
55e0262 | Jonathan Protzenko | 05 January 2020, 01:41:39 UTC | Merge remote-tracking branch 'origin/karthik_docs' into fstar-master | 05 January 2020, 01:41:39 UTC |
46d6560 | karthikbhargavan | 05 January 2020, 01:41:16 UTC | small typos in docs | 05 January 2020, 01:41:16 UTC |
0b27349 | Jonathan Protzenko | 05 January 2020, 01:22:53 UTC | One more typo | 05 January 2020, 01:22:53 UTC |
f81992f | Jonathan Protzenko | 05 January 2020, 01:22:24 UTC | Merge remote-tracking branch 'origin/parno-patch-1' into fstar-master | 05 January 2020, 01:22:24 UTC |
69054e4 | Jonathan Protzenko | 05 January 2020, 01:22:19 UTC | Merge branch 'fstar-master' of pro.github.com:mitls/hacl-star into fstar-master | 05 January 2020, 01:22:19 UTC |
097f501 | Jonathan Protzenko | 05 January 2020, 01:22:15 UTC | Various last-minute typo fixes and edits | 05 January 2020, 01:22:15 UTC |
74124d7 | karthikbhargavan | 05 January 2020, 01:18:52 UTC | Merge pull request #215 from project-everest/karthik_docs documented NaCl | 05 January 2020, 01:18:52 UTC |
fcad89d | Jonathan Protzenko | 05 January 2020, 00:57:22 UTC | Merge remote-tracking branch 'origin/master' into fstar-master | 05 January 2020, 00:57:22 UTC |
4ca186d | karthikbhargavan | 05 January 2020, 00:46:55 UTC | documented NaCl | 05 January 2020, 00:46:55 UTC |
f32cbe0 | Bryan Parno | 05 January 2020, 00:43:35 UTC | Update README Minor updates and fixes | 05 January 2020, 00:43:35 UTC |
d25620b | karthikbhargavan | 04 January 2020, 22:01:10 UTC | edit in README | 04 January 2020, 22:01:10 UTC |
b071511 | karthikbhargavan | 04 January 2020, 22:00:27 UTC | edit in README | 04 January 2020, 22:00:27 UTC |
55ec053 | karthikbhargavan | 04 January 2020, 21:55:59 UTC | fixed typos in README | 04 January 2020, 21:55:59 UTC |
0b735ed | Jonathan Protzenko | 04 January 2020, 14:33:13 UTC | Spaced out and wrote nonsense for multiplexing arguments | 04 January 2020, 14:33:13 UTC |
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 |
283e486 | Chris Hawblitzel | 04 January 2020, 01:43:29 UTC | Make Vale.X64.Memory.buffer Type0 instead of Type u#1 | 04 January 2020, 01:43:29 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 |
fd99170 | Chris Hawblitzel | 03 January 2020, 21:16:17 UTC | Have CreateHeaplets/DestroyHeaplets modify memLayout | 03 January 2020, 21:16:17 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 |
4023e2e | Chris Hawblitzel | 26 December 2019, 21:52:54 UTC | Remove temporary hack from Vale.AES.X64.AES | 26 December 2019, 21:52:54 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 |
4a18cc1 | Chris Hawblitzel | 24 December 2019, 14:01:24 UTC | Merge branch 'fstar-master' into _vale_heap_record | 24 December 2019, 14:01:24 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 |