Merge remote-tracking branch 'origin/v0.12-release' into argument_ecdsa

Author: rkalis

.codecov.yml

@@ -2,3 +2,11 @@ ignore:
   - packages/cashc/src/grammar/
   - '**/test/'
   - examples/
+coverage:
+  status:
+    project:
+      default:
+        target: 95%
+    patch:
+      default:
+        target: 95%

.cspell.json

@@ -8,6 +8,7 @@
         "algolia",
         "altstack",
         "antlr",
+        "authchain",
         "anyhedge",
         "anyonecanpay",
         "badlength",
@@ -66,6 +67,7 @@
         "fromaltstack",
         "gitattributes",
         "gitlab",
+        "gotchas",
         "greaterthan",
         "greaterthanorequal",
         "hardcodes",
@@ -211,6 +213,7 @@
         "branchup",
         "bchguru",
         "bchn",
+        "bcmr",
         "c0ffee",
         "cashcompiler",
         "cashninjas",

.github/workflows/github-actions.yml

@@ -7,9 +7,9 @@ on:
       - 'master'
       # - 'next'
 
-  # pull_request:
-  #   branches:
-  #     - '*'
+  pull_request:
+    branches:
+      - '*'
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
@@ -32,7 +32,7 @@ jobs:
         run: yarn
 
       - name: Run tests
-        run: TESTS_USE_MOCKNET=true yarn test -- -- --coverage --coverageProvider=v8
+        run: yarn test -- -- --coverage --coverageProvider=v8
 
       - name: Run linter
         run: yarn lint

DEVELOPMENT.md

@@ -8,7 +8,7 @@ pushd ../.. && yarn build && popd
 
 ### Publishing a release
 
-To publish a new release, we use `yarn update-version 'x.x.x'` in the root directory to bump the version before release, and then `yarn publish-all` in the root directory to publish the release. In case of a tagged release (such as `next`), we use `TESTS_USE_MOCKNET=true yarn publish-all --dist-tag <tag name>` to publish the release with the specified tag.
+To publish a new release, we use `yarn update-version 'x.x.x'` in the root directory to bump the version before release, and then `yarn publish-all` in the root directory to publish the release. In case of a tagged release (such as `next`), we use `yarn publish-all --dist-tag <tag name>` to publish the release with the specified tag.
 
 ## cashc
 
@@ -60,11 +60,11 @@ python <cashproof_path> opt.equiv
 
 ### Running tests
 
-By default, running tests in the `cashscript` package uses chipnet contracts, which requires the test accounts to have some chipnet BCH. To run the tests against a local "mock network", you can use the `TESTS_USE_MOCKNET` environment variable.
+By default, running tests in the `cashscript` package runs against a local simulated `mocknet`. To run them against the real-world chipnet, you can use the `TESTS_USE_CHIPNET` environment variable. This uses chipnet contracts, which requires the test accounts to have some chipnet BCH.
 
 ```bash
-# Run all tests using the mock network
-TESTS_USE_MOCKNET=true yarn test
+# Run all tests using chipnet
+TESTS_USE_CHIPNET=true yarn test
 ```
 
 To run specific tests, you can use the `-t` flag to match the name mentioned in the `it` or `describe` block:

examples/package.json

@@ -1,7 +1,7 @@
 {
   "name": "cashscript-examples",
   "private": true,
-  "version": "0.11.0",
+  "version": "0.11.5",
   "description": "Usage examples of the CashScript SDK",
   "main": "p2pkh.js",
   "type": "module",
@@ -12,10 +12,10 @@
   },
   "dependencies": {
     "@bitauth/libauth": "^3.1.0-next.2",
-    "@types/node": "^22.10.7",
-    "cashc": "^0.11.0",
-    "cashscript": "^0.11.0",
+    "@types/node": "^22.17.0",
+    "cashc": "^0.11.5",
+    "cashscript": "^0.11.5",
     "eslint": "^8.56.0",
-    "typescript": "^5.7.3"
+    "typescript": "^5.9.2"
   }
 }

examples/testing-suite/artifacts/example.json

@@ -15,8 +15,8 @@
   "bytecode": "OP_1 OP_NUMEQUAL",
   "source": "contract Example() {\n  function test(int value) {\n    console.log(value, \"test\");\n    require(value == 1, \"Wrong value passed\");\n  }\n}\n",
   "debug": {
-    "bytecode": "007a519c",
-    "sourceMap": "4:12:4:17;;:21::22;:12:::1",
+    "bytecode": "519c",
+    "sourceMap": "4:21:4:22;:4::46:1",
     "logs": [
       {
         "ip": 0,
@@ -33,15 +33,15 @@
     ],
     "requires": [
       {
-        "ip": 4,
+        "ip": 2,
         "line": 4,
         "message": "Wrong value passed"
       }
     ]
   },
   "compiler": {
     "name": "cashc",
-    "version": "0.10.0"
+    "version": "0.11.3"
   },
-  "updatedAt": "2024-09-10T09:55:42.448Z"
+  "updatedAt": "2025-08-05T08:32:16.100Z"
 }

examples/testing-suite/package.json

@@ -1,6 +1,6 @@
 {
   "name": "testing-suite",
-  "version": "0.11.0",
+  "version": "0.11.5",
   "description": "Example project to develop and test CashScript contracts",
   "main": "index.js",
   "type": "module",
@@ -26,15 +26,15 @@
   },
   "dependencies": {
     "@bitauth/libauth": "^3.1.0-next.2",
-    "cashc": "^0.11.0",
-    "cashscript": "^0.11.0",
+    "cashc": "^0.11.5",
+    "cashscript": "^0.11.5",
     "url-join": "^5.0.0"
   },
   "devDependencies": {
     "@jest/globals": "^29.7.0",
     "@types/jest": "^29.5.14",
     "jest": "^29.7.0",
-    "tsx": "^4.19.2",
-    "typescript": "^5.7.3"
+    "tsx": "^4.20.3",
+    "typescript": "^5.9.2"
   }
 }

package.json

@@ -10,16 +10,16 @@
   "devDependencies": {
     "@jest/reporters": "^26.6.2",
     "@types/jest": "^29.5.14",
-    "@types/node": "^22.10.7",
+    "@types/node": "^22.17.0",
     "@typescript-eslint/eslint-plugin": "^7.0.0",
     "@typescript-eslint/parser": "^7.0.0",
-    "cspell": "^8.17.2",
+    "cspell": "^9.2.0",
     "eslint": "^8.54.0",
     "eslint-config-airbnb-typescript": "^18.0.0",
     "eslint-plugin-import": "^2.31.0",
     "lerna": "^3.22.1",
-    "tsx": "^4.19.2",
-    "typescript": "^5.7.3"
+    "tsx": "^4.20.3",
+    "typescript": "^5.9.2"
   },
   "scripts": {
     "test": "lerna run test --ignore cashscript-examples --ignore testing-suite",

packages/cashc/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cashc",
-  "version": "0.11.0",
+  "version": "0.11.5",
   "description": "Compile Bitcoin Cash contracts to Bitcoin Cash Script or artifacts",
   "keywords": [
     "bitcoin",
@@ -51,23 +51,23 @@
     "test": "NODE_OPTIONS='--experimental-vm-modules --no-warnings' jest"
   },
   "dependencies": {
-    "@bitauth/libauth": "^3.1.0-next.2",
-    "@cashscript/utils": "^0.11.0",
+    "@bitauth/libauth": "^3.1.0-next.8",
+    "@cashscript/utils": "^0.11.5",
     "antlr4": "^4.13.2",
-    "commander": "^13.1.0",
-    "semver": "^7.6.3"
+    "commander": "^14.0.0",
+    "semver": "^7.7.2"
   },
   "devDependencies": {
     "@jest/globals": "^29.7.0",
     "@types/jest": "^29.5.14",
-    "@types/node": "^22.10.7",
-    "@types/semver": "^7.5.8",
+    "@types/node": "^22.17.0",
+    "@types/semver": "^7.7.0",
     "cpy-cli": "^5.0.0",
     "eslint": "^8.54.0",
     "eslint-plugin-import": "^2.31.0",
     "jest": "^29.7.0",
-    "tsx": "^4.19.2",
-    "typescript": "^5.7.3",
+    "tsx": "^4.20.3",
+    "typescript": "^5.9.2",
     "url-join": "^5.0.0"
   },
   "gitHead": "bf02a4b641d5d03c035d052247a545109c17b708"

packages/cashc/src/Errors.ts

@@ -19,9 +19,12 @@ import {
   StatementNode,
   ContractNode,
   ExpressionNode,
+  SliceNode,
+  IntLiteralNode,
 } from './ast/AST.js';
 import { Symbol, SymbolType } from './ast/SymbolTable.js';
 import { Location, Point } from './ast/Location.js';
+import { BinaryOperator } from './ast/Operator.js';
 
 export class CashScriptError extends Error {
   node: Node;
@@ -73,7 +76,7 @@ export class InvalidSymbolTypeError extends CashScriptError {
   }
 }
 
-export class RedefinitionError extends CashScriptError {}
+export class RedefinitionError extends CashScriptError { }
 
 export class FunctionRedefinitionError extends RedefinitionError {
   constructor(
@@ -160,7 +163,7 @@ export class UnequalTypeError extends TypeError {
 
 export class UnsupportedTypeError extends TypeError {
   constructor(
-    node: BinaryOpNode | UnaryOpNode | TimeOpNode | TupleIndexOpNode,
+    node: BinaryOpNode | UnaryOpNode | TimeOpNode | TupleIndexOpNode | SliceNode,
     actual?: Type,
     expected?: Type,
   ) {
@@ -170,6 +173,8 @@ export class UnsupportedTypeError extends TypeError {
       } else {
         super(node, actual, expected, `Tried to call member 'split' on unsupported type '${actual}'`);
       }
+    } else if (node instanceof SliceNode) {
+      super(node, actual, expected, `Tried to call member 'slice' on unsupported type '${actual}'`);
     } else if (node instanceof BinaryOpNode) {
       super(node, actual, expected, `Tried to apply operator '${node.operator}' to unsupported type '${actual}'`);
     } else if (node instanceof UnaryOpNode && node.operator.startsWith('.')) {
@@ -249,9 +254,22 @@ export class ArrayElementError extends CashScriptError {
 
 export class IndexOutOfBoundsError extends CashScriptError {
   constructor(
-    node: TupleIndexOpNode,
+    node: TupleIndexOpNode | BinaryOpNode | SliceNode,
   ) {
-    super(node, `Index ${node.index} out of bounds`);
+    if (node instanceof TupleIndexOpNode) {
+      super(node, `Index ${node.index} out of bounds`);
+    } else if (
+      node instanceof BinaryOpNode && node.operator === BinaryOperator.SPLIT && node.right instanceof IntLiteralNode
+    ) {
+      const splitIndex = Number(node.right.value);
+      super(node, `Split index ${splitIndex} out of bounds for type ${node.left.type}`);
+    } else if (node instanceof SliceNode) {
+      const start = node.start instanceof IntLiteralNode ? Number(node.start.value) : 'start';
+      const end = node.end instanceof IntLiteralNode ? Number(node.end.value) : 'end';
+      super(node, `Slice indexes (${start}, ${end}) out of bounds for type ${node.element.type}`);
+    } else {
+      super(node, 'Index out of bounds');
+    }
   }
 }