@cella-lang/c 0.1.202610110601 → 0.1.202610110926

package/index.json

@@ -747,11 +747,11 @@
       "own": "793843ffc54eea888aca63bee5b1046627eda2951fc873466b07ce8b3456d056"
     },
     "c.c.contDone": {
-      "merkle": "48ea078cb77d8584491f4f02fa708f3169a64bac53bd53fdce75617375056d70",
+      "merkle": "b34c001abff54b4138ef79fc33cdea2c94c857c1f2570c255355b23e8c4e2510",
       "own": "d036ce7ac9be5f0e701d05450c674b3b4cfba4a9829c260b91cb13c91ff88cfc"
     },
     "c.c.convBlocks": {
-      "merkle": "7d01da2bec4ad34a8eb04a0cc1ce6d47c3f1fba73205e6a326738c0d0c17d795",
+      "merkle": "184b5228f47da9c0329cf2de2129ed16b2aabf0aa443499c4c3ad17dcd7005a0",
       "own": "6aa8c40aae3e2abd5444f5e72d1067f35b62522c5dcb0768693abe3b9dd4f0be"
     },
     "c.c.convLabel": {
@@ -879,7 +879,7 @@
       "own": "d9e3ca62d2256013b73f621ef32c73dfeb63522bb3d433a3368aaa86b8dd7ea5"
     },
     "c.c.doWhileC": {
-      "merkle": "9e842417a40cab6a20fbe2ce6fc5311b74d2544830c80f5b033ca835a6bc5cf5",
+      "merkle": "3e080677a3e9efe23e3fa974aa48242983389518d83d20b03f4622d204d524bf",
       "own": "ed51974b3c561407a0a00296193411e969b5f7de8e556f56d1522fcafd81738d"
     },
     "c.c.dropWsN": {
@@ -1147,7 +1147,7 @@
       "own": "c95d19aae5248a70c126fee13ce7ba61bf3031d0ee94c2dcff6608a8c0190a56"
     },
     "c.c.forC": {
-      "merkle": "7ca91a68eb7bd8dc59e8ac8c516c72ea8ba78e091ce49f42a9d27aac41e2bc6e",
+      "merkle": "74cb7c08b86e6e69d90dcd02fe9e71b0e5f0cf4f5004284beba68a5e1dbf6e3d",
       "own": "d6dfb30e127cdbb2c71070b7f65d65c4133dbbfac9ba2cd050b41ada1108b25c"
     },
     "c.c.format": {
@@ -1291,7 +1291,7 @@
       "own": "6448a3b63506e06de508a34cb328f758d0d2633bbc5e1e901ce6d4bb13836d3b"
     },
     "c.c.gotoS": {
-      "merkle": "ce136c7b6361245c381957e929bc53a6be9af173a69372a463033e21cad25f2c",
+      "merkle": "fe8ae510700accb6f25e291101534712a6bc61c734b78bad4d81e8bc4dc76316",
       "own": "c811bb9304acae855b8e608c217bcee7629154aabf6b4c723781ffaa0bcd6d49"
     },
     "c.c.gtV": {
@@ -1347,7 +1347,7 @@
       "own": "3285c472cd7f09090ec497925a00f8973e6be0e062ced7a86bf5095a40fe635d"
     },
     "c.c.ifC": {
-      "merkle": "d01900457af209d59253da8e4e003161c91d4b29b567eb5ab8ed2b2c48b4d82c",
+      "merkle": "d10592a22f3ed59d5dbfc7a6095af1291af4fa26dc08afe952888deff596b291",
       "own": "5ad9f318a0354c1816574bfd5be38780887008debb858dce1cd95e2ed1c15696"
     },
     "c.c.ilogb": {
@@ -1591,7 +1591,7 @@
       "own": "c38c23b0668ec2167cbf2fabd829e33efc6501681a911797d4558cc7cc30ccfb"
     },
     "c.c.labelsOf": {
-      "merkle": "16f239fcec6ce3ed7681af1246cd0fd1d036f88238d57d550546122e1b7d2b10",
+      "merkle": "5a9989fe22004954002487f6b9ced4acb02dd3d0783fd970a992c2b89440546d",
       "own": "99cffc5bb01c55a13ca6b5696dfe8ae22bf5023f51177750f0bf49b1c55f7547"
     },
     "c.c.labelsOkB": {
@@ -2291,7 +2291,7 @@
       "own": "88a4d41487f910eb86583aac52e4f74e9415e3a26a2c4d2a037e1231e28d1f8c"
     },
     "c.c.retJ": {
-      "merkle": "e10eae14f505e4e93cb0ce8854dbf68e9196d13224cca992f44e7b4a14f1c4fc",
+      "merkle": "9887df9b101bf4f2ac26856f2537b5c30c1c79df1c3c1d31ed6dd8a0ddbe6d1a",
       "own": "18d38a966e573fd391d11db59561900c0669bb60bea8ed4245abd974e0f465c7"
     },
     "c.c.round": {
@@ -2803,7 +2803,7 @@
       "own": "661382d555e681c2267a0b448f9bc24d5afdf7a52707851c647a83e8381be8b2"
     },
     "c.c.switchC": {
-      "merkle": "fe9ab2fe7507dc291e6b3d14f0b70db3582202d845b93f7773f454736dc165e1",
+      "merkle": "b97bb42f9273812e3bebabfdbb3638652915927ac8374a2fdc5cfd19ca559f9b",
       "own": "7bada21f00cd6d716ce5b99392bdb8aff58990fee4c550cec65bb024bdc1337a"
     },
     "c.c.tBool": {
@@ -3127,7 +3127,7 @@
       "own": "a9375cb2ddfba08c35ad4345a1c724256677748c3a695da4fd9cdb6d5e21aa05"
     },
     "c.c.whileC": {
-      "merkle": "236be2d4f5a32d5dcdb094d5870eeeef336054bf3dada04154d39cbba5c6149f",
+      "merkle": "035a193d1cc08b366b21402538c2efa9f4d18c4c86e5a9057afddded0496dbf1",
       "own": "a8c5629bd38ae959a2f3cf766fb0a0e33b47aabf3dcb93979146ad7b16ed2aec"
     },
     "c.c.widthFrom": {
@@ -3139,7 +3139,7 @@
       "own": "c4ca4f0d2e3faf8fed3b1ed0f5c6fd757433cf2db24b89eee3f7e0af14a6a6a7"
     },
     "c.c.withLabels": {
-      "merkle": "c414a767f2048b36ae2ec93317a2f4e378ddec5f0f19b17e44956a69db5f6189",
+      "merkle": "4d9f87c96a9a1af769838431ae85734dd825cd0292a6e45b576f9f516cc79c50",
       "own": "c1bec2a15ffdfb90b61f618c90aba8ba9bab5620369ad27265f44b58b97424c2"
     },
     "c.c.withRd": {
@@ -3238,7 +3238,7 @@
   "format": 1,
   "modules": {
     "c": {
-      "bytes": 1920375,
+      "bytes": 1930276,
       "deps": [
         "c"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/c",
-  "version": "0.1.202610110601",
+  "version": "0.1.202610110926",
   "description": "A formally verified C11 subset for the Cella proof checker: integer types with C promotions and conversions, control flow (if, loops, switch, goto), arrays (including multi-dimensional, variable length and const), pointers, malloc, realloc and free, strings and <string.h> (including memcpy, memmove, memset), <ctype.h>, structs, unions, sizeof and linked lists, array parameters and argv, function pointers with qsort and bsearch, floating point and <math.h>, printf, sprintf and snprintf (integers, floating point and %s), scanf and sscanf (including %[), strtok, putchar, puts, getchar and fgets, atoi, strtol, abs, rand (as a parameter) and file I/O; undefined behavior as preconditions — compiled module pack.",
   "files": [
     "c.cell",
@@ -36,6 +36,6 @@
     "modules": [
       "c"
     ],
-    "packHash": "4369c76cc5634b08"
+    "packHash": "6ece3e769bc55127"
   }
 }