| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-10-28 | Update bare fails_with_llvm calls | Jack Nagel |
| 2011-03-25 | Update fails_with_llvm in formulae | Adam Vandenberg |
| 2011-03-12 | Use ruby style for inheritance. | Adam Vandenberg |
| 2010-10-07 | spin 5.2.5 | Ville Lautanala |
| 2010-08-07 | Update formulae for version 0.7 | Adam Vandenberg |
| 2010-06-16 | Add "fails_with_llvm" to formula to document LLVM build breaks. | Adam Vandenberg |
| 2010-03-06 | spin - simpler man install | Adam Vandenberg |
| 2010-01-23 | Use dot versions and comment patches | Max Howell |
| 2010-01-23 | Spin model checker 5.2.4 | Björn B. Brandenburg |
