Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |