| a9f1118 | Guido Martínez | 14 March 2018, 19:28:36 UTC | fixing for new F* | 14 March 2018, 20:10:13 UTC |
| 98755f7 | Aseem Rastogi | 02 March 2018, 12:55:35 UTC | ***NO_CI*** hints | 02 March 2018, 12:56:45 UTC |
| a879323 | Aseem Rastogi | 01 March 2018, 11:39:31 UTC | ***NO_CI*** hints | 01 March 2018, 11:39:31 UTC |
| 1b0305f | Nikhil Swamy | 21 February 2018, 23:11:08 UTC | remove unsupported ambiguous syntax | 21 February 2018, 23:11:08 UTC |
| fe7d587 | Aseem Rastogi | 21 February 2018, 11:09:48 UTC | hints | 21 February 2018, 11:09:48 UTC |
| 3cdf847 | Nikhil Swamy | 07 February 2018, 05:19:13 UTC | new hints | 07 February 2018, 05:19:13 UTC |
| 380cf71 | Tahina Ramananandro | 07 February 2018, 00:57:15 UTC | Hints ***NO_CI*** | 07 February 2018, 00:57:15 UTC |
| 7615e4b | Tahina Ramananandro | 06 February 2018, 23:15:26 UTC | Merge branch 'taramana_20180206' into fstar-master ***NO_CI*** | 06 February 2018, 23:15:26 UTC |
| e6c5b7f | Tahina Ramananandro | 06 February 2018, 21:01:29 UTC | Hints In preparation for merging FStarLang/FStar#1375 With @nikswamy | 06 February 2018, 21:02:13 UTC |
| 0362610 | Jonathan Protzenko | 04 February 2018, 17:56:51 UTC | Merge branch 'fstar-master' of pro.github.com:mitls/hacl-star into fstar-master | 04 February 2018, 17:56:51 UTC |
| f011f6c | Jonathan Protzenko | 04 February 2018, 17:52:16 UTC | Primitive benchmark | 04 February 2018, 17:52:16 UTC |
| 65e3dae | Jonathan Protzenko | 02 February 2018, 18:22:57 UTC | Remove krml_check_size | 02 February 2018, 18:22:57 UTC |
| 82e79de | Aseem Rastogi | 27 January 2018, 17:11:39 UTC | hints | 27 January 2018, 17:11:39 UTC |
| d9c2591 | Aseem Rastogi | 27 January 2018, 17:11:29 UTC | changes for is_eternal_region | 27 January 2018, 17:11:29 UTC |
| 6dabd2c | Aseem Rastogi | 27 January 2018, 17:11:16 UTC | hints | 27 January 2018, 17:11:16 UTC |
| 867eab1 | Aseem Rastogi | 24 January 2018, 12:06:43 UTC | hints | 24 January 2018, 12:06:43 UTC |
| 9854be3 | Nikhil Swamy | 24 January 2018, 06:39:13 UTC | new hints for aseem_mm_buffers changes | 24 January 2018, 06:39:13 UTC |
| 409a28d | Nikhil Swamy | 23 January 2018, 16:18:37 UTC | hint revision | 23 January 2018, 16:18:37 UTC |
| 202de0b | Guido Martínez | 17 January 2018, 07:28:48 UTC | Salsa20: fix effect regression | 17 January 2018, 07:29:14 UTC |
| 5c0fe94 | Guido Martínez | 17 January 2018, 06:31:33 UTC | Chacha20: reflecting some moves in F*'s ulib/ | 17 January 2018, 07:29:03 UTC |
| f0e4e59 | Jonathan Protzenko | 03 January 2018, 22:20:46 UTC | Remove two StackInline annotations on recursive functions | 03 January 2018, 22:20:46 UTC |
| 9925ed4 | Jonathan Protzenko | 03 January 2018, 21:24:49 UTC | Catch up on upstream F* changes | 03 January 2018, 21:24:49 UTC |
| d54a831 | Nikhil Swamy | 29 December 2017, 16:30:44 UTC | catching up with the removal of FStar.Monotonic.RRef | 29 December 2017, 16:30:44 UTC |
| bcadfcb | Aseem Rastogi | 28 December 2017, 19:59:47 UTC | ***NO_CI*** hints | 28 December 2017, 19:59:47 UTC |
| 1fb9727 | Aseem Rastogi | 28 December 2017, 19:59:27 UTC | changes for nuking Monotonic.RRef | 28 December 2017, 19:59:27 UTC |
| 2e13de9 | Aseem Rastogi | 28 December 2017, 10:12:26 UTC | ***NO_CI*** hints | 28 December 2017, 10:12:26 UTC |
| c692487 | Aseem Rastogi | 28 December 2017, 10:12:17 UTC | migrating to trimmed down MR interface | 28 December 2017, 10:12:17 UTC |
| 41cdaeb | Nikhil Swamy | 28 December 2017, 02:34:03 UTC | fixing up krml-test-hacl.exe | 28 December 2017, 02:34:03 UTC |
| 0cdf200 | Nikhil Swamy | 27 December 2017, 21:56:06 UTC | Merge branch 'fstar-master' of github.com:mitls/hacl-star into fstar-master | 27 December 2017, 21:56:06 UTC |
| c4e384b | Nikhil Swamy | 27 December 2017, 21:56:02 UTC | new hints for Hacl.Hash.SHA2_256 | 27 December 2017, 21:56:02 UTC |
| 4ea6962 | Nikhil Swamy | 27 December 2017, 21:37:36 UTC | ***NO_CI*** Merge branch 'fstar-master' of github.com:mitls/hacl-star into fstar-master | 27 December 2017, 21:38:04 UTC |
| b14037e | Nikhil Swamy | 27 December 2017, 21:37:16 UTC | remove usage of hyperheap in AEAD.Decrypt | 27 December 2017, 21:37:16 UTC |
| daab980 | Aseem Rastogi | 27 December 2017, 17:54:50 UTC | ***NO_CI*** hints for latest hs changes | 27 December 2017, 17:54:56 UTC |
| f83c498 | Aseem Rastogi | 26 December 2017, 09:02:32 UTC | ***NO_CI*** syncing with latest hs changes | 26 December 2017, 09:02:32 UTC |
| f02bf26 | Aseem Rastogi | 25 December 2017, 19:43:24 UTC | ***NO_CI*** cp | 25 December 2017, 19:43:24 UTC |
| 5c231be | Aseem Rastogi | 25 December 2017, 13:36:04 UTC | ***NO_CI*** syncing with hyperstack changes | 25 December 2017, 13:36:04 UTC |
| eb198db | Nikhil Swamy | 23 December 2017, 18:50:57 UTC | remove a stale option "split_cases" | 23 December 2017, 18:50:57 UTC |
| 6c43712 | Aseem Rastogi | 21 December 2017, 14:36:35 UTC | ***NO_CI*** hints | 21 December 2017, 14:36:35 UTC |
| 36f65af | Aseem Rastogi | 21 December 2017, 12:25:26 UTC | ***NO_CI*** hints | 21 December 2017, 12:25:26 UTC |
| 3518b72 | Aseem Rastogi | 21 December 2017, 10:56:46 UTC | ***NO_CI*** hints | 21 December 2017, 10:56:46 UTC |
| 1c729ea | Aseem Rastogi | 20 December 2017, 12:50:39 UTC | hints | 20 December 2017, 12:50:39 UTC |
| 420e599 | Aseem Rastogi | 20 December 2017, 10:51:02 UTC | ***NO_CI*** reverting some changes for mrref | 20 December 2017, 10:51:02 UTC |
| 2ecd6fc | Aseem Rastogi | 19 December 2017, 13:54:55 UTC | ***NO_CI*** hints | 19 December 2017, 13:54:55 UTC |
| 16543ea | Aseem Rastogi | 19 December 2017, 11:43:43 UTC | ***NO_CI*** removing the last assume, seems to work fine with hints | 19 December 2017, 11:43:53 UTC |
| 7b1fca6 | Aseem Rastogi | 19 December 2017, 11:14:37 UTC | ***NO_CI*** doing away with another assume | 19 December 2017, 11:14:37 UTC |
| 25d6fd4 | Aseem Rastogi | 19 December 2017, 10:47:53 UTC | ***NO_CI*** removing one assume from AEAD.Encrypt | 19 December 2017, 10:47:53 UTC |
| c38181f | Aseem Rastogi | 18 December 2017, 16:14:10 UTC | ***NO_CI*** merge with fstar-master | 18 December 2017, 16:14:16 UTC |
| a73f7a4 | Aseem Rastogi | 18 December 2017, 15:00:13 UTC | hints for sha256 | 18 December 2017, 15:00:13 UTC |
| da4df8d | Nikhil Swamy | 15 December 2017, 20:08:30 UTC | fresh hints again | 15 December 2017, 20:08:30 UTC |
| 2b18737 | Nikhil Swamy | 15 December 2017, 19:43:38 UTC | fresh hints | 15 December 2017, 19:43:38 UTC |
| 259dcf2 | Nikhil Swamy | 14 December 2017, 05:32:43 UTC | admitting a property that does not replay | 14 December 2017, 05:32:43 UTC |
| 2991c99 | Nikhil Swamy | 14 December 2017, 04:29:53 UTC | new hints, plus one assume in Encrypt ... still do be diagnosed | 14 December 2017, 04:29:53 UTC |
| 0320c82 | Nikhil Swamy | 13 December 2017, 02:44:37 UTC | new hints, one targeted assume | 13 December 2017, 02:44:37 UTC |
| aaae666 | Nikhil Swamy | 12 December 2017, 04:14:51 UTC | new hints | 12 December 2017, 04:14:51 UTC |
| 7295f9f | Aseem Rastogi | 11 December 2017, 17:43:56 UTC | ***NO_CI*** some changes for F* monotonic hyperstack | 11 December 2017, 17:43:56 UTC |
| 6256887 | Aseem Rastogi | 30 November 2017, 15:48:35 UTC | hints for a friend | 30 November 2017, 15:48:35 UTC |
| 547eb1c | Jonathan Protzenko | 15 November 2017, 17:15:49 UTC | Upgrade HACL* to have a good distinction between C.String (a low-level type) and Prims.string (a GC-backed value type) | 15 November 2017, 17:15:49 UTC |
| acf310b | Aseem Rastogi | 13 November 2017, 13:47:33 UTC | new hints | 13 November 2017, 13:47:33 UTC |
| 3cc5294 | Jonathan Protzenko | 10 November 2017, 19:20:13 UTC | Do without the ugly hack and use GTot instead | 10 November 2017, 19:20:13 UTC |
| 9698468 | Jonathan Protzenko | 10 November 2017, 19:04:25 UTC | restore krml-test-hacl.exe | 10 November 2017, 19:04:25 UTC |
| 6675633 | Jonathan Protzenko | 10 November 2017, 17:40:22 UTC | Make the main test function go through the API | 10 November 2017, 17:40:22 UTC |
| 02ca474 | Jonathan Protzenko | 10 November 2017, 00:00:31 UTC | tweaks | 10 November 2017, 00:00:31 UTC |
| cc0fc73 | Nikhil Swamy | 09 November 2017, 04:15:22 UTC | remove a couple of noextract | 09 November 2017, 04:15:22 UTC |
| f833381 | Jonathan Protzenko | 08 November 2017, 21:27:39 UTC | Rely on the reachability analysis to drop spec files, rather than using -drop. Use the new bundles. Workaround noextract issue. | 08 November 2017, 21:27:39 UTC |
| 75ac88b | Jonathan Protzenko | 08 November 2017, 16:40:55 UTC | Restore krml-test-hacl.exe via a combination of inline_for_extraction, noextract, private, renaming and better bundling. | 08 November 2017, 16:40:55 UTC |
| a6fd9e5 | Jonathan Protzenko | 07 November 2017, 19:19:04 UTC | Band-aid... doesn't fix everything | 07 November 2017, 19:19:04 UTC |
| d521203 | Nikhil Swamy | 07 November 2017, 05:52:26 UTC | fix the krml-test-hacl.exe target | 07 November 2017, 05:52:26 UTC |
| a828f9d | Jonathan Protzenko | 03 November 2017, 20:28:00 UTC | Merge remote-tracking branch 'origin/master' into fstar-master | 03 November 2017, 20:28:00 UTC |
| fec0444 | Benjamin Beurdouche | 03 November 2017, 11:28:41 UTC | Merge branch 'master' of github.com:mitls/hacl-star | 03 November 2017, 11:28:41 UTC |
| fefea1b | Benjamin Beurdouche | 03 November 2017, 11:21:40 UTC | More restrictions on the snapshots generation by default | 03 November 2017, 11:21:40 UTC |
| 956caac | Benjamin Beurdouche | 03 November 2017, 11:20:27 UTC | Fix Extraction of Ed25519 | 03 November 2017, 11:20:27 UTC |
| 858f8bd | Benjamin Beurdouche | 03 November 2017, 10:39:02 UTC | Merge pull request #75 from franziskuskiefer/fix-nss-patches fix nss patches | 03 November 2017, 10:39:02 UTC |
| 0e1919b | Franziskus Kiefer | 03 November 2017, 10:36:57 UTC | fix nss patches | 03 November 2017, 10:36:57 UTC |
| ca380d7 | Benjamin Beurdouche | 03 November 2017, 09:38:17 UTC | Use C comment for inclusion of the LICENSE in C files | 03 November 2017, 09:38:17 UTC |
| 85b744b | Benjamin Beurdouche | 02 November 2017, 10:13:22 UTC | Merge pull request #44 from franziskuskiefer/master Add targets and patches for NSS | 02 November 2017, 10:13:22 UTC |
| e8003f5 | Benjamin Beurdouche | 02 November 2017, 10:12:05 UTC | Merge branch 'master' into master | 02 November 2017, 10:12:05 UTC |
| bdbbc0c | Benjamin Beurdouche | 02 November 2017, 09:36:57 UTC | Merge pull request #73 from franziskuskiefer/fix-upstream-dependencies Fix some make prepare paths | 02 November 2017, 09:36:57 UTC |
| be5753b | Jonathan Protzenko | 01 November 2017, 20:02:09 UTC | Fix Makefile that had been broken for the past four months | 01 November 2017, 20:02:09 UTC |
| 14f1fac | Jonathan Protzenko | 31 October 2017, 22:49:00 UTC | Get rid of undefined C behavior (zero-sized buffer) and use a null pointer instead. | 31 October 2017, 22:49:00 UTC |
| fa23332 | Jonathan Protzenko | 27 October 2017, 23:21:38 UTC | A couple more inline_for_extraction's | 27 October 2017, 23:21:58 UTC |
| d44fb21 | Guido Martínez | 27 October 2017, 00:41:42 UTC | all: SMTPatT -> SMTPat see FStarLang/FStar#957 | 27 October 2017, 00:41:42 UTC |
| 3b05020 | Jonathan Protzenko | 26 October 2017, 23:02:47 UTC | Missing inline_for_extraction | 26 October 2017, 23:02:47 UTC |
| 93246ac | Franziskus Kiefer | 26 October 2017, 07:25:50 UTC | use absolute path for HACL_HOME | 26 October 2017, 07:28:06 UTC |
| 8d41fe8 | Franziskus Kiefer | 25 October 2017, 10:29:32 UTC | remove dependencies target (we can use prepare) | 25 October 2017, 10:29:32 UTC |
| 74462bb | Franziskus Kiefer | 25 October 2017, 10:13:53 UTC | fix make prepare paths | 25 October 2017, 10:13:53 UTC |
| 1e343eb | Franziskus Kiefer | 25 October 2017, 09:09:59 UTC | addressed comments * inlined gcc_compat.h * removed unnecessary test target * updated license text | 25 October 2017, 09:09:59 UTC |
| e25be69 | Franziskus Kiefer | 25 October 2017, 08:08:08 UTC | merge upstream master | 25 October 2017, 08:08:08 UTC |
| 2dcc490 | Aseem Rastogi | 23 October 2017, 10:10:26 UTC | hints with new F* (changes in the smtencoding) | 23 October 2017, 10:10:26 UTC |
| f48bc3f | Dzomo the Everest Yak | 21 October 2017, 10:29:02 UTC | [CI] New assemblies coming from Vale | 21 October 2017, 10:29:02 UTC |
| 528a404 | Benjamin Beurdouche | 20 October 2017, 05:12:12 UTC | Resurecting experiment from a branch | 20 October 2017, 05:12:12 UTC |
| c5c9400 | Jonathan Protzenko | 19 October 2017, 22:48:28 UTC | build this branch against fstar/master | 19 October 2017, 22:48:28 UTC |
| 4211854 | Nikhil Swamy | 19 October 2017, 21:31:22 UTC | getting Hacl.Hash.SHA2_256 to workagain | 19 October 2017, 21:31:22 UTC |
| 02dca61 | Nikhil Swamy | 19 October 2017, 20:01:17 UTC | regen hints for AEAD.Encrypt | 19 October 2017, 20:01:17 UTC |
| 69d107d | Jonathan Protzenko | 19 October 2017, 15:52:58 UTC | Merge branch 'fstar-master' of github.com:mitls/hacl-star into fstar-master | 19 October 2017, 15:52:58 UTC |
| aecf7c2 | Jonathan Protzenko | 19 October 2017, 15:50:26 UTC | fixup Makefile | 19 October 2017, 15:50:26 UTC |
| c93dd40 | Nikhil Swamy | 18 October 2017, 21:54:19 UTC | fixes to handle the changes due to a fix of FStarLang/FStar#1091 | 18 October 2017, 21:54:19 UTC |
| 88fd2d4 | Santiago Zanella-Beguelin | 18 October 2017, 14:27:56 UTC | Fix krml-test-hacl.exe | 18 October 2017, 19:52:59 UTC |
| 7fb20a2 | Benjamin Beurdouche | 18 October 2017, 18:35:10 UTC | Revert breaking change in lowc_stub (with F* stable) | 18 October 2017, 18:35:10 UTC |
| 3e3688b | Benjamin Beurdouche | 18 October 2017, 17:28:52 UTC | Refresh snapshot to use a previous version of Kremlib | 18 October 2017, 17:28:52 UTC |
| 0c89733 | Benjamin Beurdouche | 18 October 2017, 17:22:50 UTC | Revert "Refresh KreMLin library" This reverts commit e0656ffb0900ad6659f961579235f5f3fd0b26d2. | 18 October 2017, 17:22:50 UTC |
