aports/testing/spin, branch master Main aports tree testing/spin: upgrade to 6.5.2 2020-02-03T07:12:06+00:00 Leo thinkabit.ukim@gmail.com 2020-02-03T06:44:14+00:00 ee5b2fbe1b994655ad5fbded3fc725643c5cdb1b 






testing/spin: upgrade to 6.5.1
2019-12-05T22:08:49+00:00

Leo
thinkabit.ukim@gmail.com

2019-12-05T22:05:27+00:00

a06607b6353b145d98db0337a56990bc77f69666












testing/spin: upgrade to 6.5.0
2019-08-22T21:58:18+00:00

Leo
thinkabit.ukim@gmail.com

2019-08-22T04:23:00+00:00

9ce001a2c382740e23fd1566c60271c5475ba566












testing/spin: upgrade to 6.4.9
2019-06-30T03:22:51+00:00

Leo
thinkabit.ukim@gmail.com

2019-06-30T02:12:02+00:00

82b013aef0c37087933f020d1cff75b41229f952












testing/spin: modernize abuild
2017-11-14T18:58:35+00:00

Daniel Sabogal
dsabogalcc@gmail.com

2017-11-11T19:57:42+00:00

56eef7f0f47fe9b4481959a6cead78b5f5b697ba












testing/spin: enable build on ppc64le
2017-10-03T00:56:57+00:00

Roberto Oliveira
robertoguimaraes8@gmail.com

2017-10-03T00:56:57+00:00

fc6fef552a9dea62273c19181e8ff861ff61fac0












testing/spin: new aport
2016-09-21T18:54:45+00:00

Daniel Sabogal
dsabogalcc@gmail.com

2016-09-19T01:24:48+00:00

29f65ce38db868181e9ded55b472ef5d2c226976

http://spinroot.com/
Tool for formal verification of distributed software systems





http://spinroot.com/
Tool for formal verification of distributed software systems