# 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.8.12] - 2026-02-14
Synced to workspace version 0.8.12. See root CHANGELOG for full history.
## [0.6.0] - 2026-01-17
Initial crates.io release.
### Added
- `largo` CLI tool for LOGOS project management
- REPL mode for interactive logic exploration
- Project scaffolding (`largo new`)
- Package registry integration (`largo publish`, `largo install`)
- Build and test commands
- Rust code formatter for generated output
- Optional `verification` feature for Z3 integration