]> git.pld-linux.org Git - packages/NuSMV.git/summary
projects / packages / NuSMV.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionNew Symbolic Model Verifier
last changeSun, 20 Oct 2019 09:50:04 +0000 (11:50 +0200)
URLgit://git.pld-linux.org/packages/NuSMV.git
ssh://git@git.pld-linux.org/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
...
tags
4 years ago auto/th/NuSMV-2.5.4-12   | commit | shortlog | log
4 years ago auto/th/NuSMV-2.5.4-11   | commit | shortlog | log
7 years ago auto/th/NuSMV-2.5.4-10   | commit | shortlog | log
7 years ago auto/th/NuSMV-2.5.4-9   | commit | shortlog | log
8 years ago auto/th/NuSMV-2.5.4-8   | commit | shortlog | log
8 years ago auto/th/NuSMV-2.5.4-6   | commit | shortlog | log
11 years ago auto/th/NuSMV-2.5.4-5   | commit | shortlog | log
11 years ago auto/th/NuSMV-2.5.4-4   | commit | shortlog | log
11 years ago auto/th/NuSMV-2.5.4-2   | commit | shortlog | log
11 years ago auto/th/NuSMV-2_4_3-1   | commit | shortlog | log
11 years ago auto/th/NuSMV-2_4_3-2   | commit | shortlog | log
11 years ago auto/th/NuSMV-2_5_2-2   | commit | shortlog | log
heads
4 years ago master shortlog | log | tree
New Symbolic Model Verifier
This page took 0.291054 seconds and 7 git commands to generate.