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