# Changelog

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

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

## [Unreleased]

## [0.6.0] - 2026-01-17

Initial crates.io release.

### Added

- LOGOS compilation pipeline
- Code generation from AST to target output
- Tree-walking interpreter (optional `interpreter-only` feature)
- Refinement type syntax with `where` clauses
- DRS (Discourse Representation Structures) for donkey anaphora
- Event adjective analysis
- Escape analysis for memory safety
- Diagnostic system with source mapping
- Optional `codegen` feature for full compilation
- Optional `verification` feature for Z3 integration
