DeepSEA语言 您可以从下载一个zip文件。 请参阅以获取安装和使用说明。 该zip文件包含适用于Linux(Ubuntu)和MacOS的预构建二进制文件。 由于它们使用某些系统库,因此它们可能无法在每个版本Linux或MacOS上运行。 按照src目录中的说明,您也可以很容易地从源代码中构建二进制文件。 上包含有关DeepSEA项目的更多信息,包括博客文章和 。 DeepSEA编译器包括从CompCert获取和修改的文件,因此它是根据CompCert许可证开发的。 特别是,它只能用于教育,研究,个人或评估目的,而不能用于商业用途。 请让我们知道您的想法! 反馈可以发送至 。