@cella-lang/cpp 0.1.202610080205 → 0.1.202610080318

package/CHANGES.md

@@ -36,7 +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 不一定，差分裡已分類）。
+- **`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": "231d56957b3302bb",
+  "checkerHash": "0c9a4ef1eda9f0ef",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -26,6 +26,10 @@
       "merkle": "711f28a0277e66dca33861b88441766f8131dd6a7bf1b2e5a3fe430cd1e4e70b",
       "own": "65b695a88e4b8ea8976c1abc97ee13c846842be123b2990dc6996e9a76e0df91"
     },
+    "cpp.cpp.Approx": {
+      "merkle": "f6625d29558ce87cc0d22ebb29013cca38492846913b5dc802d67f13e267d260",
+      "own": "52047dfec124a493ee5beae4cc77184d33760bb79e2b969f72889d14a5436ad9"
+    },
     "cpp.cpp.Arr": {
       "merkle": "09602c498f29f7a657415a8ebd38765f7f0cfacb6216a79e3ad06482e9b03dbc",
       "own": "ca45c2f066deedf68cbcc126de08451c3e01b646916c2d4caa21cebcc2a46f00"
@@ -462,6 +466,14 @@
       "merkle": "8350785013520ffcdcd644b95e1ca4fd4dfddc16ce85cb31e4ec262a3b0bdcfa",
       "own": "80f9ece5515014cb96fbd5798983c86555d24fc87a42e5207cd1be250fa5083d"
     },
+    "cpp.cpp.atanInv": {
+      "merkle": "23ba041886f5203f243e0b0b01978537efa024431dc9b81fb4b9811265d1395f",
+      "own": "db8942ed35d3b112e03f618c4b41176a399048b7bcf4d0f71d6f2a52c6d96c83"
+    },
+    "cpp.cpp.atanInvGo": {
+      "merkle": "f9f4fedde4ccbe1ef391d95e7b7e06eeb49d9f81c7cc0c75cf65e6f6e7879fa7",
+      "own": "53360b63d1606826142a1c77fde28cc79aba11d102d19e3f55a177264c98375a"
+    },
     "cpp.cpp.atanhSeries": {
       "merkle": "be1566b13ca7f7c094ad59d7bc571809e937534cebf9cd42a813f39097b98994",
       "own": "b16dc81b171a371c0908442f9fadbfd972af51ed2edaa7c6a862666758e14e7d"
@@ -1082,6 +1094,14 @@
       "merkle": "c861cd5eafa031157227aa8b52ef83165c5aff894674a10844729ae949c1516d",
       "own": "c7e60ed9d0dd77150ac3231329d45c068919f4fc83058b961d6a08bb28f9fdea"
     },
+    "cpp.cpp.fcos": {
+      "merkle": "b943a8a1655a188b37b8d251e9301813f58d13d1fb74c0586bea3c24c8df24fc",
+      "own": "aa12870b99efa77b25abd86dc24f0146277488602877f73d644fccb5b65c781d"
+    },
+    "cpp.cpp.fcosV": {
+      "merkle": "9aeeec2aa1a8079791f0fab097f91f38d572638eb99013bae8b0805370c3da3e",
+      "own": "c24d9da8c33bb963f802c3a26d9f64389a39c0b98d57d5245d8930a12e2ea6b8"
+    },
     "cpp.cpp.fdiv": {
       "merkle": "4083f0fc6762fec84c01748285cc1a08ccac69f90d804f56c591553e638bb5a2",
       "own": "81dfcbb4a34f713685933b96abdf6c225c70b022d508bc661cc69bbcdded9111"
@@ -1258,6 +1278,10 @@
       "merkle": "be2ee44fd660b5f7d3318a6723d98803b45d092ffdd3a4130b06ca955422dd41",
       "own": "07b028432c7d4b48aee54660602b8066eb19b54236ad0034b9a4b691dd848dcb"
     },
+    "cpp.cpp.fnegIf": {
+      "merkle": "f03de8ccc107b7cb827332027bc30aa5215bbc7a86cdc5cab59fe14508eb1ac1",
+      "own": "35210b7e2789f23a817859de3feed9c53c313c3727cabd65c7c5c24577c49380"
+    },
     "cpp.cpp.fnegV": {
       "merkle": "6ebeee16b9b8f1a81f3e0a426b9247d0ed0e606b8f662afc20399cc8512bfe23",
       "own": "4da821d9713a98a466fead0504e3cb4c38c2422a52e04b783fc4d81dea54203b"
@@ -1342,6 +1366,14 @@
       "merkle": "3a809f7d41b178ec20b24ca84cc041fe6d785b0efa762928eafa40e4f30c2de3",
       "own": "3f02c3bc13d0241b055c19af82134ef7b6a8256dfd1f5f884cc451d6bab7b16a"
     },
+    "cpp.cpp.fsin": {
+      "merkle": "4b196d41c50720dcce1cccc96e67a0b4e9ac60714f28b3d3720af2c8bc63a639",
+      "own": "734eda74cc0c7d6b6994dcb3f1b9c249afb46651d9c3264779ae585abfc6274d"
+    },
+    "cpp.cpp.fsinV": {
+      "merkle": "8a89270449e2abe90d7e9565b4c96a3eb5e45763e20a6706573c25412f118e8b",
+      "own": "0e2d9f0bf8ec9017108af86aa8f215251ef92e66554fb850fa70c841c3bac682"
+    },
     "cpp.cpp.fsqrt": {
       "merkle": "bf1e8e670c388ecc3ef8b8f39bb576fcd43cf1072c99c334ed33d783a940eb13",
       "own": "1da3bc7cec3d340507069ee8f8ecf35031088c880539d30c662a0affe72b55ce"
@@ -1898,6 +1930,10 @@
       "merkle": "f2a03460e762e4c3cf290358aa1ba13f95523334b08140befad49fe0affb2da1",
       "own": "0cb1f6198a33b2cd1f35113e831cfa461f664db85902746f67adbf7ac99a83fc"
     },
+    "cpp.cpp.modNat4": {
+      "merkle": "0a9b2b06b9d3e09ce24c0f587654f489714d9cda79118dc29d36e7297b7ed84e",
+      "own": "a7d09eecd3ab05ae8a65b89270f5e177dafa303d6d1fe64bc7272e4dcbb496ec"
+    },
     "cpp.cpp.mul": {
       "merkle": "aed5e5eb778c628376866474038dbd047492b4dd1dd9022e1f1fdf7936c8a1a2",
       "own": "59c50c23e150ca0a1f4c80b98130ebe99c1d50e11d4ba176a45fef1cdf62a7d5"
@@ -2038,6 +2074,18 @@
       "merkle": "f7ecc3ff134776ee0a4ead57933fb8f2a1f32beef5b5eb2130c3b0b04b0932b1",
       "own": "79558b79ce72b819696c9b6da1f65852c91e31f528096713d53f2944837d060c"
     },
+    "cpp.cpp.piBits2048": {
+      "merkle": "c41b6da610d7bb80cf5a45148d6d1f5cbc407c4cab3f2191f6293be27fc8044c",
+      "own": "333b79e2fa0b504eeced7ee1ae5936d892e84b4085332df14a6d2bd996cfb626"
+    },
+    "cpp.cpp.piFix": {
+      "merkle": "3c81a4de2a9c45c2a1675c48cd9a7f2f02c724cf2a3ed9c3f0e66e5171127f06",
+      "own": "1f54011b103decc331928266f21ac928fabc795f6e00c6c242c6943ea0d16a71"
+    },
+    "cpp.cpp.piSeries": {
+      "merkle": "b133ec552ebee042475018b87835e621f57491a6a09c0e94258264b5fc403d61",
+      "own": "78aafd91ee28988c0405f6d21be03f8ddea497aa602772a24a0ce2d659ceb28f"
+    },
     "cpp.cpp.pickOr": {
       "merkle": "f9fb8dc6471f8329c99b5165ff82d2655740988b8526de215baadc83c8522fa6",
       "own": "b745dbd03a4e2ee25d3eab29d4553923ab864bb8ac95aa520f5bc41fa829b05d"
@@ -2890,6 +2938,22 @@
       "merkle": "80cec9044dea1f6b69e5dc564c277c2d46e62a6805a2573aea3eafff3a88f5c0",
       "own": "2c32d03fd55629b81195e6887edc073cb5c4c60e4d4374b0afc61d1381d0c499"
     },
+    "cpp.cpp.trigAt": {
+      "merkle": "ad2698d3847cc245f5844117ce75a0c5d578f42b58be4ad5bfe5456bd129b1fc",
+      "own": "6dde71ce016b62becfcd7f50dca9fd33e3e0c5746d95cd1a492c583a8e89b79c"
+    },
+    "cpp.cpp.trigSeries": {
+      "merkle": "78ae48018a9ab78b7666d7c1e6115fe708078bdc72f949fb86e06bd8cba31c93",
+      "own": "f4eb13522e655437f1fe0a2ed4e1a93d548348c6cc5e3a42fb0b37dc4625adc3"
+    },
+    "cpp.cpp.trigStartP": {
+      "merkle": "94130077263aaf2b2f0f050d41d960ab83d934ad276ee48918f86eeaff1761d8",
+      "own": "afb91e37d9f040847555ef073403b435d0b2eabaa76cb8b815e82efb6c9a20f3"
+    },
+    "cpp.cpp.trigTry": {
+      "merkle": "da0c3b619856688473432bddfb0a9d8610777923d4a4900851d29d954b0c58c6",
+      "own": "38367134bc2262f34978a348f94c218639caab3d4f9c5e1f96ce22ab587b65bd"
+    },
     "cpp.cpp.trimFrac": {
       "merkle": "d4174042a7e04a9489284fa7a32ae56504854b581a52e2d82d61651511447dea",
       "own": "496ec63c36adc5182bbf091daee9e5cfed8d8ba3011d9b2d217a765632642235"
@@ -3046,7 +3110,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2046143,
+      "bytes": 2063592,
       "deps": [
         "cpp"
       ]
@@ -3054,7 +3118,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "231d56957b3302bb",
+      "checkerHash": "0c9a4ef1eda9f0ef",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610080205",
+  "version": "0.1.202610080318",
   "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.202610080148"
+    "cella-lang": "0.1.202610080318"
   },
   "cella": {
-    "checkerHash": "231d56957b3302bb",
+    "checkerHash": "0c9a4ef1eda9f0ef",
     "cbfVersion": 19,
     "modules": [
       "cpp"
     ],
-    "packHash": "fe8add9b54f95092"
+    "packHash": "1cc7d92a11115bbb"
   }
 }