【文件属性】:
文件名称:cogent:有说服力的项目
文件大小:1.95MB
文件格式:ZIP
更新时间:2021-04-08 21:57:15
verification programming-languages file-systems isabelle-hol co-generation
Cogent:代码和证明共生
项目首页
有关该项目的一般背景,动机,概述和已发表的论文,请参见我们的。
在线文件
安装
指令已在Debian GNU / Linux 9.8(“ stretch”)和Ubuntu 18.04(“ bionic”)上进行了测试。 类似的发行版也可能起作用。
从Debian存储库安装依赖项。
sudo apt-get install git # git
sudo apt-get install python-lxml python-psutil python-pycparser # regression tester
要安装Cogent编译器,请参阅文件了解详细信息。
Cogent框架取决于 。 如果您已经在计算机上安装了它们,则可以使用本地副本。 否则,您可以通过git submodule update --init --recursive -- isa