spinroot.com なんかうろうろしてる

ECLIPSE PLUG-IN FOR SPIN その名の通り，EclipseからSpinを扱うプラグイン．Eclipseのインストール機能を使い，アップデートサイトを指定してインストールする．注意点として，カテゴリでグループ化して表示するようにしているとうまく指定出来ないので，…

Spinは検証器としてCのソースを出力するのでCコンパイラが必要になるのだが，それ以外にも，一部のマクロの処理にC++プリプロセッサを使う．#defineでの定数宣言や#ifdefは自前で何とかしているようだが，#defineでマクロ関数を宣言したり#ifを使ったりする…

http://spinroot.com/spin/Src/promela-mode.elSpin本家によるEmacsのPromela編集用メジャーモード。これを site-lisp なディレクトリに置いて、.emacsに以下追記すると .promelaとか.spinとか.pmlな拡張子のファイルを編集する時にハイライトされたり自動イ…

SpinのGUIとしてXspin以外の選択肢であるjSpinを試してみた。名前から大体想像が付く通り、Javaで書かれている。これも内部的にはspinやgccをexecしてるだけ。インストーラーが付いていてショートカットまで作ってくれるので、インストール自体はXspinより楽…

Spinはコマンドラインアプリだが，ラッパー的なGUIとしてXspinというのが存在する。色々手間が省けてラクではあるのだが，Tcl/Tkだったり内部的にgccを呼び出したりしてたりでインストールはちょっと面倒。てきとーに調べるとcygwinを使うやり方が出てくるが…