SPINv6

※上記の広告は60日以上更新のないWIKIに表示されています。更新することで広告が下部へ移動します。

バージョンに関するメモ

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でも自動生成できるが、コマンドでやった方が図がきれい