ogma-extra: 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.
|Versions [RSS]||1.0.6, 1.0.7, 1.0.8, 1.0.9, 1.0.10, 1.0.11, 1.1.0|
|Dependencies||base (>=126.96.36.199 && <5), bytestring, Cabal, directory, filepath [details]|
|Author||Ivan Perez, Alwyn Goodloe|
|Uploaded||by IvanPerez at 2023-11-22T07:29:16Z|
|Reverse Dependencies||1 direct, 0 indirect [details]|
|Downloads||154 total (0 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs available [build log]
Last success reported on 2023-11-22 [all 1 reports]