| 9028f32 | Denis Merigoux | 16 February 2018, 09:23:12 UTC | Export name fix | 16 February 2018, 09:23:12 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 |
| 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 |
| 356dc1d | Dzomo the everest Yak | 25 January 2018, 11:58:39 UTC | [CI] regenerate hints | 25 January 2018, 11:58:39 UTC |
| 3156b7f | Dzomo the everest Yak | 24 January 2018, 12:45:04 UTC | [CI] regenerate hints | 24 January 2018, 12:45:04 UTC |
| 830ed96 | karthikbhargavan | 24 January 2018, 10:59:12 UTC | vec128 fixes | 24 January 2018, 10:59:12 UTC |
| c35bcdd | karthikbhargavan | 24 January 2018, 09:30:16 UTC | vec | 24 January 2018, 09:30:16 UTC |
| 547ec02 | karthikbhargavan | 23 January 2018, 17:47:59 UTC | fixed vec128 on neon ***NO_CI*** | 23 January 2018, 17:47:59 UTC |
| b33b49d | karthikbhargavan | 23 January 2018, 13:54:00 UTC | current | 23 January 2018, 13:54:00 UTC |
| 8493ea4 | Dzomo the everest Yak | 23 January 2018, 12:24:49 UTC | [CI] regenerate hints | 23 January 2018, 12:24:49 UTC |
| 1062354 | Benjamin Beurdouche | 22 January 2018, 19:24:12 UTC | Include top-level API in the snapshots | 22 January 2018, 19:24:12 UTC |
| c8f9d0d | Benjamin Beurdouche | 22 January 2018, 19:21:12 UTC | Include Poly1305 32bits in the top-level API | 22 January 2018, 19:21:12 UTC |
| 7fc4773 | Benjamin Beurdouche | 22 January 2018, 17:31:52 UTC | Improved support for Hacl_Random module | 22 January 2018, 17:31:52 UTC |
| e8a259f | Benjamin Beurdouche | 22 January 2018, 17:14:53 UTC | Improved support for Hacl_Random module | 22 January 2018, 17:14:53 UTC |
| 71df38b | Benjamin Beurdouche | 22 January 2018, 17:05:03 UTC | Support for Poly1305_32 in build | 22 January 2018, 17:05:03 UTC |
| 979b3d8 | Benjamin Beurdouche | 22 January 2018, 17:03:05 UTC | Include Poly1305_32 into snapshot's Makefile | 22 January 2018, 17:03:05 UTC |
| 6d75ea4 | Benjamin Beurdouche | 22 January 2018, 16:30:57 UTC | Ignore Poly1305_32 build artifacts | 22 January 2018, 16:30:57 UTC |
| 3769a8b | karthikbhargavan | 22 January 2018, 16:23:55 UTC | make fix | 22 January 2018, 16:23:55 UTC |
| cdd50d0 | karthikbhargavan | 22 January 2018, 15:27:23 UTC | removed superflous let rec | 22 January 2018, 15:27:23 UTC |
| 2450bbe | prosecco | 21 January 2018, 16:46:14 UTC | current | 21 January 2018, 16:46:14 UTC |
| dc64b44 | karthikbhargavan | 21 January 2018, 14:42:34 UTC | Merge branch 'master' of github.com:mitls/hacl-star | 21 January 2018, 14:42:34 UTC |
| 0955f14 | karthikbhargavan | 21 January 2018, 14:42:20 UTC | poly32 | 21 January 2018, 14:42:20 UTC |
| 483fe8a | Dzomo the everest Yak | 21 January 2018, 12:17:01 UTC | [CI] regenerate hints | 21 January 2018, 12:17:01 UTC |
| a524493 | Dzomo the everest Yak | 20 January 2018, 13:41:24 UTC | Merge commit 'd7d5ac331c4f468336cdbb3d5dad72442f6f28b6' | 20 January 2018, 13:41:24 UTC |
| d7d5ac3 | Dzomo the everest Yak | 20 January 2018, 13:41:23 UTC | [CI] regenerate hints | 20 January 2018, 13:41:23 UTC |
| 3904b0d | karthikbhargavan | 20 January 2018, 11:23:58 UTC | poly32 | 20 January 2018, 11:23:58 UTC |
| 558cf02 | karthikbhargavan | 20 January 2018, 08:10:57 UTC | current | 20 January 2018, 08:10:57 UTC |
| 71b36db | karthikbhargavan | 19 January 2018, 13:05:59 UTC | current | 19 January 2018, 13:05:59 UTC |
| ba84e94 | Dzomo the everest Yak | 19 January 2018, 12:22:35 UTC | [CI] regenerate hints | 19 January 2018, 12:22:35 UTC |
| 2814ffc | Dzomo the everest Yak | 18 January 2018, 12:31:47 UTC | [CI] regenerate hints | 18 January 2018, 12:31:47 UTC |
| dfc489f | Dzomo the everest Yak | 17 January 2018, 11:57:25 UTC | [CI] regenerate hints | 17 January 2018, 11:57:25 UTC |
| 0356c95 | Dzomo the everest Yak | 16 January 2018, 12:06:23 UTC | [CI] regenerate hints | 16 January 2018, 12:06:23 UTC |
| 1477533 | Dzomo the everest Yak | 15 January 2018, 19:16:42 UTC | [CI] regenerate hints | 15 January 2018, 19:16:42 UTC |
| 16570cf | Benjamin Beurdouche | 15 January 2018, 15:36:55 UTC | Remove unnecessary comment | 15 January 2018, 15:36:55 UTC |
| 8d15b37 | Benjamin Beurdouche | 15 January 2018, 14:01:11 UTC | Merge pull request #104 from franziskuskiefer/master add ChaCha20 vec to NSS snapshot target | 15 January 2018, 14:01:11 UTC |
| 1191c7f | Franziskus Kiefer | 15 January 2018, 14:00:03 UTC | add ChaCha20 vec to NSS snapshot target | 15 January 2018, 14:00:03 UTC |
| f160f18 | Benjamin Beurdouche | 15 January 2018, 13:45:00 UTC | Merge pull request #101 from franziskuskiefer/fix-vec128 Use _mm_shuffle correctly and protect macro variables | 15 January 2018, 13:45:00 UTC |
| deac3e8 | Benjamin Beurdouche | 15 January 2018, 13:44:44 UTC | Merge branch 'master' into fix-vec128 | 15 January 2018, 13:44:44 UTC |
| 4070d82 | Benjamin Beurdouche | 15 January 2018, 11:09:30 UTC | Remove unnecessary snapshot build | 15 January 2018, 11:09:30 UTC |
| 69fe70e | Benjamin Beurdouche | 15 January 2018, 10:49:24 UTC | Support for Linux Kernel / Wireguard snapshot | 15 January 2018, 10:49:24 UTC |
| d66051f | Dzomo the everest Yak | 14 January 2018, 12:06:55 UTC | [CI] regenerate hints | 14 January 2018, 12:06:55 UTC |
| 6c58e8b | Dzomo the everest Yak | 13 January 2018, 13:37:26 UTC | [CI] regenerate hints | 13 January 2018, 13:37:26 UTC |
| f116364 | Dzomo the everest Yak | 12 January 2018, 12:04:54 UTC | [CI] regenerate hints | 12 January 2018, 12:04:54 UTC |
| aa77cc4 | Benjamin Beurdouche | 12 January 2018, 08:43:10 UTC | Merge branch 'master' of github.com:mitls/hacl-star | 12 January 2018, 08:43:10 UTC |
| 393b38e | Benjamin Beurdouche | 12 January 2018, 08:42:47 UTC | HACL top-level header file | 12 January 2018, 08:42:47 UTC |
| ee2ebb1 | Dzomo the everest Yak | 11 January 2018, 11:54:33 UTC | [CI] regenerate hints | 11 January 2018, 11:54:33 UTC |
| 39d246a | Dzomo the everest Yak | 10 January 2018, 12:17:09 UTC | [CI] regenerate hints | 10 January 2018, 12:17:09 UTC |
| ffb0bb9 | Dzomo the everest Yak | 09 January 2018, 12:29:43 UTC | [CI] regenerate hints | 09 January 2018, 12:29:43 UTC |
| 2320026 | Dzomo the everest Yak | 08 January 2018, 12:32:59 UTC | [CI] regenerate hints | 08 January 2018, 12:32:59 UTC |
| cc9d10b | Dzomo the everest Yak | 07 January 2018, 12:04:18 UTC | [CI] regenerate hints | 07 January 2018, 12:04:18 UTC |
| c00ea92 | Benjamin Beurdouche | 06 January 2018, 18:13:24 UTC | Merge branch 'master' of github.com:mitls/hacl-star | 06 January 2018, 18:13:24 UTC |
| 93638a8 | Benjamin Beurdouche | 06 January 2018, 18:13:10 UTC | Makefile: update target name to produce libraries with experimental features | 06 January 2018, 18:13:10 UTC |
| a1beb99 | Dzomo the everest Yak | 06 January 2018, 13:18:15 UTC | Merge commit '5bc75ec8a11d1b1c77232eea7cba27ed6a46d1a3' | 06 January 2018, 13:18:15 UTC |
| 5bc75ec | Dzomo the everest Yak | 06 January 2018, 13:18:15 UTC | [CI] regenerate hints | 06 January 2018, 13:18:15 UTC |
| 3b55725 | Dzomo the Everest Yak | 06 January 2018, 11:25:38 UTC | [CI] New assemblies coming from Vale | 06 January 2018, 11:25:38 UTC |
| 33dffee | Dzomo the everest Yak | 05 January 2018, 18:12:05 UTC | [CI] regenerate hints | 05 January 2018, 18:12:05 UTC |
| 97f21da | Dzomo the everest Yak | 04 January 2018, 12:20:25 UTC | [CI] regenerate hints | 04 January 2018, 12:20:25 UTC |
| c5d9aaa | Dzomo the everest Yak | 03 January 2018, 12:13:45 UTC | [CI] regenerate hints | 03 January 2018, 12:13:45 UTC |
| e9c31be | Dzomo the everest Yak | 02 January 2018, 12:12:41 UTC | [CI] regenerate hints | 02 January 2018, 12:12:41 UTC |
| d97ca26 | Dzomo the everest Yak | 01 January 2018, 12:12:18 UTC | [CI] regenerate hints | 01 January 2018, 12:12:18 UTC |
| 201ca88 | Dzomo the everest Yak | 31 December 2017, 11:49:02 UTC | [CI] regenerate hints | 31 December 2017, 11:49:02 UTC |
| ceeed16 | Dzomo the everest Yak | 30 December 2017, 12:45:36 UTC | [CI] regenerate hints | 30 December 2017, 12:45:36 UTC |
| b4806a9 | Dzomo the everest Yak | 29 December 2017, 12:14:09 UTC | [CI] regenerate hints | 29 December 2017, 12:14:09 UTC |
| 3a0192d | Dzomo the everest Yak | 28 December 2017, 12:10:37 UTC | [CI] regenerate hints | 28 December 2017, 12:10:37 UTC |
| 4baa218 | Dzomo the everest Yak | 27 December 2017, 11:52:51 UTC | [CI] regenerate hints | 27 December 2017, 11:52:51 UTC |
| 340dfe0 | Dzomo the everest Yak | 26 December 2017, 12:29:46 UTC | [CI] regenerate hints | 26 December 2017, 12:29:46 UTC |
| e7d49df | Dzomo the everest Yak | 25 December 2017, 11:48:58 UTC | [CI] regenerate hints | 25 December 2017, 11:48:58 UTC |
| c5afd5a | Dzomo the everest Yak | 24 December 2017, 11:51:44 UTC | [CI] regenerate hints | 24 December 2017, 11:51:44 UTC |
| 807e89c | Dzomo the everest Yak | 23 December 2017, 13:06:24 UTC | [CI] regenerate hints | 23 December 2017, 13:06:24 UTC |
| 8e84364 | Dzomo the everest Yak | 22 December 2017, 11:48:40 UTC | [CI] regenerate hints | 22 December 2017, 11:48:40 UTC |
| 33ca33f | Dzomo the everest Yak | 21 December 2017, 20:39:16 UTC | [CI] regenerate hints | 21 December 2017, 20:39:16 UTC |
| 3ed2552 | Dzomo the everest Yak | 19 December 2017, 12:15:23 UTC | [CI] regenerate hints | 19 December 2017, 12:15:23 UTC |
| 20703db | Dzomo the everest Yak | 18 December 2017, 12:11:42 UTC | [CI] regenerate hints | 18 December 2017, 12:11:42 UTC |
| 9546f6a | Dzomo the everest Yak | 17 December 2017, 11:48:56 UTC | [CI] regenerate hints | 17 December 2017, 11:48:56 UTC |
| 5dcb57a | Dzomo the everest Yak | 16 December 2017, 13:10:33 UTC | [CI] regenerate hints | 16 December 2017, 13:10:33 UTC |
| efd6b05 | Dzomo the everest Yak | 15 December 2017, 11:55:09 UTC | [CI] regenerate hints | 15 December 2017, 11:55:09 UTC |
| cce242b | Dzomo the everest Yak | 14 December 2017, 12:16:26 UTC | [CI] regenerate hints | 14 December 2017, 12:16:26 UTC |
| 4e24440 | Dzomo the everest Yak | 13 December 2017, 11:48:39 UTC | [CI] regenerate hints | 13 December 2017, 11:48:39 UTC |
