~verifypn-maintainers/verifypn/u4.0 : changes

~verifypn-maintainers/verifypn/u4.0 » Changes from revision 232

From Revision 232 to 213

Rev	Summary	Authors	Date
232	This version 4.0.0 was released with TAPAAL 3.8.0 This version 4.0.0 was released with TAPAAL 3.8.0	Jiri Srba	3 years ago
231	merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colore... merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colored fixed-point unfolding for CPN and other performance improvements	srba.jiri at gmail	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	3 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	3 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	3 years ago
221	small update in scripts small update in scripts	srba.jiri at gmail	3 years ago
220	added MCC 2020 competition scripts added MCC 2020 competition scripts	srba.jiri at gmail	3 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	4 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
213	merged in branch lp:~verifypn-cpn/verifypn/query_rewrite_fix... merged in branch lp:~verifypn-cpn/verifypn/query_rewrite_fix fixing a bug in query rewriting	Jiri Srba	5 years ago

Older »