| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | - up to 6.2.6 | Jan Rękorajski | 10 years | |
| Tag | Download | Author | Age | |
| auto/th/spin-6.2.6-1 | auto/th/spin-6.2.6-1.zip auto/th/spin-6.2.6-1.tar.gz | Jan Rękorajski | 10 years | |
| auto/th/spin-6.2.3-1 | auto/th/spin-6.2.3-1.zip auto/th/spin-6.2.3-1.tar.gz | Jan Rękorajski | 11 years | |
| auto/th/spin-5_2_4-1 | auto/th/spin-5_2_4-1.zip auto/th/spin-5_2_4-1.tar.gz | Jan Rękorajski | 12 years | |
| auto/th/spin-5_2_4-2 | auto/th/spin-5_2_4-2.zip auto/th/spin-5_2_4-2.tar.gz | Jan Rękorajski | 12 years | |
| auto/th/spin-6_0_1-1 | auto/th/spin-6_0_1-1.zip auto/th/spin-6_0_1-1.tar.gz | Jan Rękorajski | 12 years | |
| auto/th/spin-6_0_1-2 | auto/th/spin-6_0_1-2.zip auto/th/spin-6_0_1-2.tar.gz | Jan Rękorajski | 12 years | |
| auto/th/spin-6_1_0-1 | auto/th/spin-6_1_0-1.zip auto/th/spin-6_1_0-1.tar.gz | Jan Rękorajski | 12 years | |
 |
index : packages/spin.git | |
| On-the-fly, LTL model checking with SPIN | PLD Gitolite User |
| summaryrefslogtreecommitdiff |