2017-08-24から1日間の記事一覧
C言語/Java検証器であるVeriFastのDockerイメージを公開しました。 > https://hub.docker.com/r/eldesh/verifast/ 現時点(2017/8/24)での開発ヘッドをビルドしてあります*1。リリース版は公式サイトでバイナリが配布されているのでそちらを使いましょう。こ…
C言語/Java検証器であるVeriFastのDockerイメージを公開しました。 > https://hub.docker.com/r/eldesh/verifast/ 現時点(2017/8/24)での開発ヘッドをビルドしてあります*1。リリース版は公式サイトでバイナリが配布されているのでそちらを使いましょう。こ…