eca632f | Benjamin Beurdouche | 07 April 2018, 15:25:57 UTC | Merge branch 'master' into dev_ci | 07 April 2018, 15:25:57 UTC |
d5aa3b7 | Benjamin Beurdouche | 07 April 2018, 14:51:58 UTC | Fix mistake when generating the Tezos snapshot | 07 April 2018, 14:51:58 UTC |
125c906 | Benjamin Beurdouche | 07 April 2018, 13:57:26 UTC | Fix mistake when generating the Wireguard snapshot | 07 April 2018, 13:57:26 UTC |
c424450 | Benjamin Beurdouche | 07 April 2018, 13:10:51 UTC | Tentative to fix test/Makefile | 07 April 2018, 13:10:51 UTC |
ed5045b | Benjamin Beurdouche | 07 April 2018, 13:07:00 UTC | Improvements on Makefile.build | 07 April 2018, 13:07:00 UTC |
3179d7c | Benjamin Beurdouche | 07 April 2018, 12:59:31 UTC | Improvements on Makefile.build | 07 April 2018, 12:59:31 UTC |
d02952b | Benjamin Beurdouche | 07 April 2018, 12:59:05 UTC | Makefile.build: snapshot target for RIOT | 07 April 2018, 12:59:05 UTC |
2895288 | Benjamin Beurdouche | 07 April 2018, 12:50:17 UTC | Makefile.build: harmonization of snapshots file listing | 07 April 2018, 12:50:17 UTC |
606c486 | Benjamin Beurdouche | 07 April 2018, 11:55:04 UTC | CI: Restore tests for Vale | 07 April 2018, 11:55:04 UTC |
f50835c | Benjamin Beurdouche | 07 April 2018, 11:54:25 UTC | CI: Restore tests for hacl-c | 07 April 2018, 11:54:25 UTC |
0c9e383 | Benjamin Beurdouche | 07 April 2018, 11:53:56 UTC | CI: Restore tests | 07 April 2018, 11:53:56 UTC |
249364a | Benjamin Beurdouche | 07 April 2018, 11:50:05 UTC | CI: trying to restore Vale | 07 April 2018, 11:50:05 UTC |
065e746 | Benjamin Beurdouche | 07 April 2018, 11:10:23 UTC | Makefile for Tests: Improvements | 07 April 2018, 11:10:23 UTC |
edce7b6 | Benjamin Beurdouche | 07 April 2018, 11:09:28 UTC | Remove 32bit builds as VSTS Windows does not support it... | 07 April 2018, 11:09:28 UTC |
1d8a3de | Benjamin Beurdouche | 07 April 2018, 10:44:59 UTC | Fix HACL casing in Makefile | 07 April 2018, 10:44:59 UTC |
b27f91d | Benjamin Beurdouche | 07 April 2018, 10:27:19 UTC | Default back snapshots/makefiles/Makefile 32bit flags to generic platforms | 07 April 2018, 10:27:19 UTC |
450012b | Benjamin Beurdouche | 07 April 2018, 10:03:46 UTC | Remove unnecessary comment | 07 April 2018, 10:03:46 UTC |
c286505 | Benjamin Beurdouche | 07 April 2018, 10:02:26 UTC | Restore 32bit build | 07 April 2018, 10:02:26 UTC |
bf6e2d0 | Benjamin Beurdouche | 07 April 2018, 09:19:59 UTC | Restore 32bit tests | 07 April 2018, 09:19:59 UTC |
e9f0c43 | Benjamin Beurdouche | 06 April 2018, 15:16:27 UTC | Restore CI target: build-make | 06 April 2018, 15:16:27 UTC |
f8a2444 | Benjamin Beurdouche | 06 April 2018, 15:15:08 UTC | Prevent inserting Licenses in Makefiles | 06 April 2018, 15:15:08 UTC |
27868ba | Benjamin Beurdouche | 06 April 2018, 14:23:47 UTC | Remove an unnecessary admit in Poly1305_32 | 06 April 2018, 14:23:47 UTC |
5feea56 | Benjamin Beurdouche | 06 April 2018, 12:44:12 UTC | Removing handwritten tests from the CI | 06 April 2018, 12:44:12 UTC |
7b48b7b | Benjamin Beurdouche | 06 April 2018, 12:28:32 UTC | Remove build-make target from the CI | 06 April 2018, 12:28:32 UTC |
786a5c0 | Benjamin Beurdouche | 06 April 2018, 11:57:57 UTC | Fix CI ? | 06 April 2018, 11:57:57 UTC |
979b7c7 | Benjamin Beurdouche | 06 April 2018, 10:22:28 UTC | Experiment for fixing CI... | 06 April 2018, 10:22:28 UTC |
d10bcb3 | Benjamin Beurdouche | 03 April 2018, 19:03:47 UTC | Dockerfile: upgrade to OCaml 4.05.0 | 03 April 2018, 19:03:47 UTC |
ecdb5b4 | Benjamin Beurdouche | 03 April 2018, 16:02:58 UTC | Minor improvement of the Makefile | 03 April 2018, 16:02:58 UTC |
7dfad64 | Benjamin Beurdouche | 02 April 2018, 20:22:27 UTC | Tentative to restore CI | 02 April 2018, 20:22:27 UTC |
d097e76 | Benjamin Beurdouche | 02 April 2018, 17:19:41 UTC | Relocate files to snapshots/makefiles from snapshots/kremlib | 02 April 2018, 17:19:41 UTC |
b0262d4 | Benjamin Beurdouche | 02 April 2018, 16:09:22 UTC | Tentative to restore CI | 02 April 2018, 16:09:22 UTC |
0f8178f | Benjamin Beurdouche | 02 April 2018, 15:09:35 UTC | Fix some part of Poly1305_32's proof | 02 April 2018, 15:09:35 UTC |
067ef94 | Benjamin Beurdouche | 30 March 2018, 08:29:06 UTC | Make sure Makefile.prepare always install dependencies locally | 30 March 2018, 08:29:06 UTC |
6e3f12a | Benjamin Beurdouche | 29 March 2018, 07:42:23 UTC | Refresh Tezos snapshot | 29 March 2018, 07:42:23 UTC |
969f226 | Benjamin Beurdouche | 29 March 2018, 07:40:44 UTC | Makefile.build: minor fix | 29 March 2018, 07:40:44 UTC |
97edc89 | Benjamin Beurdouche | 28 March 2018, 18:28:32 UTC | Update HACL.Tezos.h | 28 March 2018, 18:28:32 UTC |
03c2c3c | Benjamin Beurdouche | 28 March 2018, 13:39:03 UTC | Improvements on Makefile.build | 28 March 2018, 13:39:03 UTC |
8173521 | Benjamin Beurdouche | 28 March 2018, 13:32:58 UTC | Dockerfile fixes to build and verify HACL* master | 28 March 2018, 13:32:58 UTC |
43e1f76 | Benjamin Beurdouche | 28 March 2018, 12:25:21 UTC | Improvements on the Tezos snapshot generation | 28 March 2018, 12:25:21 UTC |
f7398e9 | Benjamin Beurdouche | 28 March 2018, 12:20:39 UTC | Fixing a missing file for the Tezos snapshot | 28 March 2018, 12:20:39 UTC |
2006bec | Benjamin Beurdouche | 28 March 2018, 12:18:41 UTC | Building infrastructure for Tezos | 28 March 2018, 12:18:41 UTC |
9d1bcec | Benjamin Beurdouche | 28 March 2018, 12:03:18 UTC | Tezos snapshot | 28 March 2018, 12:03:18 UTC |
129148d | Benjamin Beurdouche | 28 March 2018, 12:00:14 UTC | Improvements on Makefile.build | 28 March 2018, 12:00:14 UTC |
4f11001 | Benjamin Beurdouche | 28 March 2018, 11:34:51 UTC | Providing an unverified Random Number Generator for HACL* | 28 March 2018, 11:34:51 UTC |
8f5e68a | Benjamin Beurdouche | 28 March 2018, 10:12:40 UTC | Using a specific API file for Tezos | 28 March 2018, 10:12:40 UTC |
711d906 | Benjamin Beurdouche | 28 March 2018, 10:12:19 UTC | Ignoring snapshots for Wireguard and Tezos | 28 March 2018, 10:12:19 UTC |
40b161d | Benjamin Beurdouche | 28 March 2018, 10:11:14 UTC | API for Tezos | 28 March 2018, 10:11:14 UTC |
6765859 | Benjamin Beurdouche | 28 March 2018, 09:53:30 UTC | Makefile progress for Tezos | 28 March 2018, 09:53:30 UTC |
426abe1 | Benjamin Beurdouche | 05 March 2018, 15:40:17 UTC | Merge pull request #115 from franziskuskiefer/nss-336 ChaCha20 vec128 fixes for VS2015 32-bit | 05 March 2018, 15:40:17 UTC |
668d6cf | Franziskus Kiefer | 02 March 2018, 16:05:06 UTC | ChaCha20 vec128 fixes for NSS 3.36 release | 02 March 2018, 16:05:06 UTC |
5cc724b | Benjamin Beurdouche | 28 February 2018, 21:16:39 UTC | Merge pull request #112 from franziskuskiefer/nss-poly1305-32 Poly1305 32-bit for NSS | 28 February 2018, 21:16:39 UTC |
8b29945 | Benjamin Beurdouche | 28 February 2018, 21:15:52 UTC | Merge branch 'master' into nss-poly1305-32 | 28 February 2018, 21:15:52 UTC |
890ca26 | Benjamin Beurdouche | 28 February 2018, 21:14:35 UTC | Merge pull request #113 from franziskuskiefer/update-kremlin Update kremlin | 28 February 2018, 21:14:35 UTC |
ba6ccf5 | Franziskus Kiefer | 28 February 2018, 13:29:12 UTC | re-generate snapshot | 28 February 2018, 13:29:12 UTC |
98d4d58 | Franziskus Kiefer | 28 February 2018, 13:20:36 UTC | picking kremlin.h upstream changes from https://github.com/FStarLang/kremlin/pull/82 | 28 February 2018, 13:20:36 UTC |
9c51e32 | Franziskus Kiefer | 27 February 2018, 08:36:06 UTC | remove poly makefile comment | 27 February 2018, 08:36:06 UTC |
1ef1933 | Franziskus Kiefer | 26 February 2018, 15:11:15 UTC | poly1305 32-bit for NSS | 26 February 2018, 15:11:15 UTC |
104de0f | Karthikeyan Bhargavan | 23 February 2018, 10:59:54 UTC | Merge pull request #111 from franziskuskiefer/vec128-again make vec218 compile with clang on aarch64 | 23 February 2018, 10:59:54 UTC |
3461e8b | Franziskus Kiefer | 21 February 2018, 08:40:42 UTC | make vec218 compile with clang on aarch64 | 21 February 2018, 08:40:42 UTC |
ad51de1 | Benjamin Beurdouche | 16 February 2018, 14:31:05 UTC | Minor fixes in README.md | 16 February 2018, 14:31:05 UTC |
913f434 | Benjamin Beurdouche | 16 February 2018, 14:29:29 UTC | Minor fixes in INSTALL.md | 16 February 2018, 14:29:29 UTC |
d404779 | Benjamin Beurdouche | 16 February 2018, 14:28:40 UTC | Minor fix in INSTALL.md | 16 February 2018, 14:28:40 UTC |
21f3689 | Benjamin Beurdouche | 16 February 2018, 14:25:52 UTC | Updating README and INSTALL files | 16 February 2018, 14:25:52 UTC |
a32ee71 | Benjamin Beurdouche | 16 February 2018, 14:00:29 UTC | Minor refreshing of the README | 16 February 2018, 14:00:29 UTC |
c511ae8 | Benjamin Beurdouche | 16 February 2018, 13:40:15 UTC | Refresh wasm snapshot after: Fix functions exposed via emscripten | 16 February 2018, 13:40:15 UTC |
f3b4fd6 | Benjamin Beurdouche | 16 February 2018, 13:27:28 UTC | Fix functions exposed via emscripten | 16 February 2018, 13:27:28 UTC |
f7d2354 | Benjamin Beurdouche | 16 February 2018, 13:25:35 UTC | Refresh snapshot after: Prevent HMAC from being generated with -no-prefix | 16 February 2018, 13:25:35 UTC |
894d074 | Benjamin Beurdouche | 16 February 2018, 13:25:16 UTC | Prevent HMAC from being generated with -no-prefix | 16 February 2018, 13:25:16 UTC |
853d2d7 | Benjamin Beurdouche | 16 February 2018, 11:28:52 UTC | Minor improvements on the Makefile | 16 February 2018, 11:28:52 UTC |
8448d67 | Benjamin Beurdouche | 16 February 2018, 10:56:27 UTC | Remove trailing whitespaces | 16 February 2018, 10:56:27 UTC |
0ec10f7 | Benjamin Beurdouche | 16 February 2018, 10:47:59 UTC | Merge remote-tracking branch 'origin' into denismerigoux-cwasm-snapshot | 16 February 2018, 10:47:59 UTC |
6550fc8 | Denis Merigoux | 16 February 2018, 09:36:27 UTC | Correct Emscripten loader | 16 February 2018, 09:36:27 UTC |
9028f32 | Denis Merigoux | 16 February 2018, 09:23:12 UTC | Export name fix | 16 February 2018, 09:23:12 UTC |
7ed275a | Benjamin Beurdouche | 16 February 2018, 09:21:22 UTC | Merge pull request #108 from franziskuskiefer/ed25519-unused-variable Drop prefix in ed25519 sign_step_4 to avoid generating unused variables. These commits also contain an update of the snapshot after a `kremlin/vec_128.h` update. | 16 February 2018, 09:21:22 UTC |
a40b257 | Denis Merigoux | 14 February 2018, 11:09:10 UTC | Renamed wasm export | 14 February 2018, 11:09:10 UTC |
b85c903 | Denis Merigoux | 14 February 2018, 11:08:36 UTC | Merge branch 'cwasm-snapshot' of github.com:denismerigoux/hacl-star into cwasm-snapshot | 14 February 2018, 11:08:36 UTC |
925528e | Denis Merigoux | 14 February 2018, 11:08:18 UTC | Minor renaming | 14 February 2018, 11:08:18 UTC |
a2727be | Denis Merigoux | 14 February 2018, 08:20:33 UTC | Better name for snapshot directory | 14 February 2018, 08:20:33 UTC |
4298353 | Denis Merigoux | 13 February 2018, 17:00:43 UTC | Added a new Wasm snapshot for HACL* Compiled with Emscripten from the C sources | 13 February 2018, 17:00:43 UTC |
3890633 | Franziskus Kiefer | 12 February 2018, 18:04:17 UTC | updated snapshot | 12 February 2018, 18:04:17 UTC |
fc8d2d2 | Franziskus Kiefer | 12 February 2018, 16:36:57 UTC | drop prefix in sign_step_4 to avoid generating unused variables | 12 February 2018, 16:36:57 UTC |
78aa859 | Karthikeyan Bhargavan | 07 February 2018, 18:50:21 UTC | Merge pull request #107 from franziskuskiefer/update-code-chacha20-vec128 sync with snaptshot/kremlib version | 07 February 2018, 18:50:21 UTC |
c5da9b9 | Franziskus Kiefer | 07 February 2018, 14:15:04 UTC | sync with snaptshot/kremlib version | 07 February 2018, 14:15:04 UTC |
47e5348 | karthikbhargavan | 07 February 2018, 08:10:26 UTC | restore verif | 07 February 2018, 08:10:26 UTC |
d3fc129 | karthikbhargavan | 06 February 2018, 13:12:12 UTC | Merge branch 'master' of github.com:mitls/hacl-star | 06 February 2018, 13:12:12 UTC |
f009aab | karthikbhargavan | 06 February 2018, 13:10:47 UTC | fixed chacha-vec | 06 February 2018, 13:10:47 UTC |
802d888 | karthikbhargavan | 06 February 2018, 10:17:32 UTC | arm-neon fixes | 06 February 2018, 10:17:32 UTC |
df27d61 | karthikbhargavan | 06 February 2018, 09:58:46 UTC | current make | 06 February 2018, 09:58:46 UTC |
44324a4 | karthikbhargavan | 06 February 2018, 09:44:44 UTC | Merge branch 'master' of github.com:mitls/hacl-star | 06 February 2018, 09:44:44 UTC |
478c495 | karthikbhargavan | 06 February 2018, 09:44:36 UTC | vec128 fixes for msvc | 06 February 2018, 09:44:36 UTC |
8616272 | Dzomo the everest Yak | 05 February 2018, 11:54:57 UTC | [CI] regenerate hints | 05 February 2018, 11:54:57 UTC |
09507c4 | Dzomo the everest Yak | 04 February 2018, 12:16:53 UTC | [CI] regenerate hints | 04 February 2018, 12:16:53 UTC |
7be13a8 | Dzomo the everest Yak | 03 February 2018, 12:49:50 UTC | [CI] regenerate hints | 03 February 2018, 12:49:50 UTC |
7ca4856 | Dzomo the everest Yak | 02 February 2018, 12:17:55 UTC | [CI] regenerate hints | 02 February 2018, 12:17:55 UTC |
778f2de | Dzomo the everest Yak | 01 February 2018, 11:59:23 UTC | [CI] regenerate hints | 01 February 2018, 11:59:23 UTC |
41666b7 | Dzomo the everest Yak | 31 January 2018, 11:53:27 UTC | [CI] regenerate hints | 31 January 2018, 11:53:27 UTC |
b1c57a2 | Dzomo the everest Yak | 30 January 2018, 12:18:07 UTC | [CI] regenerate hints | 30 January 2018, 12:18:07 UTC |
88e36c5 | Dzomo the everest Yak | 29 January 2018, 11:56:53 UTC | [CI] regenerate hints | 29 January 2018, 11:56:53 UTC |
55da6dd | Dzomo the everest Yak | 28 January 2018, 11:53:26 UTC | [CI] regenerate hints | 28 January 2018, 11:53:26 UTC |
283e200 | Dzomo the everest Yak | 26 January 2018, 12:17:25 UTC | [CI] regenerate hints | 26 January 2018, 12:17:25 UTC |