Changelog of @hackage/ogma-core 1.3.0

Revision history for ogma-core

[1.3.0] - 2024-03-21

  • Version bump 1.3.0 (#133).
  • Fix missing stream name substitution (#120).
  • Use generalized JSON parser for DB Spec (#122).
  • Fix translation of equivalence boolean operator from SMV (#126).
  • Sanitize handler names (#127).
  • Use same handler name in FPrime/ROS and Copilot (#130).

[1.2.0] - 2024-01-21

  • Version bump 1.2.0 (#117).
  • Generalize JSON parser (#115).

[1.1.0] - 2023-11-21

  • Version bump 1.1.0 (#112).
  • Remove trailing spaces from cFS app template (#108).
  • Replace all mentions of the Sample App (#105).

[1.0.11] - 2023-09-21

  • Version bump 1.0.11 (#103).
  • Support MTL operators with number ranges in SMV (#101).

[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.