]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25a3234) | patch
- fixed hack
authorJan Rękorajski <baggins@pld-linux.org>
Fri, 14 Sep 2007 14:01:37 +0000 (14:01 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commit74c2172a02f0bae724dc997cdb0999e9a7549ce3
treee59a3b2b0fd91fe2a9c2bd8345e67d756ab7d068tree | snapshot
parent25a3234b8be570abb7403d1107942bad625d6837commit | diff
- fixed hack

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