# Revision history for ogma-core

## [1.0.10] - 2023-07-21

* Version bump 1.0.10 (#98).
* Correct test case (#96).

## [1.0.9] - 2023-05-21

* Version bump 1.0.9 (#93).
* Allow customizing the names of the C files generated by Copilot (#80).
* Translate ZtoPre and YtoPre to Copilot (#86).

## [1.0.8] - 2023-03-21

* Version bump 1.0.8 (#81).
* Support inequality operator in SMV and CoCoSpec (#71).
* Introduce new F' (FPrime) backend (#77).
* Mark package as uncurated (#74).

## [1.0.7] - 2023-01-21
* Version bump 1.0.7 (#69).
* Introduce new ROS2 backend (#56).

## [1.0.6] - 2022-11-21

* Version bump 1.0.6 (#64).
* Update license in cabal file to OtherLicense (#62).

## [1.0.5] - 2022-09-21

* Version bump 1.0.5 (#60).
* Bump version bounds of Aeson (#55).
* Support floating point numbers in SMV expressions (#58).

## [1.0.4] - 2022-07-21

* Version bump 1.0.4 (#53).
* Address all hlint suggestions (#51).

## [1.0.3] - 2022-05-21

* Version bump 1.0.3 (#49).
* Conformance with style guide (partial) (#45).

## [1.0.2] - 2022-03-21

* Version bump 1.0.2 (#43).
* Fix compilation error in unit tests (#42).
* Remove reduntant parenthesis (#40).

## [1.0.1] - 2022-01-21

* Version bump 1.0.1 (#39).
* Align definitions consistently (#35).
* Indent ogma-core:Language.Trans.CStruct2CopilotStruct.buildCField (#36).
* Indent ogma-core:Command.Result module declaration (#37).

## [1.0.0] - 2021-11-22

* Initial release.