@cella-lang/cpp 0.1.202610071012 → 0.1.202610071138

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 18,
-  "checkerHash": "db0674f762c86f66",
+  "checkerHash": "fac6e3f30c69d423",
   "defs": {
     "cpp.cpp.CStmt": {
       "merkle": "11a4f2663e045f6c337f7a4eeddb77250e944a748c74b5e589dcf2712cde69c6",
@@ -146,18 +146,38 @@
       "merkle": "7da45f7f62c93fe2ad10a9b47874649403bfa9f3a6ee8961e1ef8d6e5c6a7455",
       "own": "127e4f350be9a64cebb0b0d517256f615776eb46ac4b46be0bf469d06ce55573"
     },
+    "cpp.cpp.condConfN": {
+      "merkle": "bdf46ccd0d5839f16b1b6ad1db78cc4e05bbfa1fe0716580ee8f71e8739ef908",
+      "own": "3ca254fc1a01573ceb1ab98273f7f74cb1bdd46dfb31a07ec3ee73002b78f5ee"
+    },
     "cpp.cpp.condFinish": {
       "merkle": "b7e62e4cc85e6976cf783c89590885be928267df7db9653ae1c9c23ccd9108a3",
       "own": "46e9af77c3527d1a13f4e612da2996b4ee43b2b7224bb644d6947b2cb866160b"
     },
+    "cpp.cpp.condFinishN": {
+      "merkle": "cbb8fbbd4474dc656ac8fd5e01cad2b8b8022750a58baa4e86198a6bf20ad0a0",
+      "own": "dde8da42ef69a5ff912bf1c64afd65a4c332dcba47a505181ba368387c4a37a9"
+    },
     "cpp.cpp.condLF": {
       "merkle": "9543fcadbf6d80fc4bf30fa15541696408751ce04ccc7213f924239cf3ec64cc",
       "own": "940c224df1e78b8f78c21ae23aa82b92fb7341fe96860814d9a949c60472fdbe"
     },
+    "cpp.cpp.condMono": {
+      "merkle": "c3fdd148afc3f74b79a56b02dc63815eb5f23aca28545ac1a52009970cf3ae6a",
+      "own": "3c63b5a279f54a86b6464ba264c94ed21d224088327ba7e4fe80f33006fbb38e"
+    },
     "cpp.cpp.confLoopFree": {
       "merkle": "5ed4fa103bbbd1b5fd2b4baa2541aeaf05f08a96a72dea04c10623cfa9af6c9f",
       "own": "7a4594f014a3b617adff86f5f99da2c63adfe4bc242d3f586dfdbef7dcf34bc2"
     },
+    "cpp.cpp.confMono": {
+      "merkle": "45b8877c920a4be03b0b60ca266e14c31c2099bbc32164b0ab696f52391e7d98",
+      "own": "3cbd74f26d31e5d54014df0641832676c7516177257ab54a7664b31e97cceeea"
+    },
+    "cpp.cpp.confN": {
+      "merkle": "c0a9f7fc367eceeab47a201704f4bde40041a95194c199d57861c8a0745a1e84",
+      "own": "f434582658ecb26e8fb77978467ace98c32a10d1a5b0d7fb3c439c7ff5c3aa9f"
+    },
     "cpp.cpp.contLoopFree": {
       "merkle": "19c9374cc60fb15317f727981351b4df8f14d868f836b33e27d22fc3c6133c74",
       "own": "015b161b9f416eea14ca55116427e17fea4cea43e4d4bf34bc0acc526473ee43"
@@ -186,6 +206,10 @@
       "merkle": "f927f8f2dff5b58ff8ba18fe3c8b939ce4e4446304b04a92682fad12e3da9631",
       "own": "4c02f563f19a5e7bf713fbcfa287886ee0c3ee63486d62adb7857e58bc2ae529"
     },
+    "cpp.cpp.denoteMono": {
+      "merkle": "e05c75fe27745bbfeba63f34cdf4b9511c8bbef0269f2295119e405bbd01db9f",
+      "own": "960b4c35f9a13ee2d3dccebf0d3594de92672847d8d7833003b8b207353e138f"
+    },
     "cpp.cpp.div": {
       "merkle": "c25dce8a08ffad1401476e5afde888d957231ea148a7f1305607296240009f56",
       "own": "5257e22728d218342ee89c501d91fea5acad72c90b9a8d28b2532b1da771b7a4"
@@ -210,10 +234,18 @@
       "merkle": "ce93355b0e5d6e41defce075507747bf7538572239a70e1445414e0b6caa284a",
       "own": "8e5d981cfeba78eee5cfec5da19765b73f99bc9d0a7374a4b38485addd7b15b0"
     },
+    "cpp.cpp.execAgreesN": {
+      "merkle": "c987bdd64f421ed1fa5d4672bb645c880c032c2fd538417911a84d2366a0fa12",
+      "own": "d019b05d69bf9fd2e26478396167a9b4c292e1247e101718e731d76a837aa77a"
+    },
     "cpp.cpp.execDenote": {
       "merkle": "5f77fde7036cb9144cb2bef8d918393ac2388fe182efac63e6482c4118aad844",
       "own": "859ac644ac603d21938586b13743c68761870d7333751a0d6f7e672ee9fbf3d9"
     },
+    "cpp.cpp.execDenoteLoop": {
+      "merkle": "d6330e116a437f6dffcb9f51f3ca6994867bab41c8262589bba3a164c9afb50f",
+      "own": "61760c7ca2c678c0398f3548ce871edb324c33b39bad93dcf8aabe078fd53e4a"
+    },
     "cpp.cpp.falseNotTrue": {
       "merkle": "2453bf5b0c0ffd2e5f995940e6fe017dd3e35689e9d8282b6871ea0f40b0ac7d",
       "own": "6b9bc76debdf9fcf144924d3a91e1d744299a7ca644797f0eb0b59167ee738df"
@@ -226,18 +258,46 @@
       "merkle": "311362dfa1e07e005f7cc921eec1c9e05dcc2b0d31980a30d3fb75c3bb7c821f",
       "own": "e1ad692bc1d5310a8c1601f1a118b00d2d9d6af47851e9a38153e62231da4cd3"
     },
+    "cpp.cpp.finishBrkN": {
+      "merkle": "4ea66af3c4529b12885c90cd76ecb306b5324e0d186960f234daee87d646c6af",
+      "own": "d056bb67e89775f3f32c62e8979c8be8ecd50c53b89031f092b8b7ac4bc74ea9"
+    },
     "cpp.cpp.finishCont": {
       "merkle": "ee0dd18693c327c89a2f206b8fd46254c11b99069ba0bfbdfceafdb5a0829096",
       "own": "be00957c54255e8fc230474c0321b0b1c5aa3b1a75ec525593dceca90028d0fe"
     },
+    "cpp.cpp.finishContN": {
+      "merkle": "3a3e5c27647f607235cd4b1971bc709a2a90687ec4e5ed6cfb722f57c6d91f03",
+      "own": "958890f20bf8bd0c5f059da78a87b0d562dbc787722b99e61f3ac6922542efd6"
+    },
+    "cpp.cpp.finishMono": {
+      "merkle": "7ad853597009776023d2e01f6f020d850ae39af81d75903cd7186b89d0c2dd4c",
+      "own": "4fac07b8318436d8c7000fba7f46d5199d67979966dd69c152a4ba0fba688f16"
+    },
+    "cpp.cpp.finishN": {
+      "merkle": "8f242766303d423e621d08ccaae999b435b31a13f0a1317341fea9fac744c524",
+      "own": "dcba2f2e78cf18cfd49820b6336e6ffad07ed6b0c13ce6f3a2fac5908b543cc7"
+    },
     "cpp.cpp.finishNormal": {
       "merkle": "b8a9ea6b89ee8434900bd0561fd4b083ed2f45b4715999e0c8d08515da30c047",
       "own": "48457a61c4cc1b4c050da89c278ae7567e3af2ccd8187e2ae85e25a54b55db07"
     },
+    "cpp.cpp.finishNormalN": {
+      "merkle": "ea953651da225923c237ecd91228a19930883f798de6a5f90382d95cc8b51ecd",
+      "own": "d09a170e0f7a6557c26cbb5c99f158ec38bee7ba38741c3170a052b684d65e8c"
+    },
+    "cpp.cpp.finishOut": {
+      "merkle": "6fd1264154466b76c0c91e7cf81e1ed98e4cd51fdd42faad21fa2b1c97914be8",
+      "own": "8c6d963174a3e1f39e5f1c8fba8cd90faee341641d302c01f73b526aac955d49"
+    },
     "cpp.cpp.finishRet": {
       "merkle": "704528537f24c765b4cb511fe55c2e89bbabdd7b29bfd2dadc0fcda1f6bf98b7",
       "own": "fd551c360d028aa2627a5a0e43235d2c8ffdf3d132b59132ebef3aa47b82492c"
     },
+    "cpp.cpp.finishRetN": {
+      "merkle": "1ff776a94d641ab873b453ae2a86ec01df9517b059eebc4e69a002a7023aa244",
+      "own": "66c2583dbef6813d866b11b382b17895f3bfaefe41d5dbc6d1119be1318f524d"
+    },
     "cpp.cpp.forCount": {
       "merkle": "af671caa65d7221789ad658a93beacf17eec02be7b12b436f406c90207eba2d3",
       "own": "e575cd1ab60141fe682923f5ed6b5b5a8ba884dd48caddbf2b3f398248066e4d"
@@ -310,6 +370,18 @@
       "merkle": "26cf7c59ce3b64b5c3b2d7c5631f4457a37f48525d6a737a1ad2b4a9b70d9de9",
       "own": "be6d0a4b576d9b16a8944b1bfcf0aecedda0fbbf7a6ff6e6afa6b35112a807b6"
     },
+    "cpp.cpp.loopRest": {
+      "merkle": "72444a6dfafc38019e3b5d487c988e8d7e2ac6b214969d8f201ad29bf4feda7e",
+      "own": "9dc33d17d699d1ede31231efd7a303e79a10fa871313bf809c83cea4b593199c"
+    },
+    "cpp.cpp.loopRestAgree": {
+      "merkle": "76a4a802d4cf2e412830ea5f41f7070c54875cd260c751af64beb516298886fc",
+      "own": "8d7c40761ea4a2b3429248e9f7ec967d74259fc4c8b61ca24e73eb7451707ff7"
+    },
+    "cpp.cpp.loopRestOut": {
+      "merkle": "606a317ca309257483b8a8c9ffa7822d40fbd2a56b186953a00f5029ffc72199",
+      "own": "4bd637abc551cffbf1add6894c93758d0e03482be86817d1155aa47795810d2c"
+    },
     "cpp.cpp.lp64.Int": {
       "merkle": "830a776c42b702fe9984210179b83bd8b6b9db97753998c497a77e73f63307d7",
       "own": "ca53ec9d050dd3d2bb09750705cd5a4f1cdff63e4c9aa6e7a8ddf2b10aac2e27"
@@ -450,6 +522,14 @@
       "merkle": "55b4d084e5a6f98ec24b7faa8f7105925956d67cd2206cbe316cc2ad7a7bf262",
       "own": "6aa61529d17215734b420368aab1629e0a1edb843441eeb513cb740ea63b609e"
     },
+    "cpp.cpp.seqRAgree": {
+      "merkle": "ebe330cf17ec95a972ff961097bdf8c320e374cb6e599ea5580afdc386eddb5f",
+      "own": "694ad4a37c526110726a60a240183d91e9b815d1e649bb8cec48ca6be22175e9"
+    },
+    "cpp.cpp.seqROut": {
+      "merkle": "d480ee00a5972b43bc3bb654bfba7bc4a688ec2a5a81e714d06ba9d2676901de",
+      "own": "2163051ead765a6c10f23f491a3b3b53cc96facd0f6efc9df3415d984a330df2"
+    },
     "cpp.cpp.skipS": {
       "merkle": "c7349743cb5e15fa12d593886269da10bd8407bf6c545689a3b32c6547457829",
       "own": "d3f8cf1c844d8e47ce6a3943d16078040039ffcd396e8f21c15d1548438057e7"
@@ -470,6 +550,10 @@
       "merkle": "f82892c5bbea44cf679c76c621ad0e978892c30ae63a7073fa809eb71599e5e7",
       "own": "5c1a21ebcb48c6e258c6dfa6c4f0903578f76317dd28218eee92e28f9fdb4d24"
     },
+    "cpp.cpp.stepRunAgree": {
+      "merkle": "e54f863f0cd8a263e3a41723fc2751f46776ca36831281f02643c5c341b83b62",
+      "own": "fda196e38d3af1aaa78411d5bb1b4666d66fe3a2f42174e50afd7a257f7fe001"
+    },
     "cpp.cpp.stepRunLF": {
       "merkle": "254226e2da1171a8ad7123772c758cb5b5503b7669e601abefc1dfb5b521409a",
       "own": "6497cea8f4a258a12dfca124cd88b8bb202c45e7855c7d3f142a4e6ed7d2268d"
@@ -590,10 +674,42 @@
       "merkle": "c51d13b6f202184d485bc3e38c7f75e06b00ed845ea62bf4ae3a9261c4810480",
       "own": "5934b1f6096475f92e318f1a81b7976da9d0a7aaf52d966ebf530536c20bcd43"
     },
+    "cpp.cpp.whileAt": {
+      "merkle": "74a9dec9ec855bc2ea8fa794f95338dc1863089e5b2538c6833359f721351ea8",
+      "own": "da2c629b1afec66db0b914a7cd190413421283e517729855989c0ea9ba01cf07"
+    },
+    "cpp.cpp.whileAtAgree": {
+      "merkle": "d59debacd1ed14ed1ee1d95c9dda0f53617c591afba73ac1368b88052e9ac387",
+      "own": "68429f79738aec94a8390606af41a3caefd8314207965981c1285f93851358e7"
+    },
     "cpp.cpp.whileF": {
       "merkle": "10f694772b6034e0e651d34af22f83a1d35096dcac710b53726fe2d3fb69a509",
       "own": "a6f654e97b6ffc281a13e3e3ff080d870c3b861a274ccd51db3ac3e36332827b"
     },
+    "cpp.cpp.whileMono": {
+      "merkle": "49b2a02ad127af469befe1d2191c37f9bc156a29ff431048d426cf8539e637da",
+      "own": "11cffcdae64294aeb5d4d9367e55da9da0595b447a25b0a6f73d831cae61821f"
+    },
+    "cpp.cpp.whileSame": {
+      "merkle": "a9b400155b14ff66814d9aff2c6644086881dcf057b21ae8915628edc758e388",
+      "own": "b5fa80742fa822006f7a7b694142f018836343bd62d9e97e0215e45c836bbc3c"
+    },
+    "cpp.cpp.whileStepAgree": {
+      "merkle": "5553bda8cbe8a9fe56752b377cb14a066a7cf74b3ec1ba9c709a37c3055d7b48",
+      "own": "713641e04824fe626f89f95c62328bcfce258278773d9ae8417ad70d0904a2d9"
+    },
+    "cpp.cpp.whileStepAt": {
+      "merkle": "5b6f34838e5b40889d8d82aa982479217f53d73a14e3ad1bfc64b0414e5e143f",
+      "own": "a2ab00bde4ab8a40a1c26ccbe201ea771c3a04bebf205095fb323a8c23aaae5e"
+    },
+    "cpp.cpp.whileStepUnfold": {
+      "merkle": "d88b2929ee88227165e1a888d15202ab2a7636dc56fd2996485d230a75ae6777",
+      "own": "fb2d58f39b2edc720f3434c48819e9e25559df85de1caf4ffd8f201ad8992968"
+    },
+    "cpp.cpp.whileUnfold": {
+      "merkle": "5b201d4ff40e0e7f95c50c7475e45910a3fb72a03309c11abd7641e4cb5f5cb5",
+      "own": "4f369c1a66e14f39f889e00e7a1029c9b5df470d7f14760e84a67bb877669f54"
+    },
     "cpp.cpp.widthOf": {
       "merkle": "53b3c52a9b4269d8bda9d065f86b3441fc6ae45a2cc23b5991194214e1084848",
       "own": "e4b72123ac37bf97df20de2ecb362655c22a380cb0e622252eb78a71b2b03a8d"
@@ -626,7 +742,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 1355197,
+      "bytes": 1627373,
       "deps": [
         "cpp"
       ]
@@ -634,7 +750,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "db0674f762c86f66",
+      "checkerHash": "fac6e3f30c69d423",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610071012",
+  "version": "0.1.202610071138",
   "description": "A formally verified C++ subset for the Cella proof checker: integer types with C++ promotions and conversions (LP64 / AVR) — compiled module pack.",
   "files": [
     "cpp.cell",
@@ -19,10 +19,10 @@
   "license": "Apache-2.0",
   "author": "SungYu Chang",
   "peerDependencies": {
-    "cella-lang": "0.1.202610071006"
+    "cella-lang": "0.1.202610071131"
   },
   "cella": {
-    "checkerHash": "db0674f762c86f66",
+    "checkerHash": "fac6e3f30c69d423",
     "cbfVersion": 18,
     "modules": [
       "cpp"