ogma-language-lustre-1.10.0: Ogma: Runtime Monitor translator: Lustre Language Frontend

# ogma-language-lustre-1.10.0: Ogma: Runtime Monitor translator: Lustre Language Frontend

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.

Modules

ogma-language-lustre-1.10.0

- Language
  Submodules
  - Lustre
    Submodules
    - Language.Lustre.AbsLustre
    - Language.Lustre.LexLustre
    - Language.Lustre.ParLustre
    - Language.Lustre.PrintLustre