feat: integrations & on-target example for v0.5.0

- examples/cortex_m/ — Cortex-M3 PIL example running under QEMU
  (mps2-an385 + semihosting). Adds src/trace/trace_semihost.c.
- cmake/ceedless.cmake + top-level CMakeLists.txt — add_ceedless_test()
  with CTest integration and per-test JUnit XML.
- library.json — PlatformIO library manifest.
- .vscode/tasks.json + extensions.json — build/test/lint/cov/watch/report.
- .pre-commit-config.yaml — gofmt/vet, large-file, line-ending hooks.
- CI: new cortex_m job installs gcc-arm-none-eabi + qemu-system-arm and
  asserts the PIL example exits with 3/3 passed.
- README & docs/CLI.md updated for the new flags, CMake, parametric,
  property, and Cortex-M sections.
- CHANGELOG: [0.5.0] entry. cli/main.go: version 0.4.0 → 0.5.0.
- .gitignore: build-cmake/ + CMake artefacts; whitelist .vscode templates.

Author: tevfik

.github/workflows/ci.yml

@@ -84,6 +84,21 @@ jobs:
           name: coverage-html
           path: demo/app/build/coverage.html
 
+  cortex_m:
+    name: cortex-m PIL (QEMU)
+    runs-on: ubuntu-latest
+    needs: test
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install ARM toolchain + QEMU
+        run: sudo apt-get update && sudo apt-get install -y gcc-arm-none-eabi qemu-system-arm
+      - name: Build & run Cortex-M3 PIL example
+        working-directory: examples/cortex_m
+        run: make qemu | tee qemu.log
+      - name: Assert all tests passed on target
+        working-directory: examples/cortex_m
+        run: grep -q '3/3 passed, 0 failed' qemu.log
+
   docker:
     name: docker image build
     runs-on: ubuntu-latest

.gitignore

@@ -1,5 +1,6 @@
 # Build artifacts
 build/
+build-cmake/
 bin/ceedless
 *.o
 *.obj
@@ -8,6 +9,13 @@ bin/ceedless
 *.dylib
 *.exe
 
+# CMake
+CMakeCache.txt
+CMakeFiles/
+cmake_install.cmake
+CTestTestfile.cmake
+Testing/
+
 # Coverage
 *.gcda
 *.gcno
@@ -21,7 +29,10 @@ report.tap
 reports/
 
 # Editor / IDE
-.vscode/
+.vscode/*
+!.vscode/tasks.json
+!.vscode/launch.json
+!.vscode/extensions.json
 .idea/
 *.swp
 *.swo

.pre-commit-config.yaml

@@ -0,0 +1,38 @@
+# See https://pre-commit.com for usage.
+#
+#   pip install pre-commit
+#   pre-commit install
+#
+# Runs gofmt + go vet on the CLI, basic hygiene checks on every commit,
+# and lets `make lint` (which also runs Go unit tests) gate any push.
+
+repos:
+  - repo: https://github.com/pre-commit/pre-commit-hooks
+    rev: v4.6.0
+    hooks:
+      - id: trailing-whitespace
+      - id: end-of-file-fixer
+      - id: check-merge-conflict
+      - id: check-added-large-files
+        args: [--maxkb=512]
+      - id: check-yaml
+      - id: mixed-line-ending
+        args: [--fix=lf]
+
+  - repo: https://github.com/dnephin/pre-commit-golang
+    rev: v0.5.1
+    hooks:
+      - id: go-fmt
+        files: ^cli/.*\.go$
+      - id: go-vet
+        files: ^cli/.*\.go$
+        args: [./cli/...]
+
+  - repo: local
+    hooks:
+      - id: ceedless-lint
+        name: ceedless lint (gofmt + go vet + go test)
+        entry: make lint
+        language: system
+        pass_filenames: false
+        stages: [pre-push]

.vscode/extensions.json

@@ -0,0 +1,9 @@
+{
+    "recommendations": [
+        "ms-vscode.cpptools",
+        "ms-vscode.makefile-tools",
+        "golang.go",
+        "hbenl.vscode-test-explorer",
+        "matepek.vscode-catch2-test-adapter"
+    ]
+}

.vscode/tasks.json

@@ -0,0 +1,50 @@
+{
+    "version": "2.0.0",
+    "tasks": [
+        {
+            "label": "ceedless: build all",
+            "type": "shell",
+            "command": "make all",
+            "group": { "kind": "build", "isDefault": true },
+            "problemMatcher": ["$gcc"]
+        },
+        {
+            "label": "ceedless: run self-tests",
+            "type": "shell",
+            "command": "make test",
+            "group": "test",
+            "problemMatcher": ["$gcc"]
+        },
+        {
+            "label": "ceedless: lint (gofmt+vet+go test)",
+            "type": "shell",
+            "command": "make lint",
+            "problemMatcher": []
+        },
+        {
+            "label": "ceedless: coverage report",
+            "type": "shell",
+            "command": "./bin/ceedless cov",
+            "problemMatcher": ["$gcc"]
+        },
+        {
+            "label": "ceedless: watch (re-run on file change)",
+            "type": "shell",
+            "command": "./bin/ceedless watch",
+            "isBackground": true,
+            "problemMatcher": []
+        },
+        {
+            "label": "ceedless: HTML report from reports/",
+            "type": "shell",
+            "command": "./bin/ceedless test --report-dir reports && ./bin/ceedless report reports/",
+            "problemMatcher": []
+        },
+        {
+            "label": "ceedless: clean",
+            "type": "shell",
+            "command": "make clean",
+            "problemMatcher": []
+        }
+    ]
+}

CHANGELOG.md

@@ -6,6 +6,48 @@ and this project adheres to [Semantic Versioning](https://semver.org/).
 
 ## [Unreleased]
 
+## [0.5.0] — 2026-05-31
+
+### Added — framework
+- `TEST_CASE(args...)` annotation + `RUN_TEST_CASE(name, label, args)` for
+  parametric tests. The runner generator auto-emits one call per `TEST_CASE`.
+- `TEST_PROPERTY(var, iters, body)` — property-based test loop.
+- `TEST_ASSERT_GOLDEN_BYTES(label, buf, n)` — snapshot / golden-file
+  comparison; `CEEDLESS_GOLDEN_UPDATE=1` to refresh.
+- `mock_expect_with_matcher` / `MOCK_EXPECT_WITH_MATCHER` — user-supplied
+  argument matchers (for ranges, partial matches, etc.).
+- Deterministic shuffle via `ceedless_set_shuffle_seed` / `CEEDLESS_SEED`.
+- TAP 13 output backend: `ceedless_set_tap_path` / `CEEDLESS_TAP`.
+- ARM Cortex-M semihosting trace backend (`CEEDLESS_TRACE_SEMIHOST`).
+- Memory assertion failures now show a ±8-byte hex window around the diff.
+
+### Added — CLI
+- `ceedless test --asan / --ubsan / --msan` — sanitizer flag passthrough.
+- `ceedless test --shuffle [--seed N]` — reproducible random test order.
+- `ceedless test --tap-dir DIR` — per-program TAP files.
+- `ceedless fuzz <fn> -h <header>` — libFuzzer harness generator.
+- `ceedless report DIR` — HTML aggregate over JUnit XMLs.
+- Auto-runner now `#include`s the test source so `static` parametric
+  functions resolve cleanly.
+
+### Added — integrations & examples
+- `examples/cortex_m/` — Cortex-M3 PIL example running under QEMU
+  (`make qemu`). Same source compiles for host SIL and target PIL.
+- `cmake/ceedless.cmake` + top-level `CMakeLists.txt` —
+  `add_ceedless_test(<name> SOURCES … INCLUDE … DEFINES …)` integrates
+  with CTest and emits JUnit XML via `CEEDLESS_JUNIT`.
+- `library.json` — PlatformIO library manifest.
+- `.vscode/tasks.json` + `extensions.json` — VS Code tasks for build,
+  test, lint, coverage, watch, report.
+- `.pre-commit-config.yaml` — pre-commit hooks template (gofmt, vet,
+  large-file, line-ending checks; `make lint` on push).
+- CI matrix gains a `cortex_m` job that installs `gcc-arm-none-eabi`
+  and `qemu-system-arm` and runs the PIL example.
+
+### Changed
+- Self-test count: 33 → 42 (new `tests/test_extensions.c` exercises
+  parametric, property, golden, PRNG, and memory-diff paths).
+
 ## [0.4.0] — 2026-05-29
 
 ### Added
@@ -53,7 +95,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/).
 - Virtual I2C / generic register-bank peripheral.
 - Sensor-driver example.
 
-[Unreleased]: https://github.com/tevfik/ceedless/compare/v0.4.0...HEAD
+[Unreleased]: https://github.com/tevfik/ceedless/compare/v0.5.0...HEAD
+[0.5.0]: https://github.com/tevfik/ceedless/releases/tag/v0.5.0
 [0.4.0]: https://github.com/tevfik/ceedless/releases/tag/v0.4.0
 [0.3.0]: https://github.com/tevfik/ceedless/releases/tag/v0.3.0
 [0.2.0]: https://github.com/tevfik/ceedless/releases/tag/v0.2.0

CMakeLists.txt

@@ -0,0 +1,40 @@
+# SPDX-License-Identifier: MIT
+# Copyright (c) 2026 Tevfik — https://github.com/tevfik/ceedless
+#
+# Top-level CMakeLists for building ceedless's own self-tests via CMake.
+# Most users should clone the repo and either (a) `make all` or
+# (b) include `cmake/ceedless.cmake` from their own CMake project.
+
+cmake_minimum_required(VERSION 3.16)
+project(ceedless C)
+
+set(CEEDLESS_HOME "${CMAKE_CURRENT_SOURCE_DIR}")
+list(APPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_SOURCE_DIR}/cmake")
+include(ceedless)
+
+enable_testing()
+
+set(SELFTEST_SRC
+    tests/test_main.c
+    tests/test_trace_port.c
+    tests/test_virtual_peripheral.c
+    tests/test_runner.c
+    tests/test_assertions.c
+    tests/test_exception.c
+    tests/test_mock.c
+    tests/test_peripherals.c
+    tests/test_extensions.c
+)
+
+add_ceedless_test(ceedless_selftest
+    SOURCES   ${SELFTEST_SRC}
+    INCLUDE   include tests
+    DEFINES   CEEDLESS_TRACE_BUFFER
+)
+
+add_ceedless_test(ceedless_example_sensor
+    SOURCES
+        examples/sensor_driver/sensor_driver.c
+        examples/sensor_driver/test_sensor_driver.c
+    INCLUDE   examples/sensor_driver
+)

Makefile

@@ -40,7 +40,7 @@ EXAMPLE_SRC := \
 
 BUILD := build
 
-.PHONY: all cli test example cli-test docker docker-test lint clean
+.PHONY: all cli test example cli-test docker docker-test lint clean cortex_m
 all: cli test example cli-test
 
 # Build the Go CLI into bin/ceedless. Pure stdlib, no deps.
@@ -112,5 +112,10 @@ lint:
 	@echo "==> go test"
 	@cd cli && go test ./...
 
+# Build & run the Cortex-M3 PIL example under QEMU. Skipped from `make all`
+# because it requires arm-none-eabi-gcc + qemu-system-arm.
+cortex_m:
+	$(MAKE) -C examples/cortex_m qemu
+
 clean:
 	rm -rf $(BUILD)

README.md

@@ -12,15 +12,22 @@ binary CLI.
 **Key features:**
 
 - Unity-style assertion macros (full set: INT, HEX, FLOAT, STRING, MEMORY, ARRAY)
-- Header-only function mocks (MOCK_DEFINE / MOCK_EXPECT_* / MOCK_VERIFY)
+- Header-only function mocks with argument matchers, callbacks, throw, return-thru-ptr
 - Try / Catch / Throw exception handling
 - Virtual peripherals: SPI, UART, GPIO, ADC (stateful, register-bank backed)
-- On-target execution support (same source builds for host SIL and MCU PIL)
-- Pluggable trace transport (ITM, RTT, UART, host-printf, ring-buffer)
+- On-target execution support — same source compiles for host SIL and Cortex-M PIL
+  (see [`examples/cortex_m/`](examples/cortex_m/README.md) for a QEMU runner)
+- Pluggable trace transport: host-printf, UART, RTT, ITM, semihosting, ring-buffer
+- Parametric `TEST_CASE(...)` annotations + property-based `TEST_PROPERTY`
+- Snapshot / golden-byte assertions for protocol & codec tests
+- Deterministic test order shuffle (`--shuffle --seed`) for flake hunting
 - Auto test discovery + runner generation (`ceedless test`)
-- gcov coverage, JUnit XML output, file-watch mode
+- gcov coverage, JUnit XML + TAP output, HTML aggregate report
+- Sanitizer flag passthrough (`--asan/--ubsan/--msan`) and `ceedless fuzz`
+  libFuzzer harness generator
+- Build integrations: GNU Make, **CMake** (`add_ceedless_test`), **PlatformIO**
 
-Zero dynamic allocation. ~1500 LOC of portable C11.
+Zero dynamic allocation in the core. ~2000 LOC of portable C11.
 
 ---
 
@@ -52,6 +59,57 @@ OK: negative test failed as expected
 ceedless: 1/1 test programs passed
 ```
 
+### CMake
+
+```cmake
+list(APPEND CMAKE_MODULE_PATH "${CMAKE_SOURCE_DIR}/cmake")
+set(CEEDLESS_HOME "${CMAKE_SOURCE_DIR}/external/ceedless")
+include(ceedless)
+
+enable_testing()
+add_ceedless_test(test_packet
+    SOURCES test/test_packet.c src/packet.c
+    INCLUDE include
+)
+```
+
+Run with `cmake -B build && ctest --test-dir build --output-on-failure`.
+
+### Parametric tests
+
+```c
+TEST_CASE(0, 0, 0)
+TEST_CASE(1, 2, 3)
+TEST_CASE(-5, 5, 0)
+static void test_add(int a, int b, int expected)
+{
+    TEST_ASSERT_EQUAL_INT(expected, a + b);
+}
+```
+
+The runner generator emits one `RUN_TEST_CASE` call per `TEST_CASE` line —
+no manual dispatch needed.
+
+### Property-based tests
+
+```c
+TEST_PROPERTY(x, 256, {
+    uint32_t y = ceedless_rand_u32();
+    TEST_ASSERT_EQUAL_UINT32(x + y, y + x);
+});
+```
+
+Use `--seed N` (or `CEEDLESS_SEED=N`) for reproducible failures.
+
+### Cortex-M PIL
+
+```bash
+cd examples/cortex_m && make qemu
+```
+
+Runs the same assertion suite on an ARM Cortex-M3 under QEMU with
+semihosting output. See [`examples/cortex_m/README.md`](examples/cortex_m/README.md).
+
 ---
 
 ## Layout

cli/main.go

@@ -7,7 +7,7 @@ import (
 	"os"
 )
 
-const version = "0.4.0"
+const version = "0.5.0"
 
 type command struct {
 	name string