2017-07-12から1日間の記事一覧

RustBeltのビルド (Windows)

概要: Coqと高階分離論理を用いたRustの検証プロジェクトであるRustBeltの論文とCoqの証明ファイルが公開されたので、とりあえずビルドしてみた。 RustBeltはopamを使うと簡単にビルドできるようだが、ここではWindowsでビルドしてみた。 環境 64bit Windows…