ogma-language-jsonspec

Ogma: Runtime Monitor translator: JSON Frontend

https://github.com/nasa/ogma

Stackage Nightly 2025-05-24:1.7.0
Latest on Hackage:1.7.0

See all snapshots ogma-language-jsonspec appears in

LicenseRef-OtherLicense licensed by Ivan Perez, Alwyn Goodloe
Maintained by [email protected]
This version can be pinned in stack with:ogma-language-jsonspec-1.7.0@sha256:88b028cb5ad073b4fec84354d0b73a66bd2165e0f123758b6c2e9bba1936c089,3758

Module documentation for 1.7.0

Used by 1 package in nightly-2025-05-24(full list with versions):
ogma-core

Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code.

This library contains a frontend to read specifications from JSON files.

Changes

Revision history for ogma-language-jsonspec

[1.7.0] - 2025-03-21

  • Version bump 1.7.0 (#269).
  • Bump upper version constraint on aeson, text (#225).
  • Remove extraneous EOL character (#224).
  • Extend JSONSpec with additional data associated with results (#219).

[1.6.0] - 2025-01-21

  • Version bump 1.6.0 (#208).
  • Add repository information to cabal package (#148).
  • Add version bounds to all dependencies (#119).
  • Extend JSON spec parser to use an IO action to parse properties (#197).

[1.5.0] - 2024-11-21

  • Version bump 1.5.0 (#178).
  • Make JSONFormat readable (#170).

[1.4.1] - 2024-09-21

  • Version bump 1.4.1 (#155).
  • Replace homepage (#147).

[1.4.0] - 2024-05-21

  • Version bump 1.4.0 (#145).

[1.3.0] - 2024-03-21

  • Version bump 1.3.0 (#133).
  • Make some fields in JSON format spec optional (#122).

[1.2.0] - 2024-01-21

  • Version bump 1.2.0 (#117).
  • Initial release (#115).