| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | - no parallel build hereHEADauto/th/smv-2_5_4_3-1master | Jan Rękorajski | 2012-06-24 | 1 | -1/+1 |
| * | - rel 1 | Jan Rękorajski | 2012-06-24 | 1 | -2/+2 |
| * | - tabs in preamble | Elan Ruusamäe | 2012-06-24 | 1 | -1/+1 |
| * | - converted to UTF-8 | Jan Rękorajski | 2012-06-24 | 1 | -3/+3 |
| * | - pl, cosmetics | Jakub Bogusz | 2012-06-24 | 1 | -4/+10 |
| * | - initial revision | Jan Rękorajski | 2012-06-24 | 1 | -0/+37 |
 |
index : packages/smv.git | |
| SMV - symbolic model verifier | PLD Gitolite User |
| summaryrefslogtreecommitdiff |