aboutsummaryrefslogtreecommitdiffstats
path: root/Library/Formula/spin.rb
AgeCommit message (Expand)Author
2014-03-16spin 6.2.7Brett Koonce
2013-05-31spin 6.2.5Brett Koonce
2013-04-13spin: install ispinJack Nagel
2013-03-23spin 6.4.3Tobias Stehle
2012-12-02spin 6.2.3Brett Koonce
2012-08-01spin 6.2.2Brett Koonce
2012-04-01Use new fails_with DSL syntaxJack Nagel
2012-03-09Spin: style nit-picksAdam Vandenberg
2012-02-03spin: update to 6.1.0Jeremy W. Sherman
2011-10-28Update bare fails_with_llvm callsJack Nagel
2011-03-25Update fails_with_llvm in formulaeAdam Vandenberg
2011-03-12Use ruby style for inheritance.Adam Vandenberg
2010-10-07spin 5.2.5Ville Lautanala
2010-08-07Update formulae for version 0.7Adam Vandenberg
2010-06-16Add "fails_with_llvm" to formula to document LLVM build breaks.Adam Vandenberg
2010-03-06spin - simpler man installAdam Vandenberg
2010-01-23Use dot versions and comment patchesMax Howell
2010-01-23Spin model checker 5.2.4Björn B. Brandenburg