Skip to content

Releases: nasa/ogma

v1.4.1

22 Sep 14:17
Compare
Choose a tag to compare

ogma-cli

  • Version bump 1.4.1 (#155).
  • Constrain version of dependency in CI jobs (#151).
  • Replace homepage (#147).

ogma-core

  • Version bump 1.4.1 (#155).
  • Remove dependency on IfElse (#150).
  • Replace homepage (#147).

ogma-extra

  • Version bump 1.4.1 (#155).
  • Replace homepage (#147).

ogma-language-c

  • Version bump 1.4.1 (#155).
  • Replace homepage (#147).

ogma-language-cocospec

  • Version bump 1.4.1 (#155).
  • Replace homepage (#147).

ogma-language-copilot

  • Version bump 1.4.1 (#155).
  • Replace homepage (#147).

ogma-language-jsonspec

  • Version bump 1.4.1 (#155).
  • Replace homepage (#147).

ogma-language-smv

  • Version bump 1.4.1 (#155).
  • Replace homepage (#147).

ogma-spec

  • Version bump 1.4.1 (#155).
  • Replace homepage (#147).

v1.4.0

22 May 15:40
Compare
Choose a tag to compare

ogma-cli

  • Version bump 1.4.0 (#145).
  • Introduce CI test job (#139).
  • Introduce test job for ROS package generation (#136).
  • Add a float and a double input variable to ROS example (#138).
  • Document format of variable DB (#143).

ogma-core

  • Version bump 1.4.0 (#145).
  • Make ros command generate dockerfile (#136).
  • Map float and double to the same types in C++ (#138).

ogma-extra

  • Version bump 1.4.0 (#145).

ogma-language-c

  • Version bump 1.4.0 (#145).

ogma-language-cocospec

  • Version bump 1.4.0 (#145).

ogma-language-copilot

  • Version bump 1.4.0 (#145).

ogma-language-jsonspec

  • Version bump 1.4.0 (#145).

ogma-language-smv

  • Version bump 1.4.0 (#145).

ogma-spec

  • Version bump 1.4.0 (#145).

Full Changelog: v1.3.0...v1.4.0

v1.3.0

22 Mar 11:10
Compare
Choose a tag to compare

ogma-cli

  • Version bump 1.3.0 (#133).

ogma-core

  • 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).

ogma-extra

  • Version bump 1.3.0 (#133).

ogma-language-c

  • Version bump 1.3.0 (#133).

ogma-language-cocospec

  • Version bump 1.3.0 (#133).

ogma-language-copilot

  • Version bump 1.3.0 (#133).

ogma-language-jsonspec

  • Version bump 1.3.0 (#133).
  • Make some fields in JSON format spec optional (#122).

ogma-language-smv

  • Version bump 1.3.0 (#133).

ogma-spec

  • Version bump 1.3.0 (#133).

Full Changelog: v1.2.0...v1.3.0

v1.2.0

22 Jan 12:31
Compare
Choose a tag to compare

ogma-cli

  • Version bump 1.2.0 (#117).
  • Re-structure README around on backends (#75).

ogma-core

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

ogma-extra

  • Version bump 1.2.0 (#117).

ogma-language-c

  • Version bump 1.2.0 (#117).

ogma-language-cocospec

  • Version bump 1.2.0 (#117).

ogma-language-copilot

  • Version bump 1.2.0 (#117).

ogma-language-fret-reqs

  • Version bump 1.2.0 (#117).

ogma-language-jsonspec

  • Version bump 1.2.0 (#117).
  • Initial release (#115).

ogma-language-smv

  • Version bump 1.2.0 (#117).
  • Introduce identifier substitution functions (#115).

ogma-spec

  • Version bump 1.2.0 (#117).
  • Initial release (#115).

v1.1.0

22 Nov 07:33
Compare
Choose a tag to compare

ogma-cli

  • Version bump 1.1.0 (#112).
  • Document cabal update step in README (#100).

ogma-core

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

ogma-language-c

  • Version bump 1.1.0 (#112).

ogma-language-cocospec

  • Version bump 1.1.0 (#112).

ogma-language-copilot

  • Version bump 1.1.0 (#112).

ogma-language-fret-cs

  • Version bump 1.1.0 (#112).

ogma-language-fret-reqs

  • Version bump 1.1.0 (#112).

ogma-language-smv

  • Version bump 1.1.0 (#112).

ogma-extra

  • Version bump 1.1.0 (#112).

v1.0.11

22 Sep 09:17
Compare
Choose a tag to compare

ogma-cli

  • Version bump 1.0.11 (#103).

ogma-core

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

ogma-extra

  • Version bump 1.0.11 (#103).

ogma-language-c

  • Version bump 1.0.11 (#103).

ogma-language-cocospec

  • Version bump 1.0.11 (#103).

ogma-language-copilot

  • Version bump 1.0.11 (#103).

ogma-language-fret-cs

  • Version bump 1.0.11 (#103).

ogma-language-fret-reqs

  • Version bump 1.0.11 (#103).

ogma-language-smv

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

Full Changelog: v1.0.10...v1.0.11

v1.0.10

22 Jul 21:05
Compare
Choose a tag to compare

ogma-cli

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

ogma-core

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

ogma-extra

  • Version bump 1.0.10 (#98).

ogma-language-c

  • Version bump 1.0.10 (#98).

ogma-language-cocospec

  • Version bump 1.0.10 (#98).

ogma-language-copilot

  • Version bump 1.0.10 (#98).

ogma-language-fret-cs

  • Version bump 1.0.10 (#98).
  • Improve parsing error messages (#96).

ogma-language-fret-reqs

  • Version bump 1.0.10 (#98).

ogma-language-smv

  • Version bump 1.0.10 (#98).

v1.0.9

21 May 21:27
Compare
Choose a tag to compare

ogma-cli

  • Version bump 1.0.9 (#93).
  • Rename ROS2 to ROS 2 (#83).
  • Allow customizing the names of the C files generated by Copilot (#80).
  • Re-order README's TOC to match order of contents (#88).
  • Fix rendering of quotes in URLs in package description (#72).
  • List FPrime backend as supported use case in package description (#91).

ogma-core

  • 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).

ogma-extra

  • Version bump 1.0.9 (#93).

ogma-language-c

  • Version bump 1.0.9 (#93).

ogma-language-cocospec

  • Version bump 1.0.9 (#93).
  • Add unary operators ZtoPre, YtoPre (#86).

ogma-language-copilot

  • Version bump 1.0.9 (#93).

ogma-language-smv

  • Version bump 1.0.9 (#93).

ogma-language-fret-cs

  • Version bump 1.0.9 (#93).

ogma-language-fret-reqs

  • Version bump 1.0.9 (#93).

Full Changelog: v1.0.8...v1.0.9

v1.0.8

22 Mar 16:39
Compare
Choose a tag to compare

ogma-cli

  • Version bump 1.0.8 (#81).
  • Introduce new F' (FPrime) backend (#77).
  • Mark package as uncurated (#74).

ogma-core

  • 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).

ogma-extra

  • Version bump 1.0.8 (#81).
  • Mark package as uncurated (#74).

ogma-language-c

  • Version bump 1.0.8 (#81).
  • Mark package as uncurated (#74).

ogma-language-cocospec

  • Version bump 1.0.8 (#81).
  • Support inequality operator (#71).
  • Mark package as uncurated (#74).

ogma-language-copilot

  • Version bump 1.0.8 (#81).
  • Mark package as uncurated (#74).

ogma-language-fret-cs

  • Version bump 1.0.8 (#81).
  • Mark package as uncurated (#74).

ogma-language-fret-reqs

  • Version bump 1.0.8 (#81).
  • Mark package as uncurated (#74).

ogma-language-smv

  • Version bump 1.0.8 (#81).
  • Support inequality operator (#71).
  • Mark package as uncurated (#74).

Full Changelog: v1.0.7...v1.0.8