v0.7's theme is that volamos can now find bugs in the programs it runs, not just run them. The `## Unreleased` section becomes `## 0.7`: - `--sanitize-uninit` (#68), opt-in uninitialized-read detection, plus `--sanitize-ignore-pc` and per-PC report grouping. - `--dirty-heap` (#80), filling non-MEMF_CLEAR allocations so a program relying on uncleared memory being zero fails here as it can on real hardware. - Source locations in diagnostics (#74): `file:line` from HUNK_DEBUG LINE blocks, `symbol+offset` from HUNK_SYMBOL otherwise. - Four more allocators covered by the heap detectors (#83 tier 0). Note the changelog has a second, historical "## Unreleased (0.1, in development)" heading further down, so the rename has to target the exact `## Unreleased` line rather than the substring. Tagging v0.7 is what publishes: release binaries for four targets, the Docker image, and the versioned docs site. That last one matters more than usual this time -- userdocs/Differences-from-vamos.md has been on main since #78 but 404s on the published site, because docs only deploy on a tag. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01AKBJRT9j5APTyKyZtj8f23

Commits

Commits on Sep 16, 2026

Bump version to 0.7.0