~tapaal-contributor/verifypn/remove_debug

~tapaal-contributor/verifypn/remove_debug_print-1906837 » Changes from revision 228

From Revision 228 to 209

Rev	Summary	Authors	Date
228	Remove debug string from query identifier Remove debug string from query identifier	tpede16 at aau	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
212	updated competition script not to create temporary files updated competition script not to create temporary files	Jiri Srba	5 years ago
211	increased version number to 3.0.1 increased version number to 3.0.1	Jiri Srba	5 years ago
210	merged in branch lp:~verifypn-cpn/verifypn/unfold-improve merged in branch lp:~verifypn-cpn/verifypn/unfold-improve	Jiri Srba	5 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	5 years ago

Older »