01122c8 | Benjamin Beurdouche | 14 April 2018, 21:04:27 UTC | Support for HACL.h in snapshots/hacl-c | 14 April 2018, 21:04:27 UTC |
d917c16 | Benjamin Beurdouche | 14 April 2018, 20:40:38 UTC | Refresh Tezos snapshot | 14 April 2018, 20:40:38 UTC |
afcb792 | Benjamin Beurdouche | 14 April 2018, 20:34:35 UTC | Move haclnacl.c/h to use inttypes.h | 14 April 2018, 20:34:35 UTC |
ec32a11 | Benjamin Beurdouche | 14 April 2018, 19:03:18 UTC | Progress on fixing unit-tests | 14 April 2018, 19:03:18 UTC |
223594c | Benjamin Beurdouche | 14 April 2018, 18:19:23 UTC | Refresh hacl-c snapshot after fixing Makefile | 14 April 2018, 18:19:23 UTC |
a760b03 | Benjamin Beurdouche | 14 April 2018, 18:18:54 UTC | Fix Makefile to support more algorithms and haclnacl | 14 April 2018, 18:18:54 UTC |
8aa48e2 | Benjamin Beurdouche | 14 April 2018, 18:00:00 UTC | Refresh hacl-c snapshot after adding randomness and haclnacl | 14 April 2018, 18:00:00 UTC |
5101ba3 | Benjamin Beurdouche | 14 April 2018, 17:59:18 UTC | Refresh snapshot after changes to SHA2 | 14 April 2018, 17:59:18 UTC |
6c37b8e | Benjamin Beurdouche | 14 April 2018, 17:57:56 UTC | Improvements over the default CMakeLists.txt for snapshots | 14 April 2018, 17:57:56 UTC |
7bb824c | Benjamin Beurdouche | 14 April 2018, 17:57:06 UTC | HACL snapshot support for Randomness and haclnacl functionalities | 14 April 2018, 17:57:06 UTC |
8f104be | Benjamin Beurdouche | 14 April 2018, 17:48:17 UTC | Minor edits of CMakeLists.txt | 14 April 2018, 17:48:17 UTC |
2ac46c1 | Benjamin Beurdouche | 14 April 2018, 17:40:16 UTC | Minor edits of CMakeLists.txt | 14 April 2018, 17:40:16 UTC |
1b4bb7f | Benjamin Beurdouche | 14 April 2018, 17:32:04 UTC | Build: include API makefiles when installing public headers | 14 April 2018, 17:32:04 UTC |
3d40eaa | Benjamin Beurdouche | 14 April 2018, 17:26:11 UTC | Refreshing Tezos snapshot | 14 April 2018, 17:26:11 UTC |
b9b6334 | Benjamin Beurdouche | 14 April 2018, 17:25:38 UTC | Improved version of Tezos snapshot with support for haclnacl.c/h | 14 April 2018, 17:25:38 UTC |
8a68dfd | Benjamin Beurdouche | 14 April 2018, 17:25:04 UTC | Improved version of CMakeLists.Tezos.txt | 14 April 2018, 17:25:04 UTC |
b8418fe | Benjamin Beurdouche | 14 April 2018, 17:24:04 UTC | Improved version of haclnacl.c/h | 14 April 2018, 17:24:04 UTC |
8332998 | Benjamin Beurdouche | 14 April 2018, 16:55:14 UTC | Improvement for Tezos snapshot generation | 14 April 2018, 16:55:14 UTC |
a1cb338 | Benjamin Beurdouche | 14 April 2018, 16:53:50 UTC | Prevent ignoring of snapshots/tezos | 14 April 2018, 16:53:50 UTC |
48101b7 | Benjamin Beurdouche | 14 April 2018, 16:31:36 UTC | Refresh snapshot for Tezos | 14 April 2018, 16:31:36 UTC |
5b3f0ca | Benjamin Beurdouche | 14 April 2018, 16:30:47 UTC | Adding Randomness provider for Tezos | 14 April 2018, 16:30:47 UTC |
fd68eee | Benjamin Beurdouche | 14 April 2018, 15:46:26 UTC | Relocate Hacl.Trusted.Random.Hardware and CPUID to code/trusted | 14 April 2018, 15:46:26 UTC |
c4a29c0 | Benjamin Beurdouche | 14 April 2018, 15:41:35 UTC | Rewriting of Hacl.Trusted.Random.Hardware | 14 April 2018, 15:41:35 UTC |
d2492ef | Benjamin Beurdouche | 14 April 2018, 15:08:38 UTC | Improvements on CMakeLists.txt | 14 April 2018, 15:08:38 UTC |
4c0757e | Benjamin Beurdouche | 14 April 2018, 15:06:33 UTC | Fixing typo in preventing to build Hacl_Unverified_Random module | 14 April 2018, 15:06:33 UTC |
efc6275 | Benjamin Beurdouche | 12 April 2018, 16:53:29 UTC | Merge branch 'dev_sha2' | 12 April 2018, 16:53:29 UTC |
72f40a4 | Nicola Tuveri | 12 April 2018, 10:48:15 UTC | Update root CMakeLists.txt to install libraries and headers | 12 April 2018, 11:48:54 UTC |
a6fd5b5 | Benjamin Beurdouche | 12 April 2018, 11:44:17 UTC | Improvement on SHA2 initialization | 12 April 2018, 11:44:17 UTC |
3e3e3d9 | Benjamin Beurdouche | 11 April 2018, 08:23:47 UTC | Update INSTALL.md | 11 April 2018, 08:23:47 UTC |
489a57a | Benjamin Beurdouche | 11 April 2018, 08:18:58 UTC | Update Dockerfile | 11 April 2018, 08:18:58 UTC |
e20bbb0 | Benjamin Beurdouche | 11 April 2018, 08:16:26 UTC | Update INSTALL.md | 11 April 2018, 08:16:26 UTC |
5e92915 | Benjamin Beurdouche | 11 April 2018, 08:08:29 UTC | Update README.md | 11 April 2018, 08:08:29 UTC |
9fad2bd | Benjamin Beurdouche | 11 April 2018, 08:04:49 UTC | Update README.md | 11 April 2018, 08:04:49 UTC |
32c6948 | Benjamin Beurdouche | 10 April 2018, 14:09:14 UTC | Improvements on support for MSVC | 10 April 2018, 14:09:14 UTC |
26a22eb | Benjamin Beurdouche | 10 April 2018, 13:50:48 UTC | Merge branch 'dev_ci2' | 10 April 2018, 13:50:48 UTC |
9f3e91d | Benjamin Beurdouche | 10 April 2018, 12:52:52 UTC | Improvements on snapshot testing | 10 April 2018, 12:52:52 UTC |
4d06eb3 | Benjamin Beurdouche | 09 April 2018, 16:51:29 UTC | Ignore more directories | 09 April 2018, 16:51:29 UTC |
67db91a | Benjamin Beurdouche | 07 April 2018, 18:51:18 UTC | Relocating haclnacl.c/h to snapshots/api | 07 April 2018, 18:51:18 UTC |
e13326e | Benjamin Beurdouche | 07 April 2018, 17:15:36 UTC | Improve generation for Compcert and MSVC | 07 April 2018, 17:15:36 UTC |
c6647b8 | Benjamin Beurdouche | 07 April 2018, 17:14:20 UTC | Remove failing Vale from the CI and Enable testing of libhacl32.so on Linux | 07 April 2018, 17:14:20 UTC |
d576342 | Benjamin Beurdouche | 07 April 2018, 17:04:50 UTC | Makefile.build reordering | 07 April 2018, 17:04:50 UTC |
2dd0973 | Benjamin Beurdouche | 07 April 2018, 17:02:24 UTC | Prevent using compilation option without any reason | 07 April 2018, 17:02:24 UTC |
f621219 | Benjamin Beurdouche | 07 April 2018, 16:51:33 UTC | Improvements to Makefile.build | 07 April 2018, 16:51:33 UTC |
102a428 | Benjamin Beurdouche | 07 April 2018, 16:22:57 UTC | Prevent from testing with compcert if it is not around | 07 April 2018, 16:22:57 UTC |
a0e0980 | Benjamin Beurdouche | 07 April 2018, 15:48:55 UTC | Fix mistake in test/Makefile | 07 April 2018, 15:48:55 UTC |
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 |