| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | - no parallel build here | Jan Rękorajski | 12 years | |
| Tag | Download | Author | Age | |
| auto/th/smv-2_5_4_3-1 | auto/th/smv-2_5_4_3-1.zip auto/th/smv-2_5_4_3-1.tar.gz | Jan Rękorajski | 12 years | |
| Age | Commit message | Author | Files | Lines |
| 2012-06-24 | - no parallel build hereHEADauto/th/smv-2_5_4_3-1master | Jan Rękorajski | 1 | -1/+1 |
| 2012-06-24 | - rel 1 | Jan Rękorajski | 1 | -2/+2 |
| 2012-06-24 | - tabs in preamble | Elan Ruusamäe | 1 | -1/+1 |
| 2012-06-24 | - converted to UTF-8 | Jan Rękorajski | 1 | -3/+3 |
| 2012-06-24 | - pl, cosmetics | Jakub Bogusz | 1 | -4/+10 |
| 2012-06-24 | - initial revision | Jan Rękorajski | 1 | -0/+37 |
| Clone | ||||
| git://git.pld-linux.org/packages/smv.git | ||||
 |
index : packages/smv.git | |
| SMV - symbolic model verifier | PLD Gitolite User |
| summaryrefslogtreecommitdiff |