v1.14.0

[ivanperez-keera]

ogma-cli

• Version bump (1.14.0) (Release 1.14.0 #425).
• Add support for reading diagrams to overview command (ogma-cli: Extend overview command to handle state machine diagrams #386).
• Augment overview command to report determinism of state machines (ogma-cli: Add state machine determinism information to overview command #388).
• Adapt example to change in code generated by diagram backend (ogma-core: Diagram backend unnecessarily passes external state, input to handler #411).
• Adjust standalone, app commands to support multiple input files (Ogma is limited to one input spec at a time #421).
• Expose report command (Add report command #423).

ogma-core

• Version bump (1.14.0) (Release 1.14.0 #425).
• Bump upper version constraints on Copilot packages (ogma-core: Allow installation with Copilot 4.7 #377).
• Lower upper version bound on megaparsec (Constraint on version of megaparsec is too permissive #380).
• Bump upper version constraint on Quickcheck (Allow installation with new versions of QuickCheck #382).
• Adjust Common.Diagram module to use Command.Common.ExprPair (ogma-core: Code duplication between Diagram and Common modules #384).
• Add support for reading diagrams to overview command (ogma-cli: Extend overview command to handle state machine diagrams #386).
• Augment overview command to formally analyze diagrams (ogma-cli: Add state machine determinism information to overview command #388).
• Move functions related to Either type to dedicated module (ogma-core: Low cohesion in Command.Common and Command.Standalone modules #391).
• Move function related to JSON objects to dedicated module (ogma-core: Low cohesion in Command.Common #393).
• Move definitions related to ExprPair type to dedicated module (ogma-core: Low cohesion in Command.Common #395).
• Move functions related to Copilot specs to dedicated modules (ogma-core: Low cohesion in Language.Trans.SpecAnalysis #397).
• Rename module to more accurately reflect intent (ogma-core: Location of Language.Trans.SpecAnalysis module does not match purpose #399).
• Move auxiliary function into new auxiliary module (ogma-core: Code duplication between Command.Overview and Command.Standalone #401).
• Split Command.CommonDiagram into smaller, more cohesive modules (ogma-core: Module Command.CommonDiagram has too many responsibilities #403).
• Simplify internal definition showTransitions (ogma-core: Internal function showTransitions is overly complicated #405).
• Add diagram query functions to Data.Diagram (ogma-core: Provide diagram information functions in Data.Diagram #407).
• Factorize translation of diagrams to Copilot into separate module (ogma-core: Command.Diagram and Data.Diagram.Analysis independently translate diagrams to Copilot #409).
• Remove unnecessary arguments in code generated by diagram backend (ogma-core: Diagram backend unnecessarily passes external state, input to handler #411).
• Move functions related to reading specs to dedicated module (ogma-core: Spec and diagram parsing interface lacks uniformity #413).
• Make standalone, app backends support working directly with diagrams (ogma-core: Generating monitoring apps from diagrams requires multiple steps #415).
• Add support for reading specs from YAML files (ogma-core: Support YAML-based input files #417).
• Fix order of arguments in calls to internal function (ogma-core: Calls to internal function provide arguments in wrong order #419).
• Adjust standalone, app backends to support multiple input specs (Ogma is limited to one input spec at a time #421).
• Introduce report command (Add report command #423).

ogma-extra

• Version bump (1.14.0) (Release 1.14.0 #425).
• Bump upper version constraint on Quickcheck (Allow installation with new versions of QuickCheck #382).

ogma-spec

• Version bump (1.14.0) (Release 1.14.0 #425).

ogma-language-csv

• Version bump (1.14.0) (Release 1.14.0 #425).

ogma-language-xlsx

• Version bump (1.14.0) (Release 1.14.0 #425).

ogma-language-xmlspec

• Version bump (1.14.0) (Release 1.14.0 #425).

ogma-language-smv

• Version bump (1.14.0) (Release 1.14.0 #425).
• Bump upper version constraint on Quickcheck (Allow installation with new versions of QuickCheck #382).

ogma-language-jsonspec

• Version bump (1.14.0) (Release 1.14.0 #425).
• Lower upper version bound on megaparsec (Constraint on version of megaparsec is too permissive #380).

ogma-language-copilot

• Version bump (1.14.0) (Release 1.14.0 #425).

ogma-language-lustre

• Version bump (1.14.0) (Release 1.14.0 #425).
• Bump upper version constraint on Quickcheck (Allow installation with new versions of QuickCheck #382).

ogma-language-c

• Version bump (1.14.0) (Release 1.14.0 #425).
• Bump upper version constraint on Quickcheck (Allow installation with new versions of QuickCheck #382).

Full Changelog: v1.13.0...v1.14.0

---

This discussion was created from the release v1.14.0.