ogma-language-xmlspec

Ogma: Runtime Monitor translator: XML Frontend

http://nasa.gov

Stackage Nightly 2025-03-20:1.6.0
Latest on Hackage:1.6.0

See all snapshots ogma-language-xmlspec appears in

LicenseRef-OtherLicense licensed by Ivan Perez, Alwyn Goodloe
Maintained by [email protected]
This version can be pinned in stack with:ogma-language-xmlspec-1.6.0@sha256:3aafa12ee325ef814a905b49e8589bd4832b8007369a8ccba018ebac493131ec,3530

Module documentation for 1.6.0

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.6.0] - 2025-01-21

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