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

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

projects / packages / NuSMV.git / search

2012-06-24	Jan Rękorajski	- show commands run by make	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- drop libtool file	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- 2.5.2	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- updated to 2.5.0	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- updated to 2.5.0	commit \| commitdiff \| tree
2012-06-24	sparky	- BR: unzip	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- no parallel install	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- setup MiniSat and zChaff solvers for building	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- rel 3	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- rel 2	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- rel 1	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- fixed hack	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- 64bit hack	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- removed no longer needed hacks	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- up to 2.4.3	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- as-needed fixes	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- added cleanups for 2.4.3	commit \| commitdiff \| tree
2012-06-24	Elan Ruusamäe	- tabs in preamble	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- converted to UTF-8	commit \| commitdiff \| tree
2012-06-24	Jakub Bogusz	- pl	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- fix build/install problems	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- initial revision	commit \| commitdiff \| tree

New Symbolic Model Verifier

RSS Atom

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