All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.
[0.1.1] - 2026-08-21
Added
- Example script under
examples/demonstrating dead-code detection, self-healing, counter-example extraction, and the happy path.
[0.1.0] - 2026-08-21
Added
- Pure Elixir SMT-LIB2 formal verification engine with Z3 SMT Theorem Prover.
- Persistent interactive Z3 Port session pool (
SemanticVerifier.Pool,SemanticVerifier.Session) with in-memory(reset)recycling. - Schema validation layer using
NimbleOptions(SemanticVerifier.Schema). - Dead-code and shadowed decision branch detection.
- Concrete S-expression counter-example parser for
(get-model)outputs (SemanticVerifier.ModelParser). - AST-level self-healing transformations (
SemanticVerifier.Healer).