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

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

projects / packages / NuSMV.git / shortlog

2012-11-18	Jan Rękorajski	- release 4 (by relup.sh) auto/th/NuSMV-2.5.4-4	commit \| commitdiff \| tree \| snapshot
2012-11-14	Jan Rękorajski	- fix building with -Wformat-security	commit \| commitdiff \| tree \| snapshot
2012-11-11	Jan Rękorajski	- rebuild with expat 2.1.0 auto/th/NuSMV-2.5.4-2	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- package librbcdag	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- up to 2.5.4	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- rel 2 auto/th/NuSMV-2_5_2-2	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- fixed build and install	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- updated to 2.5.2	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- show commands run by make	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- drop libtool file	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- 2.5.2	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- updated to 2.5.0	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- updated to 2.5.0	commit \| commitdiff \| tree \| snapshot
2012-06-24	sparky	- BR: unzip	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- no parallel install	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- setup MiniSat and zChaff solvers for building	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- rel 3	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- rel 2 auto/th/NuSMV-2_4_3-2	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- rel 1 auto/th/NuSMV-2_4_3-1	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- fixed hack	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- 64bit hack	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- removed no longer needed hacks	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- up to 2.4.3	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- as-needed fixes	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- added cleanups for 2.4.3	commit \| commitdiff \| tree \| snapshot
2012-06-24	Elan Ruusamäe	- tabs in preamble	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- converted to UTF-8	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- pl	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- fix build/install problems	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- initial revision	commit \| commitdiff \| tree \| snapshot

New Symbolic Model Verifier

RSS Atom

This page took 0.069834 seconds and 4 git commands to generate.