@cella-lang/cpp 0.1.202610080149 → 0.1.202610080205

package/CHANGES.md

@@ -36,6 +36,7 @@
   - 結果型別的規則寫在 `cpp.arithT`。
 - **`<cmath>`**：`cpp.fabs`、`ffloor`、`fceil`、`ftrunc`、`fround`（.5 離零）、`fmod`。結果都精確。
 - **`pow(x, n)`（n 是整數）**：`cpp.fpowi x n`，正確捨入。指數不是整數的 `pow` 還沒有。
+- **`exp`、`log`**：`cpp.fexp`、`cpp.flog`，正確捨入（macOS 的 libm 不一定，差分裡已分類）。
 - **雜湊改變**：`cpp.fconvV`（改用另一種捨入算法，值不變；float／double 之間的大數轉換不再逾時）。
 
 ### 容器與字串

package/index.json

@@ -310,6 +310,10 @@
       "merkle": "33acbd465cc9aacf8df84a12c35e7c87a009da1879ca7df33ebf078ae27dfaf8",
       "own": "5159e276907bb08c1c87be8bd019af7dbf715de2d9ccb1ab1e29e3743a1a8472"
     },
+    "cpp.cpp.SumN": {
+      "merkle": "71de94d183e70b7029c563aac07805833c4680051b9f89e371e2ccb48260b355",
+      "own": "fac2321971d6528268a8fe84012ed22ffb71b470613e94bac050f07b635beb4c"
+    },
     "cpp.cpp.SwBlock": {
       "merkle": "eaf2c6ad54fe3172bbfee0513745de89785b9c970e39c197494dfe957fd9c05b",
       "own": "0bb70985ad2ed851122b89e7670c8a9f7c4bba8cb6be5b51bcebb2fb8da7f70e"
@@ -458,6 +462,10 @@
       "merkle": "8350785013520ffcdcd644b95e1ca4fd4dfddc16ce85cb31e4ec262a3b0bdcfa",
       "own": "80f9ece5515014cb96fbd5798983c86555d24fc87a42e5207cd1be250fa5083d"
     },
+    "cpp.cpp.atanhSeries": {
+      "merkle": "be1566b13ca7f7c094ad59d7bc571809e937534cebf9cd42a813f39097b98994",
+      "own": "b16dc81b171a371c0908442f9fadbfd972af51ed2edaa7c6a862666758e14e7d"
+    },
     "cpp.cpp.avr.Int": {
       "merkle": "f283f1566869a5f2e89279a7c2bc36cc717d82ffd0d12457ea53ef16e89f5665",
       "own": "948687d513255e558f901d1c950fa4039c71e6fc5b47dde521157df38b997cd0"
@@ -950,6 +958,10 @@
       "merkle": "19de2b24aa657c4b6259d2a53b72ffec837425c80352800402668147ef0b9e4f",
       "own": "0a7845060b9b6678dc573fb27ef54fa8f8fc98e5d37aedff3b740ec922c36507"
     },
+    "cpp.cpp.eqFVal": {
+      "merkle": "f6ceab54734a05c43655b8044fb52e8b4ac4c670309355ad4b5bc072efd410e0",
+      "own": "490660a98f1107b85449544414cf7c88d0ec7fd17426acc34a73b024b6996309"
+    },
     "cpp.cpp.eqIF": {
       "merkle": "de6f48ad96ea7dd8867780f9a6aba6738efd3b6bdb0b90f6090ebbf596ba026a",
       "own": "7d036948024181eea8b9c24bdc5ed14092670b7b1402b43a84de6a393335e4d5"
@@ -994,10 +1006,22 @@
       "merkle": "2b82f84e8109bc01cfcc4bbda53575a1b97442e2bb70bd6ba23f3378916c7f8a",
       "own": "61760c7ca2c678c0398f3548ce871edb324c33b39bad93dcf8aabe078fd53e4a"
     },
+    "cpp.cpp.expAt": {
+      "merkle": "56d14b055f7bfaf8de136c66e7fcc75556d378cc12624d3802e03da90aad6204",
+      "own": "138f517a75719264846b0c12c9bab51748126db0fca3b83e8ebf4f55475423bb"
+    },
+    "cpp.cpp.expSeries": {
+      "merkle": "f5221e7d3bab67dede2f9aa65502651628b944c9e24118b099846a75dedf3553",
+      "own": "91c5a2ceff14abd3b3254f8e2ba2bc34bf5561272fb16f89756f4652bce58133"
+    },
     "cpp.cpp.expStr": {
       "merkle": "d69d400a4b5278f3785fdc67e827b3d53c246c894b38cc4b92b4ec3382e5ccac",
       "own": "ea7e075db33d784544ce5d11e50b6dcf1ea726080a26ec847fa6d59491da595a"
     },
+    "cpp.cpp.expTry": {
+      "merkle": "ac6234cb3d7a0aa4226eb05cfa49d6887a183c2949101cf17734a733cad191f8",
+      "own": "62a0bdd3baae086c127b74580a5c0a8767293b59d97be7b63b3c4aec9e5d8c5c"
+    },
     "cpp.cpp.extA": {
       "merkle": "bd1075a229ecb67a3a33c7afc54d163fc49215adb8d9046f3a7d269385824d40",
       "own": "b9acfc93bffd24c907b25038012088004cfef43e385c5dc6780d95b79a71513c"
@@ -1074,6 +1098,14 @@
       "merkle": "a6d6a672076d9fe77fbb05467b5aa408f6bb1c13ef721ae1dd4f3c99c6244c45",
       "own": "4828c5039b22b34f60e55410e748af682e9faade794fb1819848f5022f14231a"
     },
+    "cpp.cpp.fexp": {
+      "merkle": "e73aaeb07085a4bf4f8033047e14aeeb25f191bbd740f03c4460c3092ad1501f",
+      "own": "73b5badc48a6d3c75ed23716037c80a8421d49c96515e39f02b603d4fde85c86"
+    },
+    "cpp.cpp.fexpV": {
+      "merkle": "6ea399cfb4a13a0c769183c519783144dc83e25ef1da0b1a6266cbee5234bd85",
+      "own": "610e5a05148e0d603b9ea7312f2ef80b565d5fce249d4fa939b5226fa597b200"
+    },
     "cpp.cpp.ffloor": {
       "merkle": "b85402c6d06845a43cfc1cd60a2975866f56abf3e7e1496d6724b327ffc9a345",
       "own": "92f36d876a897577cdaf290beff40cdde3bf77c18e32a511ed9311e77f557c47"
@@ -1154,6 +1186,14 @@
       "merkle": "1ab04f5614251d90e376c2ef665e853b5d3c05c9cc6577f502829515d4b2688a",
       "own": "feb98e2e8cc4795104cf0cb3f531b99030129ca0f768a09c9b6242b19325a5aa"
     },
+    "cpp.cpp.flog": {
+      "merkle": "03b36ca855ee972dc9c9d8c3edd329f563215904556201938623d8e7cb90ac5d",
+      "own": "0dfd22a41f323e4196314ccb1b0c528cf23483907a43138229ab47db97a9a922"
+    },
+    "cpp.cpp.flogV": {
+      "merkle": "e80b2b94d1bf6528993a9e542ab6461aa7163a654e492d6d8b9ed1671498dc85",
+      "own": "53cc9c5c4d65659e2718fdcf21dd8a34f3129673741338b4295508fcf5ff5add"
+    },
     "cpp.cpp.floorDivN": {
       "merkle": "b7be85ab2c7fc80f1c722e8d59d515c8de9a835c61fe79841ee7cb4015f823f3",
       "own": "7c18f438e43c6e9cafd1c034b3816b3b39b7d302cefd6f1c59a1d9d2461c6922"
@@ -1618,6 +1658,14 @@
       "merkle": "1d30ce448c83b5dfc619175335a3b78e911c816b0f389ceb847be2833a381d7d",
       "own": "5ec45e825fbb5e06e34ee429697ec982c64a34ad01017580872afd91ff1be840"
     },
+    "cpp.cpp.ln2Fix": {
+      "merkle": "c3c16deb8056db2273fcf5b520b0301fe05c5a3ebf08571069fc485bf06bc5f1",
+      "own": "fe4e302e6a848b4d997fe1f6b95aeb8605a774dd56c0d01dae6205c34b93d1ac"
+    },
+    "cpp.cpp.ln2Sum": {
+      "merkle": "d337dfbe1f91d3c188ea35220780eabfdde5bdae6960fcae1a47939f9ae691d0",
+      "own": "0a48873899fa65a0ce410139e7e5374bfbfbdde84a3b302d42dbda591b90ac62"
+    },
     "cpp.cpp.load": {
       "merkle": "084d2ae89a9bf2ed4913bdcd62eaa91ccbcdef6326e71914f334cc3fbe548fb4",
       "own": "f05894761eb06cd4991d06f474269492a3298e743b46e97ba71505e6211ecf7f"
@@ -1654,6 +1702,14 @@
       "merkle": "404b36a45d4960c7ced7a887da537a3fcd0235364c1b6e228fabbfa1b0949f76",
       "own": "2179ea143c415527a5bb090f5ba0ad0b601702beeb36386355d27d5ca871488c"
     },
+    "cpp.cpp.logAt": {
+      "merkle": "14145b433270ab853ff0eed5b0fb3607a6d3ae3d2d524da15f35edab3858454c",
+      "own": "7b9b509931f6de15c18cf581309e26fa89659ea655b5a5f4d461226ae1dc822f"
+    },
+    "cpp.cpp.logTry": {
+      "merkle": "859176003116ee7c892612a1badfdc485e93b7beca33aa887005a27c2f42b131",
+      "own": "cd9c49f50ef996b29822afc8942ebd1627c43b8e25d753f4c5d4d40687f7ebcd"
+    },
     "cpp.cpp.lookAt": {
       "merkle": "3d2a5632c4404af9937e13ce1710b023444b94ecc00a0f320bfa273d68928154",
       "own": "55975d6fd5ba5449bb98285428ea4332a5ac0e041eb5e6e407fbbc2f56bbd09d"
@@ -1982,6 +2038,10 @@
       "merkle": "f7ecc3ff134776ee0a4ead57933fb8f2a1f32beef5b5eb2130c3b0b04b0932b1",
       "own": "79558b79ce72b819696c9b6da1f65852c91e31f528096713d53f2944837d060c"
     },
+    "cpp.cpp.pickOr": {
+      "merkle": "f9fb8dc6471f8329c99b5165ff82d2655740988b8526de215baadc83c8522fa6",
+      "own": "b745dbd03a4e2ee25d3eab29d4553923ab864bb8ac95aa520f5bc41fa829b05d"
+    },
     "cpp.cpp.popBack": {
       "merkle": "42b4bf515f145fd5ff60d27d9f4405353f978bb4f157cd19dc52c12b08f11683",
       "own": "802bc2434bc259aad8dba9a8918149533771e56f3b0345f78462f3ab61a92ca1"
@@ -2977,12 +3037,16 @@
     "cpp.cpp.zerosStr": {
       "merkle": "f30109968ddf45b916771a08f4926cafbeb71a6ead58104adffcc3f9f0f2c494",
       "own": "a1be374bf9e80e5492b28f1d1dd0eaa14fa74a19804dc3f2b2dc52d43a1775d3"
+    },
+    "cpp.cpp.zivPick": {
+      "merkle": "e7db75e6bb150ceb6d6ee8bda7c085e214af2ac585a7a64bfa6fbb2d049075cd",
+      "own": "83ed1f5829b233328a7971d86085bf1c6ef195fe55f2339e4ec89d9d0c42a900"
     }
   },
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2025772,
+      "bytes": 2046143,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610080149",
+  "version": "0.1.202610080205",
   "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": "39db97794729fcd6"
+    "packHash": "fe8add9b54f95092"
   }
 }