Skip to content

Instantly share code, notes, and snippets.

@zazhang

zazhang/spin-setup.markdown

Last active July 16, 2018 07:22
Show Gist options
  • Save zazhang/9e85a8050bdcb6d736fd27db3e2245bf to your computer and use it in GitHub Desktop.
Save zazhang/9e85a8050bdcb6d736fd27db3e2245bf to your computer and use it in GitHub Desktop.
Download ZIP
Raw
spin-setup.markdown

Spin Installation and Setup in Windows:

  1. Install Spin
    • Download pc_spin.zip* from website
    • Unzip file to the target directory
    • Unzip spin644_windows64.exe.gz to get the spin.exe file
  2. Add the directory of spin.exe to path variable
    • In command prompt, enter spin -- to test spin installation
  3. Intall iSpin
    • Download and install Tcl/Tk to run iSpin from website
    • Download and install codeblock-mingw-setup.exe to enable gcc in iSpin from website
      • Install under the same root directory of Spin
      • Add bin/gcc.exe directory to path variable
      • Add bin/gcc.exe directory to ispin.tcl source code
    • Download and install dot.exe to run automata in iSpin from website
      • Add bin/dot.exe directory to ispin.tc. source code
  4. Sublime Text 3 editing
    • Install package Promela_spin in Sublime
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment