v.1.13.0

[ivanperez-keera]

ogma-cli

• Version bump (1.13.0) (Release 1.13.0 #373).
• Fix grammatical errors in ROS 2 tutorial (ogma-cli: ROS 2 tutorial contains grammatical errors #341).
• Make example file consistent with associated tutorial (ogma-cli: Auxiliary file does not match associated tutorial #343).
• Add syntax information to code blocks in tutorials (ogma-cli: Code blocks in tutorials do not appear highlighted #345).
• Update installation instructions for Linux, Mac (ogma-cli: Installation instructions do not explain how to install binaries #347).
• Fix incorrect arguments to diagram command in tutorial (ogma-cli: Arguments to diagram command in tutorial are incorrect #349).
• Adjust README, tutorial to account for Dockerfile in cFS template (ogma-cli: Add dockerfile with complete workflow for cFS backend #353).
• Augment overview command to report results of spec analysis (ogma-cli: Add triviality information to overview command #356).
• Add example containing requirements in CSV format (ogma-cli: Add example of CSV file with requirements #358).
• Add example containing requirements in XLSX format (ogma-cli: Add example of XLSX file with requirements #360).
• Add CI job to test standalone backend using CSV file (ogma-cli: Add CI test for CSV file #362).
• Add CI job to test standalone backend using XLSX file (ogma-cli: Add CI test for XLSX file #364).
• Augment overview command to report consistency of specs (ogma-cli: Add consistency information to overview command #366).
• Adjust CI jobs to avoid broken version of alex (ogma-cli: CI jobs fail due to alex failing to install #370).
• Add example containing properties in parenthesized EARS (ogma-cli: Add example demonstrating how to write properties in structured natural language #372).

ogma-core

• Version bump (1.13.0) (Release 1.13.0 #373).
• Remove unused functions from diagram template (ogma-core: Diagrams template contains unused definitions #351).
• Add dockerfile to cFS template (ogma-cli: Add dockerfile with complete workflow for cFS backend #353).
• Augment overview command to formally analyze specs (ogma-cli: Add triviality information to overview command #356).
• Augment overview command to determine consistency of specs (ogma-cli: Add consistency information to overview command #366).
• Expand extra definitions in Copilot specs in templates (ogma-core: Expand Copilot templates to allow for extra definitions #368).

ogma-extra

• Version bump (1.13.0) (Release 1.13.0 #373).

ogma-spec

• Version bump (1.13.0) (Release 1.13.0 #373).

ogma-language-csv

• Version bump (1.13.0) (Release 1.13.0 #373).

ogma-language-xlsx

• Version bump (1.13.0) (Release 1.13.0 #373).

ogma-language-xmlspec

• Version bump (1.13.0) (Release 1.13.0 #373).

ogma-language-smv

• Version bump (1.13.0) (Release 1.13.0 #373).
• Constrain version of alex in Cabal file (ogma-cli: CI jobs fail due to alex failing to install #370).

ogma-language-jsonspec

• Version bump (1.13.0) (Release 1.13.0 #373).

ogma-language-copilot

• Version bump (1.13.0) (Release 1.13.0 #373).

ogma-language-lustre

• Version bump (1.13.0) (Release 1.13.0 #373).
• Constrain version of alex in Cabal file (ogma-cli: CI jobs fail due to alex failing to install #370).

ogma-language-c

• Version bump (1.13.0) (Release 1.13.0 #373).
• Constrain version of alex in Cabal file (ogma-cli: CI jobs fail due to alex failing to install #370).

Full Changelog: v1.12.0...v1.13.0

---

This discussion was created from the release v.1.13.0.