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

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

projects / packages / NuSMV.git / shortlog

2019-10-20	Jan Rękorajski	- fix c++ parsing issue master auto/th/NuSMV-2.5.4-12	commit \| commitdiff \| tree \| snapshot
2019-10-19	Arkadiusz Miśkiewicz	- updated urls (there is 2.6.0 version, too)	commit \| commitdiff \| tree \| snapshot
2019-10-17	Arkadiusz Miśkiewicz	- release 11 (by relup.sh) auto/th/NuSMV-2.5.4-11	commit \| commitdiff \| tree \| snapshot
2016-10-18	Jan Rękorajski	- add missing headers/defs required for vfork/wait3 auto/th/NuSMV-2.5.4-10	commit \| commitdiff \| tree \| snapshot
2016-10-18	Jan Rękorajski	- rebuild with readline 7.0 auto/th/NuSMV-2.5.4-9	commit \| commitdiff \| tree \| snapshot
2015-12-12	Arkadiusz Miśkiewicz	- rel 8; build fixed auto/th/NuSMV-2.5.4-8	commit \| commitdiff \| tree \| snapshot
2015-12-12	Arkadiusz Miśkiewicz	- release 7 (by relup.sh)	commit \| commitdiff \| tree \| snapshot
2015-12-05	Arkadiusz Miśkiewicz	- ncurses rebuild auto/th/NuSMV-2.5.4-6	commit \| commitdiff \| tree \| snapshot
2012-11-18	Jan Rękorajski	- no parallel make for docs auto/th/NuSMV-2.5.4-5	commit \| commitdiff \| tree \| snapshot
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.068824 seconds and 4 git commands to generate.