f93bc0c | Christoph M. Wintersteiger | 17 September 2020, 15:06:59 UTC | Add _GNU_SOURCE/_BSD_SOURCE explicit_bzero | 17 September 2020, 15:06:59 UTC |
1c5f2af | Victor Dumitrescu | 17 September 2020, 14:52:31 UTC | Merge pull request #356 from project-everest/vdum_354 OCaml API: Update .opam files | 17 September 2020, 14:52:31 UTC |
5e6f7b0 | Victor Dumitrescu | 17 September 2020, 13:46:56 UTC | OCaml API: Update .opam files | 17 September 2020, 13:46:56 UTC |
0b725d4 | Dzomo, the Everest Yak | 17 September 2020, 08:34:52 UTC | [CI] regenerate hints and dist | 17 September 2020, 08:34:52 UTC |
be04f48 | Jonathan Protzenko | 16 September 2020, 22:13:19 UTC | Merge pull request #355 from project-everest/nik_zeta_full_norm_cfg Changes to use of nested assert norms in support of upstream F* changes | 16 September 2020, 22:13:19 UTC |
b19fcef | Nikhil Swamy | 16 September 2020, 17:03:35 UTC | fixing another couple of nested norms in Lib.ByteBuffer | 16 September 2020, 17:03:35 UTC |
16b907c | Nikhil Swamy | 16 September 2020, 16:00:27 UTC | fixing a couple of assert_norm to avoid nested normalizations | 16 September 2020, 16:00:27 UTC |
91299ff | Dzomo, the Everest Yak | 16 September 2020, 08:34:37 UTC | [CI] regenerate hints and dist | 16 September 2020, 08:34:37 UTC |
8da2123 | Jonathan Protzenko | 15 September 2020, 15:15:56 UTC | Merge pull request #354 from raphael-proust/register-at-exit-callback-only-once Only register at-exit callback once | 15 September 2020, 15:15:56 UTC |
105ff2a | Dzomo, the Everest Yak | 15 September 2020, 08:32:31 UTC | [CI] regenerate hints and dist | 15 September 2020, 08:32:31 UTC |
b5b6467 | Chris Hawblitzel (Microsoft) | 14 September 2020, 22:38:46 UTC | Merge pull request #352 from project-everest/ckh_vale Have Vale use 32-bit encoding for "xor64 r, r" | 14 September 2020, 22:38:46 UTC |
ce5fe45 | Jonathan Protzenko | 14 September 2020, 17:36:40 UTC | Merge branch 'master' into ckh_vale | 14 September 2020, 17:36:40 UTC |
4fcf09f | Dzomo, the Everest Yak | 14 September 2020, 08:34:46 UTC | [CI] regenerate hints and dist | 14 September 2020, 08:34:46 UTC |
e3b9afc | Raphaël Proust | 14 September 2020, 06:26:09 UTC | Only register at-exit callback once | 14 September 2020, 06:26:09 UTC |
ec06f91 | Dzomo, the Everest Yak | 13 September 2020, 08:34:15 UTC | [CI] regenerate hints and dist | 13 September 2020, 08:34:15 UTC |
1057a27 | Chris Hawblitzel | 12 September 2020, 18:46:38 UTC | Have Vale use 32-bit encoding for "xor64 r, r" (suggested by Uros Bizjak for WireGuard crypto) | 12 September 2020, 18:46:38 UTC |
f33615d | Aymeric Fromherz | 12 September 2020, 12:36:30 UTC | Merge pull request #351 from project-everest/afromher_inline_printer Fix inline assembly printer for Reg32 and small register arguments | 12 September 2020, 12:36:30 UTC |
449ab62 | Aymeric Fromherz | 12 September 2020, 11:40:12 UTC | Merge branch 'master' into afromher_inline_printer | 12 September 2020, 11:40:12 UTC |
2e94357 | Dzomo, the Everest Yak | 12 September 2020, 08:32:42 UTC | [CI] regenerate hints and dist | 12 September 2020, 08:32:42 UTC |
a90addd | Dzomo, the Everest Yak | 11 September 2020, 08:40:55 UTC | [CI] regenerate hints and dist | 11 September 2020, 08:40:55 UTC |
8c4ba35 | Aymeric Fromherz | 11 September 2020, 07:12:08 UTC | Merge remote-tracking branch 'origin/master' into afromher_inline_printer | 11 September 2020, 07:12:08 UTC |
873d6e2 | Aymeric Fromherz | 10 September 2020, 17:01:48 UTC | Add inline printer for small registers | 10 September 2020, 17:01:48 UTC |
7fd5945 | Jonathan Protzenko | 10 September 2020, 16:54:11 UTC | Merge pull request #350 from project-everest/protz_ci Relax superfluous precondition for blake2 | 10 September 2020, 16:54:11 UTC |
3d439aa | Jonathan Protzenko | 10 September 2020, 16:08:01 UTC | Merge branch 'master' into protz_ci | 10 September 2020, 16:08:01 UTC |
7c3dc93 | Dzomo, the Everest Yak | 10 September 2020, 08:32:31 UTC | [CI] regenerate hints and dist | 10 September 2020, 08:32:31 UTC |
fe6c00e | Jonathan Protzenko | 09 September 2020, 14:38:54 UTC | Merge branch 'master' into protz_ci | 09 September 2020, 14:38:54 UTC |
ff9de1f | Jonathan Protzenko | 09 September 2020, 14:38:40 UTC | Merge pull request #344 from project-everest/cwinter_missing_module Add missing module alias | 09 September 2020, 14:38:40 UTC |
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 |
47edb2c | Jonathan Protzenko | 09 September 2020, 03:41:32 UTC | Merge branch 'master' into protz_ci | 09 September 2020, 03:41:32 UTC |
8d221a6 | Jonathan Protzenko | 09 September 2020, 03:02:25 UTC | Relax superfluous precondition for blake2 | 09 September 2020, 03:02:25 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 |