「SPINv6」の編集履歴（バックアップ）一覧はこちら

「SPINv6」(2011/02/04 (金) 13:58:46) の最新版変更点

追加された行は緑色になります。

削除された行は赤色になります。

*バージョンに関するメモ
----
**SPIN v6.0.0
-2010年12月にv6になる
** 構文追加
-for文の実装
--for(i:1..100){...}
--便利
** Multiple Never Claimのサポート
-Never Claimを一つのファイルに複数書くことができるようになったらしい
--never <ncname> { ... }と名前付きで記述して、実行時に「./a -N <ncname>」で指定
--検証は一つずつ
-複数のNCを一つにまとめることもできる
--「spin -e <filename>」で複数のNCがあった場合1つにしてくれる
**GraphvizのDotのサポート
-実行時に「./a -D」でDot言語に変換した形で出してくれる
-これはつまり、図形化できるということだと思う
-実際にできた。素晴らしい。
----

*バージョンに関するメモ
----
**SPIN v6.0.0
-2010年12月にv6になる
** 構文追加
-for文の実装
--for(i:1..100){...}
--便利
** Multiple Never Claimのサポート
-Never Claimを一つのファイルに複数書くことができるようになったらしい
--never <ncname> { ... }と名前付きで記述して、実行時に「./a -N <ncname>」で指定
--検証は一つずつ
-複数のNCを一つにまとめることもできる
--「spin -e <filename>」で複数のNCがあった場合1つにしてくれる
**GraphvizのDotのサポート
-実行時に「./a -D」でDot言語に変換した形で出してくれる
--これはつまり、図形化できるということだと思う
--実際にできた。素晴らしい。
--iSpinでも自動生成できるが、コマンドでやった方が図がきれい
----