DeepSEA语言 您可以从下载一个zip文件。 请参阅以获取安装和使用说明。 该zip文件包含适用于Linux（Ubuntu）和MacOS的预构建二进制文件。 由于它们使用某些系统库，因此它们可能无法在每个版本Linux或MacOS上运行。 按照src目录中的说明，您也可以很容易地从源代码中构建二进制文件。 上包含有关DeepSEA项目的更多信息，包括博客文章和 。 DeepSEA编译器包括从CompCert获取和修改的文件，因此它是根据CompCert许可证开发的。 特别是，它只能用于