[CI] regenerate hints + ocaml snapshot

FStarLang · Nov 10, 2018 · 4590915 · 4590915
1 parent 5c640f6
commit 4590915
Show file tree

Hide file tree

Showing 733 changed files with 20,231 additions and 17,618 deletions.
diff --git a/doc/tutorial/code/exercises/Ex01a.fst.hints b/doc/tutorial/code/exercises/Ex01a.fst.hints
@@ -18,7 +18,7 @@
         "projection_inverse_FStar.Pervasives.V_v"
       ],
       0,
-      "204beccbad23482004dddd7fe00c70bb"
+      "b34d342425ba61d4f9f73c53b83abcf3"
     ],
     [
       "Ex01a.checkedRead",
@@ -27,7 +27,7 @@
       1,
       [ "@query", "projection_inverse_BoxBool_proj_0" ],
       0,
-      "85168cf9b5f1eb36493af730b898cb62"
+      "0eb12aef570adcd3cb12f3561051680b"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex03a.fst.hints b/doc/tutorial/code/exercises/Ex03a.fst.hints
@@ -15,7 +15,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "f105bf58237cc4f540899fdacdd4da1a"
+      "3b013ac52fb5e80dcb1b0bae24f8753e"
     ],
     [
       "Ex03a.factorial",
@@ -31,7 +31,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "6e70f13de5f4a58a11fb289e863d4ab3"
+      "ab1019a7c27c572796a264bec709f0a5"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex03b.fst.hints b/doc/tutorial/code/exercises/Ex03b.fst.hints
@@ -15,7 +15,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "a738722fd2f6852c0410b34b769340d5"
+      "f59593109337de54c9a39068c39923de"
     ],
     [
       "Ex03b.fibonacci",
@@ -31,7 +31,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "d01ebe5ede6f5cbae060508a9507bae9"
+      "80c22d9510f432b3c2b658346db99e7a"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex03c.fst.hints b/doc/tutorial/code/exercises/Ex03c.fst.hints
@@ -17,7 +17,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "253e8b406c13e1f32fb53efc27c9f63d"
+      "5ff183ed65592a54773225b2f4b9b493"
     ],
     [
       "Ex03c.fibonacci",
@@ -35,7 +35,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "fc34a871f6775f30ab35f90cc63c6504"
+      "36bb6b2403fd0a3faad8164b950478b8"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex04a.fst.hints b/doc/tutorial/code/exercises/Ex04a.fst.hints
@@ -16,7 +16,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "7153b06ff0977632caa285f39bd1bf5a"
+      "746a7e13eee21c4ed76f830f3a772cc1"
     ],
     [
       "Ex04a.append",
@@ -30,7 +30,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "3d37cf7329235387ed6afebf8a96d3c0"
+      "3ae9e9a042b0359fc250ebcd104d20e8"
     ],
     [
       "Ex04a.length",
@@ -47,7 +47,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "b1894250d71b1792a2412641005bb51c"
+      "07567aad7ec4820050323711d5ce662d"
     ],
     [
       "Ex04a.append",
@@ -61,7 +61,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "8bb36d5e3f626b34fdce1d2dc1da2b08"
+      "ea5a6b8afe20e77d93c73a06570a33b5"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex04b.fst.hints b/doc/tutorial/code/exercises/Ex04b.fst.hints
@@ -16,7 +16,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "ea69520e04b3aac308ee07032a20d0a6"
+      "39530b15004817989ed82f7e9cf9466a"
     ],
     [
       "Ex04b.append",
@@ -31,7 +31,7 @@
         "projection_inverse_Prims.Cons_tl", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "53f04401e574a1b48ab15b8cca93d08c"
+      "1f8b68ca26b11895e430bf2cce6d30c7"
     ],
     [
       "Ex04b.length",
@@ -48,7 +48,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "67d5a28e3b94004a2027e3a175b782bf"
+      "f3f0f3fbc05f70e43c1a89c44166b96e"
     ],
     [
       "Ex04b.append",
@@ -62,7 +62,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "2b6e5ba1c2135f80e60fda7fefa597e5"
+      "e76c86fa17b9c7e6ad0204924848e6e4"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex04c.fst.hints b/doc/tutorial/code/exercises/Ex04c.fst.hints
@@ -13,7 +13,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "4c5f440b82825eb02ec57e3199d1a021"
+      "d1ff73d76c07e1e59e981b3678d2e7cb"
     ],
     [
       "Ex04c.mem",
@@ -28,7 +28,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "3b5c3ba744907f122d92151fe6c547b0"
+      "461d24babdc69c934facb8a54b00072e"
     ],
     [
       "Ex04c.append",
@@ -42,7 +42,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "69559cb198df05207656fc5d7beb2dce"
+      "303e732bfd47a532581dd708803f64f8"
     ],
     [
       "Ex04c.mem",
@@ -57,7 +57,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "aff52504bf8fd3157e0b43ca46ae5cff"
+      "cf392973ea0e33ed86bcce14d89ec01c"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex04e.fst.hints b/doc/tutorial/code/exercises/Ex04e.fst.hints
@@ -8,7 +8,7 @@
       1,
       [ "@query" ],
       0,
-      "9ee9782924a735dcd2b6412d0d936b03"
+      "8e40bd0e4abada9f058a59ed37ef43f2"
     ],
     [
       "Ex04e.__proj__Some__item__v",
@@ -21,7 +21,7 @@
         "refinement_interpretation_Ex04e_Tm_refine_5940fa0a1398f97ef02a98908357b71e"
       ],
       0,
-      "f1b1a78287bd02aa8a322582c587ba45"
+      "57d284ff3812b325e0881e954e28a30f"
     ],
     [
       "Ex04e.find",
@@ -35,7 +35,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "820129d37e4ecb36aa3e4e7131bd773e"
+      "c9b92f5cf19489340da9d37925533c56"
     ],
     [
       "Ex04e.option",
@@ -44,7 +44,7 @@
       1,
       [ "@query" ],
       0,
-      "d09e0b61de49fb4d83e283b8dbf6b4dd"
+      "209c8b51e37a41fee7a23929c687fe8e"
     ],
     [
       "Ex04e.__proj__Some__item__v",
@@ -57,7 +57,7 @@
         "refinement_interpretation_Ex04e_Tm_refine_5940fa0a1398f97ef02a98908357b71e"
       ],
       0,
-      "850dfc0b91fb641f10541bf7bc175541"
+      "eb1a530912372d5531b92d3da85bf81e"
     ],
     [
       "Ex04e.find",
@@ -71,7 +71,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "6dd7ff7162795bc29c01c815f7979a89"
+      "9251c0ff4254298299c9bdda790a45f8"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex04f.fst.hints b/doc/tutorial/code/exercises/Ex04f.fst.hints
@@ -14,7 +14,7 @@
         "projection_inverse_Prims.Cons_tl", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "96e0948e698b77686666bc3a178a465c"
+      "dc6c827d12caf14eef4b0d3dfe21a520"
     ],
     [
       "Ex04f.reverse",
@@ -29,7 +29,7 @@
         "projection_inverse_Prims.Cons_tl", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "78fbc0cfac735b771cd453f035084234"
+      "f5a75581deeeae0ec819f21934119783"
     ],
     [
       "Ex04f.append",
@@ -43,7 +43,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "3380d7f495de0e72f9b4defc7cb13c0e"
+      "f1fc66a04c313ab2d01065b113936ec9"
     ],
     [
       "Ex04f.reverse",
@@ -57,7 +57,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "7619711027b7d672dff5929992fd59c2"
+      "2461095c87e5b19cd88e09eabef7e3ab"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex05a.fst.hints b/doc/tutorial/code/exercises/Ex05a.fst.hints
@@ -13,7 +13,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "ed5f406d2ed766429911419769866614"
+      "a0e0d111bf9f3f9277258616505e5a23"
     ],
     [
       "Ex05a.reverse",
@@ -27,7 +27,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "dbbf893540ad21b6e5835ca4efa5aa7b"
+      "e3abef7bd2217aeef42ef22d5c6c0e5f"
     ],
     [
       "Ex05a.rev",
@@ -42,7 +42,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "abc7de4f30d4ca8843d76159c8b3222a"
+      "3f0042a4a8efbc2832c10b3694b7d615"
     ],
     [
       "Ex05a.append_assoc",
@@ -64,7 +64,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "6de86a50cde5ab106bd8c551b4fbaa61"
+      "24d0eaabd638650c38383af42dd9bb91"
     ],
     [
       "Ex05a.append",
@@ -78,7 +78,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "d54ae59566e4457288b76cdd15ab8d2d"
+      "1e365cd40791bae9e629291bfbed60e7"
     ],
     [
       "Ex05a.reverse",
@@ -92,7 +92,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "6f8c283f9ef032729a66ecfff07d8465"
+      "6c29229c77a729101cf4d8fed48f6965"
     ],
     [
       "Ex05a.rev",
@@ -107,7 +107,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "e09f265c900eaad7301cd9a971ced3ed"
+      "4141f38211f16dcaf02052a7640898c5"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex05b.fst.hints b/doc/tutorial/code/exercises/Ex05b.fst.hints
@@ -17,7 +17,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "5c44538f28f266ff52ee894d22180047"
+      "cbe3f52adeecf689f1e4d3b5b157510a"
     ],
     [
       "Ex05b.fib",
@@ -37,7 +37,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "5ccf8c4608f8daff247acaceaf3ca719"
+      "029ea0564f4bf647a0c64eda251f8063"
     ],
     [
       "Ex05b.fib_is_ok",
@@ -51,7 +51,7 @@
         "refinement_interpretation_Prims_Tm_refine_414d0a9f578ab0048252f8c8f552b99f"
       ],
       0,
-      "8fe86327b55c0f5d0a8ee1626b639357"
+      "4c637fc96b0623502aae33f072a57f05"
     ],
     [
       "Ex05b.fibonacci",
@@ -69,7 +69,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "17c5314041fcf2896913529475e2aac5"
+      "41b9319ea7e605bfc0cba2a66f1adcd5"
     ],
     [
       "Ex05b.fib",
@@ -89,7 +89,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "3a530fe0cbb5315ee14c79cfff4269a5"
+      "3550e465ab28ad09f3089bc2bcc5870c"
     ],
     [
       "Ex05b.fib_is_ok",
@@ -103,7 +103,7 @@
         "refinement_interpretation_Prims_Tm_refine_414d0a9f578ab0048252f8c8f552b99f"
       ],
       0,
-      "05b29ffd079bc56502b142c3a3853993"
+      "53cde067230eca8e949ef9cd088f31a1"
     ]
   ]
 ]