7a6254f | Jonathan Protzenko | 11 June 2021, 17:20:05 UTC | Merge branch 'master' into son_ibm_ppc | 11 June 2021, 17:20:05 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 |
37df90e | Marina Polubelova | 14 May 2021, 12:07:09 UTC | Merge pull request #442 from project-everest/fstar_remove_eta Changes in support of an F* fix removing eta equivalence | 14 May 2021, 12:07:09 UTC |
c643492 | Marina Polubelova | 14 May 2021, 11:16:31 UTC | fix impl.exp | 14 May 2021, 11:16:31 UTC |
a6e17c5 | Franziskus Kiefer | 14 May 2021, 06:27:48 UTC | Merge branch 'master' into franziskus/aarch64-apple-darwin-cross | 14 May 2021, 06:27:48 UTC |
133d9f4 | Nikhil Swamy | 14 May 2021, 03:49:51 UTC | Merge branch 'fstar_remove_eta' of github.com:project-everest/hacl-star into fstar_remove_eta | 14 May 2021, 03:49:51 UTC |
250d8bf | Nikhil Swamy | 14 May 2021, 03:49:35 UTC | hacl.impl.exponentiation seems a bit flaky | 14 May 2021, 03:49:35 UTC |
a88aa95 | Jonathan Protzenko | 13 May 2021, 20:30:50 UTC | Merge branch 'master' into fstar_remove_eta | 13 May 2021, 20:30:50 UTC |
a39bec1 | Dzomo, the Everest Yak | 13 May 2021, 08:26:18 UTC | [CI] regenerate hints and dist | 13 May 2021, 08:26:18 UTC |