ogma-language-xlsx

Ogma: Runtime Monitor translator: XLSX Frontend

https://github.com/nasa/ogma

LTS Haskell 24.60:1.7.0
Stackage Nightly 2026-09-23:1.16.0
Latest on Hackage:1.16.0

See all snapshots ogma-language-xlsx 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-xlsx-1.16.0@sha256:315aae36967f5b20b96b377a8f48a603700da077c033d0f3445cfc38f687b4b6,2257

Module documentation for 1.16.0

Used by 1 package in nightly-2026-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 specs from Excel files.

Changes

Revision history for ogma-language-xlsx

[1.16.0] - 2026-09-21

  • Version bump (1.16.0) (#606).
  • Bump upper version constraint on xlsx (#528).
  • Remove unused imports from Language.XLSXSpec.Parser (#596).

[1.15.0] - 2026-07-21

  • Version bump (1.15.0) (#508).
  • Remove unnecessary vertical space (#470).

[1.14.0] - 2026-05-21

  • Version bump (1.14.0) (#425).

[1.13.0] - 2026-03-21

  • Version bump (1.13.0) (#373).

[1.12.0] - 2026-01-21

  • Version bump 1.12.0 (#336).

[1.11.0] - 2025-11-21

  • Version bump 1.11.0 (#325).
  • Bump upper version constraint on xlsx (#313).

[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).
  • Initial release (#263).