git.pld-linux.org Git - packages/NuSMV.git/search

]> git.pld-linux.org Git - packages/NuSMV.git/search

projects / packages / NuSMV.git / search

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2015-12-12	Arkadiusz Miśkiewicz	- rel 8; build fixed	commit \| commitdiff \| tree
2015-12-12	Arkadiusz Miśkiewicz	- release 7 (by relup.sh)	commit \| commitdiff \| tree
2015-12-05	Arkadiusz Miśkiewicz	- ncurses rebuild	commit \| commitdiff \| tree

New Symbolic Model Verifier

This page took 0.134283 seconds and 3 git commands to generate.