2f21754 | Santiago Zanella-Beguelin | 30 October 2018, 10:40:17 UTC | Workaround for FStar issue | 30 October 2018, 10:40:17 UTC |
96a03df | Konrad Kohbrok | 29 October 2018, 13:06:55 UTC | add first test file | 29 October 2018, 13:06:55 UTC |
6147aac | Konrad Kohbrok | 29 October 2018, 12:53:02 UTC | add second test file | 29 October 2018, 12:53:02 UTC |
5b652e0 | Konrad Kohbrok | 21 August 2018, 14:39:33 UTC | progress towards composing ODH and AE | 21 August 2018, 14:39:33 UTC |
cf190aa | Konrad Kohbrok | 16 August 2018, 07:29:07 UTC | introducing the model Flag and general improvements | 16 August 2018, 07:29:07 UTC |
f14ee39 | Konrad Kohbrok | 13 August 2018, 12:38:47 UTC | new, generic indexing approach | 13 August 2018, 12:38:47 UTC |
3280224 | Konrad Kohbrok | 01 August 2018, 13:33:55 UTC | progress verifving pkae | 01 August 2018, 13:33:55 UTC |
845352b | Konrad Kohbrok | 26 July 2018, 12:31:39 UTC | restoring accidentally deleted Box.Index | 26 July 2018, 12:31:39 UTC |
9718199 | Konrad Kohbrok | 26 July 2018, 12:24:50 UTC | merge | 26 July 2018, 12:24:50 UTC |
264be06 | Konrad Kohbrok | 26 July 2018, 07:23:44 UTC | progress in box | 26 July 2018, 07:23:44 UTC |
6fd24f4 | Konrad Kohbrok | 23 July 2018, 08:43:40 UTC | Merge remote-tracking branch 'origin/master' into konrad_dev | 23 July 2018, 08:43:40 UTC |
436f930 | Benjamin Beurdouche | 05 July 2018, 18:12:57 UTC | Attempt to restore CI for master which is soon be used on Mars | 05 July 2018, 18:12:57 UTC |
e33f036 | Santiago Zanella-Beguelin | 13 June 2018, 13:38:15 UTC | Update tests to use proper return value of crypto_sign_open | 13 June 2018, 13:38:15 UTC |
9dff786 | Santiago Zanella-Beguelin | 13 June 2018, 13:31:57 UTC | Proper return value for crypto_sign_open: 0 on success and -1 on failure | 13 June 2018, 13:31:57 UTC |
a122be1 | Konrad Kohbrok | 13 June 2018, 09:00:04 UTC | minor changes in AE | 13 June 2018, 09:00:04 UTC |
1568a62 | Konrad Kohbrok | 13 June 2018, 07:05:57 UTC | yet another cryptobox rewrite | 13 June 2018, 07:05:57 UTC |
276a455 | Benjamin Beurdouche | 09 June 2018, 10:14:08 UTC | Licences and Copyright update | 09 June 2018, 10:14:08 UTC |
feb85a1 | Konrad Kohbrok | 05 June 2018, 08:44:53 UTC | cleanup | 05 June 2018, 08:44:53 UTC |
1da331f | Benjamin Beurdouche | 04 June 2018, 10:54:55 UTC | Merge pull request #124 from franziskuskiefer/fix-kremlin-version Use fixed kremlin version | 04 June 2018, 10:54:55 UTC |
41ee5d2 | Franziskus Kiefer | 04 June 2018, 09:07:28 UTC | use fixed kremlin version | 04 June 2018, 09:51:36 UTC |
00f42e6 | Konrad Kohbrok | 25 May 2018, 09:54:45 UTC | experimenting with multiple interfaces | 25 May 2018, 09:54:45 UTC |
746a0b8 | Benjamin Beurdouche | 19 May 2018, 15:26:05 UTC | Refreshing snapshot after renaming variables in Ed25519 | 19 May 2018, 15:26:05 UTC |
f292966 | Benjamin Beurdouche | 19 May 2018, 14:53:42 UTC | Avoid issues when compiling HACL* in C++ mode by renaming variables called 'public' | 19 May 2018, 14:53:42 UTC |
80826b5 | Benjamin Beurdouche | 17 May 2018, 07:46:34 UTC | Delete trailing whitespaces | 17 May 2018, 07:47:04 UTC |
a9a2674 | Benjamin Beurdouche | 13 May 2018, 11:40:18 UTC | Dockerfile: improvements to build current toolchain | 13 May 2018, 11:40:18 UTC |
b69319a | karthikbhargavan | 27 April 2018, 10:25:19 UTC | fixed open_easy_afternm | 27 April 2018, 10:25:19 UTC |
32f6b4b | Konrad Kohbrok | 24 April 2018, 07:49:57 UTC | memory safety refinements in PKAE now go through | 24 April 2018, 07:49:57 UTC |
d1675a7 | Konrad Kohbrok | 19 April 2018, 18:25:34 UTC | small change to SecretBox spec. Might revert later | 19 April 2018, 18:25:34 UTC |
67515b4 | Konrad Kohbrok | 19 April 2018, 18:24:43 UTC | small fix in Poly1305 | 19 April 2018, 18:24:43 UTC |
b07c391 | Konrad Kohbrok | 19 April 2018, 18:22:56 UTC | progress towards composed pkae | 19 April 2018, 18:22:56 UTC |
eb73f5e | Konrad Kohbrok | 19 April 2018, 06:56:09 UTC | return to FStar.Endianness instead of FStar.Bytes | 19 April 2018, 06:56:09 UTC |
24ddefa | Benjamin Beurdouche | 16 April 2018, 14:25:53 UTC | Merge branch 'master' of github.com:mitls/hacl-star | 16 April 2018, 14:25:53 UTC |
c596c6b | Konrad Kohbrok | 16 April 2018, 13:51:58 UTC | more experimenting with box | 16 April 2018, 13:51:58 UTC |
a7be4ea | Benjamin Beurdouche | 16 April 2018, 13:47:05 UTC | Parallel build for F* when installed from Makefile.prepare | 16 April 2018, 13:47:05 UTC |
544abed | Benjamin Beurdouche | 16 April 2018, 13:44:23 UTC | Always use the correct vec128.h when testing chacha20_vec128 | 16 April 2018, 13:44:23 UTC |
a707238 | Benjamin Beurdouche | 15 April 2018, 12:22:42 UTC | Makefile for tests: fixing mistake after removing files | 15 April 2018, 12:22:42 UTC |
25ed0c7 | Benjamin Beurdouche | 15 April 2018, 11:45:57 UTC | Makefile.build: fixing mistake in snapshot-files | 15 April 2018, 11:45:57 UTC |
597bd32 | Benjamin Beurdouche | 15 April 2018, 11:00:46 UTC | Makefile.build: fixing mistake in snapshot-files | 15 April 2018, 11:00:46 UTC |
2da6cab | Benjamin Beurdouche | 15 April 2018, 10:19:08 UTC | Make snapshots-intermediates able to run unit-tests | 15 April 2018, 10:19:08 UTC |
e3e2c9a | Benjamin Beurdouche | 15 April 2018, 10:14:21 UTC | Improvements to snapshots/makefiles/Makefile | 15 April 2018, 10:14:21 UTC |
3bedace | Benjamin Beurdouche | 15 April 2018, 09:25:43 UTC | Backport changes to snapshots/makefiles/Makefile | 15 April 2018, 09:25:43 UTC |
6b6ba23 | Benjamin Beurdouche | 15 April 2018, 09:22:46 UTC | Unit-tests: remove all hacky modules for randomness and rely on the snapshot to provide it instead | 15 April 2018, 09:22:46 UTC |
3336d13 | Benjamin Beurdouche | 15 April 2018, 09:18:18 UTC | Remove ugly hack in other_providers/tweetnacl | 15 April 2018, 09:18:18 UTC |
9182054 | Benjamin Beurdouche | 15 April 2018, 08:07:35 UTC | Unit-tests: Do not use HACL.h in tests as it would provoke type conflicts at compilation | 15 April 2018, 08:07:35 UTC |
f67d7fb | Benjamin Beurdouche | 14 April 2018, 21:20:01 UTC | Fix CMakeFiles edit by mistake | 14 April 2018, 21:20:01 UTC |
b0acafa | Benjamin Beurdouche | 14 April 2018, 21:05:00 UTC | Refresh hacl-c snapshot | 14 April 2018, 21:05:00 UTC |
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 |