ogma-extra-1.14.0: Ogma: Helper tool to interoperate between Copilot and other languages.

# ogma-extra-1.14.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 internal extensions to existing libraries and modules that are used in several ogma packages and their testing facilities.

Modules

ogma-extra-1.14.0

- Data
  Submodules
  - ByteString
    Submodules
    - Data.ByteString.Extra
  - List
    Submodules
    - Data.List.Extra
  - String
    Submodules
    - Data.String.Extra
- System
  Submodules
  - Directory
    Submodules
    - System.Directory.Extra