【文件属性】：
文件名称：copilot-sbv:Copilot 的 SBV 后端
文件大小：20KB
文件格式：ZIP
更新时间：2021-05-31 14:32:39
Haskell
停止！ 官方 Copilot 存储库现在位于 。
概述
另一个可转换为的后端，它也使用其代码生成器生成硬实时 C 代码。 广告
Copilot是Haskell中的一种流（即，无限列表）域特定语言（DSL），可编译为嵌入式C。Copilot在本质上类似于Lustre之类的语言。 Copilot 包含一个解释器、多个后端编译器和其他验证工具。
例子
请参阅示例目录下的文件，了解许多示例，其中显示了语法、库的使用以及解释器和后端的使用。 这些示例是最好的入门方法。
安装
Copilot 库是经过精心设计的。 假设你已经安装了 cabal 和 GHC 编译器（ 是获得这些的最简单的方法），它应该只是运行的问题
cabal install copilot-sbv
但是，我们强烈建议您安装 Copilot，它会自动安装 copilot-sbv 和其他软件包。 执行
cabal in
【文件预览】：
copilot-sbv-master
----Setup.hs(45B)
----copilot-sbv.cabal(2KB)
----src()
--------Copilot()
----LICENSE(1KB)
----README.md(2KB)
----.gitignore(18B)