Merge branch 'master' into amanning-fix1403

FStarLang · Mar 16, 2018 · 6c1fabb · 6c1fabb
2 parents 7e28608 + 355cbda
commit 6c1fabb
Show file tree

Hide file tree

Showing 596 changed files with 26,602 additions and 19,467 deletions.
diff --git a/doc/tutorial/code/exercises/Ex01a.fst.hints b/doc/tutorial/code/exercises/Ex01a.fst.hints
@@ -8,7 +8,7 @@
       1,
       [ "@query", "assumption_Prims.HasEq_string" ],
       0,
-      "cc2d566bdb2778381b2e860daf7a8067"
+      "0bd7f9d0615da792eae7f8ac6809c85f"
     ],
     [
       "Ex01a.read",
@@ -20,7 +20,7 @@
         "fuel_guarded_inversion_FStar.Pervasives.result"
       ],
       0,
-      "c8bf6a1044947a4ea3d059260f4e7fde"
+      "f4156027209ae5eae4f020e394bab5ca"
     ],
     [
       "Ex01a.staticChecking",
@@ -39,7 +39,7 @@
         "projection_inverse_FStar.Pervasives.V_v"
       ],
       0,
-      "0d7197aee2f916f77f9831800a9c6153"
+      "c9e90cb2399eb3bd1f637e1ccbce307c"
     ],
     [
       "Ex01a.checkedRead",
@@ -48,7 +48,7 @@
       1,
       [ "@query", "projection_inverse_BoxBool_proj_0" ],
       0,
-      "f09aa3911307511c4b8f5e24f396128f"
+      "f6997abbd678b684e8e2ee0cf7c065fc"
     ],
     [
       "Ex01a.canRead",
@@ -57,7 +57,7 @@
       1,
       [ "@query", "assumption_Prims.HasEq_string" ],
       0,
-      "a347b30cf0e65b4a783bdc5537e489d7"
+      "985f2f2aa0e6cb1aadeb21f989edfde7"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex02a.fst.hints b/doc/tutorial/code/exercises/Ex02a.fst.hints
@@ -8,7 +8,7 @@
       1,
       [ "@query", "assumption_Prims.HasEq_string" ],
       0,
-      "e40b9a45a6f7f414158842f6c89c44aa"
+      "553083268720fa7ce9d65e5c0da98a22"
     ],
     [
       "Ex02a.canRead",
@@ -17,7 +17,7 @@
       1,
       [ "@query", "assumption_Prims.HasEq_string" ],
       0,
-      "41520194dcec978938aa515c630d5648"
+      "4204b4f6f4bc8efc43e9818376f54145"
     ]
   ]
 ]
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,
-      "bfb0fd5ea69fca53761e9997a26c38e6"
+      "0bf5832e06bf4bbc115cbbd50b438bce"
     ],
     [
       "Ex03a.factorial",
@@ -31,7 +31,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "86aa59a9ba00829ec1d3626300ac733c"
+      "29c585ffa6eba70982e8270c34f7210a"
     ]
   ]
 ]
diff --git a/doc/tutorial/code/exercises/Ex03b.fst.hints b/doc/tutorial/code/exercises/Ex03b.fst.hints
@@ -14,7 +14,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "bacea8c79f69feede95e68b093b29ea9"
+      "74486d7168d57df1b874ca8c31bce7ae"
     ],
     [
       "Ex03b.fibonacci",
@@ -30,7 +30,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "dadb25c308ec9791568b7f644294e74a"
+      "534ed895c0a65c7a4a5ec6d9994c651f"
     ]
   ]
 ]
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,
-      "b3397d57e18dc51cd363c82d192884d1"
+      "579a38f65f0c0fecc59ae0d813008455"
     ],
     [
       "Ex03c.fibonacci",
@@ -35,7 +35,7 @@
         "well-founded-ordering-on-nat"
       ],
       0,
-      "1e7098482f96ae5b8113b85150a756a4"
+      "0f4fea5d0495617a9aa2c3c055240cdd"
     ]
   ]
 ]
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,
-      "a52da7e231bbd53b26d6a4645a564c9d"
+      "ba26abeea9998b4af854e8684dd7b1c5"
     ],
     [
       "Ex04a.append",
@@ -31,7 +31,7 @@
         "projection_inverse_Prims.Cons_tl", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "f3f0a6df9a514c442989cef07d6b263f"
+      "4d494fe95d1a7b67398234958e346160"
     ],
     [
       "Ex04a.length",
@@ -48,7 +48,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "59026f7ef8bc34983ca7ab4c60ee4657"
+      "83f9929119c0d7fdc426354a2e0c004a"
     ],
     [
       "Ex04a.append",
@@ -62,7 +62,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "4d7ceb8bff58b677707377cd9d1c2143"
+      "57330f960a11303a512a1aef2c14a0d4"
     ]
   ]
 ]
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,
-      "49d9b9b28f8f39fb9aee049c0e4ae380"
+      "5a3e6210af0f7d3cbef74a6c39eaee54"
     ],
     [
       "Ex04b.append",
@@ -31,7 +31,7 @@
         "projection_inverse_Prims.Cons_tl", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "b9bc98ce3241e265d8c4a3b78fa3bee9"
+      "20c8d219b047eb8d72c8b129f8dc0b80"
     ],
     [
       "Ex04b.append_len",
@@ -40,7 +40,7 @@
       1,
       [ "@query", "assumption_Prims.HasEq_int" ],
       0,
-      "e12543938eb873996cab38324db4b05c"
+      "eb8bfb219f8054c03db9180c055f3532"
     ],
     [
       "Ex04b.length",
@@ -57,7 +57,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "8a3dda14129f29ccebb9f3f480ad7227"
+      "9a70557698056d362113813bc495b099"
     ],
     [
       "Ex04b.append",
@@ -71,7 +71,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "959ae8c620c829fad4b27f92e760a1ae"
+      "4a06679e6a05e6451a4f643123fa820d"
     ],
     [
       "Ex04b.append_len",
@@ -80,7 +80,7 @@
       1,
       [ "@query", "assumption_Prims.HasEq_int" ],
       0,
-      "b6ea2b2809b3f357e641b94fa43c8e78"
+      "fb8479956b7dc193288c9b336c9e0a28"
     ]
   ]
 ]
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,
-      "299d275be178792e0d76e9c1a2eeecb2"
+      "76fe422b339641c8ddeefa0e4a446f1c"
     ],
     [
       "Ex04c.mem",
@@ -28,7 +28,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "e6ff28506fbc54ae0dcf1206d4d135da"
+      "cfefaa698863d7c085006b839fe2f72f"
     ],
     [
       "Ex04c.append",
@@ -42,7 +42,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "b5f344953df31545f0e8d41be7a0f157"
+      "8d8ab83b683815b7a5dc229eb542e58a"
     ],
     [
       "Ex04c.mem",
@@ -57,7 +57,7 @@
         "subterm_ordering_Prims.Cons"
       ],
       0,
-      "646b0ef7f809be39482363acf7080b63"
+      "d5b955178dfdfd3f0a7803fd4c7af2c6"
     ]
   ]
 ]
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,
-      "75d31eed6bdbd1aae465dee32f62e0be"
+      "927a7cb7ed370f2ff7c891b822e9466b"
     ],
     [
       "Ex04e.__proj__Some__item__v",
@@ -21,7 +21,7 @@
         "refinement_interpretation_Ex04e_Tm_refine_5940fa0a1398f97ef02a98908357b71e"
       ],
       0,
-      "39b08b1c17e8f21a4e9461b7d73f2f45"
+      "d522804f824d900f51ead5d72783f950"
     ],
     [
       "Ex04e.find",
@@ -36,7 +36,7 @@
         "projection_inverse_Prims.Cons_tl", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "0754c98ef465f9473a8709e7a771b197"
+      "1ebd0b033a1444c740cf0b76b7f3171d"
     ],
     [
       "Ex04e.option",
@@ -45,7 +45,7 @@
       1,
       [ "@query" ],
       0,
-      "c80d5b81dc3ff1d686140ddb594f51d7"
+      "d5046c688e4f2b5395b6969180fa20c4"
     ],
     [
       "Ex04e.__proj__Some__item__v",
@@ -58,7 +58,7 @@
         "refinement_interpretation_Ex04e_Tm_refine_5940fa0a1398f97ef02a98908357b71e"
       ],
       0,
-      "fbd532a59efbe2facfa98d31f10eb558"
+      "0b60ae96a2073c6b2d35393a671cb087"
     ],
     [
       "Ex04e.find",
@@ -72,7 +72,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "3f52e688ab149d9d9211a08ecab3be64"
+      "1381194b10ada171aea906031ebd2a53"
     ]
   ]
 ]
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,
-      "44199833694d88a7257eedf1c23046bf"
+      "e619febb6341e719782d0d690d8e3d8e"
     ],
     [
       "Ex04f.reverse",
@@ -29,7 +29,7 @@
         "projection_inverse_Prims.Cons_tl", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "affd98a26f833769a69919e6e5adcf00"
+      "11f37e7e97000c7637a3603f029ca8d9"
     ],
     [
       "Ex04f.append",
@@ -43,7 +43,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "d2d397a82df15fe3498944ca6b7ed1a8"
+      "da8aed3e8c939250fcd8ab0e767eb4ac"
     ],
     [
       "Ex04f.reverse",
@@ -57,7 +57,7 @@
         "fuel_guarded_inversion_Prims.list", "subterm_ordering_Prims.Cons"
       ],
       0,
-      "d287ebfaa9d40120549ad5f467aaf67d"
+      "5cf73be99c86ac8dd1ce417051423e98"
     ]
   ]
 ]