diff --git a/CHANGELOG.md b/CHANGELOG.md index 47b249138..b86baa065 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,21 +5,21 @@ 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). -## [Unreleased] +## [0.18.0] - 2024-01-30 ### Added -- Pragma marking all generated files as Ada 2012 (eng/recordflux/RecordFlux#1509, AdaCore/RecordFlux#1293) +- Pragma marking all generated files as Ada 2012 (AdaCore/RecordFlux#1293, eng/recordflux/RecordFlux#1509) - `--no-caching` option to `rflx` (eng/recordflux/RecordFlux#1488) - Model verification caching to validator ### Changed -- Insert/Extract functions now accept Byte array instead of access type (eng/recordflux/RecordFlux#1515) +- Insert/Extract functions accept Byte array instead of access type (eng/recordflux/RecordFlux#1515) ### Fixed -- Various inaccuracies in LRM (eng/recordflux/RecordFlux#958) +- Various inaccuracies in Language Reference (AdaCore/RecordFlux#958, eng/recordflux/RecordFlux#958) - Erroneous acceptance of consecutive / trailing underscores (eng/recordflux/RecordFlux#1468) - Fatal error when digit in numeric literal exceeds base (eng/recordflux/RecordFlux#1469) - Fatal error when unsupported base is used in numeric literal (eng/recordflux/RecordFlux#1470) @@ -468,7 +468,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ## [0.1.0] - 2019-05-14 -[Unreleased]: https://github.com/AdaCore/RecordFlux/compare/v0.17.0...HEAD +[0.18.0]: https://github.com/AdaCore/RecordFlux/compare/v0.17.0...v0.18.0 [0.17.0]: https://github.com/AdaCore/RecordFlux/compare/v0.16.0...v0.17.0 [0.16.0]: https://github.com/AdaCore/RecordFlux/compare/v0.15.0...v0.16.0 [0.15.0]: https://github.com/AdaCore/RecordFlux/compare/v0.14.0...v0.15.0