aboutsummaryrefslogtreecommitdiffstats
path: root/testing/spin
Commit message (Collapse)AuthorAgeFilesLines
* testing/spin: enable build on ppc64leRoberto Oliveira2017-10-031-1/+1
|
* testing/spin: new aportDaniel Sabogal2016-09-212-0/+56
http://spinroot.com/ Tool for formal verification of distributed software systems