@cella-lang/cpp 0.1.202610080247 → 0.1.202610080400

package/CHANGES.md

@@ -35,7 +35,7 @@
   - 兩邊都是整數照舊用 `cpp.addV` 這類。
   - 結果型別的規則寫在 `cpp.arithT`。
 - **`<cmath>`**：`cpp.fabs`、`ffloor`、`fceil`、`ftrunc`、`fround`（.5 離零）、`fmod`。結果都精確。
-- **`pow(x, n)`（n 是整數）**：`cpp.fpowi x n`，正確捨入。指數不是整數的 `pow` 還沒有。
+- **`pow`**：`cpp.fpowi x n`（n 是整數型別的值）、`cpp.fpow x y`（y 是浮點數，一般情形），都是正確捨入。
 - **`exp`、`log`、`sin`、`cos`**：`cpp.fexp`、`cpp.flog`、`cpp.fsin`、`cpp.fcos`，都是正確捨入（libm 不保證正確捨入；差分的結果見 `diff-float.md`）。
 - **雜湊改變**：`cpp.fconvV`（改用另一種捨入算法，值不變；float／double 之間的大數轉換不再逾時）。
 

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 19,
-  "checkerHash": "ed39e29725c07b4c",
+  "checkerHash": "0c9a4ef1eda9f0ef",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -1022,6 +1022,10 @@
       "merkle": "56d14b055f7bfaf8de136c66e7fcc75556d378cc12624d3802e03da90aad6204",
       "own": "138f517a75719264846b0c12c9bab51748126db0fca3b83e8ebf4f55475423bb"
     },
+    "cpp.cpp.expFromFix": {
+      "merkle": "9d236ae34756686f3df837b0688c4c412c5a42c535a8c2eab81550886d3c0378",
+      "own": "0b923c27e35cdbdec04e2993a8504f0fbfe1196babcc8baa4210040f7a8aadef"
+    },
     "cpp.cpp.expSeries": {
       "merkle": "f5221e7d3bab67dede2f9aa65502651628b944c9e24118b099846a75dedf3553",
       "own": "91c5a2ceff14abd3b3254f8e2ba2bc34bf5561272fb16f89756f4652bce58133"
@@ -1334,16 +1338,28 @@
       "merkle": "25daf5f535833960cc37bdd348345d75205046c678a09d3f35f7d8bb840a0040",
       "own": "cdf1d859afba722109a32d4a9a0eb441d540afa3a042ecf7057095b9cd4d4a50"
     },
+    "cpp.cpp.fpow": {
+      "merkle": "b6b7447ee62c16782521f15842d6a99319f0c4d9b394c6ceac0f3f5a95240b35",
+      "own": "19369025115c66775d9b192facac1905819358e8faa20aaafdb2094e737bad49"
+    },
     "cpp.cpp.fpowFin": {
-      "merkle": "fa41aa2fb80fa5b6e4b0c4439ddd449b157641d4adad1210734fde0507260917",
+      "merkle": "543913d856c4539a0570e3b307f8e884db6aa753e83f995d019c3def31c526a1",
+      "own": "4c8392a848e716a27423d463ae2fd409c842fadff7fe7c2ea871577302c11f9a"
+    },
+    "cpp.cpp.fpowFinGo": {
+      "merkle": "27eaa8d9681be8e9d462dfd2174af9db32ba2c0533b153e307f2df8216216e02",
       "own": "2a40911a0ccf34f4493d485cf97579e080c671afe7657b29c830a295c9f5701d"
     },
+    "cpp.cpp.fpowV": {
+      "merkle": "9a5f0ba4aef9e3f304c0b6afc416d609cbcaf092e1795b4ccbac484d84301298",
+      "own": "3ade06adc5f74201a587f3505a655dd49f0e7b11eeb80c372acf7af5fbb7a76a"
+    },
     "cpp.cpp.fpowi": {
-      "merkle": "138cdb6f7bfc0481dc4be1fd5de142c80e5a6be5c5a377abbafaeac60a1d9e26",
+      "merkle": "2ca59d6f694cbce218a7feda59be0faaaa4431904d4548ff6bc131879d3385a2",
       "own": "f2e0de9ba47b70b41124b3da6e0aa0fb9940bc5cdaa7108f9d187e5061f535dd"
     },
     "cpp.cpp.fpowiV": {
-      "merkle": "0eff7bd502c8de2703433e1ea3ab53f16620d54fd7abcfbc5990eb82fd5e15a0",
+      "merkle": "65ed5c685f3137bbe6115cc997717a924f6c6fdae4a006d5ce5709abf851606f",
       "own": "7e47ba238823bdb523732ea1683925549a63c397154810b096294377f8c2bed5"
     },
     "cpp.cpp.fromIntV": {
@@ -1494,6 +1510,10 @@
       "merkle": "e03e1732ae04600ec5ab0b82ce85b43ab102f22ba2cbf8759588870b76eecc39",
       "own": "86e5ab5e8ce717ed68bd6b6ef466b7857182f3cacdc9e703f22a99334ab5b2f0"
     },
+    "cpp.cpp.integralOf": {
+      "merkle": "c2ab1aca8acccb0f326c18fd63dd98f0284cb380c8c56dbcf38bfb2d938d9770",
+      "own": "0bb6208075115ad4a12c4995c111ed7ebd99403a03c7ec54a16fbc474f8e2930"
+    },
     "cpp.cpp.ioShow2": {
       "merkle": "ce5cfc0c0cc98f17e7f309e8e77bf622248a17f3303e8040275b076e84624e6c",
       "own": "816d25ef9dd81c4e529dd561e1753c615ebb572802ae187324822dd957a2880a"
@@ -1522,6 +1542,10 @@
       "merkle": "46caccda9d7e5bac525dfa576276e343ddb2b7c3a4650748ba64d5764852ace8",
       "own": "ff8a66fdbb0865ebe9a0aba32a878bd42b3ce7040e61d2fe74f4316948557c37"
     },
+    "cpp.cpp.isOneMag": {
+      "merkle": "466a09e72c04caaecd988ba43099dbc5ea0521f85be9f1363c58dbcb53b9cbc3",
+      "own": "e10e217963172e31792107a272146352acb318e3b343a9ec2a4d41013b672b15"
+    },
     "cpp.cpp.isOut": {
       "merkle": "f688010ecd8cba626352b624bcc7aa514d9de516aaf609850a0ee7be19dc4fd0",
       "own": "bf4df9f66de12ba89db51b8d3fa5c57e13494570f90e8fdaf60ca5259ec9df6a"
@@ -1738,6 +1762,10 @@
       "merkle": "14145b433270ab853ff0eed5b0fb3607a6d3ae3d2d524da15f35edab3858454c",
       "own": "7b9b509931f6de15c18cf581309e26fa89659ea655b5a5f4d461226ae1dc822f"
     },
+    "cpp.cpp.logFix": {
+      "merkle": "11db24a849075288ee6625303eac4f3ec83d5015437d0572eb6b69f272fdcbf6",
+      "own": "dd79f87d17183c5d6e3cbd61a70d6796d7b4c9a0d91b95694e8616c2f711e380"
+    },
     "cpp.cpp.logTry": {
       "merkle": "859176003116ee7c892612a1badfdc485e93b7beca33aa887005a27c2f42b131",
       "own": "cd9c49f50ef996b29822afc8942ebd1627c43b8e25d753f4c5d4d40687f7ebcd"
@@ -1818,6 +1846,10 @@
       "merkle": "2c0e594d739f2ddd6b188086f53e2865979c658ebcc3cd189291f1e81c3f0772",
       "own": "0f6bc35e73d0945b6f006cd02143b28e56e21c65a3e3bd795af255547f9f949a"
     },
+    "cpp.cpp.magVsOne": {
+      "merkle": "ecc762f4c68692bbe84ce6bf3cb923920d3e1d074dbb20877dec75cd5cd933f3",
+      "own": "cae50dd586fe435a1c2a7fe015c559950960392d089b9d00c011034af7c0b58c"
+    },
     "cpp.cpp.mapCount": {
       "merkle": "f32ad61a7082cf82747fb08392912c7aa8d595c21575d86e076f0fcd82e27722",
       "own": "3c665db5604cb96d09eeea2904abd36034b75f02af969d7640129dfe5f758bf5"
@@ -2130,6 +2162,22 @@
       "merkle": "1621607c530bf91713bfdb70e3511b36f63701bf7ff8c0e6e7d2ddf7df4e1be7",
       "own": "5a3eaff0dcc3ffc603c996bccb49dc6923463ebad82ae23de535b4fc9b58f1e0"
     },
+    "cpp.cpp.powAt": {
+      "merkle": "391f62e984e72f597628f12057c50cf692cedb133399fb4f3dfddf7ab3b87406",
+      "own": "fc7a7854bd0954be61ed86efc51538bd66861115b32e4ce4124286d9384bf9c5"
+    },
+    "cpp.cpp.powBig": {
+      "merkle": "61be2415845202dcf28847d6e78e0941019eaf4d71e9e2f85f5ee961a2504c8e",
+      "own": "f6c38963dd13dff75669692bb3cdd7e19fc322f33bc13e07ea70fdcf0be750a4"
+    },
+    "cpp.cpp.powFrac": {
+      "merkle": "794c86162de8b75294fe4d4f5c1092bf73c1acb4cc76905cac92f08656e51fbe",
+      "own": "22678d114eeac5e0d0cb9d4488d3827bfd933be374e98e172f6699d1ebc84ca6"
+    },
+    "cpp.cpp.powTry": {
+      "merkle": "4d08c881781b7b3950b38384f3c3bee501c7444474ed31bf0b2e365b1ec7b19c",
+      "own": "93176a07c71767602f1f787416ad157e07b06e58b6c6971ceacbfb6f8d96fa59"
+    },
     "cpp.cpp.pqElems": {
       "merkle": "6eb3e158f6a7e3571921fff7bba7ecc7af64d640386adc708952b00052ba0f04",
       "own": "7ad82320e62f8d7930378e7b713d3d1500bcc03d1bf4159bfad3a824967b15a9"
@@ -3110,7 +3158,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2063592,
+      "bytes": 2084355,
       "deps": [
         "cpp"
       ]
@@ -3118,7 +3166,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "ed39e29725c07b4c",
+      "checkerHash": "0c9a4ef1eda9f0ef",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610080247",
+  "version": "0.1.202610080400",
   "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",
@@ -20,14 +20,14 @@
   "license": "Apache-2.0",
   "author": "SungYu Chang",
   "peerDependencies": {
-    "cella-lang": "0.1.202610080247"
+    "cella-lang": "0.1.202610080318"
   },
   "cella": {
-    "checkerHash": "ed39e29725c07b4c",
+    "checkerHash": "0c9a4ef1eda9f0ef",
     "cbfVersion": 19,
     "modules": [
       "cpp"
     ],
-    "packHash": "1cc7d92a11115bbb"
+    "packHash": "263980a7f1c11ddc"
   }
 }