@cella-lang/cpp 0.1.202610110053 → 0.1.202610110111

package/CHANGES.md

@@ -5,6 +5,14 @@
 
 ## 未發佈
 
+### 陣列參數
+
+- `GFull`（`gfull`、`gfArr`、`gfLen`、`gfInit`、`gfullOf`）、`gfGet`、`gfSet`、`gfGetLe`、`gfSetLe`、`gfFor`（`gfForGo`）、`gfFold`、`gfFoldTo`（`gfFoldGo`）；引理 `allInitNthG`、`allInitSetNthG`、`ltTrS`、`gfInBounds`。
+
+### `<cmath>` 的其餘
+
+- `ffma`（`fmulExactV`）、`fnextafter`（`fnextafterV`、`signOfV`）、`fmodfInt`、`fmodfFrac`、`fcopysign`（`copysignOkB`）、`fscalbn`、`flogb`、`filogb`（`ilogbOkB`、`exponentOf`）。
+
 ### 字串串流
 
 - `isstream`、`osstream`、`ossStr`；`Read` 的取值 `rdSt`、`rdVal`。

package/index.json

@@ -214,6 +214,10 @@
       "merkle": "e5922bd80b144e2684f1d4c7bcd5596e993a4b42e2184f14bb0b815240df23d1",
       "own": "a475075fe6d1218f216752a3c0b750242169ecdd974e2fe3d4c8d9a2c9e714b5"
     },
+    "cpp.cpp.GFull": {
+      "merkle": "eb80d3cd0fee4d4d0b604059bcf920b4cd9b88e075beaf401f2eb7d3893d501f",
+      "own": "5abe1270def80a93c1a03d6a4c05b86a041a1b395fb7a695bf8ad5a1b196d39a"
+    },
     "cpp.cpp.GInsertOkD": {
       "merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
       "own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
@@ -682,6 +686,14 @@
       "merkle": "2560bc00592bccdef1450853c77668948b254b71fff546e4aa218782956c02f2",
       "own": "8a6a225045c57a5bcb022f5a73a9132c208f408a3702f3d23cecd14786b18695"
     },
+    "cpp.cpp.allInitNthG": {
+      "merkle": "8851b0b9b628f6d2a57e0671a8d4026ea7df278fd3ff7efe8f32f97560f4bc78",
+      "own": "2e09d7a101c0c43c77ade49328d223ea75de06b15a3eab6df5bd8c8383729770"
+    },
+    "cpp.cpp.allInitSetNthG": {
+      "merkle": "9de72192f784a35c0bdc0a8ba97cb0c54e98350be2e80dd149d4a18351febb80",
+      "own": "c14896521e6c96df4d50d1206ed1da7147de5140f154ac4ecb3ac682ddbd8ee4"
+    },
     "cpp.cpp.allL2": {
       "merkle": "8bc2c15e4a640d133ea721dc65c8bbfb3cf2b85ba2ac83c32788ec7899b5740e",
       "own": "bc83b1257b7d725a8c55ec56b29737be6da543daf0287c19de31ff2d0899395c"
@@ -1230,6 +1242,10 @@
       "merkle": "cabdfa58fab6ede3357e2bbd21c1ad94d804dd90fb212c8ec4c5e0ef8c7b6be1",
       "own": "4844bb47a294d6101722f4afeb9493be40aeeb342980d1d54135c0d1ee5464e5"
     },
+    "cpp.cpp.copysignOkB": {
+      "merkle": "1c22f8cbbbf6104720eefcd30dcfbce70dd7a6921e0913b36fe0e993ae0447f1",
+      "own": "8263ee44fd6ff5886826a5dffff1f3ad4fad3457045e9de1cb7851054354a42c"
+    },
     "cpp.cpp.countA": {
       "merkle": "5b2b0d9b7c638d7c15a01957e9ff7aae3b2779fc8d9589c0c9d7c009261390eb",
       "own": "5ebb95c1166bd2193805f98fb57b760feabd19445b1069c89a6dea20c7bbae3a"
@@ -1706,6 +1722,10 @@
       "merkle": "e134eb9239d5e1477aa847393c26c60259c77154275935baf522ec435cf88f7b",
       "own": "98db856b03e5352093fb68f238e8a7c8a31168434c60eb82ada87edb2cf5f114"
     },
+    "cpp.cpp.exponentOf": {
+      "merkle": "b1b8bbdc00d48da8d0617cc36e22be49491d0eaacd3d861f4b31f341e565a4b6",
+      "own": "a126890c5ac5a0834185bbbc375cf2499192b6ff851d62f14fb057e134546869"
+    },
     "cpp.cpp.extA": {
       "merkle": "e8513e2057e3739bca1a62169e5f983398f54f6b72834be89bcc72f586f6071b",
       "own": "db1badef7d58873fb8b478a595e1cfdf3a38942d6337b9f7feb58450682f2edc"
@@ -1850,6 +1870,10 @@
       "merkle": "c861cd5eafa031157227aa8b52ef83165c5aff894674a10844729ae949c1516d",
       "own": "c7e60ed9d0dd77150ac3231329d45c068919f4fc83058b961d6a08bb28f9fdea"
     },
+    "cpp.cpp.fcopysign": {
+      "merkle": "23729806831403e206a99f4e7307dffe47929b1476793cd1b2f38e810ed840fa",
+      "own": "0879734459eb3259b2fd1aa57bbca5fff8ce5c9f1525e451163beb77dd3a6c82"
+    },
     "cpp.cpp.fcos": {
       "merkle": "b943a8a1655a188b37b8d251e9301813f58d13d1fb74c0586bea3c24c8df24fc",
       "own": "aa12870b99efa77b25abd86dc24f0146277488602877f73d644fccb5b65c781d"
@@ -1910,6 +1934,10 @@
       "merkle": "b85402c6d06845a43cfc1cd60a2975866f56abf3e7e1496d6724b327ffc9a345",
       "own": "92f36d876a897577cdaf290beff40cdde3bf77c18e32a511ed9311e77f557c47"
     },
+    "cpp.cpp.ffma": {
+      "merkle": "e9038b9ef86a46795dbc29c03f503f7f1c202450d7c0dc329de41a5304420903",
+      "own": "571ea159dfcc08e8bb5c53f56053c9f6a3e8978ed1c2d04dbb33eedee9915cb9"
+    },
     "cpp.cpp.ffrexpE": {
       "merkle": "156d512705698b48885c88f086bb78b655c2db566772e36ab7b36278ed049ad8",
       "own": "e2d3b7cc991e1c7fd6bd7fc48408cfe91c9f57e559a736e83e019630f8371937"
@@ -1930,6 +1958,10 @@
       "merkle": "096a35550e65c1f42a2d7745c85d9eef943a7d00cec411dfbdfe615a993a1914",
       "own": "1cdb2ff2bfe573f5953b7c506f6fd536c54cf3d3cc35865bbc96c1be2ca3bc1c"
     },
+    "cpp.cpp.filogb": {
+      "merkle": "dcf39cd6952c465fe450270e408707772730967b3369d302080b17593c952c7c",
+      "own": "0cd4673eb43b9859233078255284ee896705a4b01860bb18b2ba69c79ade9cda"
+    },
     "cpp.cpp.findA": {
       "merkle": "34b87aec169e4ddf3aabdb9d0557e3b3c91b56fc2559f32167828272c02f2ae1",
       "own": "eedd34476122eaa51004e74d31b8e1e7c5cb4af1b148139eccd8f36ba12366da"
@@ -2082,6 +2114,10 @@
       "merkle": "e80b2b94d1bf6528993a9e542ab6461aa7163a654e492d6d8b9ed1671498dc85",
       "own": "53cc9c5c4d65659e2718fdcf21dd8a34f3129673741338b4295508fcf5ff5add"
     },
+    "cpp.cpp.flogb": {
+      "merkle": "1a07499f3c6667b04da9ccc06baf8f52da454dac5676827b3dfd60c84a690763",
+      "own": "5020c7edea111496085f68a2acfce64057c55036b889cb0cdfe0b2e30c6f5bd9"
+    },
     "cpp.cpp.floorDivN": {
       "merkle": "b7be85ab2c7fc80f1c722e8d59d515c8de9a835c61fe79841ee7cb4015f823f3",
       "own": "7c18f438e43c6e9cafd1c034b3816b3b39b7d302cefd6f1c59a1d9d2461c6922"
@@ -2126,6 +2162,14 @@
       "merkle": "4cfdac841b46a9ced8957b9b67f2984d4c934b8dd09c44f3e17486cd88625100",
       "own": "6d304afcf1de0f298c80bccc3819c4eeffe02f71d026afcec1ff4c072bb92a12"
     },
+    "cpp.cpp.fmodfFrac": {
+      "merkle": "270f7b43b2bf52cc9673726de6b00d3669dbbdd8a48563a602cfd0f3d399c167",
+      "own": "604115d54b3a01c499a986480d51b1d495c882f09a149726c532fbf44516a64a"
+    },
+    "cpp.cpp.fmodfInt": {
+      "merkle": "f471d31a88a176154c26496f5297e8f141401e4d42a00f70de13f0fd98326241",
+      "own": "8c570fc8920947cd9d7e6f29ba822fdec9ad4bf2dedb38b126ea0bc99277a679"
+    },
     "cpp.cpp.fmtBase": {
       "merkle": "4f362e41c92bb75fcdf93762e020457312df07d6fced62e9f7762723da577158",
       "own": "656e9a536dc6847371d42749c72fdb23b4d88c3bc623062a70dc008d0ebafa4c"
@@ -2202,6 +2246,10 @@
       "merkle": "d9bffcbd14997138415f59b92c51d610ae3790833a3c034c47d6d39909544637",
       "own": "751fdbc797cb914d0df2917da5c76f53c295c4a6dcb72767e621b04168d76fa9"
     },
+    "cpp.cpp.fmulExactV": {
+      "merkle": "4987546cd8f9efdf29452c95d863380106d3f993d2224c84a04aac2ba2bbdde5",
+      "own": "8a13601536220c7475f8cd93e79e868594febb32e1ecb82e8e62b3cabc977a42"
+    },
     "cpp.cpp.fmulV": {
       "merkle": "aacf038b69195e29016e32892d1bb65965ab9573874b68f7a3f84a8f3151545b",
       "own": "225366bd3aaf41e96961106df52870b9fd2db6303fdd10bc440301a759b91bce"
@@ -2218,6 +2266,14 @@
       "merkle": "6ebeee16b9b8f1a81f3e0a426b9247d0ed0e606b8f662afc20399cc8512bfe23",
       "own": "4da821d9713a98a466fead0504e3cb4c38c2422a52e04b783fc4d81dea54203b"
     },
+    "cpp.cpp.fnextafter": {
+      "merkle": "91e3e7c3f7e9fa1aac9dffa980075656f4c87443607df329bdc20e72216357d2",
+      "own": "7aa2a40a82bfe741c8ae30d58ecf7451f440cfcb1b97587a87d81dcccc93db1f"
+    },
+    "cpp.cpp.fnextafterV": {
+      "merkle": "8fbb834fbb417c437734e5619dff9ab85cfd6e52e0d44dbda45555c2be617ae4",
+      "own": "27d1161625d818b8f11bb9ac9724d1f43999d592d4ff9465eefb48d2061c7dcf"
+    },
     "cpp.cpp.foldMG": {
       "merkle": "d020f23d06691a8c61cfc5dba72d1f1ed6d92eed2b25eb3ce3b423fd4914b323",
       "own": "05ccd55ce844ed255fc67c052d3cd4bb240cbcf476074d011561c6bbf5fc2cd8"
@@ -2354,6 +2410,10 @@
       "merkle": "3a809f7d41b178ec20b24ca84cc041fe6d785b0efa762928eafa40e4f30c2de3",
       "own": "3f02c3bc13d0241b055c19af82134ef7b6a8256dfd1f5f884cc451d6bab7b16a"
     },
+    "cpp.cpp.fscalbn": {
+      "merkle": "4c19c683a1bdba64d9998e7633b3af28ac4f1df6fd963e096dd1ffc9e382049b",
+      "own": "452aa3df74603e67c316131e6533bbd771ecc74b10f07693cda3f6262ea16fb6"
+    },
     "cpp.cpp.fsignbit": {
       "merkle": "8d016103001f72b0e29c004585d4453d4db788671dcdce0c7935dad301d2c884",
       "own": "51906e4edc5277c823f84167d04e5bd869ade506216d7d6efe4eb85d6ad8a5a8"
@@ -2594,6 +2654,62 @@
       "merkle": "e069ac5c595cc2cdff01880241c44bbfde49bbd6fa476f816a78adecb252c27d",
       "own": "707686a730adbc568fb390133fc24750f1e2dd332b5f43c0122df3f993392e50"
     },
+    "cpp.cpp.gfArr": {
+      "merkle": "14559c5ac08ffdac16dc0878055708000c2379041b8f2b48f9e067358986116a",
+      "own": "a3834dfb93001a2c56d79d8b3df8065f539735294bdc64b317f7ce9ba0f25e55"
+    },
+    "cpp.cpp.gfFold": {
+      "merkle": "a920c9abf3ed736ace0bda14d1627ded0e6e3d52fa7b43bfde03abfa63e5e274",
+      "own": "d9f4b7fa1d1ca51d1b25dcc20c7017037e46f666d65f93c20105f899a193269f"
+    },
+    "cpp.cpp.gfFoldGo": {
+      "merkle": "aa07cd28c787123ca9b9faf8e55a2af5e1ced1540e0c16432a27884ea37116d6",
+      "own": "ebb87eee8e61ca9283d0e8ab0ca6432f0955725d44790c2e5c0d147bf6336ee6"
+    },
+    "cpp.cpp.gfFoldTo": {
+      "merkle": "a370f10c371107c4ce86b27e81c00de31fcec9b58b07d6227bf33e48c007db47",
+      "own": "7e7602b729630e70657cacffe559a31e4c80924f9b69f72e4d69c9f4590d45f5"
+    },
+    "cpp.cpp.gfFor": {
+      "merkle": "ae90dc276d5b2ff83393daeb811e75bf9f58e2454de81d15489e2a81acc96ed9",
+      "own": "361198e803254963b482496a124522e60c142847af8865ae16a23519e9bfdeb9"
+    },
+    "cpp.cpp.gfForGo": {
+      "merkle": "70df75ae9d7aa3d13124c92cd734248db45feacb90e60b0556a5151c4087f4ed",
+      "own": "781287fca75a2804e1a90f9bd9c5f5e014c64b156304b847037536842da048b5"
+    },
+    "cpp.cpp.gfGet": {
+      "merkle": "a66329d8da101aba95473e2d87908fbe2d753d405e5e663c4ee009fd57094a3d",
+      "own": "7b010a24c01e822a2c4141546621195613de7edd06519629ede72d7eac9cd7a2"
+    },
+    "cpp.cpp.gfGetLe": {
+      "merkle": "f0e62ffd3d8e12a34a359688404210d526580d8d7acee424ef0140c83b00f653",
+      "own": "1d96edf34c518b1061552a0f8e5c20e2220c86f2b9a611f6b9711defff6afd5f"
+    },
+    "cpp.cpp.gfInBounds": {
+      "merkle": "9ac7f25bbcb66a4b5a22bbe29429ca5ce978beb89be8bb7d027d0052dd6adaab",
+      "own": "92005df5319305d41099407499822eec201f7a9cd362a66210fed55c6946f9c9"
+    },
+    "cpp.cpp.gfInit": {
+      "merkle": "bdccf2245e3bb0b0608378c09dfa3dc432f5f1be0adf40f41018fd64b781f238",
+      "own": "d7bf7178235dbfb4d4c6780553fa5f60deb299d8143c7ebbda104772dfa845ef"
+    },
+    "cpp.cpp.gfLen": {
+      "merkle": "d79eb320d20992b03bd6542fcfce3f17092b50e8572532ee3684f896e009c68b",
+      "own": "60ad361af9a6a914231433c6c641ed53efdb788d1368c48114fa8f0d9a1d109a"
+    },
+    "cpp.cpp.gfSet": {
+      "merkle": "61ac1d86f2e082281594e88a0b9f68f6a2f5598e44fb68e3a12ffa22aada53b3",
+      "own": "5f0068b2c7d20862915e4f9498015b4ee7f5c2c42249c7c4b4d616eb15594243"
+    },
+    "cpp.cpp.gfSetLe": {
+      "merkle": "8b659949b2e0011bda7c582ce9efab9f32f213737e24e73e723684d8733f2988",
+      "own": "b2872d2d921803d8f5224080a7e864b0157636265247b68d3a022b97b6ffcdb8"
+    },
+    "cpp.cpp.gfullOf": {
+      "merkle": "62c37bd2fbdb274ed670ba72ab8c32dfc658222e3efa8ed3b5214effe546eda3",
+      "own": "cd11f61362923a383873f230a6ad60a78ed4d49b82b8780074f5d18b570c9ebf"
+    },
     "cpp.cpp.gitKey": {
       "merkle": "62713efd9a527fa3a62350b390c71fbfcc8deea96892e142a06137e56f63a6ff",
       "own": "41f573f43eb694316ea42772632550215324964c4e6a2b618353894aa280fd9d"
@@ -2918,6 +3034,10 @@
       "merkle": "460c0dce801529e0e455929ea4e05bbaec7309f34b315b504eb2071fe1baf222",
       "own": "c8347f4b9922e1fe1be5af71b89443e5dce2f4ff2f1f0fcfbb74534368a62fe9"
     },
+    "cpp.cpp.ilogbOkB": {
+      "merkle": "afaa3e88d4d29fc1b8747c3dbf72214e918133afae49fa070bd003a1aae7f423",
+      "own": "8a6e8dfe28b681e9a355cd96c3ad6978a01f1e191212ca7ee0045e42304dda52"
+    },
     "cpp.cpp.inBoundsB": {
       "merkle": "cbcf9cd4f454b7acee41a85d4e112afc2f5d3331f30998ae06bc5f0792555cdc",
       "own": "90d6fd37bd754cca134659a92539e44b353ea2c86026f12664f1d2dadae463bc"
@@ -3462,6 +3582,10 @@
       "merkle": "90e51eb9c41ba2b861f9ebe8aa72d665a3be8a7f557e84b8dca66b0852d95fbd",
       "own": "eff7d54296b318578658bab333fc95ae07289f17a7b6b48ac3b192f2166946de"
     },
+    "cpp.cpp.ltTrS": {
+      "merkle": "29f4c9eaad2faf3c7958d9c21683bf6468af70b0e659ed4849eff43ae1d2f0b9",
+      "own": "ec61d31e0484474c974a33decdb242a9e7ae010a469ad10c04d0026f9e423289"
+    },
     "cpp.cpp.ltV": {
       "merkle": "491c62e34767bb753fe79fe8a646e7e0be26805166e1c87508dd3580918d54c1",
       "own": "0f6bc35e73d0945b6f006cd02143b28e56e21c65a3e3bd795af255547f9f949a"
@@ -4538,6 +4662,10 @@
       "merkle": "47719b65c021aa8a492691dbfe4e34819b29d32fcc53dcf3406c12646da2831f",
       "own": "2abd17d6340ff73149be09750b6e461060fac67dcea7af4f6f8c12844429ddb5"
     },
+    "cpp.cpp.signOfV": {
+      "merkle": "858d9ad8f37bbb2a3ec86e19382f086e59623e4bcb4fe2483c7b6fc8e3ecdf87",
+      "own": "61a6a7645772e4dd35e4d7546fc31c4bc62f87cd434350f8a0e1d2b0e3ea6773"
+    },
     "cpp.cpp.signedMag": {
       "merkle": "96eb8ed275c2c1965bd538e37a26c463da5f3cb8367aca423013cce3768596b7",
       "own": "42cd34024ab071bd972fdcf2c2a7fdea8299a65198aae2b73bfc341c68d2f8e6"
@@ -5602,7 +5730,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2776203,
+      "bytes": 2839185,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110053",
+  "version": "0.1.202610110111",
   "description": "A formally verified C++ subset for the Cella proof checker: integer types with C++ promotions and conversions (LP64 / AVR), control flow with small-step semantics, iostream, arrays, vector, sort, and standard containers — compiled module pack.",
   "files": [
     "cpp.cell",
@@ -28,6 +28,6 @@
     "modules": [
       "cpp"
     ],
-    "packHash": "e18862cde8fa42ad"
+    "packHash": "e6feb4eff0366310"
   }
 }