ogma-language-xmlspec

Ogma: Runtime Monitor translator: XML Frontend

http://nasa.gov

LTS Haskell 24.12:1.7.0
Stackage Nightly 2025-09-23:1.10.0
Latest on Hackage:1.10.0

See all snapshots ogma-language-xmlspec appears in

Apache-2.0 licensed by Ivan Perez, Alwyn Goodloe
Maintained by [email protected]
This version can be pinned in stack with:ogma-language-xmlspec-1.10.0@sha256:d60995e25e37bab347255e1d8dd1026a5eb2829df8abc656e4332aaa2c1dd05b,2423

Module documentation for 1.10.0

Used by 1 package in nightly-2025-09-23(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 XML files.

Changes

Revision history for ogma-language-xmlspec

[1.10.0] - 2025-09-21

  • Version bump 1.10.0 (#310).
  • Replace NOSA license with Apache license (#293).

[1.9.0] - 2025-08-06

  • Version bump 1.9.0 (#284).

[1.8.0] - 2025-07-13

  • Version bump 1.8.0 (#275).

[1.7.0] - 2025-03-21

  • Version bump 1.7.0 (#269).
  • Remove extraneous EOL character (#224).
  • Extend XMLSpec with additional data associated with results (#219).

[1.6.0] - 2025-01-21

  • Version bump 1.6.0 (#208).
  • Initial release (#202).