33159f4 | Jonathan Protzenko | 06 May 2019, 14:26:25 UTC | Merge branch 'fstar-master' into readme-patch-1 | 06 May 2019, 14:26:25 UTC |
5882942 | Bryan Parno | 06 May 2019, 14:17:04 UTC | Add a pointer to Project Everest | 06 May 2019, 14:17:04 UTC |
dbdb570 | Jonathan Protzenko | 06 May 2019, 13:20:18 UTC | rlimit | 06 May 2019, 13:20:18 UTC |
af2578d | Chris Hawblitzel | 06 May 2019, 03:16:31 UTC | Update .vaf files to match reveal statement in new Vale version | 06 May 2019, 03:16:31 UTC |
0caed2c | Chris Hawblitzel | 05 May 2019, 15:29:41 UTC | Update .vaf files to match syntax changes in new Vale version | 05 May 2019, 15:29:41 UTC |
b55bb98 | Chris Hawblitzel | 04 May 2019, 13:53:21 UTC | Reduce z3rlimit and fuel on Lib.Buffer.map_blocks_multi via --using_facts_from | 04 May 2019, 13:53:21 UTC |
700fe83 | Chris Hawblitzel | 04 May 2019, 02:40:56 UTC | In taint analysis, track OF same way as CF | 04 May 2019, 02:40:56 UTC |
09d85c4 | Chris Hawblitzel | 04 May 2019, 02:13:16 UTC | Merge branch '_vale_leakage' of https://github.com/project-everest/hacl-star into _vale_leakage | 04 May 2019, 02:13:16 UTC |
c7ecc5a | Chris Hawblitzel | 04 May 2019, 02:02:55 UTC | Add custom taint analysis for "xor r, r" | 04 May 2019, 02:02:55 UTC |
33dd67f | Aymeric Fromherz | 03 May 2019, 18:50:12 UTC | Merge branch '_vale_leakage' of https://github.com/mitls/hacl-star into _vale_leakage | 03 May 2019, 18:50:12 UTC |
0e5798d | Aymeric Fromherz | 03 May 2019, 18:22:03 UTC | Add taint tracking for stack instructions | 03 May 2019, 18:22:03 UTC |
de9bdb1 | Chris Hawblitzel | 03 May 2019, 18:14:21 UTC | Add annotation field to Instr to allow customized taint tracking | 03 May 2019, 18:14:21 UTC |
59a66e2 | Chris Hawblitzel | 03 May 2019, 04:14:17 UTC | Delete dead instruction/leakage code | 03 May 2019, 04:14:17 UTC |
6ef4e99 | Chris Hawblitzel | 02 May 2019, 22:00:17 UTC | Merge branch 'fstar-master' into _vale_leakage | 02 May 2019, 22:00:17 UTC |
e1fccf6 | Chris Hawblitzel | 02 May 2019, 20:07:22 UTC | Remove eqtype from code type and pull some of Instr into a separate type | 02 May 2019, 20:07:22 UTC |
6917de2 | Chris Hawblitzel | 01 May 2019, 23:53:26 UTC | Merge branch 'fstar-master' into _vale_leakage | 01 May 2019, 23:53:26 UTC |
2d29cc3 | Chris Hawblitzel | 01 May 2019, 19:46:42 UTC | Switch Movdqu and *xor instructions to Instr, so we get the Instr taint analysis for them (special casing "xor r, r" will come later) | 01 May 2019, 19:46:42 UTC |
fe63ae0 | Jonathan Protzenko | 01 May 2019, 19:21:20 UTC | Inline for extraction | 01 May 2019, 19:21:20 UTC |
dbc9c9e | Chris Hawblitzel | 01 May 2019, 18:35:41 UTC | Switch Ins_* instructions to Instr, so we get the Instr taint analysis for them | 01 May 2019, 18:35:41 UTC |
5277b02 | Tahina Ramananandro | 01 May 2019, 18:27:07 UTC | test cleanup: fine-tune test configs | 01 May 2019, 18:27:30 UTC |
674cb09 | Chris Hawblitzel | 01 May 2019, 17:30:16 UTC | Merge branch 'fstar-master' into _vale_leakage | 01 May 2019, 17:30:16 UTC |
29d5e32 | Tahina Ramananandro | 01 May 2019, 16:57:39 UTC | Merge branch 'fstar-master' of github.com:mitls/hacl-star into taramana_tests | 01 May 2019, 16:57:39 UTC |
24e57ed | Tahina Ramananandro | 01 May 2019, 15:26:42 UTC | poly1305: protect ValeCrypt behind `wants_vale` | 01 May 2019, 15:26:42 UTC |
921bcb0 | Santiago Zanella-Beguelin | 01 May 2019, 14:34:35 UTC | Hints | 01 May 2019, 14:34:35 UTC |
0ff2d2b | Santiago Zanella-Beguelin | 01 May 2019, 13:39:39 UTC | Fix regression in Spec.SHA3 due to generate_blocks additional parameter | 01 May 2019, 13:39:39 UTC |
86bdca9 | Santiago Zanella-Beguelin | 01 May 2019, 12:46:28 UTC | Partially merged lib in _dev; this removes two admits in lib | 01 May 2019, 12:46:28 UTC |
5ce0077 | Chris Hawblitzel | 01 May 2019, 10:00:25 UTC | Implement taint analysis for Instr | 01 May 2019, 10:00:25 UTC |
8b45cde | Chris Hawblitzel | 01 May 2019, 03:16:54 UTC | More Instr-related definitions and proofs for taint analysis | 01 May 2019, 03:16:54 UTC |
a7a5ed3 | Tahina Ramananandro | 30 April 2019, 22:23:44 UTC | tests: move poly1305, curve25519, chacha20poly1305 to Test.NoHeap | 30 April 2019, 22:23:44 UTC |
abe4c98 | Tahina Ramananandro | 30 April 2019, 21:56:23 UTC | Merge branch 'fstar-master' of github.com:mitls/hacl-star into taramana_tests | 30 April 2019, 21:56:23 UTC |
5a1c3ba | Aymeric Fromherz | 30 April 2019, 21:50:44 UTC | Missing avx_enabled precondition | 30 April 2019, 21:50:44 UTC |
b169fb9 | Aymeric Fromherz | 30 April 2019, 20:33:45 UTC | Fix hints | 30 April 2019, 20:33:45 UTC |
d4c85da | Aymeric Fromherz | 30 April 2019, 20:17:50 UTC | Merge branch 'fstar-master' into afromher_aesctr | 30 April 2019, 20:17:50 UTC |
244e070 | Aymeric Fromherz | 30 April 2019, 20:16:48 UTC | Low* wrapper for AESCTR + hints | 30 April 2019, 20:16:48 UTC |
48f69f7 | Jonathan Protzenko | 30 April 2019, 17:35:34 UTC | Merge remote-tracking branch 'origin/nik_fstar-master-staging' into fstar-master | 30 April 2019, 17:35:34 UTC |
fa913ac | Jonathan Protzenko | 30 April 2019, 17:35:29 UTC | Fix a fragile proof; disable performance testing | 30 April 2019, 17:35:29 UTC |
8c34652 | Jonathan Protzenko | 30 April 2019, 17:35:02 UTC | hints | 30 April 2019, 17:35:02 UTC |
9b3ea91 | Chris Hawblitzel | 30 April 2019, 16:13:48 UTC | Some Instr-related definitions and proofs for taint analysis | 30 April 2019, 16:13:48 UTC |
75ee111 | Tahina Ramananandro | 30 April 2019, 03:45:20 UTC | More manual test configs (with @msprotz) | 30 April 2019, 03:45:20 UTC |
6882a15 | Tahina Ramananandro | 29 April 2019, 21:35:16 UTC | Low* tests: use EverCrypt.Chacha20Poly1305 | 29 April 2019, 21:51:17 UTC |
98e16cf | Jonathan Protzenko | 29 April 2019, 14:25:43 UTC | A spec equivalence proof for update SHA2_224 and update SHA2_256; use it in EverCrypt.Hash | 29 April 2019, 14:25:43 UTC |
a5f282f | Aymeric Fromherz | 29 April 2019, 05:22:03 UTC | Some functions for taint analysis | 29 April 2019, 05:22:03 UTC |
a5a60ed | Aymeric Fromherz | 29 April 2019, 05:15:04 UTC | Vale wrapper for new gctr_bytes + hints | 29 April 2019, 05:15:04 UTC |
ddc3e70 | Bryan Parno | 29 April 2019, 04:07:31 UTC | Update the interface for gctr_bytes, so that it takes an extra buffer of leftover bytes | 29 April 2019, 04:07:31 UTC |
76cadd8 | Christoph M. Wintersteiger | 28 April 2019, 15:25:40 UTC | Merge pull request #157 from project-everest/cwinter-ed25519 Ed25519 cleanup | 28 April 2019, 15:25:40 UTC |
4ea7ecc | Christoph M. Wintersteiger | 28 April 2019, 12:34:18 UTC | Merge branch 'fstar-master' into cwinter-ed25519 | 28 April 2019, 12:34:18 UTC |
0263c69 | Christoph M. Wintersteiger | 28 April 2019, 11:40:54 UTC | Ed25519 cleanup | 28 April 2019, 11:40:54 UTC |
eb8648b | Tahina Ramananandro | 28 April 2019, 07:41:17 UTC | More coverage (none/AVX/AVX2 for every platform), skip test_aead_st if no avx | 28 April 2019, 07:42:11 UTC |
97f0c56 | Aymeric Fromherz | 28 April 2019, 00:45:17 UTC | Low* wrappers for gctr_bytes | 28 April 2019, 00:45:17 UTC |
6e17196 | Chris Hawblitzel | 27 April 2019, 15:48:28 UTC | Merge branch 'fstar-master' into _vale_instructions | 27 April 2019, 15:48:28 UTC |
f51168d | Tahina Ramananandro | 27 April 2019, 14:43:47 UTC | Keep AVX always enabled (requested by @chris-hawblitzel) | 27 April 2019, 14:43:47 UTC |
5cfbfe5 | Christoph M. Wintersteiger | 27 April 2019, 11:57:46 UTC | Merge pull request #156 from project-everest/cwinter-ed25519 Added and rewired new Ed25519 implementation. | 27 April 2019, 11:57:46 UTC |
f0a4fb7 | Christoph M. Wintersteiger | 27 April 2019, 10:38:45 UTC | Wired Ed25519 into Hacl.Hash.SHA2 | 27 April 2019, 10:42:41 UTC |
c8ffd52 | Christoph M. Wintersteiger | 26 April 2019, 17:11:40 UTC | Wired up new Ed25519 code. | 27 April 2019, 10:42:40 UTC |
03bfab5 | Marina Polubelova | 17 April 2019, 13:06:31 UTC | wip: add ed25519 | 27 April 2019, 10:42:40 UTC |
7320142 | Chris Hawblitzel | 26 April 2019, 20:17:46 UTC | Merge branch 'fstar-master' into _vale_instructions | 26 April 2019, 20:17:46 UTC |
11f759c | Aymeric Fromherz | 26 April 2019, 19:36:18 UTC | Vale wrapper for gctr_bytes + hints | 26 April 2019, 19:36:18 UTC |
7a26c31 | Christoph M. Wintersteiger | 26 April 2019, 19:13:28 UTC | Merge pull request #155 from project-everest/cwinter-benchmark Benchmarking stuff | 26 April 2019, 19:13:28 UTC |
96aed15 | Aymeric Fromherz | 26 April 2019, 18:28:42 UTC | Remove unneeded 0 < num_bytes precondition in gctr_bytes | 26 April 2019, 18:28:42 UTC |
6d2dace | Christoph M. Wintersteiger | 26 April 2019, 15:33:50 UTC | More benchmarking | 26 April 2019, 15:35:19 UTC |
3cfa68f | Christoph M. Wintersteiger | 26 April 2019, 13:26:42 UTC | More benchmarking. | 26 April 2019, 15:35:18 UTC |
f78154d | Christoph M. Wintersteiger | 26 April 2019, 13:23:27 UTC | More benchmarking. | 26 April 2019, 15:35:17 UTC |
64add30 | Christoph M. Wintersteiger | 26 April 2019, 13:20:48 UTC | More benchmarking. | 26 April 2019, 15:35:17 UTC |
0c0c6ef | Christoph M. Wintersteiger | 26 April 2019, 12:53:09 UTC | Benchmark plots fix | 26 April 2019, 15:35:16 UTC |
0fb597f | Christoph M. Wintersteiger | 26 April 2019, 12:33:03 UTC | Benchmark fixes. Added BCrypt AES-GCM. | 26 April 2019, 15:35:16 UTC |
98502a3 | Christoph M. Wintersteiger | 25 April 2019, 18:34:06 UTC | More benchmarking | 26 April 2019, 15:35:15 UTC |
51ff51e | Christoph M. Wintersteiger | 25 April 2019, 17:32:27 UTC | More benchmarking | 26 April 2019, 15:35:15 UTC |
45c74a9 | Christoph M. Wintersteiger | 25 April 2019, 17:13:15 UTC | More benchmarking | 26 April 2019, 15:35:15 UTC |
cb99920 | Christoph M. Wintersteiger | 24 April 2019, 12:12:52 UTC | More benchmarking | 26 April 2019, 15:35:14 UTC |
a76c316 | Christoph M. Wintersteiger | 23 April 2019, 18:46:26 UTC | More benchmarking | 26 April 2019, 15:35:14 UTC |
8fc282c | Christoph M. Wintersteiger | 23 April 2019, 17:14:35 UTC | More benchmarking | 26 April 2019, 15:35:13 UTC |
81bc80b | Christoph M. Wintersteiger | 23 April 2019, 11:40:40 UTC | More benchmarking | 26 April 2019, 15:35:13 UTC |
8ff4716 | Christoph M. Wintersteiger | 23 April 2019, 09:09:46 UTC | Rebased onto latest fstar-master | 26 April 2019, 15:35:12 UTC |
4f787f8 | Christoph M. Wintersteiger | 20 April 2019, 16:27:00 UTC | More benchmarking | 26 April 2019, 15:35:12 UTC |
c955f38 | Christoph M. Wintersteiger | 20 April 2019, 16:13:47 UTC | More benchmarking | 26 April 2019, 15:35:11 UTC |
809b0ff | Christoph M. Wintersteiger | 20 April 2019, 13:46:20 UTC | More benchmarking | 26 April 2019, 15:35:11 UTC |
df48c7a | Christoph M. Wintersteiger | 18 April 2019, 18:40:14 UTC | More benchmarking | 26 April 2019, 15:35:10 UTC |
713c3ac | Christoph M. Wintersteiger | 18 April 2019, 12:26:56 UTC | More benchmarking | 26 April 2019, 15:35:10 UTC |
f233949 | Christoph M. Wintersteiger | 17 April 2019, 17:41:09 UTC | More benchmarking | 26 April 2019, 15:35:09 UTC |
481afdd | Christoph M. Wintersteiger | 16 April 2019, 17:41:47 UTC | More benchmarking | 26 April 2019, 15:35:08 UTC |
013129d | Christoph M. Wintersteiger | 15 April 2019, 18:16:30 UTC | Beginnings of a benchmark infrastructure. | 26 April 2019, 15:35:08 UTC |
bce7c1b | Marina Polubelova | 26 April 2019, 11:21:57 UTC | try again | 26 April 2019, 11:21:57 UTC |
4f021b4 | Marina Polubelova | 26 April 2019, 09:27:01 UTC | fresh hints | 26 April 2019, 09:27:01 UTC |
d524823 | Chris Hawblitzel | 26 April 2019, 00:56:44 UTC | Add avx_enabled requirement to V... instructions | 26 April 2019, 00:56:44 UTC |
f43a334 | Marina Polubelova | 25 April 2019, 21:54:52 UTC | port changes from _dev for poly1305 | 25 April 2019, 21:54:52 UTC |
e286737 | Aymeric Fromherz | 25 April 2019, 19:29:41 UTC | Vale stdcall for the current gctr_bytes | 25 April 2019, 19:29:41 UTC |
dff539f | Nikhil Swamy | 25 April 2019, 18:01:42 UTC | Merge remote-tracking branch 'origin/fstar-master' into nik_fstar-master-staging | 25 April 2019, 18:01:42 UTC |
189f1e8 | Chris Hawblitzel | 25 April 2019, 16:47:28 UTC | Merge branch 'fstar-master' into _vale_poly1305_merge_fstar_master3 | 25 April 2019, 16:47:28 UTC |
e4a5e87 | Nikhil Swamy | 25 April 2019, 16:37:26 UTC | Merge remote-tracking branch 'origin/fstar-master' into nik_fstar-master-staging | 25 April 2019, 16:37:26 UTC |
da79732 | Chris Hawblitzel | 25 April 2019, 16:35:03 UTC | Increase z3rlimit in Test.fst | 25 April 2019, 16:35:03 UTC |
2502498 | Jonathan Protzenko | 25 April 2019, 14:57:15 UTC | kick CI | 25 April 2019, 14:57:15 UTC |
2c5b0e2 | Jonathan Protzenko | 25 April 2019, 14:56:41 UTC | kick CI | 25 April 2019, 14:56:41 UTC |
d5306eb | Jonathan Protzenko | 25 April 2019, 14:25:27 UTC | Merge branch 'fstar-master' of pro.github.com:mitls/hacl-star into fstar-master | 25 April 2019, 14:25:27 UTC |
9923dbd | Chris Hawblitzel | 25 April 2019, 14:14:44 UTC | Merge branch 'fstar-master' into _vale_poly1305_merge | 25 April 2019, 14:14:44 UTC |
242beba | Jonathan Protzenko | 25 April 2019, 13:45:11 UTC | Kick CI | 25 April 2019, 13:45:11 UTC |
e6045c2 | Jonathan Protzenko | 25 April 2019, 13:43:56 UTC | All fresh hints | 25 April 2019, 13:43:56 UTC |
a32cba2 | Jonathan Protzenko | 25 April 2019, 13:17:02 UTC | Hints, remove a leftover --log_queries, some more cleanups | 25 April 2019, 13:17:02 UTC |
0fd8892 | Chris Hawblitzel | 25 April 2019, 12:51:41 UTC | Remove copy from call to Vale poly1305 | 25 April 2019, 12:51:41 UTC |
fd2021c | Denis Merigoux | 25 April 2019, 12:46:50 UTC | Added increased rlimit for HMAC proof | 25 April 2019, 12:46:50 UTC |
f5ae81e | Jonathan Protzenko | 25 April 2019, 12:36:55 UTC | Fix a test | 25 April 2019, 12:36:55 UTC |