ogma-language-csv

Ogma: Runtime Monitor translator: CSV Frontend

https://github.com/nasa/ogma

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

See all snapshots ogma-language-csv appears in

LicenseRef-OtherLicense licensed by Ivan Perez, Alwyn Goodloe
Maintained by [email protected]
This version can be pinned in stack with:ogma-language-csv-1.7.0@sha256:5bf3c8ff97f98f9050112d718a6c6abc99b7429096f70fa80128df1ed496bea6,3437

Module documentation for 1.7.0

Used by 1 package in nightly-2025-05-01(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 specs from CSV files.

Changes

Revision history for ogma-language-csv

[1.7.0] - 2025-03-21

  • Version bump 1.7.0 (#269).
  • Initial release (#261).