ogma-core-1.10.0: Ogma: Helper tool to interoperate between Copilot and other languages.

# ogma-core-1.10.0: Ogma: Helper tool to interoperate between Copilot and other languages.

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 package implements the internal commands of ogma.

Modules

ogma-core-1.10.0

- Command
  Submodules
  - Command.CFSApp
  - Command.CStructs2Copilot
  - Command.CStructs2MsgHandlers
  - Command.Diagram
  - Command.FPrimeApp
  - Command.Overview
  - Command.ROSApp
  - Command.Result
  - Command.Standalone
- Data
  Submodules
  - Data.Location
- Language
  Submodules
  - Trans
    Submodules
    - Language.Trans.CStruct2CopilotStruct
    - Language.Trans.CStructs2Copilot
    - Language.Trans.CStructs2MsgHandlers
    - Language.Trans.Lustre2Copilot
    - Language.Trans.SMV2Copilot
    - Language.Trans.Spec2Copilot