ogma-language-lustre

Ogma: Runtime Monitor translator: Lustre Language Frontend

https://github.com/nasa/ogma

LTS Haskell 24.2:1.7.0
Stackage Nightly 2025-08-02:1.8.0
Latest on Hackage:1.8.0

See all snapshots ogma-language-lustre appears in

LicenseRef-OtherLicense licensed by Ivan Perez, Alwyn Goodloe
Maintained by [email protected]
This version can be pinned in stack with:ogma-language-lustre-1.8.0@sha256:d54428cc2870abf2987c6405eb05175ad879c4b315a24f485ba44714249f8c78,4553

Module documentation for 1.8.0

Depends on 2 packages(full list with versions):
array, base
Used by 1 package in nightly-2025-08-02(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 Lustre Boolean expressions, extended with several operators related to temporal logic.

Changes

Revision history for ogma-language-lustre

[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 references to old design of Ogma from documentation (#220).
  • Bump upper version constraint on Cabal (#213).
  • Remove extraneous EOL character (#224).
  • Specify tools needed using build-tool-depends (#149).
  • Introduce package to process Lustre expressions (#267).

[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).

[1.5.0] - 2024-11-21

  • Version bump 1.5.0 (#178).

[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).

[1.2.0] - 2024-01-21

  • Version bump 1.2.0 (#117).

[1.1.0] - 2023-11-21

  • Version bump 1.1.0 (#112).

[1.0.11] - 2023-09-21

  • Version bump 1.0.11 (#103).

[1.0.10] - 2023-07-21

  • Version bump 1.0.10 (#98).

[1.0.9] - 2023-05-21

  • Version bump 1.0.9 (#93).
  • Add unary operators ZtoPre, YtoPre (#86).

[1.0.8] - 2023-03-21

  • Version bump 1.0.8 (#81).
  • Support inequality operator (#71).
  • Mark package as uncurated (#74).

[1.0.7] - 2023-01-21

  • Version bump 1.0.7 (#69).
  • Specify upper bound constraint for Cabal. Refs #69.

[1.0.6] - 2022-11-21

  • Version bump 1.0.6 (#64).
  • Update license in cabal file to OtherLicense (#62).
  • Add empty file to keep directory structure in distributable package (#65).

[1.0.5] - 2022-09-21

  • Version bump 1.0.5 (#60).

[1.0.4] - 2022-07-21

  • Version bump 1.0.4 (#53).

[1.0.3] - 2022-05-21

  • Version bump 1.0.3 (#49).

[1.0.2] - 2022-03-21

  • Version bump 1.0.2 (#43).

[1.0.1] - 2022-01-21

  • Version bump 1.0.1 (#39).

[1.0.0] - 2021-11-22

  • Initial release.