]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 624599d) | patch
- release 7 (by relup.sh)
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Sat, 12 Dec 2015 11:57:58 +0000 (12:57 +0100)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Sat, 12 Dec 2015 11:57:58 +0000 (12:57 +0100)
commitf97043b28cc997c662a3bf2f7029827b6e929cc9
treee5bf0f05c637a035b080acd431ddecf852987e13tree | snapshot
parent624599d40a4d27e5f77dfd21c6d9bb46ce8ab00dcommit | diff
- release 7 (by relup.sh)
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.104418 seconds and 4 git commands to generate.