@hackage ogma-core1.14.0
Ogma: Helper tool to interoperate between Copilot and other languages.
Installation
Dependencies (27)
- aeson >=2.0.0.0 && <2.3
- base >=4.11.0.0 && <5
- bytestring >=0.10.8.2 && <0.13
- containers >=0.5 && <0.8
- copilot-core >=4.6.1 && <4.8
- copilot-language >=4.6.1 && <4.8 Show all…
Dependents (1)
@hackage/ogma-cli
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.