curl -L https://nixos.org/nix/install | sh

使用 nix-shell 获取一个完全准备好的开发环境，其中包含所有库。这将自动下载您需要的所有依赖项和工具。在编译完系统后，您可以通过在 Programs 目录中调用以下命令来编译程序：

./compile.sh Programs/test_fix_array

64位电路

注意：对于卢汶维护者，如果希望重新编译基本的64位电路，则调用

make circuits

然后从网表重新编译到布里斯托尔风格，然后再简化。

完成此操作后运行

./Test-Convert.x

以检查一切正常。

如果您想从 .vh 重新编译 .net 电路，请参阅 Circuits/README.txt 中的说明。

贡献和版本发布

我们在系统的所有更改上运行一个相当广泛的测试套件。事实上，在我们的机器上测试需要大约三天。我们还想在版本之间保持系统的稳定性。因此，我们制定以下规则

i) 新版本大约每季度发布一次。

ii) 只有重大错误修复会在其间进行。

iii) 加入邮件列表以获取更新 ([email protected])

iv) 对于您发现的微小更改/错误修复，请通过电子邮件发送给该组或在此处提交拉取请求。然后我们将审查代码，将其集成到我们的私有主系统中，并对其进行测试。然后我们将随下一个版本一起将其推送到 GitHub。

）主要更改（不仅仅是几行改动），请先与我们联系。你可能正在做些我们计划在未来废弃的事情。所以，你不想浪费时间。