~tapaal-ltl/verifypn/stubborn-set-refactor-merged : changes

~tapaal-ltl/verifypn/stubborn-set-refactor-merged » Changes from revision 249

From Revision 233 to 214

Rev	Summary	Authors	Date
233	Merged stubborn-refactor and ltl engine Merged stubborn-refactor and ltl engine	Peter G. Jensen	3 years ago
232	Remove commented code, fix one indent Remove commented code, fix one indent	Nikolaj Jensen Ulrik	3 years ago
231	Refactor stubborn set implementation out of ReducingSuccesso... Refactor stubborn set implementation out of ReducingSuccessorGenerator	Nikolaj Jensen Ulrik	3 years ago
230	merged in lp:~tapaal-contributor/verifypn/show-reduced-net a... merged in lp:~tapaal-contributor/verifypn/show-reduced-net allows to call the engine with -s Overapprox and -q 0	Jiri Srba	3 years ago
229	increased version number to 3.1.1 increased version number to 3.1.1	Jiri Srba	3 years ago
228	merged in lp:~tapaal-contributor/verifypn/show-reduced-net a... merged in lp:~tapaal-contributor/verifypn/show-reduced-net adding x,y coordinates when eexporting reduced net	Jiri Srba	3 years ago
227	fixed compilation with static libraries for mac fixed compilation with static libraries for mac	srba.jiri at gmail	3 years ago
226	updated version number to 3.1.0 updated version number to 3.1.0	srba.jiri at gmail	3 years ago
225	merged in lp:~verifypn-maintainers/verifypn/interval_tar doi... merged in lp:~verifypn-maintainers/verifypn/interval_tar doing - Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic. - Replaces LP-Solve with GLPK, reduces computation-time and memory overhead - Implements new global properties, translated into CTL formulae.	srba.jiri at gmail	3 years ago
224	updated MCC 2020 competition script updated MCC 2020 competition script	Jiri Srba	4 years ago
223	fixed a bug in MCC20 script BC should be BK fixed a bug in MCC20 script BC should be BK	Jiri Srba	4 years ago
222	updated MCC20 scripts and added README file for installing t... updated MCC20 scripts and added README file for installing the VM	srba.jiri at gmail	4 years ago
221	small update in scripts small update in scripts	srba.jiri at gmail	4 years ago
220	added MCC 2020 competition scripts added MCC 2020 competition scripts	srba.jiri at gmail	4 years ago
219	merged in lp:~verifypn-cpn/verifypn/eq-push-fix-trunk fixing... merged in lp:~verifypn-cpn/verifypn/eq-push-fix-trunk fixing a problem with equality check in NIM model	srba.jiri at gmail	5 years ago
218	merged in lp:~verifypn-maintainers/verifypn/emptyTracePrint ... merged in lp:~verifypn-maintainers/verifypn/emptyTracePrint fixing the printing of empty trace	Jiri Srba	5 years ago
217	increased version number to 3.0.2 increased version number to 3.0.2	Jiri Srba	5 years ago
216	merged in lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an... merged in lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an issue with trace generation when reduction rule H is enabled	Jiri Srba	5 years ago
215	added consistency tests added consistency tests	srba.jiri at gmail	5 years ago
214	added MCC competition scripts added MCC competition scripts	Jiri Srba	5 years ago

Older »