| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | testing/spin: modernize abuild | Daniel Sabogal | 2017-11-14 | 1 | -8/+8 |
| | | |||||
| * | testing/spin: enable build on ppc64le | Roberto Oliveira | 2017-10-03 | 1 | -1/+1 |
| | | |||||
| * | testing/spin: new aport | Daniel Sabogal | 2016-09-21 | 2 | -0/+56 |
| http://spinroot.com/ Tool for formal verification of distributed software systems | |||||
 |
index : aports | |
| Main aports tree | gitolite |
| aboutsummaryrefslogtreecommitdiffstats |