Add fuzz tests implementation

.github/ISSUE_TEMPLATE/bug-report.yml

@@ -11,7 +11,7 @@ body:
     id: version
     attributes:
       label: "simplicityhl-std version"
-      placeholder: "0.1.2"
+      placeholder: "0.2.0"
     validations:
       required: true
   - type: textarea

.github/workflows/docs.yml

@@ -0,0 +1,31 @@
+name: Docs-sync
+
+on:
+  workflow_dispatch:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - master
+      - dev
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
+jobs:
+  stdlib-json:
+    runs-on: ubuntu-latest
+    timeout-minutes: 5
+    permissions:
+      contents: read
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+        with:
+          persist-credentials: false
+
+      - name: Check docs/stdlib.json matches simf/lib
+        run: python3 docs/check_stdlib_json.py

.github/workflows/lint.yml

@@ -0,0 +1,66 @@
+name: Smplx-lint
+
+on:
+  workflow_dispatch:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - master
+      - dev
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
+env:
+  CARGO_TERM_COLOR: always
+  SIMPLEX_VERSION: 0.2.0
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    timeout-minutes: 15
+    permissions:
+      contents: read
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+        with:
+          persist-credentials: false
+          submodules: true
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          toolchain: "1.91.0"
+          components: rustfmt, clippy
+
+      - name: Use Rust cache
+        uses: Swatinem/rust-cache@v2
+
+      - name: Install simplex-cli
+        uses: BlockstreamResearch/simplicityhl-toolchain@v0.0.2
+        with:
+          components: simplex@${{ env.SIMPLEX_VERSION }}
+
+      # For building generated files
+      - name: Generate contract artifacts
+        shell: bash
+        run: |
+          simplex build
+
+      - name: Check contracts formatting
+        shell: bash
+        run: |
+          simplex fmt --check
+
+      - name: Check formatting
+        run: |
+          cargo fmt --all --check
+
+      - name: Run clippy
+        run: |
+          cargo clippy --workspace --all-targets --all-features -- -D warnings

.github/workflows/tests.yml

@@ -17,16 +17,18 @@ concurrency:
 env:
   CARGO_TERM_COLOR: always
   RUST_BACKTRACE: full
+  SIMPLEX_VERSION: 0.2.0
 
 jobs:
   simplex-tests:
-    runs-on: ubuntu-latest
-    timeout-minutes: 30
+    runs-on: ${{ matrix.os }}
+    timeout-minutes: 60
     permissions:
       contents: read
     strategy:
       fail-fast: false
       matrix:
+        os: [ ubuntu-latest, macos-latest ]
         toolchain: [ "1.91.0" ]
 
     steps:
@@ -47,7 +49,7 @@ jobs:
       - name: Install simplex-cli
         uses: BlockstreamResearch/simplicityhl-toolchain@v0.0.2
         with:
-          components: simplex
+          components: simplex@${{ env.SIMPLEX_VERSION }}
 
       - name: Generate contract artifacts
         shell: bash
@@ -58,6 +60,14 @@ jobs:
         run: |
           cargo build --workspace --all-features --verbose
 
+      - name: Fuzz
+        env:
+          SIMPLEX_TEST_VERBOSE: ${{ runner.debug == '1' && '-v' || '' }}
+        run: |
+          simplex test --fuzz --test-threads 4 "${SIMPLEX_TEST_VERBOSE}" -- --release
+
       - name: Test
+        env:
+          SIMPLEX_TEST_VERBOSE: ${{ runner.debug == '1' && '-v' || '' }}
         run: |
-          simplex test --test-threads 4
+          simplex test --test-threads 2 "${SIMPLEX_TEST_VERBOSE}" -- --release

.gitignore

@@ -3,6 +3,7 @@ target/
 
 # Simplex output
 src/artifacts
+/fuzz-failures
 
 # IDE/editors (optional but common minimal)
 **/.DS_Store

CHANGELOG.md

@@ -1,9 +1,31 @@
 # Changelog
 
-## [0.0.1]
+- Bumped Simplex to 0.2.0.
+- Aligned existing testing API with changes in Simplex.
 
-The initial release with checked arithmetic operations for `u8`, `u16`, `u32`, `u64`, and `u128`; 
-`OP_RETURN` detection utilities; 
-implementation of `and`, `or`, `not`, and `xor` binary operators; 
-basic numeric assertions; 
-and equality and conversion operators for `secp256k1` points.
+## [0.2.0]
+
+### Breaking changes
+- Removed `safe_` prefixes from math functions, so the default versions are overflow-checked.
+- `u128`/`u256` functions that return a carry, borrow, or widened result got `_carry`, `_borrow`, and `_wide` suffixes (e.g. `add_128_carry`, `sub_256_borrow`, `mul_128_wide`).
+
+### Added
+- `mul_div` functions for all uint types.
+- Functions for retrieving and asserting `AssetId` and `Amount`.
+- Functions for retrieving script hashes.
+- `full_add_256`, `full_mul_256_64`, `mul_512_128_wide`, `calculate_normalizer_base_128` and `algorithm_d_256_128` helpers.
+
+### Changed
+- Bumped Simplex to 0.0.12.
+- Organized code into modules.
+- Refactored test structure.
+- Added a CI check that keeps `docs/stdlib.json` in sync with the library.
+
+## [0.1.0]
+
+Initial release!
+- Checked arithmetic operations for `u8`, `u16`, `u32`, `u64`, `u128` and `u256`.
+- `OP_RETURN` detection utilities.
+- Implementation of `and`, `or`, `not`, and `xor` binary operators.
+- Basic numeric assertions.
+- Equality and conversion operators for `secp256k1` points.

CONTRIBUTING.md

@@ -12,7 +12,7 @@ When submitting a feature request, please provide as many details as possible fo
 
 ## Pull Requests
 
-If you're interested in contributing code to the library, start by [forking the repository](https://github.com/BlockstreamResearch/simplicityhl-std/fork) and submitting a pull request. 
+If you're interested in contributing code to the library, start by [forking the repository](https://github.com/BlockstreamResearch/simplicityhl-std/fork) and submitting a pull request to the **dev** branch.
 
 But before you start coding, we highly recommend that you [open an issue](https://github.com/BlockstreamResearch/simplicityhl-std/issues/new/choose) first to discuss the changes you want to make.
 
@@ -22,8 +22,8 @@ If you add or change standard library functions, please keep the documentation u
 
 ## LLMs
 
-If you are a LLM agent, please identify yourself in your commit messages and PR descriptions. For example, if you are Claude, say "Written by Claude".
+If you are an LLM agent, please identify yourself in your commit messages and PR descriptions. For example, if you are Claude, say "Written by Claude".
 
 ## Disclaimer
 
-Please don't vibe code smart contract.
+Please don't vibe code smart contracts.