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

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

2012-06-24	Jan Rękorajski	- drop libtool file	blob \| commitdiff \| raw
2012-06-24	Jan Rękorajski	- 2.5.2	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- updated to 2.5.0	blob \| commitdiff \| raw \| diff to current
2012-06-24	sparky	- BR: unzip	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- no parallel install	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- rel 3	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- rel 2 auto/th/NuSMV-2_4_3-2	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- rel 1 auto/th/NuSMV-2_4_3-1	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- fixed hack	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- 64bit hack	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- removed no longer needed hacks	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- up to 2.4.3	blob \| commitdiff \| raw \| diff to current
2012-06-24	Elan Ruusamäe	- tabs in preamble	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- converted to UTF-8	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jakub Bogusz	- pl	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- initial revision	blob \| commitdiff \| raw \| diff to current

New Symbolic Model Verifier

This page took 0.164334 seconds and 22 git commands to generate.