| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | testing/spin: new aport | Daniel Sabogal | 2016-09-21 | 1 | -0/+20 |
| http://spinroot.com/ Tool for formal verification of distributed software systems | |||||
 |
index : aports | |
| Main aports tree | gitolite |
| aboutsummaryrefslogtreecommitdiffstats |