ogma语言-c:Ogma：运行时监视器转换器：C语言前端

[航空航天,图书馆][建议标签]

Ogma是一个工具，用于将安全运行时监控器集成到其他系统。Ogma延伸Copilot公司，高级运行时生成硬实时C99代码的验证框架。

此库包含读取C头文件的前端。

模块

语言
- C
  - 语言。C.绝对值
  - 语言。C.LexC公司
  - 语言。C.ParC公司
  - 语言。C.打印C

下载

ogma语言-c-1.4.0.tar.gz[浏览]（Cabal源包）
程序包描述（如包装中所含）

维修人员角落

包装维护人员

伊凡·佩雷斯

对于包维护者和黑客托管者

编辑程序包信息

候选人

没有候选人

版本[RSS（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
更改日志	CHANGELOG.md公司
依赖关系	阵列(>=0.5.2.0),基础(>=4.11.0.0 && <5)[细节]
许可证	LicenseRef-其他许可证
作者	艾文·古德洛伊·伊万·佩雷斯
维护人员	ivan.perezdominguez@nasa.gov
类别	航空航天
主页	http://nasa.gov网站
已上传	通过伊凡·佩雷斯在2024-05-22T15:32:04Z
分配
反向依赖关系	1直接，0间接[细节]
下载	总计311人（过去30天内有43人）
额定值	（尚未投票）[估算人贝叶斯平均]
您的评分	λ λ λ
状态	文档不可用[生成日志] 截至2024-05-22，所有报告的构建均失败[所有2个报告]