f310596 | Jonathan Protzenko | 07 May 2019, 13:44:33 UTC | Merge branch 'fstar-master' into taramana_tests | 07 May 2019, 13:44:33 UTC |
4a583e2 | Christoph M. Wintersteiger | 07 May 2019, 13:02:01 UTC | Merge pull request #158 from project-everest/cwinter-benchmark More benchmarking improvements. | 07 May 2019, 13:02:01 UTC |
3c9eb3e | Christoph M. Wintersteiger | 01 May 2019, 15:57:54 UTC | Benchmarks: clean up compiler options | 07 May 2019, 12:13:09 UTC |
06117bc | Christoph M. Wintersteiger | 01 May 2019, 15:45:04 UTC | Benchmarks: use -flto where possible | 07 May 2019, 12:13:08 UTC |
975392e | Christoph M. Wintersteiger | 01 May 2019, 15:44:41 UTC | Fix benchmark timing problem | 07 May 2019, 12:13:08 UTC |
944eae6 | Christoph M. Wintersteiger | 01 May 2019, 14:26:32 UTC | Benchmark plot tweaks. | 07 May 2019, 12:13:07 UTC |
613c2dd | Christoph M. Wintersteiger | 01 May 2019, 14:15:53 UTC | Benchmark build fixes. Added BCrypt x25519. | 07 May 2019, 12:13:07 UTC |
1f1ec84 | Christoph M. Wintersteiger | 01 May 2019, 13:09:27 UTC | Added kbench README.md | 07 May 2019, 12:13:06 UTC |
02f1b7a | Christoph M. Wintersteiger | 01 May 2019, 12:44:40 UTC | Added kbench9000-based libcurve25519 | 07 May 2019, 12:13:06 UTC |
3d9bc40 | Christoph M. Wintersteiger | 30 April 2019, 18:21:15 UTC | Benchmark plot tweaks. | 07 May 2019, 12:13:05 UTC |
4ed7cec | Christoph M. Wintersteiger | 30 April 2019, 17:18:38 UTC | Disable cpus/turbos during benchmarks | 07 May 2019, 12:13:05 UTC |
2c92096 | Christoph M. Wintersteiger | 30 April 2019, 17:16:54 UTC | Disable cpus/turbos during benchmarks | 07 May 2019, 12:13:04 UTC |
6749148 | Christoph M. Wintersteiger | 30 April 2019, 16:47:45 UTC | Benchmark build fixes for Cygwin | 07 May 2019, 12:13:04 UTC |
641e3dc | Christoph M. Wintersteiger | 30 April 2019, 12:31:46 UTC | Typos | 07 May 2019, 12:13:03 UTC |
d0e0ce1 | Christoph M. Wintersteiger | 30 April 2019, 11:35:59 UTC | Benchmark build system fixes | 07 May 2019, 12:13:03 UTC |
2a093aa | Christoph M. Wintersteiger | 30 April 2019, 11:33:55 UTC | Benchmark fix | 07 May 2019, 12:13:02 UTC |
80f2da9 | Christoph M. Wintersteiger | 30 April 2019, 09:33:23 UTC | Added warmup samples to benchmarks. | 07 May 2019, 12:13:02 UTC |
8d846cd | Christoph M. Wintersteiger | 30 April 2019, 09:28:13 UTC | Added standard deviation to benchmark data. | 07 May 2019, 12:13:01 UTC |
0d77cdc | Christoph M. Wintersteiger | 29 April 2019, 16:40:56 UTC | Wired tests/benchmark into the global Makefile and CI | 07 May 2019, 12:13:00 UTC |
0ec0cb2 | Christoph M. Wintersteiger | 29 April 2019, 13:48:39 UTC | Benchmarking: Build fixes for Cygwin, added BCrypt hashes. | 07 May 2019, 12:13:00 UTC |
6833b17 | Christoph M. Wintersteiger | 28 April 2019, 15:23:16 UTC | Improved Merkle tree benchmark. | 07 May 2019, 12:12:59 UTC |
d001f0f | Christoph M. Wintersteiger | 28 April 2019, 15:01:06 UTC | Fix clang build of libfiat-curve25519 | 07 May 2019, 12:12:59 UTC |
891a545 | Christoph M. Wintersteiger | 28 April 2019, 14:45:45 UTC | Fixed benchmark compiler flags. | 07 May 2019, 12:12:58 UTC |
d371c69 | Christoph M. Wintersteiger | 28 April 2019, 14:23:23 UTC | Fixed RFC7448 compiler flags | 07 May 2019, 12:12:58 UTC |
6f1ecf8 | Christoph M. Wintersteiger | 28 April 2019, 12:29:46 UTC | Added Fiat and OpenSSL versions of Curve25519 to benchmarks. | 07 May 2019, 12:12:57 UTC |
a97125e | Christoph M. Wintersteiger | 27 April 2019, 18:09:44 UTC | More benchmarking. | 07 May 2019, 12:12:57 UTC |
a166e43 | Christoph M. Wintersteiger | 27 April 2019, 12:58:06 UTC | More benchmarks. | 07 May 2019, 12:12:56 UTC |
b57eed5 | Christoph M. Wintersteiger | 27 April 2019, 10:55:33 UTC | Wired new Ed25519 into benchmarks | 07 May 2019, 12:12:56 UTC |
b0bf919 | Christoph M. Wintersteiger | 27 April 2019, 09:37:56 UTC | More benchmarking. | 07 May 2019, 12:12:55 UTC |
7d08141 | Chris Hawblitzel | 06 May 2019, 22:37:29 UTC | Merge branch 'fstar-master' into _vale | 06 May 2019, 22:37:29 UTC |
2d24e24 | Chris Hawblitzel | 06 May 2019, 22:35:06 UTC | Use norm instead of normalize for buffer_disjoints128 | 06 May 2019, 22:35:06 UTC |
aa54e3c | Tahina Ramananandro | 06 May 2019, 20:12:43 UTC | Merge branch 'fstar-master' of github.com:mitls/hacl-star into taramana_tests | 06 May 2019, 20:12:43 UTC |
e8fe3e6 | Jonathan Protzenko | 06 May 2019, 19:57:50 UTC | Merge pull request #161 from project-everest/readme-patch-1 Add a pointer to Project Everest | 06 May 2019, 19:57:50 UTC |
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 |
202bc9c | Tahina Ramananandro | 01 May 2019, 22:02:34 UTC | Annotate failing tests | 01 May 2019, 22:02:34 UTC |
f61562b | Tahina Ramananandro | 01 May 2019, 21:52:46 UTC | Refine test bound checks, make them fail | 01 May 2019, 21:52:46 UTC |
8a24eca | Tahina Ramananandro | 01 May 2019, 19:47:33 UTC | add poly1305, curve25519, chacha20poly1305 to the Wasm tests | 01 May 2019, 19:47:33 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 |