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

[ aerospace, library ] [ Propose Tags ] [ Report a vulnerability ]

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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 1.0.6, 1.0.7, 1.0.8, 1.0.9, 1.0.10, 1.0.11, 1.1.0, 1.2.0, 1.3.0, 1.4.0, 1.4.1, 1.5.0
Change log CHANGELOG.md
Dependencies aeson (>=2.0.0.0 && <2.2), base (>=4.11.0.0 && <5), bytestring, Cabal, directory, filepath, microstache (>=1.0 && <1.1), text (>=1.2.3.1 && <2.1) [details]
License LicenseRef-OtherLicense
Author Ivan Perez, Alwyn Goodloe
Maintainer ivan.perezdominguez@nasa.gov
Category Aerospace
Home page https://github.com/nasa/ogma
Uploaded by IvanPerez at 2024-11-22T23:39:58Z
Distributions NixOS:1.4.1
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 504 total (18 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-11-23 [all 1 reports]