| 954dc53 | Chris Hawblitzel | 15 May 2019, 22:43:38 UTC | Remove tainted_ocmp | 15 May 2019, 22:43:38 UTC |
| dbeb034 | Chris Hawblitzel | 15 May 2019, 18:52:31 UTC | Move taint to operands, and remove tainted_ins | 15 May 2019, 18:52:31 UTC |
| ebaa66c | Chris Hawblitzel | 14 May 2019, 22:58:15 UTC | Trace observations for both out and inout operands | 14 May 2019, 22:58:15 UTC |
| 5f5fc9d | Chris Hawblitzel | 14 May 2019, 17:16:48 UTC | Fix some Bytes_Semantics proofs | 14 May 2019, 17:16:48 UTC |
| 6c2afd3 | Chris Hawblitzel | 14 May 2019, 15:39:29 UTC | Merge branch 'fstar-master' into _vale_generic | 14 May 2019, 15:39:29 UTC |
| e89539f | Chris Hawblitzel | 14 May 2019, 15:37:27 UTC | Merge state and taintState into single type, machine_state | 14 May 2019, 15:37:27 UTC |
| 81620b1 | Aymeric Fromherz | 14 May 2019, 00:59:33 UTC | Merge branch 'fstar-master' into afromher_big_aesgcm | 14 May 2019, 00:59:33 UTC |
| 0423092 | Aymeric Fromherz | 14 May 2019, 00:58:50 UTC | Remove aesgcm length restriction from evercrypt | 14 May 2019, 00:58:50 UTC |
| d73eacf | Aymeric Fromherz | 14 May 2019, 00:43:52 UTC | Low* wrappers for relaxed aesgcm + hints | 14 May 2019, 00:43:52 UTC |
| a7ade35 | Aymeric Fromherz | 14 May 2019, 00:24:23 UTC | Remove restriction on length for optimised gcmencrypt | 14 May 2019, 00:24:23 UTC |
| 373cc75 | Aymeric Fromherz | 13 May 2019, 23:44:46 UTC | Remove restriction on length for optimised gcmdecrypt | 13 May 2019, 23:44:46 UTC |
| 324069f | Aymeric Fromherz | 13 May 2019, 20:22:19 UTC | Fix decrypt + hints | 13 May 2019, 20:22:19 UTC |
| 8525f15 | Aymeric Fromherz | 13 May 2019, 18:03:38 UTC | Fix optimised aes-gcm | 13 May 2019, 18:03:38 UTC |
| 8265630 | Aymeric Fromherz | 13 May 2019, 17:47:26 UTC | WIP: Relax length requirement for gcmencrypt/decrypt | 13 May 2019, 17:47:26 UTC |
| 1be3f76 | Chris Hawblitzel | 12 May 2019, 16:53:34 UTC | Change x64 reg type from datatype to integer type | 12 May 2019, 16:53:34 UTC |
| 9101826 | Chris Hawblitzel | 10 May 2019, 20:34:05 UTC | Merge branch 'fstar-master' into _vale_leakage | 10 May 2019, 20:34:05 UTC |
| cda4145 | Chris Hawblitzel | 10 May 2019, 19:34:29 UTC | Merge branch 'fstar-master' of https://github.com/project-everest/hacl-star into fstar-master | 10 May 2019, 19:34:29 UTC |
| c9f3915 | Chris Hawblitzel | 10 May 2019, 19:32:15 UTC | In Makefile, make FSTAR_NO_FLAGS and PYTHON3 configurable | 10 May 2019, 19:32:15 UTC |
| f247528 | Chris Hawblitzel | 10 May 2019, 18:02:31 UTC | Merge branch 'fstar-master' into _vale_leakage | 10 May 2019, 18:02:31 UTC |
| cb75580 | Jonathan Protzenko | 10 May 2019, 16:50:54 UTC | More customizations for CCF | 10 May 2019, 16:50:54 UTC |
| b04c00a | Santiago Zanella-Beguelin | 10 May 2019, 14:46:19 UTC | Hints | 10 May 2019, 14:46:19 UTC |
| 039f5de | Aymeric Fromherz | 10 May 2019, 14:27:09 UTC | Merge branch 'fstar-master' into afromher_big_aesgcm | 10 May 2019, 14:27:26 UTC |
| f4a74d4 | Santiago Zanella-Beguelin | 10 May 2019, 12:35:24 UTC | Add function to free state in EverCrypt.Hash.Incremental | 10 May 2019, 12:35:24 UTC |
| ca3e12f | Jonathan Protzenko | 09 May 2019, 19:01:18 UTC | Fix two assumes added at the interface between Ed25519 / SHA512 when the connection was made | 09 May 2019, 19:01:18 UTC |
| a6b22a4 | Jonathan Protzenko | 09 May 2019, 19:01:02 UTC | Remove antediluvian code that became unreachable when we landed the WIP ed25519 | 09 May 2019, 19:01:02 UTC |
| 74a1f51 | Jonathan Protzenko | 08 May 2019, 14:51:31 UTC | hints | 08 May 2019, 14:51:31 UTC |
| f0001a0 | Jonathan Protzenko | 08 May 2019, 14:49:22 UTC | temporary fix: z3refresh + a couple small changes to get this proof to go through | 08 May 2019, 14:49:22 UTC |
| 55dd80a | Jonathan Protzenko | 08 May 2019, 14:31:57 UTC | Some work on proof quality. rlimit 200 --> rlimit 50 + replayable hints | 08 May 2019, 14:31:57 UTC |
| fdd1ea9 | Aymeric Fromherz | 08 May 2019, 03:54:13 UTC | Hints | 08 May 2019, 03:54:13 UTC |
| e3eab20 | Aymeric Fromherz | 08 May 2019, 03:37:12 UTC | Merge branch '_vale_leakage' into _vale_leakage_stack | 08 May 2019, 03:37:12 UTC |
| 599a854 | Aymeric Fromherz | 08 May 2019, 02:59:40 UTC | StackTaint: Fix GCM{de,en}cryptOpt | 08 May 2019, 02:59:40 UTC |
| 69d7fa2 | Aymeric Fromherz | 08 May 2019, 01:24:33 UTC | Fix stackTaint interop | 08 May 2019, 01:24:33 UTC |
| ad6adb3 | Aymeric Fromherz | 08 May 2019, 01:18:06 UTC | More refactoring for stack taint | 08 May 2019, 01:18:06 UTC |
| d4f1bbf | Chris Hawblitzel | 07 May 2019, 21:33:57 UTC | Update Vale version to prepare for new F* version | 07 May 2019, 21:33:57 UTC |
| df98277 | Aymeric Fromherz | 07 May 2019, 19:58:28 UTC | Taint analysis for stack instructions | 07 May 2019, 19:58:28 UTC |
| 31d74b5 | Jonathan Protzenko | 07 May 2019, 15:24:59 UTC | Merge pull request #159 from project-everest/taramana_tests Taramana tests | 07 May 2019, 15:24:59 UTC |
| 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 |
| f482db8 | Aymeric Fromherz | 07 May 2019, 03:03:40 UTC | Start refactoring towards taint tracking for stack | 07 May 2019, 03:03:40 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 |
