Packages

semantic_verifier

0.1.1
0.2.0-rc.2 0.1.3 0.1.2 0.1.1 0.1.0

Pure Elixir SMT-LIB2 formal verification engine for FrameNet Semantic IR with persistent Z3 session pools.

HexDocs Report package

Current section

Files

Jump to
Readme
5 Versions
1 Dependency
Dependants
Files
Activity
semantic_verifier CHANGELOG.md
Raw

CHANGELOG.md 

# Changelog



All notable changes to this project will be documented in this file.



The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),

and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).



## [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`).