珠穆朗玛峰项目 HTTPS生态系统的高效,经过验证的组件。 见! everest剧本 该脚本的作用是: 检查您的开发环境是否正常; 获取miTLS,F *,KreMLin,Vale和HACL的已知良好修订 运行voodoo系列命令,这将导致成功构建 运行任何已知的有效测试。 对于开发人员,此脚本还允许您执行以下操作: 记录一组新的良好修订。 大量使用此脚本来提取,构建和测试项目珠穆朗玛峰。 预设(Windows) 该脚本要求您的系统上存在Visual Studio(特别是F#和C ++组件)。 如果没有它,可以安装。 如果尚未安装Windows版Opam,请下载并运行。 它还将