descriptionNew Symbolic Model Verifier
last changeTue, 18 Oct 2016 17:15:08 +0000 (19:15 +0200)
shortlog
2016-10-18 Jan Rękorajski- add missing headers/defs required for vfork/wait3 master auto/th/NuSMV-2.5.4-10
2016-10-18 Jan Rękorajski- rebuild with readline 7.0 auto/th/NuSMV-2.5.4-9
2015-12-12 Arkadiusz Miśkiewicz- rel 8; build fixed auto/th/NuSMV-2.5.4-8
2015-12-12 Arkadiusz Miśkiewicz- release 7 (by relup.sh)
2015-12-05 Arkadiusz Miśkiewicz- ncurses rebuild auto/th/NuSMV-2.5.4-6
2012-11-18 Jan Rękorajski- no parallel make for docs auto/th/NuSMV-2.5.4-5
2012-11-18 Jan Rękorajski- release 4 (by relup.sh) auto/th/NuSMV-2.5.4-4
2012-11-14 Jan Rękorajski- fix building with -Wformat-security
2012-11-11 Jan Rękorajski- rebuild with expat 2.1.0 auto/th/NuSMV-2.5.4-2
2012-06-24 Jan Rękorajski- package librbcdag
2012-06-24 Jan Rękorajski- up to 2.5.4
2012-06-24 Jan Rękorajski- rel 2 auto/th/NuSMV-2_5_2-2
2012-06-24 Jan Rękorajski- fixed build and install
2012-06-24 Jan Rękorajski- updated to 2.5.2
2012-06-24 Jan Rękorajski- show commands run by make
2012-06-24 Jan Rękorajski- drop libtool file
...
tags
13 months ago auto/th/NuSMV-2.5.4-10
13 months ago auto/th/NuSMV-2.5.4-9
2 years ago auto/th/NuSMV-2.5.4-8
2 years ago auto/th/NuSMV-2.5.4-6
5 years ago auto/th/NuSMV-2.5.4-5
5 years ago auto/th/NuSMV-2.5.4-4
5 years ago auto/th/NuSMV-2.5.4-2
5 years ago auto/th/NuSMV-2_5_2-2
5 years ago auto/th/NuSMV-2_4_3-2
5 years ago auto/th/NuSMV-2_4_3-1
heads
13 months ago master
This page took 0.235831 seconds and 7 git commands to generate.