index
:
packages/spin.git
master
On-the-fly, LTL model checking with SPIN
PLD Gitolite User
summary
refs
log
tree
commit
diff
log msg
author
committer
range
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
Age
Commit message
Author
Files
Lines
2014-02-20
- up to 6.2.6
HEAD
auto/th/spin-6.2.6-1
master
Jan Rękorajski
1
-2/+2
2013-02-21
- updated to 6.2.3
auto/th/spin-6.2.3-1
Jan Rękorajski
1
-2/+2
2012-06-24
- 6.1.0
auto/th/spin-6_1_0-1
Jan Rękorajski
1
-3/+3
2012-06-24
- rel 2
auto/th/spin-6_0_1-2
Jan Rękorajski
2
-2/+16
2012-06-24
- 6.0.1
auto/th/spin-6_0_1-1
Jan Rękorajski
1
-16/+16
2012-06-24
- rel 2
auto/th/spin-5_2_4-2
Jan Rękorajski
1
-2/+2
2012-06-24
- up to 5.2.4
auto/th/spin-5_2_4-1
Jan Rękorajski
1
-5/+7
2012-06-24
- up to 5.1.7
Jan Rękorajski
1
-14/+11
2012-06-24
- make system's been revamped. bison/yacc BR is not really worth the pain
Jan Rękorajski
1
-13/+0
2012-06-24
- tabs in preamble
Elan Ruusamäe
1
-2/+2
[...]
Clone
git://git.pld-linux.org/packages/spin.git