2012-05-21から1日間の記事一覧
概要 (ry バージョン Ubuntu 11.04 Spin 6.2 インストール Spinインストール 公式HP@Spin - Formal Verification よりUnix版ダウンロードtarボールなので解凍 cd Spin/Src6.2.1 make yacc -v -d spin.y; cc -o spin *.c ※ yaccがデフォルトでインストール…
概要 (ry バージョン Ubuntu 11.04 Spin 6.2 インストール Spinインストール 公式HP@Spin - Formal Verification よりUnix版ダウンロードtarボールなので解凍 cd Spin/Src6.2.1 make yacc -v -d spin.y; cc -o spin *.c ※ yaccがデフォルトでインストール…