| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-08-01 | spin 6.2.2 | Brett Koonce |
| 2012-04-01 | Use new fails_with DSL syntax | Jack Nagel |
| 2012-03-09 | Spin: style nit-picks | Adam Vandenberg |
| 2012-02-03 | spin: update to 6.1.0 | Jeremy W. Sherman |
| 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 |
