summaryrefslogtreecommitdiffstats
path: root/development/spin (unfollow)
Commit message (Expand)AuthorFilesLines
2017-01-07development/spin: Change email. Ryan P.C. McQuen2-2/+2
2015-09-12development/spin: Allow GPLv2. Ryan P.C. McQuen1-1/+1
2015-04-12development/spin: Updated for version 6.4.3. Ryan P.C. McQuen2-4/+4
2014-08-21development/spin: updated for version 6.3.2 Ryan P.C. McQuen2-8/+9
2014-05-12development/spin: Updated for version 6.3.0 + new maintainer. Ryan P.C. McQuen2-17/+34
2013-11-22various: Fix slack-desc formatting and comment nit picks. dsomero1-4/+4
2013-11-16development/spin: Force using -j1 Willy Sudiarto Raharjo1-6/+6
2012-08-19Add REQUIRED field to .info files. Erik Hanson1-0/+1
2012-08-14Entire Repo: Remove APPROVED field from .info files Robby Workman1-1/+0
2011-09-28development/spin: Added (model checker) Jockey S. Kyd4-0/+113