| tag name | auto/th/spin-6.2.3-1 |
| Tagged object | commit 848c03f8f6... |
| download | spin-auto/th/spin-6.2.3-1.zip spin-auto/th/spin-6.2.3-1.tar.gz |
|---|
 |
index : packages/spin.git | |
| On-the-fly, LTL model checking with SPIN | PLD Gitolite User |
| summaryrefslogtreecommitdiff |