Merge branch 'main' of github.com:FStarLang/steel into taramana_steel_c

FStarLang · Jul 26, 2023 · b711b11 · b711b11
2 parents 4fd5caa + 8e533a7
commit b711b11
Show file tree

Hide file tree

Showing 254 changed files with 28,329 additions and 10,553 deletions.
diff --git a/lib/steel/Steel.Array.fst.hints b/lib/steel/Steel.Array.fst.hints
@@ -8,7 +8,7 @@
       1,
       [ "@query", "equation_Steel.Array.pts_to_" ],
       0,
-      "b648e76df552074e38bd55fa8528b86c"
+      "a449501c9a8a49b7d51aa8b8b8b10737"
     ],
     [
       "Steel.Array.aselp",
@@ -20,7 +20,7 @@
         "refinement_interpretation_Tm_refine_d091b554085bad34aa8f4a8aec727221"
       ],
       0,
-      "fffd9eca554e060e1ba82d29f018db93"
+      "ce2cb59602ef9b76e63fac01348fdaf8"
     ],
     [
       "Steel.Array.asel",
@@ -32,7 +32,7 @@
         "refinement_interpretation_Tm_refine_25fbe89bee0bab60b5b7c05aadd09d5b"
       ],
       0,
-      "e7a1bd63bac30a06b7d4689e10d9c93b"
+      "d55f5ed69e37b9c609495fea14ee0068"
     ],
     [
       "Steel.Array.intro_varrayp",
@@ -47,7 +47,7 @@
         "fuel_guarded_inversion_Steel.FractionalPermission.perm"
       ],
       0,
-      "ace82dc0f927e56b2d786cf83a2812ff"
+      "8147717f0a8d95342b406a889ef446b2"
     ],
     [
       "Steel.Array.elim_varrayp",
@@ -68,7 +68,7 @@
         "typing_FStar.Seq.Properties.lseq", "typing_Steel.ST.Array.length"
       ],
       0,
-      "23945c48d67fa879bbdf294e237341d1"
+      "5516293eb4edccd8266fdbc314b8185c"
     ],
     [
       "Steel.Array.varrayp_not_null",
@@ -77,7 +77,7 @@
       1,
       [ "@query" ],
       0,
-      "804a7ed3404692cf6761bb3ed14db434"
+      "c6882926e8210e64093a6200e9d42497"
     ],
     [
       "Steel.Array.malloc",
@@ -86,7 +86,7 @@
       1,
       [ "@query" ],
       0,
-      "ec1bd683943cbaae7236ad0cbd434ce1"
+      "d9fe0c5cf4f091a880f1e98012f8a11d"
     ],
     [
       "Steel.Array.free",
@@ -98,7 +98,7 @@
         "equation_Steel.Effect.Common.prop_and", "true_interp"
       ],
       0,
-      "c90ff0faaaf0b2d601364f5483fa021b"
+      "be3327bca22288387022f2d4a33ea224"
     ],
     [
       "Steel.Array.share",
@@ -107,7 +107,7 @@
       1,
       [ "@query" ],
       0,
-      "90f1c1ef4036ad5a69aa4b2c9be59fed"
+      "f54da26af69af061b018a79b6336f569"
     ],
     [
       "Steel.Array.gather",
@@ -116,7 +116,7 @@
       1,
       [ "@query" ],
       0,
-      "ab310197d1baa08483ba9c051245f9cc"
+      "7fc1ab4c17ac3f180dad3d1dddd31ec0"
     ],
     [
       "Steel.Array.index",
@@ -125,7 +125,7 @@
       1,
       [ "@query" ],
       0,
-      "2b13bba1559f631f22b11bda591670c1"
+      "b47dca2d0bb5576c583bea7592b78623"
     ],
     [
       "Steel.Array.upd",
@@ -140,7 +140,7 @@
         "refinement_interpretation_Tm_refine_a0cd7d06c5da6444b6b51b319febde8e"
       ],
       0,
-      "771b0412974a708b27c9e0a769cd52ef"
+      "41ab34f7d027d3c8e03c2c2b7a7b801e"
     ],
     [
       "Steel.Array.ghost_join",
@@ -152,7 +152,7 @@
         "refinement_interpretation_Tm_refine_2de20c066034c13bf76e9c0b94f4806c"
       ],
       0,
-      "fc99f1fc4f4952ec0996656640828819"
+      "eec7473683d5873b5b7d2b024a23de2c"
     ],
     [
       "Steel.Array.join",
@@ -161,7 +161,7 @@
       1,
       [ "@query" ],
       0,
-      "93cb28986dcc2a5333164dbe5bb5afe5"
+      "f7ce868f644d2fd8d650f21302c1f8a0"
     ],
     [
       "Steel.Array.ghost_split",
@@ -194,7 +194,7 @@
         "typing_FStar.SizeT.t", "typing_FStar.SizeT.v"
       ],
       0,
-      "376b7e90c1b7e072c29756f64d40f318"
+      "3c7129a290ae95decc48fe60974685eb"
     ],
     [
       "Steel.Array.memcpy",
@@ -203,7 +203,7 @@
       1,
       [ "@query" ],
       0,
-      "972cbbff4b9f2110ddd238899cacc2d2"
+      "30688a40bf0c0ad0812dee75b0b2367c"
     ],
     [
       "Steel.Array.compare",
@@ -223,7 +223,7 @@
         "refinement_interpretation_Tm_refine_a92be4db372471498059330d6dbb66c5"
       ],
       0,
-      "1430d65c0b1a504fd32f45b5a9778a90"
+      "8ed5a63b628664a3861d03835bf1ff79"
     ],
     [
       "Steel.Array.ptrdiff",
@@ -232,7 +232,7 @@
       1,
       [ "@query" ],
       0,
-      "da1879dd47b20a3a7a787271292be212"
+      "52c353530cbc38bb2ef8c963fa1f119c"
     ]
   ]
 ]
diff --git a/lib/steel/Steel.Array.fsti.hints b/lib/steel/Steel.Array.fsti.hints
@@ -11,7 +11,7 @@
         "refinement_interpretation_Tm_refine_d091b554085bad34aa8f4a8aec727221"
       ],
       0,
-      "5090f435092e3327cfbcc256bbefa255"
+      "15b0abacf5efdf384be7decc962009e1"
     ],
     [
       "Steel.Array.asel",
@@ -23,7 +23,7 @@
         "refinement_interpretation_Tm_refine_25fbe89bee0bab60b5b7c05aadd09d5b"
       ],
       0,
-      "5cc4a339328b92d5e0e1cfdda4b745bd"
+      "d55f5ed69e37b9c609495fea14ee0068"
     ],
     [
       "Steel.Array.varrayp_not_null",
@@ -32,7 +32,7 @@
       1,
       [ "@query" ],
       0,
-      "f47c500c82e39b07c547f6b7e3a57c39"
+      "dbdd8ae0a9d525d4e890870e4e56c754"
     ],
     [
       "Steel.Array.malloc",
@@ -41,7 +41,7 @@
       1,
       [ "@query" ],
       0,
-      "25690fcbb035436a2b734f8464008c86"
+      "d9fe0c5cf4f091a880f1e98012f8a11d"
     ],
     [
       "Steel.Array.free",
@@ -53,7 +53,7 @@
         "equation_Steel.Effect.Common.prop_and", "true_interp"
       ],
       0,
-      "574626357beeea6f7ce9d99160437c27"
+      "be3327bca22288387022f2d4a33ea224"
     ],
     [
       "Steel.Array.share",
@@ -62,7 +62,7 @@
       1,
       [ "@query" ],
       0,
-      "fcd33fb73d2786d2eca0326f16718af0"
+      "f54da26af69af061b018a79b6336f569"
     ],
     [
       "Steel.Array.gather",
@@ -71,7 +71,7 @@
       1,
       [ "@query" ],
       0,
-      "6eb9b9c552f3c4630d978e0c94fbbb17"
+      "7fc1ab4c17ac3f180dad3d1dddd31ec0"
     ],
     [
       "Steel.Array.index",
@@ -80,7 +80,7 @@
       1,
       [ "@query" ],
       0,
-      "41cb7583d3d76f3cd5559ca89665aa48"
+      "b47dca2d0bb5576c583bea7592b78623"
     ],
     [
       "Steel.Array.upd",
@@ -95,7 +95,7 @@
         "refinement_interpretation_Tm_refine_a0cd7d06c5da6444b6b51b319febde8e"
       ],
       0,
-      "0e9ffcffd62000f03ab8ff2bdb15ae97"
+      "41ab34f7d027d3c8e03c2c2b7a7b801e"
     ],
     [
       "Steel.Array.ghost_join",
@@ -107,7 +107,7 @@
         "refinement_interpretation_Tm_refine_2de20c066034c13bf76e9c0b94f4806c"
       ],
       0,
-      "481ffe79703b66392e9dc80cd9ed1609"
+      "eec7473683d5873b5b7d2b024a23de2c"
     ],
     [
       "Steel.Array.join",
@@ -116,7 +116,7 @@
       1,
       [ "@query" ],
       0,
-      "13997ceb99a4ba826d03b3278e55cb51"
+      "f7ce868f644d2fd8d650f21302c1f8a0"
     ],
     [
       "Steel.Array.ghost_split",
@@ -149,7 +149,7 @@
         "typing_FStar.SizeT.t", "typing_FStar.SizeT.v"
       ],
       0,
-      "99b40bfd64f932e628ff498a723de9bf"
+      "3c7129a290ae95decc48fe60974685eb"
     ],
     [
       "Steel.Array.memcpy",
@@ -158,7 +158,7 @@
       1,
       [ "@query" ],
       0,
-      "ded9278ed195966d562310914f13a69b"
+      "30688a40bf0c0ad0812dee75b0b2367c"
     ],
     [
       "Steel.Array.compare",
@@ -178,7 +178,7 @@
         "refinement_interpretation_Tm_refine_a92be4db372471498059330d6dbb66c5"
       ],
       0,
-      "67601aedb3bd0e1df42ec6f42484138e"
+      "8ed5a63b628664a3861d03835bf1ff79"
     ],
     [
       "Steel.Array.ptrdiff",
@@ -187,7 +187,7 @@
       1,
       [ "@query" ],
       0,
-      "63b8c4a7bfe840aab2a1ca17583abb5b"
+      "52c353530cbc38bb2ef8c963fa1f119c"
     ]
   ]
 ]
diff --git a/lib/steel/Steel.ArrayArith.fsti.hints b/lib/steel/Steel.ArrayArith.fsti.hints
@@ -18,7 +18,7 @@
         "refinement_kinding_Tm_refine_542f9d4f129664613f2483a6c88bc7c2"
       ],
       0,
-      "e7bceb7a7825315a10f0a23864810386"
+      "a4ea997afaee5dedffe9785fa603bf2b"
     ]
   ]
 ]