| cf93fcb | Son Ho | 10 August 2021, 11:42:50 UTC | Make the "_no_check" functions in EverCrypt.AEAD always failed if compiled on a system which doesn't support Vale | 10 August 2021, 11:42:50 UTC |
| 01ed1be | Son Ho | 06 August 2021, 20:34:18 UTC | Fix the AESGCM encrypt_no_check functions, and update the decrypt functions | 06 August 2021, 20:34:18 UTC |
| 699b8eb | Son Ho | 05 August 2021, 15:50:14 UTC | Remove the inline_for_extraction attribute from encrypt_expand_aes{128,256}_gcm_no_check | 05 August 2021, 15:50:14 UTC |
| f55abff | Dzomo, the Everest Yak | 31 July 2021, 08:43:34 UTC | [CI] regenerate hints and dist | 31 July 2021, 08:43:34 UTC |
| ed7fe42 | Dzomo, the Everest Yak | 30 July 2021, 08:44:50 UTC | [CI] regenerate hints and dist | 30 July 2021, 08:44:50 UTC |
| 80859a7 | Dzomo, the Everest Yak | 29 July 2021, 08:43:52 UTC | [CI] regenerate hints and dist | 29 July 2021, 08:43:52 UTC |
| 2e797ff | Dzomo, the Everest Yak | 26 July 2021, 08:53:04 UTC | [CI] regenerate hints and dist | 26 July 2021, 08:53:04 UTC |
| ff6aed3 | Dzomo, the Everest Yak | 24 July 2021, 08:37:53 UTC | [CI] regenerate hints and dist | 24 July 2021, 08:37:53 UTC |
| ac59131 | Dzomo, the Everest Yak | 23 July 2021, 08:43:24 UTC | [CI] regenerate hints and dist | 23 July 2021, 08:43:24 UTC |
| c7b97bd | Victor Dumitrescu | 22 July 2021, 15:51:11 UTC | Merge pull request #467 from project-everest/vdum_ocaml Fixes to gcc-compatible configure script and opam files | 22 July 2021, 15:51:11 UTC |
| 3ba7167 | Victor Dumitrescu | 22 July 2021, 14:56:25 UTC | OCaml API: Mirror update to hacl-star-raw.opam in hacl-star.opam | 22 July 2021, 14:56:25 UTC |
| b349d8c | Anthony R Johnston | 22 July 2021, 12:53:49 UTC | Add FreeBSD configuration to correct file | 22 July 2021, 14:54:21 UTC |
| 804d780 | Anthony R Johnston | 21 July 2021, 14:35:49 UTC | Allow hacl-star opam package install on FreeBSD | 22 July 2021, 14:53:42 UTC |
| 4a6f33b | Victor Dumitrescu | 22 July 2021, 14:15:18 UTC | OCaml API: update .opam file and changelog | 22 July 2021, 14:15:18 UTC |
| 523a36f | Victor Dumitrescu | 21 July 2021, 15:31:36 UTC | Refine fix for configure script to be less conservative | 21 July 2021, 15:33:36 UTC |
| d231fbe | Victor Dumitrescu | 21 July 2021, 13:50:26 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml | 21 July 2021, 13:50:26 UTC |
| 2dd3312 | Dzomo, the Everest Yak | 21 July 2021, 08:36:42 UTC | [CI] regenerate hints and dist | 21 July 2021, 08:36:42 UTC |
| 230ce69 | Dzomo, the Everest Yak | 20 July 2021, 08:43:45 UTC | [CI] regenerate hints and dist | 20 July 2021, 08:43:45 UTC |
| 7b752de | Victor Dumitrescu | 19 July 2021, 12:32:09 UTC | Fixes to gcc-compatible configure script and opam files | 19 July 2021, 12:32:09 UTC |
| 1091d1c | Dzomo, the Everest Yak | 17 July 2021, 08:43:36 UTC | [CI] regenerate hints and dist | 17 July 2021, 08:43:36 UTC |
| ca5022f | Dzomo, the Everest Yak | 16 July 2021, 08:43:40 UTC | [CI] regenerate hints and dist | 16 July 2021, 08:43:40 UTC |
| ecb94f2 | Benjamin Beurdouche | 15 July 2021, 10:57:39 UTC | Merge pull request #466 from project-everest/polubelova_build_fix remove some cinlines from bignum | 15 July 2021, 10:57:39 UTC |
| 55392d3 | marina polubelova | 15 July 2021, 09:51:22 UTC | rm cinline from bn_sub_mod and bn_add_mod | 15 July 2021, 09:51:22 UTC |
| a346dc6 | Dzomo, the Everest Yak | 15 July 2021, 08:38:05 UTC | [CI] regenerate hints and dist | 15 July 2021, 08:38:05 UTC |
| f2844dd | Jonathan Protzenko | 14 July 2021, 16:17:18 UTC | Merge pull request #463 from project-everest/protz_freebsd Build fixes for FreeBSD: link in proper ASM implementations | 14 July 2021, 16:17:18 UTC |
| d364b3a | Jonathan Protzenko | 14 July 2021, 15:00:44 UTC | Merge branch 'master' into protz_freebsd | 14 July 2021, 15:00:44 UTC |
| b452208 | Dzomo, the Everest Yak | 14 July 2021, 09:08:34 UTC | [CI] regenerate hints and dist | 14 July 2021, 09:08:34 UTC |
| 21d1418 | Franziskus Kiefer | 14 July 2021, 06:52:44 UTC | Merge branch 'master' into protz_freebsd | 14 July 2021, 06:52:44 UTC |
| 33c17a8 | Marina Polubelova | 13 July 2021, 22:01:18 UTC | Merge pull request #465 from project-everest/polubelova_bignum_api_ext Expose more functions for Bignum API | 13 July 2021, 22:01:18 UTC |
| c0f2d29 | marina polubelova | 13 July 2021, 20:32:02 UTC | refresh dist | 13 July 2021, 20:32:02 UTC |
| f75210e | marina polubelova | 13 July 2021, 20:31:22 UTC | remove trailing whitespaces | 13 July 2021, 20:31:22 UTC |
| 3895709 | Marina Polubelova | 13 July 2021, 19:43:48 UTC | expose bn_add_mod, bn_sub_mod and bn_eq_mask | 13 July 2021, 19:43:48 UTC |
| 52069a4 | Dzomo, the Everest Yak | 13 July 2021, 08:43:56 UTC | [CI] regenerate hints and dist | 13 July 2021, 08:43:56 UTC |
| 8ad31b0 | Jonathan Protzenko | 12 July 2021, 15:08:28 UTC | Merge branch 'master' into protz_freebsd | 12 July 2021, 15:08:28 UTC |
| 50da11a | Dzomo, the Everest Yak | 12 July 2021, 08:46:55 UTC | [CI] regenerate hints and dist | 12 July 2021, 08:46:55 UTC |
| 437689b | Dzomo, the Everest Yak | 11 July 2021, 08:43:29 UTC | [CI] regenerate hints and dist | 11 July 2021, 08:43:29 UTC |
| 19e5cae | Dzomo, the Everest Yak | 10 July 2021, 08:25:54 UTC | [CI] regenerate hints and dist | 10 July 2021, 08:25:54 UTC |
| f43057c | Tahina Ramananandro | 09 July 2021, 22:10:24 UTC | dist snapshot | 09 July 2021, 22:10:24 UTC |
| 524628b | Tahina Ramananandro | 09 July 2021, 21:41:06 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into protz_freebsd | 09 July 2021, 21:41:06 UTC |
| e52fc75 | Jonathan Protzenko | 09 July 2021, 18:30:07 UTC | Merge pull request #464 from project-everest/_taramana_ci CI hint refresh: do not commit if no changes | 09 July 2021, 18:30:07 UTC |
| a8006eb | Tahina Ramananandro | 09 July 2021, 15:38:49 UTC | hint refresh: do not commit if no changes From project-everest/mitls-fstar@310eab0dd50babd4600c508e9cf8103616555793 | 09 July 2021, 15:38:49 UTC |
| 371e471 | Dzomo, the Everest Yak | 09 July 2021, 08:26:21 UTC | [CI] regenerate hints and dist | 09 July 2021, 08:26:21 UTC |
| c5f557a | Dzomo, the Everest Yak | 08 July 2021, 08:26:15 UTC | [CI] regenerate hints and dist | 08 July 2021, 08:26:15 UTC |
| a342e20 | Jonathan Protzenko | 07 July 2021, 17:54:19 UTC | Build fixes for FreeBSD: link in proper ASM implementations | 07 July 2021, 17:54:19 UTC |
| a3541cf | Dzomo, the Everest Yak | 07 July 2021, 08:25:41 UTC | [CI] regenerate hints and dist | 07 July 2021, 08:25:41 UTC |
| e3e93cb | Marina Polubelova | 06 July 2021, 18:47:52 UTC | Merge pull request #462 from project-everest/polubelova_bn_extraction tweaks for bignum extraction | 06 July 2021, 18:47:52 UTC |
| ef89bb8 | Dzomo, the Everest Yak | 06 July 2021, 08:26:25 UTC | [CI] regenerate hints and dist | 06 July 2021, 08:26:25 UTC |
| 8db801f | marina polubelova | 05 July 2021, 18:16:40 UTC | incorrect extraction? | 05 July 2021, 18:16:40 UTC |
| 08a6ee4 | marina polubelova | 05 July 2021, 17:46:45 UTC | refresh dist | 05 July 2021, 17:46:45 UTC |
| 185dd49 | Marina Polubelova | 05 July 2021, 17:25:09 UTC | remove n / 4 * 4 / 4 in extracted code | 05 July 2021, 17:25:09 UTC |
| 9f725cd | Marina Polubelova | 05 July 2021, 17:22:44 UTC | avoid VLA for specialized bignum | 05 July 2021, 17:22:44 UTC |
| a4b20bd | Dzomo, the Everest Yak | 05 July 2021, 08:26:20 UTC | [CI] regenerate hints and dist | 05 July 2021, 08:26:20 UTC |
| 49c3dc5 | Dzomo, the Everest Yak | 04 July 2021, 08:25:41 UTC | [CI] regenerate hints and dist | 04 July 2021, 08:25:41 UTC |
| 4febe60 | Dzomo, the Everest Yak | 03 July 2021, 08:25:37 UTC | [CI] regenerate hints and dist | 03 July 2021, 08:25:37 UTC |
| fe6be9a | Dzomo, the Everest Yak | 02 July 2021, 08:29:21 UTC | [CI] regenerate hints and dist | 02 July 2021, 08:29:21 UTC |
| 89e1b2e | Victor Dumitrescu | 02 July 2021, 07:37:07 UTC | Merge pull request #459 from project-everest/afromher_doc Expand list of supported algorithms in doc | 02 July 2021, 07:37:07 UTC |
| 584233f | Aymeric Fromherz | 02 July 2021, 04:14:39 UTC | Expand list of supported algorithms in doc | 02 July 2021, 04:14:39 UTC |
| 8cb6f88 | Dzomo, the Everest Yak | 02 July 2021, 00:07:14 UTC | [CI] regenerate hints and dist | 02 July 2021, 00:07:14 UTC |
| 8fa9452 | Jonathan Protzenko | 01 July 2021, 23:34:11 UTC | build | 01 July 2021, 23:34:11 UTC |
| 1db0d68 | Dzomo, the Everest Yak | 01 July 2021, 22:11:37 UTC | [CI] regenerate hints and dist | 01 July 2021, 22:11:37 UTC |
| 6be0d4c | Jonathan Protzenko | 01 July 2021, 20:26:51 UTC | Merge pull request #458 from project-everest/vdum_ocaml_doc OCaml docs pipeline fix | 01 July 2021, 20:26:51 UTC |
| 68dcfb3 | Victor Dumitrescu | 01 July 2021, 16:37:19 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 01 July 2021, 16:37:19 UTC |
| ea7459d | Victor Dumitrescu | 01 July 2021, 08:26:21 UTC | OCaml API: .opam file adjustements | 01 July 2021, 16:37:03 UTC |
| 02f818e | Victor Dumitrescu | 01 July 2021, 08:22:04 UTC | Doc fixes | 01 July 2021, 16:36:53 UTC |
| 63c0b44 | Dzomo, the Everest Yak | 01 July 2021, 08:27:38 UTC | [CI] regenerate hints and dist | 01 July 2021, 08:27:38 UTC |
| 57ce883 | Dzomo, the Everest Yak | 30 June 2021, 15:48:01 UTC | [CI] regenerate hints and dist | 30 June 2021, 15:48:01 UTC |
| c23d33c | Victor Dumitrescu | 30 June 2021, 12:13:32 UTC | Merge pull request #450 from project-everest/vdum_ocaml_doc OCaml API revamp and documentation | 30 June 2021, 12:13:32 UTC |
| 6c8fa0b | Victor Dumitrescu | 30 June 2021, 11:29:04 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 30 June 2021, 11:29:04 UTC |
| eb5ddec | Dzomo, the Everest Yak | 30 June 2021, 08:26:31 UTC | [CI] regenerate hints and dist | 30 June 2021, 08:26:31 UTC |
| 1fa9c00 | Victor Dumitrescu | 29 June 2021, 08:01:46 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 29 June 2021, 08:01:46 UTC |
| df52a8d | Jonathan Protzenko | 28 June 2021, 18:19:46 UTC | Merge pull request #457 from mamonet/master Enhance flag usage for PowerPC build configuration | 28 June 2021, 18:19:46 UTC |
| 18afff1 | Victor Dumitrescu | 28 June 2021, 14:52:07 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 28 June 2021, 14:52:07 UTC |
| f4a3f63 | Dzomo, the Everest Yak | 27 June 2021, 08:25:48 UTC | [CI] regenerate hints and dist | 27 June 2021, 08:25:48 UTC |
| 4b720ae | mamonet | 26 June 2021, 13:42:27 UTC | Remove -mpowerpc64 -mabi=altivec flags and use -mcpu=power9 instead of -mpower9-vector for PowerPC build configuration | 26 June 2021, 13:42:27 UTC |
| c26705d | Dzomo, the Everest Yak | 26 June 2021, 08:43:37 UTC | [CI] regenerate hints and dist | 26 June 2021, 08:43:37 UTC |
| f761dd4 | Dzomo, the Everest Yak | 25 June 2021, 09:04:26 UTC | [CI] regenerate hints and dist | 25 June 2021, 09:04:26 UTC |
| b37cea0 | Dzomo, the Everest Yak | 24 June 2021, 08:26:55 UTC | [CI] regenerate hints and dist | 24 June 2021, 08:26:55 UTC |
| 836bb9f | Dzomo the everest Yak | 23 June 2021, 15:17:46 UTC | [CI] regenerate hints and dist | 23 June 2021, 15:17:46 UTC |
| ee45148 | Jonathan Protzenko | 23 June 2021, 14:35:13 UTC | Merge branch 'master' into vdum_ocaml_doc | 23 June 2021, 14:35:13 UTC |
| b3b3284 | Dzomo, the Everest Yak | 23 June 2021, 09:03:02 UTC | [CI] regenerate hints and dist | 23 June 2021, 09:03:02 UTC |
| 2b91c2a | Tahina Ramananandro | 22 June 2021, 23:15:51 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 22 June 2021, 23:15:51 UTC |
| 7a3dad1 | Tahina Ramananandro | 22 June 2021, 23:15:44 UTC | Merge branch 'master' into vdum_ocaml_doc | 22 June 2021, 23:15:44 UTC |
| 4072050 | Dzomo, the Everest Yak | 21 June 2021, 08:26:03 UTC | [CI] regenerate hints and dist | 22 June 2021, 09:35:18 UTC |
| 958966b | Dzomo, the Everest Yak | 20 June 2021, 08:25:48 UTC | [CI] regenerate hints and dist | 22 June 2021, 09:35:17 UTC |
| 6633591 | Dzomo, the Everest Yak | 19 June 2021, 08:29:20 UTC | [CI] regenerate hints and dist | 22 June 2021, 09:35:17 UTC |
| c9d8e45 | Tahina Ramananandro | 18 June 2021, 18:29:18 UTC | simple rule to build and install OCaml bindings (suggested by @msprotz) now the user can just run: make -C dist/<their distribution> install-ocaml to compile and install OCaml bindings for HACL* (packages hacl-star-raw and hacl-star) | 22 June 2021, 09:35:16 UTC |
| 387a972 | Dzomo, the Everest Yak | 18 June 2021, 08:27:37 UTC | [CI] regenerate hints and dist | 22 June 2021, 09:35:16 UTC |
| 603a05a | Victor Dumitrescu | 22 June 2021, 08:31:58 UTC | OCaml API: Generate documentation | 22 June 2021, 09:35:08 UTC |
| 409711e | Dzomo, the Everest Yak | 22 June 2021, 08:55:39 UTC | [CI] regenerate hints and dist | 22 June 2021, 08:55:39 UTC |
| 148f9c9 | Victor Dumitrescu | 22 June 2021, 08:29:54 UTC | OCaml API: Delete dead code | 22 June 2021, 08:29:54 UTC |
| 41efa8c | Victor Dumitrescu | 22 June 2021, 08:23:51 UTC | OCaml API: Reorganisation of API, using Noalloc consistently | 22 June 2021, 08:23:51 UTC |
| da2b7c0 | Tahina Ramananandro (professional account) | 21 June 2021, 15:55:02 UTC | Merge pull request #456 from project-everest/taramana_build_ocaml_bindings Simple Makefile rule to build and install OCaml bindings | 21 June 2021, 15:55:02 UTC |
| b30c798 | Tahina Ramananandro (professional account) | 21 June 2021, 15:04:39 UTC | Merge branch 'master' into taramana_build_ocaml_bindings | 21 June 2021, 15:04:39 UTC |
| 125717c | Dzomo, the Everest Yak | 21 June 2021, 08:26:03 UTC | [CI] regenerate hints and dist | 21 June 2021, 08:26:03 UTC |
| 0555f08 | Dzomo, the Everest Yak | 20 June 2021, 08:25:48 UTC | [CI] regenerate hints and dist | 20 June 2021, 08:25:48 UTC |
| db7cb7f | Dzomo, the Everest Yak | 19 June 2021, 08:29:20 UTC | [CI] regenerate hints and dist | 19 June 2021, 08:29:20 UTC |
| 53b7309 | Tahina Ramananandro | 18 June 2021, 18:29:18 UTC | simple rule to build and install OCaml bindings (suggested by @msprotz) now the user can just run: make -C dist/<their distribution> install-ocaml to compile and install OCaml bindings for HACL* (packages hacl-star-raw and hacl-star) | 18 June 2021, 18:29:18 UTC |
| 69cebb8 | Dzomo, the Everest Yak | 18 June 2021, 08:27:37 UTC | [CI] regenerate hints and dist | 18 June 2021, 08:27:37 UTC |
| 4c1ee47 | Victor Dumitrescu | 17 June 2021, 17:02:17 UTC | OCaml API: Clarify Curve25519 scalar multiplication | 17 June 2021, 17:02:17 UTC |
| 055c59c | Victor Dumitrescu | 17 June 2021, 16:41:46 UTC | Merge branch 'master' of github.com:project-everest/hacl-star into vdum_ocaml_doc | 17 June 2021, 16:41:46 UTC |
