[CI] regenerate hints + ocaml snapshot

FStarLang · Sep 14, 2018 · 272bfd5 · 272bfd5
1 parent 4e5974c
commit 272bfd5
Show file tree

Hide file tree

Showing 358 changed files with 6,049 additions and 5,034 deletions.
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,
-      "b6687cbc476fd20d31713c942f9711a8"
+      "76e3147de1d785692c5752d090cd976c"
     ],
     [
       "Ex03a.factorial",
@@ -31,7 +31,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "dae73103b13efa0e57bbb6d6fa73a752"
+      "61401b1e8c4405bd2c79cca75fdba980"
     ]
   ]
 ]
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,
-      "3eb5e92cb6a537be8d1562e9a90a1cec"
+      "c313cdc06a906f357649d990ed699f23"
     ],
     [
       "Ex03b.fibonacci",
@@ -31,7 +31,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "46fe0bf374bd12ea112c360478137bed"
+      "d9ff4730065f2704b795c2a11474c97b"
     ]
   ]
 ]
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,
-      "936f98103cc4eda3bf0b1856bc235614"
+      "dc68bcbafa2a36619037586e34925bde"
     ],
     [
       "Ex03c.fibonacci",
@@ -35,7 +35,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "88d40100c5f9008931d0c6f2945c8e40"
+      "2aa0d7cecafadad8438221ebb8b2c576"
     ]
   ]
 ]
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,
-      "fab9dc3186a6c9366e799e337907ddd8"
+      "8ec752beaf705eb747b1ed9629bfb008"
     ],
     [
       "Ex04a.append",
@@ -30,7 +30,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "62c6dfd7e17bd3e923cf192ba32828d5"
+      "c8fe010178d564da6579e851d6b570b6"
     ],
     [
       "Ex04a.length",
@@ -47,7 +47,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "2004ba46bf4ccbd85339eb44602c0af4"
+      "bbfbb0b6e69935eac642d74184010fb5"
     ],
     [
       "Ex04a.append",
@@ -61,7 +61,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "51d39c4a679a04d1d493f48354b0dcae"
+      "cda88999adcc79d06b37207112ed247d"
     ]
   ]
 ]
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,
-      "d02d6627e3f392b08c9e8ce1c5230a3b"
+      "1440708be33e0e7b3c2ce24d8104aa8f"
     ],
     [
       "Ex04b.append",
@@ -31,7 +31,7 @@
         "projection_inverse_Prims.Cons_tl", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "9f5b23ca8b769b5039d84b242d12b095"
+      "7d6dc0fadd12b74725dc84a28134d931"
     ],
     [
       "Ex04b.append_len",
@@ -57,7 +57,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "a26a13220999c9dba765c81fd046892d"
+      "7d53632089291d3d1d8822a3c7b848e1"
     ],
     [
       "Ex04b.append",
@@ -71,7 +71,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "d569a36a2c96956990dad164d8dfd2ff"
+      "2163782d98ff5791ada9875a39f7414e"
     ],
     [
       "Ex04b.append_len",

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,
-      "ffc55c0c4e9a74e9122a70f26ef7940c"
+      "a02ed18a045b3fa57772585d87c790e0"
     ],
     [
       "Ex04c.mem",
@@ -28,7 +28,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "e91339b1985f802aeaa5ecc7af66a197"
+      "b56970501804ac73a158c189405b8fbc"
     ],
     [
       "Ex04c.append",
@@ -42,7 +42,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "c8cb79f40ab20ab8509802d2f802e9ef"
+      "df19543978e2c23beac8e29ea9e5d927"
     ],
     [
       "Ex04c.mem",
@@ -57,7 +57,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "258b6c7e64d7b57bb26a3800e846453a"
+      "c20556427a089e049c7cb71757cfcd0e"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex04e.fst.hints b/doc/tutorial/code/exercises/Ex04e.fst.hints
@@ -35,7 +35,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "2793520c35377104b3958d51dbe2fd52"
+      "41e05aae09d5cb18130195d1cb7f25e8"
     ],
     [
       "Ex04e.option",
@@ -71,7 +71,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "1e4efe914a23e44358491cb7579c5e11"
+      "330e051f9af1465a63b0afa4212850fb"
     ]
   ]
 ]
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,
-      "0cb1eb8c0837ad0d30237a5dbd69c088"
+      "c6ffb06d2e38689fb8a21ef55b2d44de"
     ],
     [
       "Ex04f.reverse",
@@ -29,7 +29,7 @@
         "projection_inverse_Prims.Cons_tl", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "f889c9d10cb3dd73edfc158c069bc343"
+      "994e3bf9a1558d240b021be8a29e4b4c"
     ],
     [
       "Ex04f.append",
@@ -43,7 +43,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "a0ad81cd657dbc4d575ea00911d435f4"
+      "8cde49732245b28aa6ed72366319cc86"
     ],
     [
       "Ex04f.reverse",
@@ -57,7 +57,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "8391f3c3a60be84fad2d28175d6840a8"
+      "cba2df6efb3cefd38d3a7942213ca7b5"
     ]
   ]
 ]
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,
-      "314bdb51b5142a141cccd4ea6d59e5c3"
+      "78f442075beb1f149c88bf49f3f7ce0f"
     ],
     [
       "Ex05a.reverse",
@@ -27,7 +27,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "cb42482a295f6d5bfab4139d7cb3b4e0"
+      "6ff7a998392647d5a6c13b5e5da50569"
     ],
     [
       "Ex05a.rev",
@@ -42,7 +42,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "239646108938d77861f9fa992a334631"
+      "123020bf33ba9a1d7994eb890d2c984c"
     ],
     [
       "Ex05a.append_assoc",
@@ -78,7 +78,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "3f1fe816a325d337910683bfd6bd50f4"
+      "da753a0ea698a7378722f8243822fb4b"
     ],
     [
       "Ex05a.reverse",
@@ -92,7 +92,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "f9097ffca4f4349ce5441ee1a1cbce05"
+      "bce4032db6caa5e7209e989132c9810d"
     ],
     [
       "Ex05a.rev",
@@ -107,7 +107,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "ab43c71597323ba5db0739edbb064e5d"
+      "34181cb70dee024a908b80d31648ddcc"
     ]
   ]
 ]
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,
-      "119128aa621c5bd54da8960e175199d0"
+      "e82513efc45e644b87153b95ef00e167"
     ],
     [
       "Ex05b.fib",
@@ -37,7 +37,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "f7f1d31925eda0efd4bf3a09d3ea3efa"
+      "a0519c2f42fff1155377c627f20a84dc"
     ],
     [
       "Ex05b.fib_is_ok",
@@ -67,7 +67,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "600af676c19c7759ed128ccb318ea275"
+      "2d622ee58aceb5e0327aed17069b4fb5"
     ],
     [
       "Ex05b.fib",
@@ -87,7 +87,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "d5d286966c0be7cf11faa649b4f43f2c"
+      "a6e89d43e37688eda9e2a90fad1ced00"
     ],
     [
       "Ex05b.fib_is_ok",