| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
