| 01833dd | prosecco | 23 January 2018, 14:39:39 UTC | current | 23 January 2018, 14:39:39 UTC |
| 591a130 | karthikbhargavan | 23 January 2018, 14:34:37 UTC | current | 23 January 2018, 14:34:37 UTC |
| 7375c2c | karthikbhargavan | 23 January 2018, 06:36:21 UTC | current | 23 January 2018, 06:36:21 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 |
| 31c03b7 | Dzomo the everest Yak | 12 December 2017, 11:48:29 UTC | [CI] regenerate hints | 12 December 2017, 11:48:29 UTC |
| 0a2cd63 | Franziskus Kiefer | 11 December 2017, 20:51:30 UTC | some vec128.h fixes | 11 December 2017, 20:51:30 UTC |
| 106bafe | Benjamin Beurdouche | 11 December 2017, 20:35:27 UTC | Update README.md | 11 December 2017, 20:35:27 UTC |
| c4e50de | Benjamin Beurdouche | 11 December 2017, 20:29:19 UTC | Update README.md | 11 December 2017, 20:29:19 UTC |
| 2019215 | Benjamin Beurdouche | 11 December 2017, 20:26:34 UTC | Update INSTALL.md | 11 December 2017, 20:26:34 UTC |
| 5e7ca35 | Benjamin Beurdouche | 11 December 2017, 20:26:15 UTC | Update INSTALL.md | 11 December 2017, 20:26:15 UTC |
| 38b698e | Benjamin Beurdouche | 11 December 2017, 17:01:17 UTC | Merge pull request #89 from franziskuskiefer/patch-1 Check for __ARM_NEON | 11 December 2017, 17:01:17 UTC |
| 5cf6f03 | Dzomo the everest Yak | 11 December 2017, 11:51:43 UTC | [CI] regenerate hints | 11 December 2017, 11:51:43 UTC |
| dcd4832 | Dzomo the everest Yak | 10 December 2017, 11:48:44 UTC | [CI] regenerate hints | 10 December 2017, 11:48:44 UTC |
| 4fb6303 | Dzomo the everest Yak | 09 December 2017, 12:45:33 UTC | [CI] regenerate hints | 09 December 2017, 12:45:33 UTC |
| 4a9ebcd | Dzomo the everest Yak | 08 December 2017, 12:08:46 UTC | [CI] regenerate hints | 08 December 2017, 12:08:46 UTC |
| 7620672 | Benjamin Beurdouche | 07 December 2017, 18:43:26 UTC | Refresh snapshot after: Hacl.Chacha20.fsti delete trailing whitespaces | 07 December 2017, 18:43:26 UTC |
| 85efdde | Benjamin Beurdouche | 07 December 2017, 18:06:33 UTC | Chacha20.fsti: Remove trailing whitespaces | 07 December 2017, 18:06:33 UTC |
| 094c796 | Benjamin Beurdouche | 07 December 2017, 17:43:58 UTC | Merge pull request #99 from franziskuskiefer/no-poly-in-docker2 don't verify poly1305 in verify-nss for now | 07 December 2017, 17:43:58 UTC |
| 40cb2d4 | Franziskus Kiefer | 07 December 2017, 17:41:36 UTC | updated comment | 07 December 2017, 17:41:36 UTC |
| e207418 | Franziskus Kiefer | 07 December 2017, 17:39:51 UTC | don't verify poly1305 in verify-nss for now | 07 December 2017, 17:39:51 UTC |
| f6e26d8 | Dzomo the everest Yak | 07 December 2017, 12:09:14 UTC | [CI] regenerate hints | 07 December 2017, 12:09:14 UTC |
| d528a37 | Dzomo the everest Yak | 06 December 2017, 12:10:06 UTC | [CI] regenerate hints | 06 December 2017, 12:10:06 UTC |
| 00511a7 | Dzomo the everest Yak | 05 December 2017, 11:48:58 UTC | [CI] regenerate hints | 05 December 2017, 11:48:58 UTC |
| ac83910 | Dzomo the everest Yak | 05 December 2017, 04:25:58 UTC | Merge commit 'c6c86a8865a8ffcbd0eed83d23df652b70f4cdfd' | 05 December 2017, 04:25:58 UTC |
| c6c86a8 | Dzomo the everest Yak | 05 December 2017, 04:25:58 UTC | [CI] regenerate hints | 05 December 2017, 04:25:58 UTC |
| 208050d | Dzomo the everest Yak | 05 December 2017, 02:59:51 UTC | Merge commit '5834f2acce9d2c7fbf36392d36144c7b9c3e3549' | 05 December 2017, 02:59:51 UTC |
| 5834f2a | Dzomo the everest Yak | 05 December 2017, 02:59:51 UTC | [CI] regenerate hints | 05 December 2017, 02:59:51 UTC |
| e6b5ebd | Benjamin Beurdouche | 04 December 2017, 05:57:26 UTC | Remove unnecessary code since NSS has moved to HACL* master | 04 December 2017, 05:57:26 UTC |
| 87d3419 | Dzomo the everest Yak | 01 December 2017, 11:49:58 UTC | [CI] regenerate hints | 01 December 2017, 11:49:58 UTC |
| e6dd526 | Dzomo the everest Yak | 30 November 2017, 12:12:08 UTC | [CI] regenerate hints | 30 November 2017, 12:12:08 UTC |
| c974f6e | Benjamin Beurdouche | 29 November 2017, 18:01:15 UTC | Refresh snapshot after: Prevent CMakeLists.txt to be deleted by 'make clean' | 29 November 2017, 18:01:15 UTC |
| 624789d | Benjamin Beurdouche | 29 November 2017, 18:00:40 UTC | Prevent CMakeLists.txt to be deleted by 'make clean' | 29 November 2017, 18:00:40 UTC |
| c8fcdbe | Benjamin Beurdouche | 29 November 2017, 17:56:28 UTC | Fix calls to HACL* to prevent warnings about 'const' parameters | 29 November 2017, 17:56:28 UTC |
| 11ddf5f | Dzomo the everest Yak | 29 November 2017, 12:11:46 UTC | [CI] regenerate hints | 29 November 2017, 12:11:46 UTC |
| d5ac649 | Dzomo the everest Yak | 28 November 2017, 12:07:57 UTC | Merge commit '74f972a127379f139d1487798f7f60827fda1263' | 28 November 2017, 12:07:57 UTC |
| 74f972a | Dzomo the everest Yak | 28 November 2017, 12:07:57 UTC | [CI] regenerate hints | 28 November 2017, 12:07:57 UTC |
| fff3640 | Dzomo the Everest Yak | 28 November 2017, 12:06:44 UTC | [CI] regenerate hints | 28 November 2017, 12:06:44 UTC |
| 868358d | Benjamin Beurdouche | 28 November 2017, 10:20:55 UTC | Revert "Tentative to build 32bit/64bit static and shared libraries by default everywhere" This reverts commit 973efd7034828819f2ac156e47a19f5cfa95f8e1. | 28 November 2017, 10:20:55 UTC |
| 481bc2e | Benjamin Beurdouche | 28 November 2017, 09:34:07 UTC | CMake: improvements for 32bit and MSVC 64bits | 28 November 2017, 09:34:07 UTC |
| 973efd7 | Benjamin Beurdouche | 28 November 2017, 09:26:30 UTC | Tentative to build 32bit/64bit static and shared libraries by default everywhere | 28 November 2017, 09:26:30 UTC |
