]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf27802) | patch
- release 4 (by relup.sh) auto/th/NuSMV-2.5.4-4
authorJan Rękorajski <baggins@pld-linux.org>
Sun, 18 Nov 2012 12:03:37 +0000 (13:03 +0100)
committerJan Rękorajski <baggins@pld-linux.org>
Sun, 18 Nov 2012 12:03:37 +0000 (13:03 +0100)
commit01b925b23d08aa67b3c2fe8dab02776f5a4b1c28
tree1471351520a84d5b1386fe2fcbae9bde2ff33c1ctree | snapshot
parentcf278024cf04a85a8f691ede22aa37f1f5290fc3commit | diff
- release 4 (by relup.sh)
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.047139 seconds and 4 git commands to generate.