此crate包含用于分析Move Prover性能的工具和数据。

“data”目录包含多个实验室会话的脚本和持久化数据。每个目录都有自己的README。 “src”目录包含支持Rust的代码。

大多数实验室目前基于Jupyter笔记本，具有基于Rust的内核。Jupyter的安装可以通过python安装工具完成

pip install jupyterlab
pip install notebook

对于Rust内核，请遵循google/evcxr中的安装说明。您需要0.9.0或更高版本。

注意事项

EVCXR目前存在一些缺陷（或者我们没有正确使用它）

• 在笔记本启动后评估第一个:dep可能需要非常长的时间（几分钟），因为EVCXR会编译所有的Rust。运行cargo install sccache可能有所帮助。
• 第一次评估后，EVCXR的原始输出通常会显示。第二次评估单元格可以解决这个问题。不幸的是，这使得jupyter nbconvert --execute无法创建报告。唯一的方法是手动确保一切都被正确评估，然后使用Web UI的“打印”功能（“导出”无法使用，因为它似乎基于nbconvert）。