diff --git a/CHANGELOG.md b/CHANGELOG.md index 57f1fcd..2eb71da 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,7 +4,18 @@ All notable changes to this project will be documented in this file. The format is based on [Keep a Changelog](http://keepachangelog.com/) and this project adheres to [Semantic Versioning](https://semver.org/) -## [Unreleased] +## [1.0.0alpha2] 2024-06-28 + +### Added + +- added "Annotate inferred axioms" and "Exclude duplicate axioms" parameters in Reason plugin +- added "Maximum RAM percentage" parameter in Reason and Validate plugins + +### Changed + +- Axiom generators are now not advanced parameters + +## [1.0.0alpha1] 2024-06-27 ### Added