~tapaal-red/verifypn/rule-l : changes

~tapaal-red/verifypn/rule-l » Changes from revision 253

From Revision 226 to 207

Rev	Summary	Authors	Date
226	updated version number to 3.1.0 updated version number to 3.1.0	srba.jiri at gmail	4 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	4 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
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	6 years ago
212	updated competition script not to create temporary files updated competition script not to create temporary files	Jiri Srba	6 years ago
211	increased version number to 3.0.1 increased version number to 3.0.1	Jiri Srba	6 years ago
210	merged in branch lp:~verifypn-cpn/verifypn/unfold-improve merged in branch lp:~verifypn-cpn/verifypn/unfold-improve	Jiri Srba	6 years ago
209	fixed the tapaal.sh script for queries with prefix of 0 fixed the tapaal.sh script for queries with prefix of 0	srba.jiri at gmail	6 years ago
208	merged in branch lp:~verifypn-stub/verifypn/rulei-segfault merged in branch lp:~verifypn-stub/verifypn/rulei-segfault fixing segfault in reduction rule I	Jiri Srba	6 years ago
207	merged in branch lp:~verifypn-cpn/verifypn/col_weight_fix fi... merged in branch lp:~verifypn-cpn/verifypn/col_weight_fix fixing a problem in CPN overapproximation and multiset minus operator	Jiri Srba	6 years ago