Release notes

Release notes are generated from Conventional Commits. Download source archives and checksums from GitHub Releases. See installation for the supported setup.

v0.9.0 (2026-09-15)

Features

• Infer contracts for opaque objects and private state (#31, 7f160c2)

v0.8.0 (2026-09-15)

Features

• Add recursive ownership and complete cleanup contracts (#30, 40e5b2b)

v0.7.0 (2026-09-13)

Features

• Infer growable buffer and vector contracts (#29, 00575b9)

v0.6.0 (2026-09-13)

Features

• Add checked input cases and union member tracking (#28, 75b7f8d)

v0.5.0 (2026-09-12)

Features

• Check C runtime and variadic interface contracts (#27, 4f05ecc)

v0.4.0 (2026-09-12)

Features

• Infer ownership contracts for linked containers (#26, 1f75ed5)

v0.3.0 (2026-09-11)

Features

• Check opaque pointers, callbacks, and allocator hooks (#25, 8ed6a1b)

v0.2.0 (2026-09-10)

Continuous Integration

• Standardize GitHub release titles and notes (90caa95)

Features

• Add checked C traversal and buffer contracts (#24, 0cb8a6c)

v0.1.0 (2026-09-09)

Continuous Integration

• Publish versioned source releases on GitHub (158f7fb)

• Run only security queries in the CodeQL workflow (#6, 67fd113)

Documentation

• Add RFC process with ownership model and dataflow RFCs (#1, 94f1d1a)

Features

• Accelerate analysis with validated incremental caching (#21, c4414d4)

• Add C integer semantics and compositional bounds checks (#18, fb90a22)

• Add checked code and compositional safety contracts (#19, ed3f712)

• Add checked memory contracts for buffers and heap (#20, b5805f5)

• Add derived pointers, extents, and bounds checking (#12, ef2fa59)

• Add leak detection and release-family checking (#8, 6b88a3c)

• Add non-lexical loans and outcome-conditional summaries (#7, 481f187)

• Add null, uninitialized, and invalid-release checks (#9, 55d4741)

• Add raw pointers, unsafe regions, and indirect calls (#4, bc454bf)

• Add scalar facts, guarded summaries, and noreturn checks (#10, 3a60ee2)

• Add string facts, sized fields, and offset relations (#13, 6819eb4)

• Add whole-program analysis and weavec-cc driver (#5, 260e27b)

• Implement sound intra-procedural ownership checking (#2, d8071e4)

• Infer function summaries and check calls against them (#3, af74fe5)

• Model reference counts and per-outcome ownership (#11, b9c34bd)

• Preserve heap state and allocation-time bounds (#14, 1815b67)

• Preserve pointer alias relationships across calls (#17, 910dc8a)

• Preserve pointer identity and resolve callback effects (#15, cafee09)

• Scaffold WeaveC with layered Clang build, tests, CI, and docs (cb0535c)

• Track ownership across arrays and containers (#16, a5583dc)