v0.1.0

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)