| a168d55 | Jean Karim | 17 December 2017, 15:18:41 UTC | working P256 F* code | 17 December 2017, 15:18:41 UTC |
| 6b736e0 | Jean Karim | 16 December 2017, 14:04:55 UTC | nits | 16 December 2017, 14:04:55 UTC |
| 159591f | Jean Karim | 15 December 2017, 13:12:53 UTC | Merge branch 'dev_p256' of github.com:mitls/hacl-star into dev_p256 | 15 December 2017, 13:12:53 UTC |
| 5de00ae | Jean Karim | 15 December 2017, 13:12:43 UTC | fixing some mistakes | 15 December 2017, 13:12:43 UTC |
| e5b383e | Ann Weine | 06 December 2017, 13:47:42 UTC | Create LOOKATME! A mistake | 06 December 2017, 13:47:42 UTC |
| 605fd00 | Jean Karim | 27 November 2017, 15:26:13 UTC | progress on P256 | 27 November 2017, 15:26:13 UTC |
| 54293c5 | Jean Karim | 27 November 2017, 15:05:12 UTC | progress on P256 | 27 November 2017, 15:05:12 UTC |
| 3b3415b | Jean Karim | 27 November 2017, 13:37:24 UTC | Progress on P256 implementation | 27 November 2017, 13:37:24 UTC |
| 79c91e6 | Jean Karim | 27 November 2017, 13:33:37 UTC | Progress on P256 implementation | 27 November 2017, 13:33:37 UTC |
| 0f228df | Jean Karim | 09 October 2017, 17:18:42 UTC | backing up progress | 09 October 2017, 17:18:42 UTC |
| 85f8f8a | Jean Karim | 28 September 2017, 18:04:47 UTC | ***NO_CI*** | 28 September 2017, 18:04:47 UTC |
| 8e483bf | Dzomo the everest Yak | 03 September 2017, 10:55:09 UTC | [CI] regenerate hints | 03 September 2017, 10:55:09 UTC |
| 7ed0126 | Santiago Zanella-Beguelin | 02 September 2017, 03:33:24 UTC | Add missing bignum files to CI | 03 September 2017, 09:23:20 UTC |
| 8142939 | Benjamin Beurdouche | 02 September 2017, 13:38:58 UTC | Removing GCC and GCC unrolleds snapshots | 02 September 2017, 13:38:58 UTC |
| 852f332 | Dzomo the everest Yak | 02 September 2017, 11:02:04 UTC | [CI] regenerate hints | 02 September 2017, 11:02:04 UTC |
| 42ce6d5 | Karthikeyan Bhargavan | 02 September 2017, 06:57:43 UTC | Update README.md | 02 September 2017, 06:57:43 UTC |
| d4fd136 | Karthikeyan Bhargavan | 02 September 2017, 06:13:35 UTC | Update README.md | 02 September 2017, 06:13:35 UTC |
| e3a6229 | Karthikeyan Bhargavan | 02 September 2017, 06:07:40 UTC | Update README.md | 02 September 2017, 06:07:40 UTC |
| 882db6a | Dzomo the everest Yak | 02 September 2017, 03:02:52 UTC | Merge commit '89033b043d05215d085dea914384403e896524a6' | 02 September 2017, 03:02:52 UTC |
| 89033b0 | Dzomo the everest Yak | 02 September 2017, 03:02:51 UTC | [CI] regenerate hints | 02 September 2017, 03:02:51 UTC |
| 9d2f66a | Santiago Zanella-Beguelin | 02 September 2017, 02:27:25 UTC | Merge remote-tracking branch 'origin/dev_lib' | 02 September 2017, 02:27:25 UTC |
| 9b555d0 | Dzomo the everest Yak | 02 September 2017, 02:20:28 UTC | [CI] regenerate hints | 02 September 2017, 02:20:28 UTC |
| 404df87 | Benjamin Beurdouche | 02 September 2017, 02:04:14 UTC | Merge branch 'master' of github.com:mitls/hacl-star | 02 September 2017, 02:04:14 UTC |
| 910adbd | Benjamin Beurdouche | 02 September 2017, 02:00:39 UTC | Minor improvement of the README | 02 September 2017, 02:00:39 UTC |
| cb3da6c | Benjamin Beurdouche | 02 September 2017, 01:52:32 UTC | Minor improvement of the README | 02 September 2017, 01:52:32 UTC |
| ffbe777 | Benjamin Beurdouche | 02 September 2017, 01:51:44 UTC | Minor improvement of the Makefile | 02 September 2017, 01:51:44 UTC |
| d17cf38 | Benjamin Beurdouche | 02 September 2017, 01:47:15 UTC | Minor improvement of the README | 02 September 2017, 01:47:15 UTC |
| f47f8a6 | Santiago Zanella-Beguelin | 02 September 2017, 01:41:34 UTC | Merge branch 'dev_lib' | 02 September 2017, 01:41:34 UTC |
| 0110905 | Benjamin Beurdouche | 02 September 2017, 00:55:42 UTC | Keep a version of the CCS17 paper in doc/ | 02 September 2017, 01:31:55 UTC |
| 0909023 | Benjamin Beurdouche | 02 September 2017, 00:43:15 UTC | Updating the snapshots/README | 02 September 2017, 01:14:58 UTC |
| 214012a | Benjamin Beurdouche | 02 September 2017, 00:26:48 UTC | Minor improvement of the Makefile | 02 September 2017, 01:14:58 UTC |
| 1fe5569 | Benjamin Beurdouche | 02 September 2017, 00:44:51 UTC | Rename LICENSE file for snapshots | 02 September 2017, 00:44:51 UTC |
| 57093cb | Benjamin Beurdouche | 02 September 2017, 00:43:15 UTC | Updating the snapshots/README | 02 September 2017, 00:43:15 UTC |
| 6f14a5d | Santiago Zanella-Beguelin | 02 September 2017, 00:27:16 UTC | Merge remote-tracking branch 'origin/master' into dev_lib | 02 September 2017, 00:27:16 UTC |
| 5f59bab | Benjamin Beurdouche | 02 September 2017, 00:26:48 UTC | Minor improvement of the Makefile | 02 September 2017, 00:26:48 UTC |
| 30e2327 | Benjamin Beurdouche | 02 September 2017, 00:22:17 UTC | Minor improvement of the README.md file | 02 September 2017, 00:22:17 UTC |
| fb049bf | Benjamin Beurdouche | 02 September 2017, 00:19:59 UTC | Minor improvement of the code/README.md file | 02 September 2017, 00:19:59 UTC |
| 355938b | Benjamin Beurdouche | 02 September 2017, 00:17:22 UTC | Align the terminology of the Makefile to what is used in the paper | 02 September 2017, 00:17:22 UTC |
| 9e8bd82 | Santiago Zanella-Beguelin | 01 September 2017, 23:31:36 UTC | Use Tot rather than Pure because KreMLin doesn't extract Pure properly | 01 September 2017, 23:31:36 UTC |
| dac6a39 | Benjamin Beurdouche | 01 September 2017, 23:12:39 UTC | Revert "Removing snaphots/{gcc,gcc-unrolled}" This reverts commit 90fc5d03cd8c8a594380bd7628061fd7f4080ca6. | 01 September 2017, 23:12:39 UTC |
| 448b461 | Benjamin Beurdouche | 01 September 2017, 23:12:03 UTC | Revert verification targets to the Makefile.include style | 01 September 2017, 23:12:03 UTC |
| bb4692a | Benjamin Beurdouche | 01 September 2017, 22:11:56 UTC | License information for the C code | 01 September 2017, 22:11:56 UTC |
| baf5cce | Benjamin Beurdouche | 01 September 2017, 22:10:52 UTC | License information for the C code | 01 September 2017, 22:10:52 UTC |
| c0e9bdd | Benjamin Beurdouche | 01 September 2017, 22:07:18 UTC | License information in the README | 01 September 2017, 22:07:18 UTC |
| 0af5a30 | Benjamin Beurdouche | 01 September 2017, 21:59:46 UTC | Minor edit of the Makefile | 01 September 2017, 21:59:46 UTC |
| 4a256e2 | Benjamin Beurdouche | 01 September 2017, 21:56:44 UTC | Minor edit of the Makefile | 01 September 2017, 21:56:44 UTC |
| 7f6f476 | Santiago Zanella-Beguelin | 01 September 2017, 21:19:11 UTC | Add empty targets called recursively | 01 September 2017, 21:19:11 UTC |
| 295f83a | Benjamin Beurdouche | 01 September 2017, 21:12:31 UTC | Rollback make clean | 01 September 2017, 21:12:31 UTC |
| e445e93 | Santiago Zanella-Beguelin | 01 September 2017, 20:42:08 UTC | Propagate changes in shift specs | 01 September 2017, 20:42:08 UTC |
| 027915a | Benjamin Beurdouche | 01 September 2017, 20:07:25 UTC | Dependencies and Install instructions improvements | 01 September 2017, 20:07:25 UTC |
| e48d84c | Benjamin Beurdouche | 01 September 2017, 20:00:15 UTC | Updating snapshots | 01 September 2017, 20:00:15 UTC |
| 40046d3 | Benjamin Beurdouche | 01 September 2017, 20:00:01 UTC | Refreshing INSTALL instructions | 01 September 2017, 20:00:01 UTC |
| de2e580 | Benjamin Beurdouche | 01 September 2017, 19:28:31 UTC | We decided to remove snapshots/{gcc,gcc-unrolled} for clarity | 01 September 2017, 19:28:31 UTC |
| 010502c | Benjamin Beurdouche | 01 September 2017, 19:19:08 UTC | Minor edit of the Makefile | 01 September 2017, 19:19:08 UTC |
| a694f27 | Benjamin Beurdouche | 01 September 2017, 19:18:15 UTC | Maintainers in alphabetical order | 01 September 2017, 19:18:15 UTC |
| 959f6f5 | Benjamin Beurdouche | 01 September 2017, 19:17:34 UTC | Minor fixes in the README | 01 September 2017, 19:17:34 UTC |
| 0cb60d3 | Santiago Zanella-Beguelin | 01 September 2017, 18:45:21 UTC | Cleanup API dir | 01 September 2017, 18:45:21 UTC |
| 0fb9cf4 | Benjamin Beurdouche | 01 September 2017, 18:22:23 UTC | Restore test-all under CI | 01 September 2017, 18:22:23 UTC |
| 5fc445f | Santiago Zanella-Beguelin | 01 September 2017, 18:08:55 UTC | Fix regression due to change in specs in shift operators | 01 September 2017, 18:08:55 UTC |
| 85891d8 | Benjamin Beurdouche | 01 September 2017, 18:07:11 UTC | Include Makefile.include only if FSTAR_HOME is set | 01 September 2017, 18:07:11 UTC |
| 79d0bda | Santiago Zanella-Beguelin | 01 September 2017, 17:57:16 UTC | Moved a couple of stale files to code/attic | 01 September 2017, 17:57:16 UTC |
| b4bd43e | Santiago Zanella-Beguelin | 01 September 2017, 17:52:04 UTC | Verify one more file | 01 September 2017, 17:52:04 UTC |
| 7527d18 | Santiago Zanella-Beguelin | 01 September 2017, 17:43:28 UTC | Add missing file to list of files to verify for curve25519 | 01 September 2017, 17:43:28 UTC |
| 8cf84ac | Santiago Zanella-Beguelin | 01 September 2017, 17:42:56 UTC | Move some stale files to code/attic | 01 September 2017, 17:42:56 UTC |
| 65c4e45 | Santiago Zanella-Beguelin | 01 September 2017, 17:27:30 UTC | Remove a couple of unnecessary --lax flags | 01 September 2017, 17:27:30 UTC |
| 9e1ce3e | Santiago Zanella-Beguelin | 01 September 2017, 17:13:23 UTC | Fix and verify code/lib; add it to CI | 01 September 2017, 17:13:23 UTC |
| e56650c | Benjamin Beurdouche | 01 September 2017, 16:56:56 UTC | Revert "Tentative to fix CI" This reverts commit 13484074cc53b893ca79c4201646d28619fce8f6. | 01 September 2017, 16:56:56 UTC |
| d095ed4 | Benjamin Beurdouche | 01 September 2017, 16:54:10 UTC | Improve base clean target | 01 September 2017, 16:54:10 UTC |
| df544b5 | Benjamin Beurdouche | 01 September 2017, 16:51:05 UTC | Update to consider a better build system: cmake | 01 September 2017, 16:51:05 UTC |
| 1348407 | Benjamin Beurdouche | 01 September 2017, 16:46:29 UTC | Tentative to fix CI | 01 September 2017, 16:46:29 UTC |
| 33b6f7f | Benjamin Beurdouche | 01 September 2017, 16:39:23 UTC | Make clean independant from Makefile.include | 01 September 2017, 16:39:23 UTC |
| 041b72c | Benjamin Beurdouche | 01 September 2017, 16:02:42 UTC | Reflect the fact that build is the only target not needing F* and Kremlin | 01 September 2017, 16:02:42 UTC |
| 64b45c9 | Benjamin Beurdouche | 01 September 2017, 15:43:40 UTC | Bring back compilers variables to Makefile.build | 01 September 2017, 15:43:40 UTC |
| 57870cc | Benjamin Beurdouche | 01 September 2017, 15:38:51 UTC | Fixing broken dependency in Makefile.include for people that don't have F* | 01 September 2017, 15:38:51 UTC |
| 90fc5d0 | Benjamin Beurdouche | 01 September 2017, 15:11:42 UTC | Removing snaphots/{gcc,gcc-unrolled} | 01 September 2017, 15:11:42 UTC |
| 8cb21af | Benjamin Beurdouche | 01 September 2017, 15:02:53 UTC | Merge branch 'dev_makefiles' | 01 September 2017, 15:02:53 UTC |
| ce825c8 | Benjamin Beurdouche | 01 September 2017, 14:42:33 UTC | Merge branch 'master' of github.com:mitls/hacl-star | 01 September 2017, 14:42:33 UTC |
| 9d25d71 | Benjamin Beurdouche | 01 September 2017, 14:41:57 UTC | Refreshing top-level snapshot | 01 September 2017, 14:41:57 UTC |
| b770362 | Benjamin Beurdouche | 01 September 2017, 14:25:03 UTC | Refreshing snapshots | 01 September 2017, 14:25:03 UTC |
| 8a721a1 | Benjamin Beurdouche | 01 September 2017, 14:24:25 UTC | Improvements on the top-level Makefile | 01 September 2017, 14:24:25 UTC |
| 88b32d3 | Santiago Zanella-Beguelin | 01 September 2017, 10:52:58 UTC | Fix a couple of unreplayable hints; refresh hints following changes to Hacl.Policies | 01 September 2017, 10:55:57 UTC |
| da550e3 | Santiago Zanella-Beguelin | 01 September 2017, 10:52:13 UTC | Remove --lax flags; fix and prove specs in code/lib | 01 September 2017, 10:55:24 UTC |
| 8702f94 | Benjamin Beurdouche | 31 August 2017, 17:11:11 UTC | Removing a forgotten temporary admit() | 31 August 2017, 17:11:11 UTC |
| 15d22da | Dzomo the everest Yak | 31 August 2017, 11:03:37 UTC | [CI] regenerate hints | 31 August 2017, 11:03:37 UTC |
| 214738c | Benjamin Beurdouche | 30 August 2017, 17:09:02 UTC | Restructuring Makefiles Merge pull request #40 from mitls/dev_makefiles | 30 August 2017, 17:09:02 UTC |
| d166fb3 | Benjamin Beurdouche | 30 August 2017, 17:04:37 UTC | Merge branch 'master' into dev_makefiles | 30 August 2017, 17:04:37 UTC |
| cf2da86 | Benjamin Beurdouche | 30 August 2017, 16:15:07 UTC | Merge branch 'master' into dev_makefiles3 | 30 August 2017, 16:15:07 UTC |
| b395e3d | Benjamin Beurdouche | 30 August 2017, 16:09:28 UTC | More parallelism for main Makefile | 30 August 2017, 16:09:28 UTC |
| 8f111a1 | Dzomo the everest Yak | 30 August 2017, 15:53:15 UTC | [CI] regenerate hints | 30 August 2017, 15:53:15 UTC |
| e4e6315 | Benjamin Beurdouche | 30 August 2017, 15:26:51 UTC | Tentative fix for CI | 30 August 2017, 15:26:51 UTC |
| 1ddffca | Benjamin Beurdouche | 30 August 2017, 02:40:05 UTC | Remove duplicate specs target from test | 30 August 2017, 02:40:05 UTC |
| 98b6b9c | Benjamin Beurdouche | 30 August 2017, 02:03:53 UTC | Restore all targets for the CI | 30 August 2017, 02:03:53 UTC |
| 616caef | Benjamin Beurdouche | 30 August 2017, 02:01:31 UTC | Restore all minimum targets for test/ | 30 August 2017, 02:01:31 UTC |
| ee5a11b | Benjamin Beurdouche | 29 August 2017, 21:46:00 UTC | Base snapshots-update on -remove and -all | 30 August 2017, 00:23:05 UTC |
| d9bf9ad | Benjamin Beurdouche | 29 August 2017, 14:25:39 UTC | Eliminates recursive functions in SHA2_{256,384,512} Merge pull request #41 from mitls/dev_norec | 29 August 2017, 14:25:39 UTC |
| 65e7d75 | Benjamin Beurdouche | 29 August 2017, 12:40:26 UTC | Merge branch 'master' into dev_norec | 29 August 2017, 12:40:26 UTC |
| e19a080 | Santiago Zanella-Beguelin | 29 August 2017, 11:55:19 UTC | Fix 2 unreplayable queries | 29 August 2017, 11:55:48 UTC |
| dd895e3 | Dzomo the everest Yak | 29 August 2017, 11:19:11 UTC | [CI] regenerate hints | 29 August 2017, 11:19:11 UTC |
| 3ed56c9 | Santiago Zanella-Beguelin | 29 August 2017, 10:23:27 UTC | Merge branch 'master' into dev_norec | 29 August 2017, 10:23:27 UTC |
| 5e3cee0 | Benjamin Beurdouche | 29 August 2017, 00:47:19 UTC | Fix missing files from the snapshots | 29 August 2017, 00:47:19 UTC |
