| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-03-12 | Use ruby style for inheritance. | Adam Vandenberg | |
| 2010-10-07 | xspin 5.2.5 | Ville Lautanala | |
| Signed-off-by: Adam Vandenberg <flangy@gmail.com> | |||
| 2010-03-07 | Use Pathname support for renames. | Adam Vandenberg | |
| 2010-01-23 | Use dot versions and comment patches | Max Howell | |
| 2010-01-23 | xspin GUI 5.2.3 | Björn B. Brandenburg | |
| A TCL/TK-based GUI for the Spin model checker. Manually installing xspin on Mac OS X requires edits to the script, as detailed at http://spinroot.com/spin/Man/README.html. The included DATA patch automates this. (My thanks go to adamv, who pointed out how to simplify this formula.) | |||
 |
index : homebrew | |
| :beer: The missing package manager for OS X. |
| aboutsummaryrefslogtreecommitdiffstats |