| 4f0637b | Denis Merigoux | 14 June 2021, 13:04:20 UTC | Merge branch 'master' into bump_npm | 14 June 2021, 13:04:20 UTC |
| 89c2cf5 | Dzomo the everest Yak | 14 June 2021, 09:05:05 UTC | Merge branch 'BuildHints-master' | 14 June 2021, 09:05:05 UTC |
| 181b6b3 | Son HO | 14 June 2021, 08:57:12 UTC | Merge pull request #416 from project-everest/son_ibm_ppc Vectorized functions for PowerPC64 (little-endian) | 14 June 2021, 08:57:12 UTC |
| d528dfc | Dzomo, the Everest Yak | 14 June 2021, 08:26:47 UTC | [CI] regenerate hints and dist | 14 June 2021, 08:26:47 UTC |
| ca0b4be | Dzomo, the Everest Yak | 13 June 2021, 08:24:43 UTC | [CI] regenerate hints and dist | 13 June 2021, 08:24:43 UTC |
| 56aa8fd | Dzomo, the Everest Yak | 12 June 2021, 08:25:04 UTC | [CI] regenerate hints and dist | 12 June 2021, 08:25:04 UTC |
| 7a6254f | Jonathan Protzenko | 11 June 2021, 17:20:05 UTC | Merge branch 'master' into son_ibm_ppc | 11 June 2021, 17:20:05 UTC |
| 2cb35f3 | Denis Merigoux | 11 June 2021, 08:47:27 UTC | Bump JS bindings npm package version | 11 June 2021, 08:47:27 UTC |
| 1838944 | Dzomo, the Everest Yak | 11 June 2021, 08:31:41 UTC | [CI] regenerate hints and dist | 11 June 2021, 08:31:41 UTC |
| ac88619 | Son Ho | 11 June 2021, 08:11:59 UTC | Merge branch 'son_ibm_ppc' of github.com:project-everest/hacl-star into son_ibm_ppc | 11 June 2021, 08:11:59 UTC |
| 648972e | Son Ho | 11 June 2021, 08:11:49 UTC | Dummy commit to launch a regression test | 11 June 2021, 08:11:49 UTC |
| dfdc210 | Jonathan Protzenko | 10 June 2021, 22:16:29 UTC | Merge branch 'master' into son_ibm_ppc | 10 June 2021, 22:16:29 UTC |
| 927d09f | Dzomo, the Everest Yak | 10 June 2021, 08:25:22 UTC | [CI] regenerate hints and dist | 10 June 2021, 08:25:22 UTC |
| dee9a6b | Dzomo, the Everest Yak | 09 June 2021, 08:25:00 UTC | [CI] regenerate hints and dist | 09 June 2021, 08:25:00 UTC |
| 78bf2c0 | Dzomo, the Everest Yak | 08 June 2021, 08:25:26 UTC | [CI] regenerate hints and dist | 08 June 2021, 08:25:26 UTC |
| d6815eb | Son Ho | 07 June 2021, 13:38:13 UTC | Update tests/Makefile to ignore vec-128-test.c on ARM | 07 June 2021, 13:38:13 UTC |
| c300f53 | Son Ho | 07 June 2021, 13:14:34 UTC | Revert "Modify the command for vec-128-test.exe" This reverts commit 4d159ca14b719c97f5522d14f5f61dc172319986. | 07 June 2021, 13:14:34 UTC |
| 4d159ca | Son Ho | 07 June 2021, 13:03:56 UTC | Modify the command for vec-128-test.exe | 07 June 2021, 13:03:56 UTC |
| 2a3c2fd | Son Ho | 07 June 2021, 12:38:57 UTC | Update the tests/Makefile for vec128-test.test | 07 June 2021, 12:38:57 UTC |
| aae2873 | Son Ho | 07 June 2021, 12:38:43 UTC | Revert "Make a minor modification in vec-128-test.c" This reverts commit 1fa38460e582096ea99b2027c9c9a09ca5c0c0ab. | 07 June 2021, 12:38:43 UTC |
| 1fa3846 | Son Ho | 07 June 2021, 12:23:18 UTC | Make a minor modification in vec-128-test.c | 07 June 2021, 12:23:18 UTC |
| 4ddc66d | Son Ho | 07 June 2021, 08:47:00 UTC | Merge remote-tracking branch 'origin/master' into son_ibm_ppc | 07 June 2021, 08:47:00 UTC |
| dcd48fb | Son Ho | 07 June 2021, 08:32:19 UTC | Update the PowerPC vector store/load operations | 07 June 2021, 08:32:19 UTC |
| 9672b1c | Son Ho | 07 June 2021, 07:58:21 UTC | Fix a typo | 07 June 2021, 07:58:21 UTC |
| af3d59b | Son Ho | 07 June 2021, 07:47:08 UTC | Update the PPC intrinsics for shift/right | 07 June 2021, 07:47:08 UTC |
| a2a661d | Dzomo, the Everest Yak | 06 June 2021, 08:33:22 UTC | [CI] regenerate hints and dist | 06 June 2021, 08:33:22 UTC |
| b3f49b4 | Dzomo, the Everest Yak | 05 June 2021, 08:40:26 UTC | [CI] regenerate hints and dist | 05 June 2021, 08:40:26 UTC |
| fb70872 | Dzomo, the Everest Yak | 04 June 2021, 08:29:29 UTC | [CI] regenerate hints and dist | 04 June 2021, 08:29:29 UTC |
| 527f9af | Dzomo, the Everest Yak | 03 June 2021, 08:57:02 UTC | [CI] regenerate hints and dist | 03 June 2021, 08:57:02 UTC |
| 3f798e4 | Son HO | 02 June 2021, 17:13:56 UTC | Merge pull request #449 from project-everest/son_buffers Add utilities to Lib.Buffer | 02 June 2021, 17:13:56 UTC |
| 9c1a76f | Son HO | 02 June 2021, 15:16:14 UTC | Merge branch 'master' into son_buffers | 02 June 2021, 15:16:14 UTC |
| b387a01 | Aseem Rastogi | 02 June 2021, 13:02:02 UTC | Merge pull request #451 from project-everest/aseem_2306 Fixing a flaky proof (FStar PR #2306) | 02 June 2021, 13:02:02 UTC |
| f8a1e28 | Aseem Rastogi | 02 June 2021, 10:57:21 UTC | fixing a flaky proof (FStar PR #2306) | 02 June 2021, 10:57:21 UTC |
| 3b78d65 | Son Ho | 02 June 2021, 07:37:42 UTC | Remove the dependency to libsodium in the tests | 02 June 2021, 07:37:42 UTC |
| 70a4623 | Son Ho | 01 June 2021, 19:14:24 UTC | Merge branch 'master' into _son_ibm_ppc | 01 June 2021, 19:14:24 UTC |
| 50dfaed | Son Ho | 01 June 2021, 18:04:34 UTC | Merge branch 'son_buffers' of github.com:project-everest/hacl-star into son_buffers | 01 June 2021, 18:04:34 UTC |
| 776a8a9 | Son Ho | 01 June 2021, 17:39:21 UTC | Consistently use "t" instead of "ty" in Lib.Buffer for the buffer type | 01 June 2021, 17:39:21 UTC |
| ec2b839 | Son Ho | 01 June 2021, 17:33:55 UTC | Change the signature of Lib.Buffer.null | 01 June 2021, 17:33:55 UTC |
| 5287014 | Dzomo, the Everest Yak | 01 June 2021, 08:27:08 UTC | [CI] regenerate hints and dist | 01 June 2021, 08:27:08 UTC |
| 9d7f125 | Marina Polubelova | 31 May 2021, 13:24:44 UTC | Merge pull request #447 from project-everest/polubelova_ed25519_sha512 streaming api for ed25519 | 31 May 2021, 13:24:44 UTC |
| 1999efe | Dzomo, the Everest Yak | 31 May 2021, 08:26:01 UTC | [CI] regenerate hints and dist | 31 May 2021, 08:26:01 UTC |
| 1ecddaa | Son HO | 31 May 2021, 08:25:43 UTC | Merge branch 'master' into son_buffers | 31 May 2021, 08:25:43 UTC |
| 5bb4f31 | Benjamin Beurdouche | 31 May 2021, 06:19:07 UTC | Merge branch 'master' into polubelova_ed25519_sha512 | 31 May 2021, 06:19:07 UTC |
| 3917561 | Dzomo, the Everest Yak | 30 May 2021, 08:35:46 UTC | [CI] regenerate hints and dist | 30 May 2021, 08:35:46 UTC |
| 95b6313 | Marina Polubelova | 28 May 2021, 18:15:03 UTC | update README | 28 May 2021, 18:15:03 UTC |
| 59d6494 | marina polubelova | 28 May 2021, 17:48:19 UTC | regenerate dist | 28 May 2021, 17:48:19 UTC |
| 4fa29c9 | marina polubelova | 28 May 2021, 17:09:03 UTC | refresh dist | 28 May 2021, 17:09:03 UTC |
| 7a77ef0 | Son Ho | 28 May 2021, 10:48:24 UTC | Fix more broken files | 28 May 2021, 10:48:24 UTC |
| b3234b8 | Son Ho | 28 May 2021, 09:58:07 UTC | Fix some code | 28 May 2021, 09:58:07 UTC |
| fee775e | marina polubelova | 28 May 2021, 08:45:54 UTC | fix tests/benchmark | 28 May 2021, 08:45:54 UTC |
| 5aad2bf | Son Ho | 28 May 2021, 08:43:08 UTC | Add utilities in Lib.Buffer | 28 May 2021, 08:43:08 UTC |
| 6adccb0 | marina polubelova | 27 May 2021, 23:23:07 UTC | rm ed25519 from dist/ccf | 27 May 2021, 23:23:07 UTC |
| 8b753ea | marina polubelova | 27 May 2021, 20:25:22 UTC | regenerate dist? | 27 May 2021, 20:25:22 UTC |
| 8f77449 | Marina Polubelova | 27 May 2021, 19:45:11 UTC | use streaming api for ed25519 | 27 May 2021, 19:45:11 UTC |
| 2e05951 | Dzomo, the Everest Yak | 27 May 2021, 08:30:02 UTC | [CI] regenerate hints and dist | 27 May 2021, 08:30:02 UTC |
| 1817e34 | Dzomo, the Everest Yak | 26 May 2021, 08:38:12 UTC | [CI] regenerate hints and dist | 26 May 2021, 08:38:12 UTC |
| 661a053 | Dzomo, the Everest Yak | 25 May 2021, 08:29:48 UTC | [CI] regenerate hints and dist | 25 May 2021, 08:29:48 UTC |
| 58d2867 | Son HO | 25 May 2021, 06:15:00 UTC | Merge pull request #445 from project-everest/son_ibmz Update endian swapping load/store for IBMz | 25 May 2021, 06:15:00 UTC |
| 1827038 | Jonathan Protzenko | 24 May 2021, 17:00:19 UTC | Merge branch 'master' into son_ibmz | 24 May 2021, 17:00:19 UTC |
| 36eeec7 | Jonathan Protzenko | 24 May 2021, 17:00:06 UTC | Merge pull request #443 from project-everest/protz_election_guard Fix ElectionGuard-generated code | 24 May 2021, 17:00:06 UTC |
| cf252cc | Jonathan Protzenko | 24 May 2021, 15:43:13 UTC | Merge branch 'master' into protz_election_guard | 24 May 2021, 15:43:13 UTC |
| 3eeffcd | Jonathan Protzenko | 24 May 2021, 15:40:48 UTC | Merge branch 'master' into son_ibmz | 24 May 2021, 15:40:48 UTC |
| 43796f8 | Dzomo, the Everest Yak | 24 May 2021, 08:25:27 UTC | [CI] regenerate hints and dist | 24 May 2021, 08:25:27 UTC |
| 953feab | Dzomo, the Everest Yak | 23 May 2021, 08:29:06 UTC | [CI] regenerate hints and dist | 23 May 2021, 08:29:06 UTC |
| 0b97201 | Son Ho | 22 May 2021, 11:35:04 UTC | Merge remote-tracking branch 'origin/master' into _son_ibmz | 22 May 2021, 11:35:04 UTC |
| 455b593 | Son Ho | 22 May 2021, 11:33:20 UTC | Update the configure file | 22 May 2021, 11:33:20 UTC |
| 2c77ed8 | Son Ho | 22 May 2021, 11:22:39 UTC | Use vec_revb to implement load/store_le for IBMz | 22 May 2021, 11:22:39 UTC |
| db532a9 | Dzomo, the Everest Yak | 22 May 2021, 08:31:55 UTC | [CI] regenerate hints and dist | 22 May 2021, 08:31:55 UTC |
| d0463fa | Dzomo, the Everest Yak | 21 May 2021, 08:35:39 UTC | [CI] regenerate hints and dist | 21 May 2021, 08:35:39 UTC |
| e2ac789 | Aseem Rastogi | 20 May 2021, 11:55:08 UTC | Merge pull request #444 from project-everest/aseem_pure_wp_monotonicity Proof regressions for F* changes related to #2288 | 20 May 2021, 11:55:08 UTC |
| 8ff4962 | Aseem Rastogi | 20 May 2021, 10:38:27 UTC | Merge branch 'master' into aseem_pure_wp_monotonicity | 20 May 2021, 10:38:27 UTC |
| 1d1c166 | Dzomo, the Everest Yak | 20 May 2021, 08:47:44 UTC | [CI] regenerate hints and dist | 20 May 2021, 08:47:44 UTC |
| 852a75f | Aseem Rastogi | 20 May 2021, 08:27:40 UTC | proof regressions for pure wp monotonicity | 20 May 2021, 08:27:40 UTC |
| d4b86a4 | Dzomo, the Everest Yak | 19 May 2021, 08:31:33 UTC | [CI] regenerate hints and dist | 19 May 2021, 08:31:33 UTC |
| e2234dd | Jonathan Protzenko | 18 May 2021, 23:01:59 UTC | Add 32-bit versions of bignum256 and bignum4096 | 18 May 2021, 23:01:59 UTC |
| ef1d57d | Jonathan Protzenko | 18 May 2021, 22:25:19 UTC | Refresh snapshot | 18 May 2021, 22:25:19 UTC |
| c08c2dd | Jonathan Protzenko | 18 May 2021, 18:40:13 UTC | Merge remote-tracking branch 'origin/master' into protz_election_guard | 18 May 2021, 18:40:13 UTC |
| 4559de2 | Son Ho | 18 May 2021, 08:32:54 UTC | Merge remote-tracking branch 'origin/master' into son_ibmz | 18 May 2021, 08:32:54 UTC |
| 04a5132 | Dzomo, the Everest Yak | 18 May 2021, 08:27:44 UTC | [CI] regenerate hints and dist | 18 May 2021, 08:27:44 UTC |
| a00d950 | Son Ho | 18 May 2021, 07:31:01 UTC | Do more cleanup | 18 May 2021, 07:31:01 UTC |
| 129f15f | Son Ho | 18 May 2021, 07:27:06 UTC | Cleanup a bit | 18 May 2021, 07:27:06 UTC |
| aa34f64 | Son Ho | 18 May 2021, 07:22:13 UTC | Fix another mistake | 18 May 2021, 07:22:13 UTC |
| eb5a547 | Son Ho | 18 May 2021, 07:21:29 UTC | Fix some mistakes | 18 May 2021, 07:21:29 UTC |
| f390b02 | Son Ho | 18 May 2021, 07:07:18 UTC | Make minor modifications | 18 May 2021, 07:07:18 UTC |
| 7b85e51 | Son Ho | 18 May 2021, 07:05:06 UTC | Try another implementation for load for IBMz | 18 May 2021, 07:05:06 UTC |
| bf89272 | Son Ho | 18 May 2021, 06:58:07 UTC | Use builtings other than vec_vlbr{g,f} | 18 May 2021, 06:58:07 UTC |
| f322d28 | Dzomo, the Everest Yak | 16 May 2021, 08:26:27 UTC | [CI] regenerate hints and dist | 16 May 2021, 08:26:27 UTC |
| f1a92f0 | Dzomo, the Everest Yak | 15 May 2021, 08:28:49 UTC | [CI] regenerate hints and dist | 15 May 2021, 08:28:49 UTC |
| 806964e | Son Ho | 14 May 2021, 17:33:11 UTC | Revert a previous test | 14 May 2021, 17:33:11 UTC |
| 2acd679 | Son Ho | 14 May 2021, 17:29:10 UTC | Add some includes in libintvector | 14 May 2021, 17:29:10 UTC |
| 508c7f0 | Son Ho | 14 May 2021, 17:23:24 UTC | Make a small modification | 14 May 2021, 17:23:24 UTC |
| 6d9b73d | Son Ho | 14 May 2021, 17:21:12 UTC | Fix a mistake | 14 May 2021, 17:21:12 UTC |
| c115f92 | Son Ho | 14 May 2021, 17:20:32 UTC | Make a test | 14 May 2021, 17:20:32 UTC |
| 4feacc8 | Son Ho | 14 May 2021, 17:18:36 UTC | Update some signatures | 14 May 2021, 17:18:36 UTC |
| 49cc32b | Son Ho | 14 May 2021, 17:04:23 UTC | Fix more mistakes | 14 May 2021, 17:04:23 UTC |
| 1a3743f | Son Ho | 14 May 2021, 17:03:03 UTC | Fix a syntax error | 14 May 2021, 17:03:03 UTC |
| aaaf711 | Son Ho | 14 May 2021, 17:01:26 UTC | Update the load functions for IBMz | 14 May 2021, 17:01:26 UTC |
| 516bd39 | Son Ho | 14 May 2021, 14:00:07 UTC | Make a minor modification in configure | 14 May 2021, 14:00:07 UTC |
| cd7c296 | Marina Polubelova | 14 May 2021, 12:56:32 UTC | Merge pull request #441 from project-everest/franziskus/aarch64-apple-darwin-cross aarch64 and iOS targets | 14 May 2021, 12:56:32 UTC |
| 1e74921 | Marina Polubelova | 14 May 2021, 12:07:33 UTC | Merge branch 'master' into franziskus/aarch64-apple-darwin-cross | 14 May 2021, 12:07:33 UTC |
