| e1a21e9 | karthikbhargavan | 03 July 2019, 15:36:37 UTC | SHA2 spec change for OCaml performance | 03 July 2019, 15:36:37 UTC |
| a624f56 | Marina Polubelova | 01 July 2019, 18:54:34 UTC | use calc to prove some lemmas in poly1305 | 01 July 2019, 18:54:34 UTC |
| 5d2499b | Marina Polubelova | 29 June 2019, 19:45:00 UTC | prove some lemmas without friend module | 29 June 2019, 19:45:00 UTC |
| 87d0703 | Marina Polubelova | 29 June 2019, 13:17:03 UTC | move lemmas to Lib.IntVector | 29 June 2019, 13:17:03 UTC |
| c32dc75 | Victor Dumitrescu | 28 June 2019, 14:05:26 UTC | Plug snapshot generation in main Makefile | 28 June 2019, 14:05:26 UTC |
| 4f9f73c | Victor Dumitrescu | 28 June 2019, 09:06:59 UTC | Merge branch '_dev' into vdum_dev_snapshot | 28 June 2019, 09:06:59 UTC |
| 508c56f | Benjamin Beurdouche | 28 June 2019, 07:38:16 UTC | Refresh hints for specs/ | 28 June 2019, 07:38:16 UTC |
| b1545f4 | Aseem Rastogi | 26 June 2019, 10:49:37 UTC | Remove flackiness in Spec.Hash.Lemmas0 backporting Aseem changes | 28 June 2019, 07:36:36 UTC |
| 209cc84 | Victor Dumitrescu | 28 June 2019, 07:33:20 UTC | Dockerfile for building snapshot | 28 June 2019, 07:33:20 UTC |
| 3e6abec | Marina Polubelova | 27 June 2019, 21:06:09 UTC | replace Lib.Vec128 with Lib.IntVector in aes and aes-gcm | 27 June 2019, 21:06:09 UTC |
| 2a76a4a | Victor Dumitrescu | 27 June 2019, 20:27:11 UTC | rlimits for Docker build | 27 June 2019, 20:27:11 UTC |
| 1abc504 | Marina Polubelova | 27 June 2019, 16:25:03 UTC | fix Spec.GF128 | 27 June 2019, 16:25:03 UTC |
| 7bcc66a | Marina Polubelova | 27 June 2019, 16:00:02 UTC | replace Lib.Vec128 with Lib.IntVector in gf128 | 27 June 2019, 16:00:02 UTC |
| 4529056 | Victor Dumitrescu | 27 June 2019, 12:50:20 UTC | Merge branch '_dev' of github.com:project-everest/hacl-star into vdum_dev_snapshot | 27 June 2019, 12:50:20 UTC |
| c0abc0c | Victor Dumitrescu | 27 June 2019, 12:40:38 UTC | rlimits etc | 27 June 2019, 12:40:38 UTC |
| afd87cb | Aseem Rastogi | 24 June 2019, 09:46:33 UTC | explaining yet another proof to Z3 | 27 June 2019, 11:40:11 UTC |
| 20226a2 | Aseem Rastogi | 20 June 2019, 06:38:01 UTC | helping z3 find a math proof | 27 June 2019, 11:37:19 UTC |
| fc7a488 | Benjamin Beurdouche | 27 June 2019, 06:57:51 UTC | Relax a bit preconditions for HKDF | 27 June 2019, 06:58:13 UTC |
| 1c8efc0 | Victor Dumitrescu | 26 June 2019, 15:38:17 UTC | Merge branch '_dev' of github.com:project-everest/hacl-star into vdum_dev_snapshot | 26 June 2019, 15:38:17 UTC |
| c36f274 | Benjamin Beurdouche | 26 June 2019, 11:44:02 UTC | Shared library for Lib and Specs (libhacl.cmxa) | 26 June 2019, 11:44:02 UTC |
| 6c7f87c | Benjamin Beurdouche | 26 June 2019, 10:47:46 UTC | Merge branch '_dev' of github.com:project-everest/hacl-star into _dev | 26 June 2019, 10:47:46 UTC |
| 3132d93 | Benjamin Beurdouche | 26 June 2019, 10:47:37 UTC | Minor improvements to Lib.PrintSequence | 26 June 2019, 10:47:37 UTC |
| f11379e | Marina Polubelova | 25 June 2019, 19:30:47 UTC | add Makefile target for slow version of curve25519.field64 | 25 June 2019, 19:30:47 UTC |
| 5b27114 | Benjamin Beurdouche | 25 June 2019, 17:57:12 UTC | Emergency restore Ed25519 so that it runs again | 25 June 2019, 17:57:12 UTC |
| 6b77f60 | Benjamin Beurdouche | 25 June 2019, 12:15:23 UTC | Plug HPKE on something that actually works | 25 June 2019, 12:15:23 UTC |
| 9460220 | Benjamin Beurdouche | 25 June 2019, 11:31:36 UTC | Merge branch '_dev' of github.com:project-everest/hacl-star into _dev | 25 June 2019, 11:31:36 UTC |
| fd7b77a | Benjamin Beurdouche | 25 June 2019, 11:31:05 UTC | Restore something that actually works | 25 June 2019, 11:31:05 UTC |
| 3ff1668 | Victor Dumitrescu | 25 June 2019, 11:18:28 UTC | rlimits For testing build in Docker container on older version | 25 June 2019, 11:18:28 UTC |
| bc36114 | Marina Polubelova | 24 June 2019, 21:18:12 UTC | fresh hints | 24 June 2019, 21:18:12 UTC |
| 3400628 | Marina Polubelova | 24 June 2019, 21:16:39 UTC | increase z3rlimit | 24 June 2019, 21:16:39 UTC |
| 2158418 | Santiago Zanella-Beguelin | 18 June 2019, 09:38:00 UTC | Stabilize proofs in Lib.Sequence # Conflicts: # lib/Lib.Sequence.fst | 24 June 2019, 21:14:37 UTC |
| 1f0ef73 | Benjamin Beurdouche | 20 June 2019, 16:17:49 UTC | Inclusive maximum values | 20 June 2019, 16:17:49 UTC |
| d756a9c | Benjamin Beurdouche | 20 June 2019, 08:54:14 UTC | Restore something that works to unblock bigger projects. | 20 June 2019, 08:54:14 UTC |
| 62bf8ee | Benjamin Beurdouche | 20 June 2019, 08:17:59 UTC | Restore something that works to unblock bigger projects. People got lucky I just didn't revert everything. | 20 June 2019, 08:17:59 UTC |
| cf2ea97 | Benjamin Beurdouche | 14 June 2019, 14:52:54 UTC | Makefiles for _dev | 14 June 2019, 14:52:54 UTC |
| 0de0462 | Benjamin Beurdouche | 14 June 2019, 14:24:18 UTC | Restore testing of Spec.RSAPSS.fst | 14 June 2019, 14:24:18 UTC |
| cef6f11 | Benjamin Beurdouche | 14 June 2019, 14:19:42 UTC | Makefile: restore verification of RSA PSS | 14 June 2019, 14:19:42 UTC |
| 7a55414 | Benjamin Beurdouche | 14 June 2019, 14:19:06 UTC | Restore verification of RSA PSS | 14 June 2019, 14:19:06 UTC |
| 4ce51df | Benjamin Beurdouche | 14 June 2019, 14:18:35 UTC | Soft alignment to HACL conventions in Spec.Hash.Definitions.fst | 14 June 2019, 14:18:35 UTC |
| 6fab90b | Benjamin Beurdouche | 14 June 2019, 14:08:07 UTC | Refresh README in specs/ | 14 June 2019, 14:08:07 UTC |
| 4a96fea | Benjamin Beurdouche | 14 June 2019, 13:47:55 UTC | Massive rewrite of the specs/ makefiles | 14 June 2019, 13:47:55 UTC |
| e3fc98e | Benjamin Beurdouche | 14 June 2019, 13:47:20 UTC | Restore tests for multiple specifications | 14 June 2019, 13:47:20 UTC |
| ece58f9 | Victor Dumitrescu | 14 June 2019, 13:35:05 UTC | Moved snapshot generation to code/ and started work on testing snapshot through Tezos API | 14 June 2019, 13:35:05 UTC |
| f507cf5 | Benjamin Beurdouche | 14 June 2019, 12:33:05 UTC | Hints for specs/ with z3 4.8.5 | 14 June 2019, 12:33:05 UTC |
| 94a25fa | Benjamin Beurdouche | 14 June 2019, 12:26:32 UTC | Adding Spec.HPKE to files that regressed | 14 June 2019, 12:26:32 UTC |
| 8f5fa64 | Benjamin Beurdouche | 14 June 2019, 12:26:09 UTC | Regression: higher rlimit for z3 4.8.5 | 14 June 2019, 12:26:09 UTC |
| 8f0af6c | Benjamin Beurdouche | 14 June 2019, 12:19:27 UTC | Increase rlimit for z3 4.8.5 | 14 June 2019, 12:19:27 UTC |
| d2704b3 | Benjamin Beurdouche | 14 June 2019, 12:16:15 UTC | Regression: adding an admit in Spec.P256.Montgomery | 14 June 2019, 12:16:15 UTC |
| a108801 | Benjamin Beurdouche | 14 June 2019, 12:15:54 UTC | Minor makefile improvement | 14 June 2019, 12:15:54 UTC |
| cf5e30a | Benjamin Beurdouche | 14 June 2019, 12:00:01 UTC | Ignore some files for verification in specs/ | 14 June 2019, 12:00:01 UTC |
| 0e166f9 | Benjamin Beurdouche | 14 June 2019, 11:59:31 UTC | Higher rlimit for z3 4.8.5 | 14 June 2019, 11:59:31 UTC |
| b3bcd33 | Benjamin Beurdouche | 14 June 2019, 11:58:35 UTC | Higher rlimit for z3 4.8.5 | 14 June 2019, 11:58:35 UTC |
| 981766d | Benjamin Beurdouche | 14 June 2019, 11:27:54 UTC | Fix verification of Spec.AES128_GCM.fst | 14 June 2019, 11:27:54 UTC |
| 021f6fb | Benjamin Beurdouche | 14 June 2019, 11:06:44 UTC | Relocate file | 14 June 2019, 11:06:49 UTC |
| e108b11 | Benjamin Beurdouche | 14 June 2019, 11:05:13 UTC | More conventions | 14 June 2019, 11:05:13 UTC |
| 30cfff3 | Benjamin Beurdouche | 14 June 2019, 10:57:54 UTC | Some notes on coding conventions for HACL | 14 June 2019, 10:57:54 UTC |
| 29a131a | Benjamin Beurdouche | 14 June 2019, 10:15:38 UTC | Makefile for verification and Makefile for tests | 14 June 2019, 10:15:38 UTC |
| b07536e | Benjamin Beurdouche | 14 June 2019, 10:12:01 UTC | Restore lax-typechecking of Spec.HPKE.CFRG | 14 June 2019, 10:12:15 UTC |
| 4d15a2f | Benjamin Beurdouche | 14 June 2019, 10:11:44 UTC | Soft alignment with the HACL conventions | 14 June 2019, 10:11:44 UTC |
| 2e1f72e | Benjamin Beurdouche | 14 June 2019, 10:09:46 UTC | Restore lax-typechecking of Spec.HPKE | 14 June 2019, 10:09:46 UTC |
| b09a4db | Benjamin Beurdouche | 14 June 2019, 10:08:16 UTC | Minor cleanup for HKDF | 14 June 2019, 10:08:16 UTC |
| 1fc012c | Benjamin Beurdouche | 14 June 2019, 10:07:47 UTC | Rename Spec.DH to Spec.Agile.DH | 14 June 2019, 10:07:47 UTC |
| e905732 | Benjamin Beurdouche | 14 June 2019, 10:07:17 UTC | Rename Spec.DH to Spec.Agile.DH | 14 June 2019, 10:07:17 UTC |
| db30554 | Benjamin Beurdouche | 14 June 2019, 10:06:50 UTC | Renaming and temporary fix for Spec.AEAD | 14 June 2019, 10:06:50 UTC |
| 9706be5 | Benjamin Beurdouche | 14 June 2019, 10:05:22 UTC | Soft aligning naming convention in Spec.Hash.Definitions.fst | 14 June 2019, 10:05:22 UTC |
| 7abf887 | Victor Dumitrescu | 14 June 2019, 09:54:29 UTC | Collect and test a snapshot | 14 June 2019, 09:54:29 UTC |
| a98d823 | Benjamin Beurdouche | 14 June 2019, 09:17:10 UTC | Refresh hints for lib/ | 14 June 2019, 09:17:10 UTC |
| 599f839 | Benjamin Beurdouche | 14 June 2019, 09:07:06 UTC | Lib.Result | 14 June 2019, 09:07:06 UTC |
| c271a13 | Marina Polubelova | 13 June 2019, 23:39:32 UTC | fix post-conditions for chacha20_encrypt | 13 June 2019, 23:39:32 UTC |
| f16a919 | Marina Polubelova | 13 June 2019, 21:15:28 UTC | remove three admits in poly1305 | 13 June 2019, 21:15:28 UTC |
| 3636b89 | karthikbhargavan | 13 June 2019, 10:16:22 UTC | sha2-fixed-seq spec | 13 June 2019, 10:16:22 UTC |
| e14e55b | karthikbhargavan | 13 June 2019, 05:02:30 UTC | Merge branch '_dev' of github.com:project-everest/hacl-star into _dev | 13 June 2019, 05:02:30 UTC |
| e6deab6 | karthikbhargavan | 12 June 2019, 16:49:43 UTC | sha2-fixed-x2 works | 12 June 2019, 16:49:43 UTC |
| b5eab6b | Marina Polubelova | 12 June 2019, 15:16:31 UTC | use chacha20_encrypt_bytes to derive a key | 12 June 2019, 15:16:31 UTC |
| 197d5aa | karthikbhargavan | 12 June 2019, 10:01:44 UTC | Merge branch '_dev' of github.com:project-everest/hacl-star into _dev | 12 June 2019, 10:01:44 UTC |
| d1f34f8 | Marina Polubelova | 12 June 2019, 09:56:54 UTC | performance test for chacha20poly1305 | 12 June 2019, 09:56:54 UTC |
| 4cc0563 | karthikbhargavan | 11 June 2019, 17:53:58 UTC | Merge branch '_dev' of github.com:project-everest/hacl-star into _dev | 11 June 2019, 17:53:58 UTC |
| 56cca20 | karthikbhargavan | 11 June 2019, 17:53:52 UTC | mine | 11 June 2019, 17:53:52 UTC |
| b61e541 | Marina Polubelova | 11 June 2019, 16:01:02 UTC | fresh hints | 11 June 2019, 16:01:02 UTC |
| e1bea35 | Marina Polubelova | 11 June 2019, 16:00:21 UTC | wip: use vectorized implementation of chacha20_encrypt in chacha20poly1305 | 11 June 2019, 16:00:21 UTC |
| cfc5355 | Marina Polubelova | 11 June 2019, 15:58:09 UTC | prevent inlining of some functions in poly1305 | 11 June 2019, 15:58:09 UTC |
| 7760a35 | Marina Polubelova | 11 June 2019, 13:00:43 UTC | make chacha20poly1305 spec more high-level | 11 June 2019, 13:00:43 UTC |
| 6e86545 | karthikbhargavan | 11 June 2019, 08:13:01 UTC | aes specs | 11 June 2019, 08:13:01 UTC |
| 88dc964 | karthikbhargavan | 11 June 2019, 08:12:54 UTC | aes specs | 11 June 2019, 08:12:54 UTC |
| db75b3c | Marina Polubelova | 10 June 2019, 17:03:30 UTC | fresh hints | 10 June 2019, 17:03:30 UTC |
| 7e338b1 | Marina Polubelova | 10 June 2019, 16:52:11 UTC | wip: use vectorized implementation of poly1305 in chacha20poly1305 and simplify poly1305 spec equivalence proof | 10 June 2019, 16:52:11 UTC |
| 8d35992 | Marina Polubelova | 10 June 2019, 16:41:48 UTC | fix chacha20.lemmas | 10 June 2019, 16:41:48 UTC |
| 7703f75 | Benjamin Beurdouche | 07 June 2019, 09:58:18 UTC | Progress on Blake2b | 07 June 2019, 09:58:18 UTC |
| e9682b2 | Benjamin Beurdouche | 07 June 2019, 09:26:25 UTC | Progress on Blake2b | 07 June 2019, 09:26:25 UTC |
| 85448ec | Benjamin Beurdouche | 07 June 2019, 09:18:51 UTC | Progress on Blake2b | 07 June 2019, 09:18:51 UTC |
| e301730 | Benjamin Beurdouche | 07 June 2019, 08:38:08 UTC | Merge branch '_dev' of github.com:project-everest/hacl-star into _dev | 07 June 2019, 08:38:08 UTC |
| a389277 | Benjamin Beurdouche | 07 June 2019, 08:37:21 UTC | Makefile for Blake2s | 07 June 2019, 08:37:21 UTC |
| 1af38c5 | karthikbhargavan | 07 June 2019, 08:30:14 UTC | modified specs for chacha20 and ctr | 07 June 2019, 08:30:14 UTC |
| 29c77ee | karthikbhargavan | 06 June 2019, 10:33:13 UTC | changes | 06 June 2019, 10:33:13 UTC |
| 9365805 | Marina Polubelova | 05 June 2019, 20:42:10 UTC | fresh hints | 05 June 2019, 20:42:10 UTC |
| 7ec8d4b | Marina Polubelova | 05 June 2019, 20:41:17 UTC | fix index_map_blocks | 05 June 2019, 20:41:17 UTC |
| 2bae816 | Marina Polubelova | 04 June 2019, 13:22:13 UTC | fix Makefiles | 04 June 2019, 13:22:13 UTC |
| df2716f | Santiago Zanella-Beguelin | 04 June 2019, 10:37:45 UTC | Update following changes to Spec.AES | 04 June 2019, 10:37:45 UTC |
| 702d0c6 | Marina Polubelova | 03 June 2019, 13:58:21 UTC | remove unnecessary lemmas | 03 June 2019, 13:58:21 UTC |
| c2e287f | karthikbhargavan | 03 June 2019, 13:39:40 UTC | generic bitslice spec | 03 June 2019, 13:39:40 UTC |
