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|
|Dependencies||base (>=188.8.131.52 && <5), bytestring, Cabal, directory, filepath [details]|
|Author||Ivan Perez, Alwyn Goodloe|
|Uploaded||by IvanPerez at 2023-09-22T09:08:03Z|
|Reverse Dependencies||1 direct, 0 indirect [details]|
|Downloads||153 total (9 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs available [build log]
Last success reported on 2023-09-22 [all 1 reports]