v1.16.0

[ivanperez-keera]

ogma-cli

• Version bump (1.16.0) (Release 1.16.0 #606).
• Remove unnecessary line breaks (Modules include unnecessary line breaks #520).
• Update cFS examples to avoid MID collisions (ogma-cli: Example cFS apps use MIDs that overlap with those in other standard cFS apps #522).
• Add missing periods to Haddock comments (Haddock comments are inconsistently formatted #524).
• Fix spelling of F Prime (F Prime is mispelled as FPrime #526).
• Fix target directory name in project file in Turtlesim example (ogma-cli: Directory name in auxiliary file in example does not match name in associated README #530).
• Add CI job to test ROS 2 backend using Turtlesim example (ogma-cli: Add CI test that integrates with existing ROS 2 system #534).
• Disable secure mode for package repo in Cabal config in CI jobs (CI jobs fail with 404 error #537).
• Address HLint suggestions (ogma-cli: HLint reports simplification and code reduction opportunities #540).
• Attempt to recover from failure during Haskell tool setup in CI jobs (CI jobs fail while checking server signatures during Haskell tool setup #558).
• Make file paths in example project files relative to project path (Paths in projects are not relative to the project directory #567).
• Add missing argument to docker run in Turtlesim tutorial (ogma-cli: Tutorial is missing argument to docker run #571).
• Fix container name in call to docker exec in Turtlesim example (ogma-cli: Tutorial uses incorrect container name when calling docker exec #573).
• Update package index before installing dependencies in CI jobs (Github actions fail due to the package list index being old #577).
• Update commands to use new input file format by default (ogma-core: Introduce default file format #575).
• Fix help message associated with ros command option (ogma-cli: ros command prints incorrect help information for argument #604).

ogma-core

• Version bump (1.16.0) (Release 1.16.0 #606).
• Replace adhoc function mergeMaybe with function from base (ogma-core: Function Command.VariableDB.mergeMaybe duplicates functionality from base #516).
• Fix malformed comments (ogma-core: Modules contain malformed comments #518).
• Remove unnecessary line breaks (Modules include unnecessary line breaks #520).
• Add missing periods to Haddock comments (Haddock comments are inconsistently formatted #524).
• Fix spelling of F Prime (F Prime is mispelled as FPrime #526).
• Replace explicit recursion with calls to base:Control.Monad.foldM (ogma-core: Functions use explicit recursion to fold over lists #532).
• Add valid Haddock documentation to all top-level functions (ogma-core: Top level functions are missing Haddock documentation #542).
• Bump upper version constraints on QuickCheck, megaparsec (Version constraints on dependencies are overly restrictive #545).
• Make Dockerfile base image in default ROS 2 template customizable (ogma-core: Default ROS 2 template does not allow the docker image base to be customized #548).
• Allow for inputs to be deeply nested fields in ROS 2 template (ogma-core: Default ROS 2 template cannot handle sub-fields correctly in test vector generation #547).
• Adjust ROS 2 Dockerfile to run rosdep init only when needed (ogma-core: Dockerfile included in default ROS 2 template executes sudo rosdep init even if not needed #561).
• Fix incorrect creation of two instances of ROS 2 monitoring node (ogma-core: Generated ROS 2 class creates two instances of monitoring node #564).
• Increase detail in template expansion error messages (Error messages resulting from failed template expansion are insufficient #390).
• Use path prefixes to specify path resolution context in project files (Paths in projects are not relative to the project directory #567).
• Update Dockerfile in ROS 2 template for Space ROS jazzy-2026.07.0 (ogma-core: Update ROS 2 template to work with Space ROS 2026.07.0 #569).
• Introduce default input format configuration files (ogma-core: Introduce default file format #575).
• Address HLint suggestions (ogma-core: HLint reports simplification opportunities #586).
• Remove unused imports (ogma-core: Library contains unnecessary imports #590).
• Remove unused pragma (ogma-core: Modules enable OverloadedStrings language extension unnecessarily #600).
• De-duplicate cFS application data (ogma-core: cFS backend can produce application with duplicate declarations, expressions #602).
• Fix Command.Common.mergeSpecs to avoid dropping externs (ogma-core: mergeSpecs duplicates second spec's external variables instead of merging both #551).

ogma-extra

• Version bump (1.16.0) (Release 1.16.0 #606).
• Remove unnecessary line breaks (Modules include unnecessary line breaks #520).
• Bump upper version constraint on QuickCheck (Version constraints on dependencies are overly restrictive #545).
• Handle template expansion errors using specialized exception type (Error messages resulting from failed template expansion are insufficient #390).
• Address HLint suggestions (ogma-extra: HLint reports simplification and readability opportunities #579).
• Remove unused import from System.Directory.Extra module (ogma-extra: System.Directory.Extra unnecessarily imports takeDirectory #588).

ogma-spec

• Version bump (1.16.0) (Release 1.16.0 #606).

ogma-language-csv

• Version bump (1.16.0) (Release 1.16.0 #606).
• Address HLint suggestions (ogma-language-csv: HLint reports simplification opportunities #581).

ogma-language-xlsx

• Version bump (1.16.0) (Release 1.16.0 #606).
• Bump upper version constraint on xlsx (ogma-language-xlsx: allow installation with xlsx-1.3.0 #528).
• Remove unused imports from Language.XLSXSpec.Parser (ogma-language-xlsx: Language.XLSXSpec.Parser unnecessarily imports Data.Text.Encoding #596).

ogma-language-xmlspec

• Version bump (1.16.0) (Release 1.16.0 #606).
• Remove unnecessary line breaks (Modules include unnecessary line breaks #520).
• Add missing periods to Haddock comments (Haddock comments are inconsistently formatted #524).

ogma-language-smv

• Version bump (1.16.0) (Release 1.16.0 #606).
• Remove unnecessary line breaks (Modules include unnecessary line breaks #520).
• Bump upper version constraint on QuickCheck (Version constraints on dependencies are overly restrictive #545).

ogma-language-jsonspec

• Version bump (1.16.0) (Release 1.16.0 #606).
• Bump upper version constraint on megaparsec (Version constraints on dependencies are overly restrictive #545).
• Use infix variant of fmap (ogma-language-jsonspec: HLint reports simplification opportunities #583).
• Remove unused imports from Language.JSONSpec.Parser (ogma-language-jsonspec: Language.JSONSpec.Parser contains unnecessary imports #598).

ogma-language-copilot

• Version bump (1.16.0) (Release 1.16.0 #606).

ogma-language-lustre

• Version bump (1.16.0) (Release 1.16.0 #606).
• Remove unnecessary line breaks (Modules include unnecessary line breaks #520).
• Bump upper version constraint on QuickCheck (Version constraints on dependencies are overly restrictive #545).

ogma-language-c

• Version bump (1.16.0) (Release 1.16.0 #606).
• Remove unnecessary line breaks (Modules include unnecessary line breaks #520).
• Bump upper version constraint on QuickCheck (Version constraints on dependencies are overly restrictive #545).

New Contributors

• @philphauler made their first contribution in ogma-core: Fix Command.Common.mergeSpecs to avoid dropping externs. Refs #551. #552

Full Changelog: v1.15.0...v1.16.0

---

This discussion was created from the release v1.16.0.

[philphauler]

Woooohooowh! Thanks for this @ivanperez-keera looking forward to more what's coming for Ogma 🚀🚀🚀