hacspec编译器

Rust nightly

要构建和运行hacspec编译器，您需要使用带有附加组件的nightly Rust。这由rust-toolchain自动管理。它会选择正确的Rust nightly版本和组件。请确保您至少有rustup 1.23.0。对于手动安装，请检查工具链文件。

用法

要构建编译器，只需启动cargo build。

由于Rust编译器暴露的API的技术限制以及我们将Rust AST转换为hacspec的点，目前只支持单文件crate。这就是为什么示例中的所有crate只包含一个文件的原因。

除了这个限制之外，hacspec编译器可以与导入的crate一起正常工作，让您能够构建使用多个相互依赖的crate的模块化程序。

有关用法详情，请参阅主readme。

已知问题

因为我们的编译器尚未集成到 cargo 中，如果在 target/ 文件夹中已经编译了不同版本的依赖包，将会显示奇怪的错误。执行 cargo clean 后紧接着执行 cargo build hacspec 项目应该可以清除错误。

测试

可以通过执行 cargo test 来测试编译器。它会对所有位于 examples/ 中的规范进行类型检查并将它们编译为 F*。