@hackage ogma-extra1.14.0
Ogma: Helper tool to interoperate between Copilot and other languages.
Installation
Dependencies (8)
Dependents (4)
@hackage/ogma-core, @hackage/ogma-language-fret-cs, @hackage/ogma-language-fret-reqs, @hackage/copilot-visualizer
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.