]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed57d49) | patch
- pl
authorJakub Bogusz <qboosh@pld-linux.org>
Wed, 4 Oct 2006 20:19:15 +0000 (20:19 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commit6206e4846fb44d800709d283bebaaa09398ed166
tree58a1dd92c7a538894ee239153ed12c75a5ba4144tree | snapshot
parented57d49d8b38dac914fdd3310937a187c87113eecommit | diff
- pl

Changed files:
    NuSMV.spec -> 1.2
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.06635 seconds and 4 git commands to generate.