v1.14.0

ogma-cli

• Version bump (1.14.0) (#425).
• Add support for reading diagrams to overview command (#386).
• Augment overview command to report determinism of state machines (#388).
• Adapt example to change in code generated by diagram backend (#411).
• Adjust standalone, app commands to support multiple input files (#421).
• Expose report command (#423).

ogma-core

• Version bump (1.14.0) (#425).
• Bump upper version constraints on Copilot packages (#377).
• Lower upper version bound on megaparsec (#380).
• Bump upper version constraint on Quickcheck (#382).
• Adjust Common.Diagram module to use Command.Common.ExprPair (#384).
• Add support for reading diagrams to overview command (#386).
• Augment overview command to formally analyze diagrams (#388).
• Move functions related to Either type to dedicated module (#391).
• Move function related to JSON objects to dedicated module (#393).
• Move definitions related to ExprPair type to dedicated module (#395).
• Move functions related to Copilot specs to dedicated modules (#397).
• Rename module to more accurately reflect intent (#399).
• Move auxiliary function into new auxiliary module (#401).
• Split Command.CommonDiagram into smaller, more cohesive modules (#403).
• Simplify internal definition showTransitions (#405).
• Add diagram query functions to Data.Diagram (#407).
• Factorize translation of diagrams to Copilot into separate module (#409).
• Remove unnecessary arguments in code generated by diagram backend (#411).
• Move functions related to reading specs to dedicated module (#413).
• Make standalone, app backends support working directly with diagrams (#415).
• Add support for reading specs from YAML files (#417).
• Fix order of arguments in calls to internal function (#419).
• Adjust standalone, app backends to support multiple input specs (#421).
• Introduce report command (#423).

ogma-extra

• Version bump (1.14.0) (#425).
• Bump upper version constraint on Quickcheck (#382).

ogma-spec

• Version bump (1.14.0) (#425).

ogma-language-csv

• Version bump (1.14.0) (#425).

ogma-language-xlsx

• Version bump (1.14.0) (#425).

ogma-language-xmlspec

• Version bump (1.14.0) (#425).

ogma-language-smv

• Version bump (1.14.0) (#425).
• Bump upper version constraint on Quickcheck (#382).

ogma-language-jsonspec

• Version bump (1.14.0) (#425).
• Lower upper version bound on megaparsec (#380).

ogma-language-copilot

• Version bump (1.14.0) (#425).

ogma-language-lustre

• Version bump (1.14.0) (#425).
• Bump upper version constraint on Quickcheck (#382).

ogma-language-c

• Version bump (1.14.0) (#425).
• Bump upper version constraint on Quickcheck (#382).

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