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

[ aerospace, library ] [ Propose Tags ]

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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS] 1.0.6, 1.0.7
Change log CHANGELOG.md
Dependencies base (>= && <5), bytestring, Cabal, directory, filepath [details]
License LicenseRef-OtherLicense
Author Ivan Perez, Alwyn Goodloe
Maintainer ivan.perezdominguez@nasa.gov
Category Aerospace
Home page http://nasa.gov
Uploaded by IvanPerez at 2023-01-22T07:33:20Z
Distributions NixOS:1.0.6
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 40 total (20 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-01-22 [all 1 reports]