ogma-extra公司:Ogma：Copilot和其他语言之间互操作的帮助工具。

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

此包实现对现有库的内部扩展和在多个ogma包中使用的模块及其测试设施。

模块

[索引] [快速跳跃]

下载

• ogma-extra-1.4.0.tar.gz文件[浏览]（Cabal源包）
• 程序包描述（如包装中所含）

维修人员角落

包装维护人员

• 伊凡·佩雷斯

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

• 编辑程序包信息

候选人

• 1.0.5