| c2b32fc | Christoph M. Wintersteiger | 09 September 2020, 11:06:52 UTC | Merge branch 'master' into cwinter_missing_module | 09 September 2020, 11:06:52 UTC |
| fa7d506 | Dzomo, the Everest Yak | 09 September 2020, 08:33:43 UTC | [CI] regenerate hints and dist | 09 September 2020, 08:33:43 UTC |
| 5b1f1ce | Dzomo, the Everest Yak | 08 September 2020, 08:33:43 UTC | Merge commit '804d3e8f4c91efd1d86162343c1c6b5d44d72dd9' | 08 September 2020, 08:33:43 UTC |
| 804d3e8 | Dzomo, the Everest Yak | 08 September 2020, 08:33:41 UTC | [CI] regenerate hints and dist | 08 September 2020, 08:33:41 UTC |
| aaade43 | Benjamin Beurdouche | 08 September 2020, 08:31:58 UTC | Merge pull request #347 from project-everest/son_fix_leaks Fix leaks in EverCrypt.Hash | 08 September 2020, 08:31:58 UTC |
| d8b76df | Son Ho | 07 September 2020, 16:55:22 UTC | Regenerate the extracted files | 07 September 2020, 16:55:22 UTC |
| e89a5fa | Son Ho | 07 September 2020, 16:21:19 UTC | Merge remote-tracking branch 'origin/master' into son_fix_leaks | 07 September 2020, 16:21:19 UTC |
| ac11f77 | Son Ho | 07 September 2020, 15:40:49 UTC | Increase the rlimit for EverCrypt.Hash.update_last | 07 September 2020, 15:40:49 UTC |
| 0ce1373 | Son Ho | 07 September 2020, 11:50:25 UTC | Update EverCrypt.Hash.free to remove a memory leak | 07 September 2020, 11:50:25 UTC |
| 3b725af | Dzomo, the Everest Yak | 07 September 2020, 08:31:52 UTC | [CI] regenerate hints and dist | 07 September 2020, 08:31:52 UTC |
| 4cfbca2 | Dzomo, the Everest Yak | 06 September 2020, 08:34:32 UTC | [CI] regenerate hints and dist | 06 September 2020, 08:34:32 UTC |
| 6d409c7 | Dzomo, the Everest Yak | 05 September 2020, 08:33:25 UTC | [CI] regenerate hints and dist | 05 September 2020, 08:33:25 UTC |
| da5f3a5 | Christoph M. Wintersteiger | 04 September 2020, 22:17:55 UTC | Fix missing module warning properly | 04 September 2020, 22:17:55 UTC |
| db1dcfb | Christoph M. Wintersteiger | 04 September 2020, 21:45:55 UTC | Add missing module alias | 04 September 2020, 21:45:55 UTC |
| 276dc6a | Dzomo, the Everest Yak | 04 September 2020, 08:30:24 UTC | [CI] regenerate hints and dist | 04 September 2020, 08:30:24 UTC |
| 5a5d02c | Dzomo, the Everest Yak | 03 September 2020, 08:35:46 UTC | [CI] regenerate hints and dist | 03 September 2020, 08:35:46 UTC |
| 806a164 | Dzomo, the Everest Yak | 02 September 2020, 08:33:36 UTC | [CI] regenerate hints and dist | 02 September 2020, 08:33:36 UTC |
| f2ffa66 | Tahina Ramananandro (professional account) | 01 September 2020, 14:17:52 UTC | Merge pull request #343 from project-everest/son_blake Fix nightly build | 01 September 2020, 14:17:52 UTC |
| 4aa2697 | Son HO | 01 September 2020, 11:59:04 UTC | Merge branch 'master' into son_blake | 01 September 2020, 11:59:04 UTC |
| b7867d2 | Son Ho | 01 September 2020, 09:18:10 UTC | Make EverCrypt.Hash.fst stable | 01 September 2020, 09:18:10 UTC |
| 7d6631d | Dzomo, the Everest Yak | 01 September 2020, 08:32:25 UTC | [CI] regenerate hints and dist | 01 September 2020, 08:32:25 UTC |
| 8bbf671 | Dzomo, the Everest Yak | 31 August 2020, 08:31:01 UTC | [CI] regenerate hints and dist | 31 August 2020, 08:31:01 UTC |
| 529e937 | Dzomo, the Everest Yak | 30 August 2020, 08:31:44 UTC | [CI] regenerate hints and dist | 30 August 2020, 08:31:44 UTC |
| 6b48265 | Dzomo, the Everest Yak | 29 August 2020, 08:31:39 UTC | [CI] regenerate hints and dist | 29 August 2020, 08:31:39 UTC |
| 71ff057 | Dzomo, the Everest Yak | 28 August 2020, 08:36:38 UTC | [CI] regenerate hints and dist | 28 August 2020, 08:36:38 UTC |
| 40fad5a | Son HO | 27 August 2020, 21:26:05 UTC | Merge pull request #332 from project-everest/son_blake Incremental blake2 | 27 August 2020, 21:26:05 UTC |
| 149d725 | Son Ho | 27 August 2020, 17:39:51 UTC | Reset and regenerate dist/test | 27 August 2020, 17:39:51 UTC |
| 7d10ba6 | Son Ho | 27 August 2020, 16:24:53 UTC | Regenerate the extracted files | 27 August 2020, 16:24:53 UTC |
| 0ad7eb1 | Son Ho | 27 August 2020, 15:25:10 UTC | Merge remote-tracking branch 'origin/master' into son_blake | 27 August 2020, 15:25:10 UTC |
| 1adf72b | Son Ho | 27 August 2020, 14:16:17 UTC | Add a comment in Hacl.Streaming.Functor and decrease the rlimit for update_small | 27 August 2020, 14:16:17 UTC |
| ad7ef82 | Son Ho | 27 August 2020, 13:26:11 UTC | Add a lemma to ease the proof of Hacl.Streaming.Functor.update_small | 27 August 2020, 13:26:11 UTC |
| 2f37df9 | Son Ho | 27 August 2020, 12:42:24 UTC | Increase the rlimit for Hacl.Streaming.Functor.update_small | 27 August 2020, 12:42:24 UTC |
| 306af75 | Son Ho | 27 August 2020, 11:51:37 UTC | Regenerate the extracted files | 27 August 2020, 11:51:37 UTC |
| ffb8257 | Son Ho | 27 August 2020, 11:50:17 UTC | Make Hacl.Streaming.Functor.fst succeed in command line mode | 27 August 2020, 11:50:17 UTC |
| 1fe83cb | Dzomo, the Everest Yak | 27 August 2020, 08:22:40 UTC | [CI] regenerate hints and dist | 27 August 2020, 08:22:40 UTC |
| f56b12d | Dzomo, the Everest Yak | 26 August 2020, 08:23:54 UTC | [CI] regenerate hints and dist | 26 August 2020, 08:23:54 UTC |
| f047609 | Dzomo the everest Yak | 25 August 2020, 09:13:59 UTC | Merge branch 'BuildHints-master' | 25 August 2020, 09:13:59 UTC |
| 55291f4 | Franziskus Kiefer | 25 August 2020, 08:26:56 UTC | Merge pull request #341 from project-everest/franziskus/fix-neon-clang fix neon clang (make sure clang understands that r0-r3 are constants) | 25 August 2020, 08:26:56 UTC |
| ee3c097 | Dzomo, the Everest Yak | 25 August 2020, 08:25:44 UTC | [CI] regenerate hints and dist | 25 August 2020, 08:25:44 UTC |
| a4e8f4c | Franziskus Kiefer | 25 August 2020, 07:29:13 UTC | Merge branch 'master' into franziskus/fix-neon-clang | 25 August 2020, 07:29:13 UTC |
| 98e8910 | Jonathan Protzenko | 24 August 2020, 21:17:29 UTC | Try restarting the solver for more determinism? | 24 August 2020, 21:17:29 UTC |
| c014575 | Jonathan Protzenko | 24 August 2020, 20:35:27 UTC | Refresh dist | 24 August 2020, 20:35:27 UTC |
| bce6267 | Jonathan Protzenko | 24 August 2020, 20:26:57 UTC | Merge remote-tracking branch 'origin/master' into son_blake | 24 August 2020, 20:26:57 UTC |
| 882fd69 | Dzomo, the Everest Yak | 24 August 2020, 08:22:55 UTC | [CI] regenerate hints and dist | 24 August 2020, 08:22:55 UTC |
| 151f50e | Dzomo, the Everest Yak | 23 August 2020, 08:22:39 UTC | [CI] regenerate hints and dist | 23 August 2020, 08:22:39 UTC |
| edf23bf | Dzomo, the Everest Yak | 22 August 2020, 08:23:27 UTC | [CI] regenerate hints and dist | 22 August 2020, 08:23:27 UTC |
| 8f9f5cb | Dzomo, the Everest Yak | 21 August 2020, 08:23:21 UTC | [CI] regenerate hints and dist | 21 August 2020, 08:23:21 UTC |
| 3b96b06 | Franziskus Kiefer | 20 August 2020, 17:25:34 UTC | Merge remote-tracking branch 'origin/master' into franziskus/fix-neon-clang | 20 August 2020, 17:25:34 UTC |
| dd74212 | Dzomo, the Everest Yak | 20 August 2020, 08:22:36 UTC | [CI] regenerate hints and dist | 20 August 2020, 08:22:36 UTC |
| 5ae822a | Franziskus Kiefer | 19 August 2020, 18:15:06 UTC | make sure clang understands that r0-r3 are constants | 19 August 2020, 18:15:06 UTC |
| f4299aa | Dzomo, the Everest Yak | 19 August 2020, 08:22:07 UTC | [CI] regenerate hints and dist | 19 August 2020, 08:22:07 UTC |
| 51054f0 | Dzomo, the Everest Yak | 18 August 2020, 08:21:48 UTC | [CI] regenerate hints and dist | 18 August 2020, 08:21:48 UTC |
| 77a18b5 | Dzomo, the Everest Yak | 17 August 2020, 08:22:04 UTC | [CI] regenerate hints and dist | 17 August 2020, 08:22:04 UTC |
| 5184b84 | Dzomo, the Everest Yak | 16 August 2020, 08:22:48 UTC | [CI] regenerate hints and dist | 16 August 2020, 08:22:48 UTC |
| 165ae8c | Dzomo, the Everest Yak | 15 August 2020, 08:23:04 UTC | [CI] regenerate hints and dist | 15 August 2020, 08:23:04 UTC |
| d4d75b6 | Dzomo, the Everest Yak | 14 August 2020, 08:22:13 UTC | [CI] regenerate hints and dist | 14 August 2020, 08:22:13 UTC |
| fac2d4e | Tahina Ramananandro (professional account) | 13 August 2020, 20:21:43 UTC | Merge pull request #336 from project-everest/taramana_ci ocaml bindings: fix some misquoted path | 13 August 2020, 20:21:43 UTC |
| 9908872 | Tahina Ramananandro | 13 August 2020, 17:59:19 UTC | trying https://github.com/project-everest/hacl-star/pull/336#pullrequestreview-466890687 | 13 August 2020, 17:59:19 UTC |
| e76a892 | Tahina Ramananandro | 13 August 2020, 04:38:59 UTC | same thing for ocaml tests | 13 August 2020, 04:38:59 UTC |
| 536bfa9 | Tahina Ramananandro | 13 August 2020, 03:01:45 UTC | try again: handle everything to bash, do not mix with dune | 13 August 2020, 03:03:43 UTC |
| daeb684 | Tahina Ramananandro | 13 August 2020, 01:43:43 UTC | tentatively improve some filename quoting | 13 August 2020, 01:44:00 UTC |
| 73be782 | Tahina Ramananandro | 13 August 2020, 01:43:01 UTC | Revert "dune: use multiplatform copy to make it work on Windows" This reverts commit cbb140afd637e1f056b36e01437c32c26e52eb2c. | 13 August 2020, 01:43:01 UTC |
| cbb140a | Tahina Ramananandro | 13 August 2020, 01:27:35 UTC | dune: use multiplatform copy to make it work on Windows | 13 August 2020, 01:27:35 UTC |
| 2f9fd03 | Son Ho | 12 August 2020, 16:18:09 UTC | Merge branch 'master' into son_blake | 12 August 2020, 16:18:09 UTC |
| fe320e3 | Son Ho | 12 August 2020, 09:16:17 UTC | Modify a uint equality test in Hacl.Impl.Blake2.Generic to make it normalize at extraction | 12 August 2020, 09:16:17 UTC |
| 9d3dd00 | Dzomo, the Everest Yak | 12 August 2020, 08:22:28 UTC | [CI] regenerate hints and dist | 12 August 2020, 08:22:28 UTC |
| dacb619 | Son Ho | 11 August 2020, 21:08:11 UTC | Add preserves_freeable in the signatures of Hacl.Streaming.Functor and update the proofs | 11 August 2020, 21:08:11 UTC |
| eb8d3cd | Son Ho | 11 August 2020, 19:04:41 UTC | Fix EverCrypt.Hash.fst so that it typechecks with the command line | 11 August 2020, 19:04:41 UTC |
| 603591e | Son Ho | 11 August 2020, 18:58:23 UTC | Update Hacl.Streaming.Functor.fst to make it typcheck with command line | 11 August 2020, 18:58:23 UTC |
| b6366df | Jonathan Protzenko | 11 August 2020, 18:22:51 UTC | Fix fallout from C_String fix in Kremlin | 11 August 2020, 18:22:51 UTC |
| 184dbb4 | Son Ho | 11 August 2020, 17:55:45 UTC | Regenerate dist/gcc-compatible/Makefile | 11 August 2020, 17:55:45 UTC |
| 904acaf | Son Ho | 11 August 2020, 17:41:16 UTC | Add rules forgotten in Makefile and dist/Makefile.tmpl | 11 August 2020, 17:41:16 UTC |
| 7a59858 | Son Ho | 11 August 2020, 14:41:14 UTC | Declare the instanciations of Hacl.Streaming.Functor.alloca inline_for_extraction | 11 August 2020, 14:41:14 UTC |
| e6f2adb | Son Ho | 11 August 2020, 13:57:38 UTC | Regenerate the extracted files | 11 August 2020, 13:57:38 UTC |
| c10950f | Son Ho | 11 August 2020, 13:51:57 UTC | Update the Makefiles | 11 August 2020, 13:51:57 UTC |
| d34533a | Son Ho | 11 August 2020, 13:34:12 UTC | Move the blake2s_128 and blake2b_256 stream hash functions to their own files | 11 August 2020, 13:34:12 UTC |
| 575c41f | Son Ho | 11 August 2020, 13:16:36 UTC | Add definitions for the stateful function signatures in Hacl.Streaming.Functor.fsti | 11 August 2020, 13:16:36 UTC |
| d44b20f | Son Ho | 11 August 2020, 13:16:15 UTC | Fix naming mistakes in the instanciations of streaming hash | 11 August 2020, 13:16:15 UTC |
| b86c6a1 | Son Ho | 11 August 2020, 12:04:52 UTC | Make minor update in Hacl.Streaming.Blake2.fst | 11 August 2020, 12:04:52 UTC |
| f74e6ba | Son Ho | 11 August 2020, 11:46:41 UTC | Regenerate the extracted files | 11 August 2020, 11:46:41 UTC |
| 3d54562 | Son Ho | 11 August 2020, 11:45:36 UTC | Make minor improvements in Hacl.Streaming.Blake2.stateful_key | 11 August 2020, 11:45:36 UTC |
| fea903b | Son Ho | 11 August 2020, 10:17:56 UTC | Add (noextract) instances of alloca in the instanciations of the streaming functor and change the signatures for blake streaming hash | 11 August 2020, 10:17:56 UTC |
| 906a384 | Son Ho | 11 August 2020, 09:35:13 UTC | Regenerate the extracted files | 11 August 2020, 09:35:13 UTC |
| c367175 | Son Ho | 11 August 2020, 09:31:17 UTC | Remove the Hacl_Streaming_SHA2_256 files which are not generated anymore | 11 August 2020, 09:31:17 UTC |
| 21b43ba | Dzomo, the Everest Yak | 11 August 2020, 08:22:29 UTC | [CI] regenerate hints and dist | 11 August 2020, 08:22:29 UTC |
| 1797f62 | Jonathan Protzenko | 10 August 2020, 22:10:23 UTC | Use extern-c as suggested by Niek Bouman | 10 August 2020, 22:10:23 UTC |
| f54c45b | Son Ho | 10 August 2020, 21:06:10 UTC | Regenerate the extracted files | 10 August 2020, 21:06:10 UTC |
| 5cdc4f2 | Son Ho | 10 August 2020, 20:38:22 UTC | Remove the redefinition of is_blake from EverCrypt.Hash.fsti | 10 August 2020, 20:38:22 UTC |
| cb0d2a9 | Son Ho | 10 August 2020, 20:37:30 UTC | Use `is_md a` rather than `not (is_blake a)` | 10 August 2020, 20:37:30 UTC |
| 5d88e7b | Son Ho | 10 August 2020, 20:36:28 UTC | Update the length restrictions for blake2b in Spec.Blake2.fst | 10 August 2020, 20:36:28 UTC |
| 8fde17e | Son Ho | 10 August 2020, 20:25:51 UTC | Increase rlimit for a proof in Hacl.Streaming.Functor | 10 August 2020, 20:25:51 UTC |
| b64fab9 | Son Ho | 10 August 2020, 20:13:25 UTC | Cleanup Hacl.Streaming.Functor | 10 August 2020, 20:13:25 UTC |
| f0e0c51 | Son Ho | 10 August 2020, 20:08:12 UTC | Add alloca (allocation on the stack) to Hacl.Streaming.functor | 10 August 2020, 20:08:12 UTC |
| 056dbd4 | Dzomo, the Everest Yak | 10 August 2020, 08:23:20 UTC | [CI] regenerate hints and dist | 10 August 2020, 08:23:20 UTC |
| 563ce1c | Dzomo, the Everest Yak | 09 August 2020, 08:22:10 UTC | [CI] regenerate hints and dist | 09 August 2020, 08:22:10 UTC |
| 3108e78 | Dzomo, the Everest Yak | 08 August 2020, 08:22:05 UTC | [CI] regenerate hints and dist | 08 August 2020, 08:22:05 UTC |
| 8e58a55 | Son Ho | 07 August 2020, 16:33:59 UTC | Add some lemmas to Lib.ByteSequence | 07 August 2020, 16:33:59 UTC |
| 1229677 | Son Ho | 07 August 2020, 14:35:26 UTC | Add modifies5 and modifies6 to Lib.Buffer | 07 August 2020, 14:35:26 UTC |
| e71f8ad | Son Ho | 07 August 2020, 13:46:35 UTC | Fix extraction by marking some definitions in Hacl.Streaming.SHA2 as inline_for_extraction | 07 August 2020, 13:46:35 UTC |
| 3c96698 | Son Ho | 07 August 2020, 13:45:28 UTC | Fix Test.NoHeap broken after is_supported_alg was moved | 07 August 2020, 13:45:28 UTC |
