[ANN] Ogma 1.7.0

[ivanperez-keera]

ogma-cli

• Version bump 1.7.0 (Release 1.7.0 #269).
• Add all auxiliary test files to distributable Cabal package (ogma-cli: Tests are missing auxiliary files #216).
• Remove extraneous EOL character (License header contains extraneous line-separator character #224).
• Update installation instructions to use cabal install (Specify tool dependencies using build-tool-depends #149).
• Update README with new cFS template variables (ogma-core: cFS backend is overly specific and complex #229).
• Expose handlers-file argument to cFS backend (cFS backend does not allow customizing handlers #234).
• Expose template-vars argument to cFS backend (ogma-cli: cFS applications are not customizable without modifying the template #106).
• Document new template variables in README (ogma-core: The cFS application template mentions ICAROUS instead of cFS #237).
• Fix formatting of template variables in README (ogma-cli: template variables in README are formatted incorrectly #222).
• Update README with new ROS template variables (ogma-core: ROS backend is overly specific and complex #244).
• Update README with new FPrime template variables (ogma-core: FPrime backend is overly specific and complex #246).
• Adjust CLI to match new backend API (Equalize the backends #248).
• Expose template-vars argument to ROS, FPrime, standalone backends (ogma-cli: ROS, FPrime, standalone applications are not customizable without modifying the template #250).
• Expose spec processing arguments to cFS backend in CLI (ogma-cli: the cFS backend does not accept a spec as input #252).
• Use new sample spec with ROS backend in CI job (ogma-cli: Application generation requires multiple steps #107).
• Update examples, Github Actions, README to use new variable DB format (ogma-core: Standardize variable DB format #256).
• Update README, ROS example with ability to pass data to handlers (Allow monitors to pass values to external handlers or in the message bus #219).
• Update README, Github Actions with new dependencies (Allow importing properties from Excel files #263).
• Update to support boolean expressions in the Lustre language (Allow processing boolean expressions in Lustre #267).

ogma-core

• Version bump 1.7.0 (Introduce support for Lustre boolean expressions. Refs #267. #268).
• Import liftIO from Control.Monad.IO.Class (ogma-core: Failure to install with GHC 9.6 #215).
• Remove references to old design of Ogma from hlint files (Remove old references to external tools #220).
• Bump upper version constraint on aeson, text (Extend range of versions of dependencies #225).
• Remove extraneous EOL character (License header contains extraneous line-separator character #224).
• Make structured data available to cFS template (ogma-core: cFS backend is overly specific and complex #229).
• Update Copilot struct code generator to use new function names (ogma-core: Update struct code generator for Copilot >= 3.19 #231).
• Simplify Copilot struct definitions by using generics (ogma-core: Simplify struct generation #199).
• Update cFS backend to process a handlers file (cFS backend does not allow customizing handlers #234).
• Update cFS backend to process a template variables file (ogma-cli: cFS applications are not customizable without modifying the template #106).
• Remove dependency on ICAROUS from generated cFS applications (ogma-core: The cFS application template mentions ICAROUS instead of cFS #237).
• Remove incorrect function declaration from template (ogma-core: cFS template incorrectly mentions a function split that doesn't exist #240).
• Re-structure cFS backend to avoid nested conditions (ogma-core: Re-structure cFS backend to avoid nested conditions #242).
• Make structured data available to ROS template (ogma-core: ROS backend is overly specific and complex #244).
• Make structured data available to FPrime template (ogma-core: FPrime backend is overly specific and complex #246).
• Equalize backends (Equalize the backends #248).
• Update ROS, FPrime, standalone backends to process template vars file (ogma-cli: ROS, FPrime, standalone applications are not customizable without modifying the template #250).
• Make cFS backend accept spec as input (ogma-cli: the cFS backend does not accept a spec as input #252).
• Make cFS, ROS, FPrime backends generate Copilot monitor (ogma-cli: Application generation requires multiple steps #107).
• Standardize variable DB format across backends (ogma-core: Standardize variable DB format #256).
• Make backends accept additional data to be passed to handlers (Allow monitors to pass values to external handlers or in the message bus #219).
• Add support to read properties from CSV files (Allow importing properties from CSV files #261).
• Add support to read properties from XLSX files (Allow importing properties from Excel files #263).
• Add all auxiliary test files to distributable Cabal package (ogma-core: Tests are missing auxiliary files #258).
• Update to support boolean expressions in the Lustre language (Allow processing boolean expressions in Lustre #267).

ogma-extra

• Version bump 1.7.0 (Release 1.7.0 #269).
• Bump upper version constraint on Cabal (Upgrade version bounds of dependencies on Cabal #213).
• Bump upper version constraint on aeson, text (Extend range of versions of dependencies #225).
• Remove extraneous EOL character (License header contains extraneous line-separator character #224).
• Add auxiliary functions to manipulate strings, lists (ogma-core: Standardize variable DB format #256).

ogma-spec

• Version bump 1.7.0 (Release 1.7.0 #269).
• Remove extraneous EOL character (License header contains extraneous line-separator character #224).
• Extend Spec with additional data associated with results (Allow monitors to pass values to external handlers or in the message bus #219).

ogma-language-csv

• Version bump 1.7.0 (Release 1.7.0 #269).
• Initial release (Allow importing properties from CSV files #261).

ogma-language-xlsx

• Version bump 1.7.0 (Release 1.7.0 #269).
• Initial release (Allow importing properties from Excel files #263).

ogma-language-xmlspec

• Version bump 1.7.0 (Release 1.7.0 #269).
• Remove extraneous EOL character (License header contains extraneous line-separator character #224).
• Extend XMLSpec with additional data associated with results (Allow monitors to pass values to external handlers or in the message bus #219).

ogma-language-smv

• Version bump 1.7.0 (Release 1.7.0 #269).
• Remove references to old design of Ogma from documentation (Remove old references to external tools #220).
• Bump upper version constraint on Cabal (Upgrade version bounds of dependencies on Cabal #213).
• Remove extraneous EOL character (License header contains extraneous line-separator character #224).
• Specify tools needed using build-tool-depends (Specify tool dependencies using build-tool-depends #149).

ogma-language-jsonspec

• Version bump 1.7.0 (Release 1.7.0 #269).
• Bump upper version constraint on aeson, text (Extend range of versions of dependencies #225).
• Remove extraneous EOL character (License header contains extraneous line-separator character #224).
• Extend JSONSpec with additional data associated with results (Allow monitors to pass values to external handlers or in the message bus #219).

ogma-language-copilot

• Version bump 1.7.0 (Release 1.7.0 #269).
• Remove extraneous EOL character (License header contains extraneous line-separator character #224).

ogma-language-lustre

• Version bump 1.7.0 (Release 1.7.0 #269).
• Remove references to old design of Ogma from documentation (Remove old references to external tools #220).
• Bump upper version constraint on Cabal (Upgrade version bounds of dependencies on Cabal #213).
• Remove extraneous EOL character (License header contains extraneous line-separator character #224).
• Specify tools needed using build-tool-depends (Specify tool dependencies using build-tool-depends #149).
• Introduce package to process Lustre expressions (Allow processing boolean expressions in Lustre #267).

ogma-language-c

• Version bump 1.7.0 (Release 1.7.0 #269).
• Bump upper version constraint on Cabal (Upgrade version bounds of dependencies on Cabal #213).
• Remove extraneous EOL character (License header contains extraneous line-separator character #224).
• Specify tools needed using build-tool-depends (Specify tool dependencies using build-tool-depends #149).

New Contributors

• @kaBeech made their first contribution in Bump version bounds of dependencies on Cabal. Refs #213.  #223
• @carte731 made their first contribution in ogma-cli: Fix formatting of template variables in README. Refs #222. #239

Full Changelog: v1.6.0...v1.7.0

---

This discussion was created from the release v1.7.0.