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

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

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

此库包含从JSON文件读取规范的前端。

模块

[索引] [快速跳跃]

语言
- JSON规范
  - 语言。JSON规范。分析器

下载

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

维修人员角落

包装维护人员

伊凡·佩雷斯

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

编辑程序包信息

候选人

没有候选人

版本[RSS（RSS）]	1.2.0,1.3.0,1.4.0
更改日志	CHANGELOG.md公司
依赖关系	伊森(>=2.0.0.0 && <2.2),基础(>=4.11.0.0 && <5),字节删除,json路径(>=0.3 && <0.4),百万帕斯卡,ogma-spec基因(>=1.4.0 && <1.5),文本[细节]
许可证	LicenseRef-其他许可证
作者	艾文·古德洛伊·伊万·佩雷斯
维护人员	ivan.perezdominguez@nasa.gov
类别	航空航天
主页	http://nasa.gov网站
已上传	通过伊万·佩雷斯在2024-05-22T15:31:55 Z
分配
反向依赖关系	1直接，0间接[细节]
下载	总共86个（过去30天内有30个）
评级	（尚未投票）[估算人贝叶斯平均]
您的评分	λ λ λ
状态	可用文档[生成日志] 上次成功报告时间：2024-05-22[所有1个报告]