@cella-lang/c 0.1.202610111408 → 0.1.202610111712

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 24,
-  "checkerHash": "78fbc217d6fc8356",
+  "checkerHash": "6a95960d8c4a5450",
   "defs": {
     "c.c.Allocated": {
       "merkle": "1409e490c91fdf6adeb3b9c67a667698b15f226663ce63bc1118afbfb0158607",
@@ -399,12 +399,12 @@
       "own": "349389b9851eeb11b5b4848f774f38f535531df3ccdb012fcb9c982b67440a77"
     },
     "c.c.allUpToAt": {
-      "merkle": "eaba78329b949f2347117c7457dc3555edff4127527c8cd7ff26a134105e4a78",
-      "own": "311fd5eddb3c434d4401c7ae043f109ec51bf4b9b6975ac9c400d2621a563158"
+      "merkle": "aecdd549210be91e9aac54f746feca48417d2547bf38c1246b0e1ece2dcbf4e0",
+      "own": "fb87f9baa23abaeca1eb2e6318060a4cd9238a3e551706a2b3202e7f52b402f3"
     },
     "c.c.allUpToCong": {
-      "merkle": "acede61ba409032b5c098c88e02ebd52c9b28acd5ab115398ab27cecb0adfc35",
-      "own": "38b28de5b9922047cee716891040d033c40cdc6d7a8540960971e67844015767"
+      "merkle": "5d12d7f2e1767d3e32bcffd80f2ee36d6e369d2e2cd5d30d9e4bf6276b59ba54",
+      "own": "61c829d5f4d170f2713ddfb4f2b1cc454951aea2edd13c59b5783c486d7ebac3"
     },
     "c.c.amem": {
       "merkle": "e70b838a275f8d90d31e75ac6019a7f2eb1bfaa5f86e630b97bfb1d7e00c5a8b",
@@ -539,16 +539,16 @@
       "own": "3d0c9b8edddc1f4aa461711c8bef8c445df2a741057759c2657ac9d38b438729"
     },
     "c.c.atSetAt": {
-      "merkle": "564b2a7cefa494a150439f5f756ac3783aa1ba840bf62174548dba652411d972",
-      "own": "71255d9d40f41c35a620276d5ee15cc295dbecf2d970f7fa7a9669b80732a7d5"
+      "merkle": "44412e99e2f8af442a2e63bc615ce47aa1a24b3d77edc9fb76722e4f98ed0ba1",
+      "own": "4d8cb36c56f4343f9c63bfcf1dfa45f88725e7bcd8fecf58679aac7fd778522e"
     },
     "c.c.atSetAtOther": {
-      "merkle": "c712881c888cf8459b1089453d57299caa291c749a71c1e7a537e6c34f2aae99",
-      "own": "12a801e2e7de815edfae9b4ef3345d492e5b1d4ea678f36cab6a304bb94cbc79"
+      "merkle": "e3662d17af8c3465d0d9933dc21e717b8c1eb357ed89c1b226d567982b606704",
+      "own": "5f2daf08834618b86ad646a55ff75d218e327e4135486704c634400e60d3679b"
     },
     "c.c.atToCpp": {
-      "merkle": "8a3c8aff44fc593b48f5bcbe037893968dbc5d54e7740689c53d3e6fca3aab65",
-      "own": "1481e84ca9ea0d9fd1f2aec0ecaf3e424eb08053cc5cc4e63648387db92d7ab7"
+      "merkle": "c04601f90d6b39959141fb0595822d5789dc3907c9ded05eb3ad3342595feaba",
+      "own": "0213b4391e04247c13fcc276439131c70052cd59061a220cadb70b521c4e21c1"
     },
     "c.c.atan": {
       "merkle": "59b5bad76dbb0c98899f1ed0001add7b6f4ef7385083da0b68695d7904adef50",
@@ -591,8 +591,8 @@
       "own": "3a3dbd1072a816f6d46ea2437598c85bdb23258adfb9228ffbb3ec6eece0376e"
     },
     "c.c.blockSame": {
-      "merkle": "13dc7fa4ee039183fd27576322ccb66009631444f2d03a389a317a200ba41234",
-      "own": "f404a5df8025f114b6863557a7d6f3c8862eb2310c8bfb505b82c4e39d37492b"
+      "merkle": "9742cfecf21dbdaf1216b71dfeef108d6a021f974e8d7e2dc5fc86233a07f6d2",
+      "own": "f746ec53a7e01fa144ff3a52dc0e47e43f58acd0e4dba5219677174141e37ead"
     },
     "c.c.boolInt": {
       "merkle": "00dd6583ab235ba18dd7a700885333f516441c23fe3d1e1b5410ad157d01d918",
@@ -671,12 +671,12 @@
       "own": "43707daac9f76d74dc426173bfd472cf1c91eca75b439e7a82e4178ee40286f3"
     },
     "c.c.cellAt": {
-      "merkle": "45cd02bba9d5a8a089296de3c809165800bf3cc32cb3674c1ee2507a5b2752b6",
-      "own": "3ca3afb990692a854c0f649d2a7980a45377b7acb9b4ce2bf1c83a1b917758fb"
+      "merkle": "b52337d934cd446480fc14d38c7d104273a67b6f16a7a66f82fc371c59675ab0",
+      "own": "eaf9a8469dbfca41d039b1ac83d0fcdbdaae9ac5a15ec0301a5c469ec167f973"
     },
     "c.c.cellInit": {
-      "merkle": "43d48a061d31cc9673f1451163b290da5a15ec854a2fd623b3255caf22eee255",
-      "own": "32c4128512f7aab31890a3abcc3e9a233f857e47a2a678f7c17e010c79e6c49c"
+      "merkle": "abec0f9a2b96b129a35b7d8af58426302b5bf1d496efee0447d2a8fa93810796",
+      "own": "556d721281506278dba4f1b22fbf4b16707c963f6b29e9acb7c1fc328527fd68"
     },
     "c.c.cellOf": {
       "merkle": "fb36afb0e2954d63856bafed1387fe931dce29d3a2d339409074e267708a5c73",
@@ -915,8 +915,8 @@
       "own": "bf7ba32cbac47e7f770bb189c276123be67455fc7954b0ede1b2648ee4869fb2"
     },
     "c.c.eqNatEq": {
-      "merkle": "a77800dc38eace33104e358b9f62d7c53f6c72f4803c2c075d71300ca17027d5",
-      "own": "eacec3eb049baec17b1ef49bc7b8b5383dce5c6bfa774f11af057c0fb4a55b5c"
+      "merkle": "c3bf4999e92cb65eaa47063562466eee135094f8a54434ff08807b57aa5c0786",
+      "own": "a636065404d25b972dbf73db6242d769c2ed1e5ad4bc033117f54d475ced40f5"
     },
     "c.c.eqV": {
       "merkle": "59cc504fde35462d77a0baf5b21fbfccdeb174d2d75bc429bf300db1692f9263",
@@ -1235,11 +1235,11 @@
       "own": "2dcf4cf1902fe16c8141253215a76e6d5ffad9ac1b1c6cee7f2f87410e38115b"
     },
     "c.c.fullDerefB": {
-      "merkle": "05d4b42aaef35c9c9bb828c75eec3ba6195efc52eed675a8ee030f3955096f7b",
-      "own": "6bbb93c3069c8a9fd7d7e113b4f43b8fb19d2fba13208484149a7e590d3b01d5"
+      "merkle": "0b2a56f72844c4a61086e4d8ab73dcb8185523cab8544cc5b15bcdcb46751809",
+      "own": "c5f669f659d06aa7457f555e48845da8fec17cf713b0ad5f6114e7a15c50b5b9"
     },
     "c.c.fullDerefOk": {
-      "merkle": "506e256f7bdb25008f2af0af3824ded58fc3f5f25bb5b4d7eea8a12e8a65ce5f",
+      "merkle": "6e810c7f72cde3522ddec6a33e49728de24102af1a99d95a226f24765ac5eac4",
       "own": "a8a6e2e28472a89d5e6e1783745743615be95ec6156c3d79ee855a09a2543882"
     },
     "c.c.fullInit": {
@@ -1271,8 +1271,8 @@
       "own": "fc50d120e0e63508d7ac24cc8af2925589fa1984111bf32681844fb03f2362f1"
     },
     "c.c.getKAt": {
-      "merkle": "5a172ea168b03abbdc59d161e8818ff93b322ed33664e5e7cef7bfc65b71ad15",
-      "own": "60dcf666891cffbe43817572a48241a6bc83fc1d500c005ae772c0519eacd37e"
+      "merkle": "ef00cd2ed549365b9ef6737e9b2b0d6d0e54b4100b53220ceea925facbfc2ec5",
+      "own": "fb6e871455a1aba59adcb80ef4c805c6bcf94ae72594281ccdab3057a8439abd"
     },
     "c.c.getToCpp": {
       "merkle": "84060d18562f8b1255311d14feede169052bf5c55bf69a212b46b081bc732ea5",
@@ -1611,8 +1611,8 @@
       "own": "c554647c27b10a6857e7065a675d91bd93416b672e310b19e6fbd02f00fdca28"
     },
     "c.c.lastIdx": {
-      "merkle": "1b2d35ad8fa6d0b617a1738fc9e32f99964347cf3a39a6bf91c5da96728ff0eb",
-      "own": "5ab62e4cee7e4a18a3e8ea7ce7b3f7c74bf443dee84563e705fc445df133d2a5"
+      "merkle": "353d50368a728e51e9c92cf713a6d756fd0e7a64d864b74e6bbb83b928b330d8",
+      "own": "d86b998e5ec044cf55c8ac04d9a6067879e85d87d8aa72099b098d4ba1362d53"
     },
     "c.c.layout": {
       "merkle": "5a357afa614667a59f9d79aec18c1e004973196ec98e0aa88e66018fb523472d",
@@ -1663,7 +1663,7 @@
       "own": "e3af37c2b3ae2c208398455be701744ed722b6be7bfcc82928ccf03de0d872c0"
     },
     "c.c.lenSetAt": {
-      "merkle": "5ede8b8be9d278300ed81158e1875330c9e9c65dce212da621892fcec9663ead",
+      "merkle": "58dfbbf27eaebcec8d60cd57e16f60bd2e87e2f7c3081f6d3e5710ea6b75110c",
       "own": "0ea680357d62898b7c37f60a0385c106e571dc6d744eed89badbf852c76d0526"
     },
     "c.c.lenType": {
@@ -1703,7 +1703,7 @@
       "own": "228468f5b761821550df9dc9096b22cdb2537684dce904a11b900d592a193e63"
     },
     "c.c.loadFullK": {
-      "merkle": "e43e4e2c5c042cff1b593baf1cb4224bb67f6062058ed2f25cc992608a1e84a9",
+      "merkle": "63d83e88ad2045d6271ce0a49d38753e04ecf2d83a8fe1ebbfb9daf2e94b45f9",
       "own": "20d0400caa70df1e7f2f632df3af042389599db9409768abd1746753376f059f"
     },
     "c.c.loadP": {
@@ -1711,8 +1711,8 @@
       "own": "c5a8cc9b5d6f9212a7ec7ae50e31c31b77825037909fabe4547fff9ab57faedb"
     },
     "c.c.loadStore": {
-      "merkle": "cb49f6c976e44ced9089b8af9665c38dc8f8dfdde26dc1242cb2358330b2961b",
-      "own": "3a27dc53a2ec8005dd72d0fad96b2ee3223a7d2de23a22b581abfacc998f7d5a"
+      "merkle": "5c5809697266cd2a7e5e5f07ad886a8080b88eda3c43d57146a552a0702f4f6a",
+      "own": "e207e34c6c2c2899feb1928768c43c3bef530c8462a24eb184b7e4197d391d67"
     },
     "c.c.loadT": {
       "merkle": "510a6421f5e013c38076eb7356db860042439b92a641c6d43331c0464cb947d2",
@@ -1791,20 +1791,20 @@
       "own": "8cccb6a4da8ef0192ebef7b793e8ba76967606b5e956c28929d93c0b173d8670"
     },
     "c.c.mallocFreeOk": {
-      "merkle": "7bc63f21e76a744284d4fd3930bb3d7d9c5a4bf125047cd7c673a5fefc3d6b83",
+      "merkle": "700d6296cf1cf1d8278d9ac342db62d4c04d31ed1573a205aba9c8df825ca24c",
       "own": "e280148e030a3e302e7d7ef1d594c79407c80e9f8a11a3f313f13441984d58b4"
     },
     "c.c.mallocFreeable": {
-      "merkle": "b02a308248058dcf325c8fa4f9ff26ec9ad438bbad8830a997250aabc55255be",
-      "own": "57151941d1d063d896ce108d8088d874fad9f933c210fab2cd3d347c64290c22"
+      "merkle": "96ded120346bc202f884502fcd06079d4f9e7d946efdffcf69cacdcf87c9d152",
+      "own": "3ad110bd1474f6c62a7a7d4b756da425fde8614255644810d4e86e2e3d6e7a9e"
     },
     "c.c.mallocStoreOk": {
-      "merkle": "f54091f6f5cec89c90dedf8e75914d36c006916155efba8cc75a86d2fe65528c",
+      "merkle": "58d789a0f617f28035dbf3d7b26c73a656de60877ea0f623d77023876e05790c",
       "own": "135b2fa18ca501a68f99e8d763959ecd7927b8aa50408f52982145af0f24753f"
     },
     "c.c.mallocWritable": {
-      "merkle": "0617e48a2e919c7500152210024468d3763f7b1d797be9d8141883bd3a70d7ff",
-      "own": "9110cf2ca6c4987a1ce999182f516db6caecc4a10fe08dab91bba38d7a091f79"
+      "merkle": "117f83de430df03d2f7a91196f3386cfff110bb956fe5a50cf14b15118f8a0d8",
+      "own": "7587644b8bbb5523354bd7f50cde44b64d1c9a0f6eee49cbc0971ba3d2465999"
     },
     "c.c.mapU": {
       "merkle": "9993abb5e316a51a533481924bd512e9223891186dce56b74c966404b1e38141",
@@ -2123,7 +2123,7 @@
       "own": "b1e808e4cd8fe2ab667b8a830de73ff72e2270310af0fce492a97ad7d4b5e6d9"
     },
     "c.c.putK": {
-      "merkle": "7a99ccb7419080d3cfa336873acb8ccaef68d67a03d9c6c745a1df2735311bc3",
+      "merkle": "ce60cf8c67b362f1770956d03861f729a298623eed409e5dc87fab9ac90ca71f",
       "own": "4f9c9c4651d24068fedb27ce5612359d7bae12977bc273244bdfafc61459684e"
     },
     "c.c.putchar": {
@@ -2183,7 +2183,7 @@
       "own": "1ab83ba9f7fa849cc52ccc729f1c8dc641a58f23d761793b88fa8a4a580346ec"
     },
     "c.c.read2K": {
-      "merkle": "ee3f78ec0b3575b7674e8df6179b5098ce6d537c0caa46738af7eb64ab3e5380",
+      "merkle": "3b4bf714ec160efe88fa43d624f3fda530113089dba36dfc3b616ae72a8809d6",
       "own": "49e6a356178aa39a3d81b377df5e884e7469d62f8c516c1c7e7e54b9488ec902"
     },
     "c.c.readArr": {
@@ -2211,7 +2211,7 @@
       "own": "8d7439e5f0273f5cd89e78b1b08d36fe71881b6f994d019c27508ba9f8739d33"
     },
     "c.c.readK": {
-      "merkle": "947acac60858ce93cb9440700f7d333400b1bddb083d0e2ba5c38ac6f74adf21",
+      "merkle": "10599e4267f3e6ab1eecdb0d1b5e7e9ae2d7495210bdf5ff66ab73c59de33d31",
       "own": "d6d1cf0f505c24e6e8ba597949b270950eedb01f634d375eec5aaa6cfaf9673c"
     },
     "c.c.readN": {
@@ -2231,8 +2231,8 @@
       "own": "696631ffe81dae713ffe2b11cfccdecd46a936c4a9715ae953022df08ea2f39d"
     },
     "c.c.readableIsAll": {
-      "merkle": "a58acf8b8ea23c07b5026fe607f2ab097f5a4f8cbb5ae0d935a60f48eece487e",
-      "own": "2c36f5cad7a79b74a4b7d340ac9615f2020369d9974a0cc51f68c7a748a51d47"
+      "merkle": "c8cd9f4ce5b8025876722e41b1aa759d0404ed8d8f4cc11ac66a2c6dcaff407f",
+      "own": "380ec0b1144033c8ef6007b38ab101faf6c65d984784e9c8f740c77d5baf26d2"
     },
     "c.c.readableNB": {
       "merkle": "c90c3dc3f3132b0253a35627748599c17e8333f8853c1385f5f098ed10ccbd0f",
@@ -2379,8 +2379,8 @@
       "own": "836041f9b5e87d9413c0e17d5a9840f94b267ae1da6fb24a9778c15a27f59258"
     },
     "c.c.setAtToCpp": {
-      "merkle": "53b61c92514e9358169f98901e64e0e5a8da5a672f9804dcfb25576b0c87c8e4",
-      "own": "e978fb5f80ff54e229b078e007d9e93535236c71c46f78a802feb02f81b06e0d"
+      "merkle": "3502c008384e2608832bf4050570108560b929a3bbb0a2183cad7ecd78df91a4",
+      "own": "de9ac151a8037a22f32ab9cfd5b262688f8e36947b0401a167ccab6bbf4eb9ab"
     },
     "c.c.setBody": {
       "merkle": "0e00017d2b3b31dce6f5cf05ec14378bff2c01ff50ebaf07656351d90982a545",
@@ -2403,8 +2403,8 @@
       "own": "b127e4b3d67d8bbbf224ff68822a3e8b4e95957e6230bafab18e12d0f86665b3"
     },
     "c.c.setNthToCpp": {
-      "merkle": "8eda2ee75643bcf13ced1613f170882cbeeeb6e9eb94deb7892e8e1fe324d2f3",
-      "own": "6b7725919d04edfe9197244894f3fe185126775a3fc1892763c05ec401df5a56"
+      "merkle": "90fc12f1c0842c70399468e29d221b94b6637bc40cd7345e5767b87411ef7811",
+      "own": "c81398bb660563284dfd8478ed8b3998da7429bf83a5e68acf6f8f52553b666f"
     },
     "c.c.sflt": {
       "merkle": "6004fca5281d450442bbae4923b36bb2cc624ad32baeed5de89d7066c593ee6d",
@@ -2627,16 +2627,16 @@
       "own": "31390d46abcdef3496d4312454d77d57762b289a5003a267ed45d13ce5bae8fb"
     },
     "c.c.storeCellKeeps": {
-      "merkle": "c38ad27f6c1a6d5b235b8b4f0afc6b741bcd8c989d0f88c889b41b41bb8dd7eb",
-      "own": "ef17a8a9bbc390ce07a18405ac8fc7cf7d3fe27d04cf1fec6648e16cf6a22fb8"
+      "merkle": "297e7def32c1c7fb5710dc0dfcacefeae4d41342022a37f8df4272ca1aec578d",
+      "own": "bb0e84c6849570e9c3b618596b3d01d7c8197cab22b5bf4e01c2608a70d5f765"
     },
     "c.c.storeDerefOk": {
-      "merkle": "e2eebce9d018bc83120f602083db49a889a6be8a689b958669f06e403e584b41",
-      "own": "9b9c9245f8f5923d4e5dba61f90e685409e736634b78c2a24093efaef9bb6c4b"
+      "merkle": "8808627859db91d3bf523c7f341289edb573e9a9e9b331d72f69f0d547a6ba0a",
+      "own": "3a7ba0f1d09b5c6ed756dbb4639b46aa7d4b502ff59a6d54bdd9ba9583234997"
     },
     "c.c.storeKeepsWritable": {
-      "merkle": "d632c4b940e0b3a15bb06566b23fcadf24dfc16351037cd6d831928f7afb0bc6",
-      "own": "c13f890a3284f141077a3e1588a7eefb1872a4385bca93549b07d157d4cac5e1"
+      "merkle": "9eab07970aeb33993ab06d0c0e24e48464ea5b3d511a2d5ae13b2560fa566cee",
+      "own": "432a42af0f32337f02d8801059296d2a35002d6d947921f665d7128d36294551"
     },
     "c.c.storeOk": {
       "merkle": "7751c2a3b74ebc2cac08cc73f638c2db17deb7d373562f14125b0db337d00fb3",
@@ -3155,15 +3155,15 @@
       "own": "e55a865b166a8fa49a9465b38943e551197e57249836b2e7c6a333b67e9d9ade"
     },
     "c.c.writable2AfterWrite": {
-      "merkle": "6a4e6b589b9c68b8dae703401a8e4a262d208c083957b3a7ddb5cfdfd79a4c5b",
+      "merkle": "2fb59a6fc0f11a2f4881ae29cfed7da21feb9880f4097f637268d19392a4ad1e",
       "own": "8536ba279d9a757a0596563a07ded0b7167335c852bfc2c35cb4e1d55d6d388a"
     },
     "c.c.writableAfterStore": {
-      "merkle": "416ab7def995bce512a1c7e36c6e4205ea265d6d277fbf50a5d3f0594b36d3fe",
-      "own": "c3bcaf3ce0375149231559996dc7a8629747a0ffa91016270a20e1d532cb9837"
+      "merkle": "4da65005b1fa2463da93f6f64bb8842f8166aaf517add697fc17d38b7246d2fe",
+      "own": "60dd2b4ef6d0018095f72b2475aaccc38d560bd983826bd73a46645ad219a726"
     },
     "c.c.writableAfterWriteK": {
-      "merkle": "5bca6255d4242078178a4788169a57869c724c7bd0d3db1d7b486a53fb2e58a3",
+      "merkle": "0abf4b0e0ce4fcb192eccc0b6856a16b2a8652f10eb5be06c0c87e8ea2639b6a",
       "own": "b6857afa500d80f4338c2bd807171903fb4b384ddc40756b09f9b80e22485283"
     },
     "c.c.writableG": {
@@ -3171,19 +3171,19 @@
       "own": "4435428a2476606719a94dfb74be810cdcef7d4252cbf14e6a06749dd81be7ce"
     },
     "c.c.writableIsAll": {
-      "merkle": "181a51e756939f2116b9217034fba836c0f62ee983243ce14ef0ff8f20af349f",
-      "own": "950051b2e8e7ed9190b5d6954b387de5d48600c2758652ca91624c39fd770d48"
+      "merkle": "00d692b67a646b067515af3f81573aa6b118ef44b0c5e4b3f45840bf63cbe170",
+      "own": "d1b9a4e7b4f0e00faae6370d29d11494d28eef0c9ec678da2e41ce8d71c1dc6c"
     },
     "c.c.writableNB": {
       "merkle": "1054f1b767e29ff9597f8be307379dbb0a10b6cfa8cfeeda1af1d345752195ee",
       "own": "82dcbd2f423bf66dfb0c836788293414fb344f38be4334f9226c4a425b514d1f"
     },
     "c.c.writableThenReadable": {
-      "merkle": "ddb7aedda453d21b19f1d82fbc0a16314913a1480c7595485699f08bfb26e192",
-      "own": "24b5caef90e19ea5b1906be3cf8f2c10b31ced4128bedbee0a54333ab17860b8"
+      "merkle": "29e6c1e5a092495dd256def12c3c78c389fdfb4ae3ccf7d172d52d29f28fd30b",
+      "own": "bbae98ada9e0a9c60e8950e8906d26b8f9e3430997998ab6154b934618d6bdb4"
     },
     "c.c.write2K": {
-      "merkle": "92d432a61d2bd621ddbf00ebaab25cd4586e01f0e17a7984f3da963d755ad1c0",
+      "merkle": "1c9ae4511f47c5a514eb13c9f212a965328e10052412201f94b3170137189c44",
       "own": "76fbe453c472ad3bece9a596c90fd06f7f1ee5eb4a90027956bccde208ca39af"
     },
     "c.c.writeFrom": {
@@ -3191,7 +3191,7 @@
       "own": "66579c2358982a7536e486ad69d36e9189c038068396df0a8db6e9c66463e62c"
     },
     "c.c.writeK": {
-      "merkle": "946d3bbbe0aff2324221766420514ef645f51e5b241ba95a9f42fb4eef6b5be2",
+      "merkle": "b08878f3dff58deef7876705acae6a1a0fa36aa10894c0612aee81dd59687e83",
       "own": "5d238f2aa24062c9041fe7e72b0e8ebdf50dcc0c8fa2ed4ecfe2bf5fa0f00b71"
     },
     "c.c.writtenMem": {
@@ -3238,7 +3238,7 @@
   "format": 1,
   "modules": {
     "c": {
-      "bytes": 1931394,
+      "bytes": 1931812,
       "deps": [
         "c"
       ]
@@ -3246,7 +3246,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "78fbc217d6fc8356",
+      "checkerHash": "6a95960d8c4a5450",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/c",
-  "version": "0.1.202610111408",
+  "version": "0.1.202610111712",
   "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",
@@ -27,15 +27,15 @@
   "license": "Apache-2.0",
   "author": "SungYu Chang",
   "peerDependencies": {
-    "cella-lang": "0.1.202610111405",
-    "@cella-lang/cpp": "0.1.202610111405"
+    "cella-lang": "0.1.202610111712",
+    "@cella-lang/cpp": "0.1.202610111452"
   },
   "cella": {
-    "checkerHash": "78fbc217d6fc8356",
+    "checkerHash": "6a95960d8c4a5450",
     "cbfVersion": 24,
     "modules": [
       "c"
     ],
-    "packHash": "2e41834e8897fc07"
+    "packHash": "9b971b19894f2616"
   }
 }