~verifypn-cpn/verifypn/query_rewrite

~verifypn-cpn/verifypn/query_rewrite_fix » Changes from revision 216

From Revision 216 to 197

Rev	Summary	Authors	Date
216	reallowing merging of conj/conj and disj/disj reallowing merging of conj/conj and disj/disj	Peter G. Jensen	5 years ago
215	more fixing of conjunct, minor optimizations for ne and eq more fixing of conjunct, minor optimizations for ne and eq	Peter G. Jensen	5 years ago
214	fixed merging of compareconjunct fixed merging of compareconjunct	Peter G. Jensen	5 years ago
213	fixed merging of compareconjunct fixed merging of compareconjunct	Peter G. Jensen	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
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	5 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	5 years ago
206	merged in branch lp:~verifypn-stub/verifypn/inhibitor-por-er... merged in branch lp:~verifypn-stub/verifypn/inhibitor-por-error fixing a problem with inhibitor arcs and partial order reduction	Jiri Srba	5 years ago
205	merged in branch lp:~verifypn-stub/verifypn/inhib-por-bugfix merged in branch lp:~verifypn-stub/verifypn/inhib-por-bugfix fixing a number of bugs in the engine in non-MCC models and queries	Jiri Srba	5 years ago
204	merged in branch lp:~verifypn-stub/verifypn/dl-structural-bu... merged in branch lp:~verifypn-stub/verifypn/dl-structural-bug fixing bug #1750629	Jiri Srba	5 years ago
203	changed version number to 3.0.0 (support of CPN) changed version number to 3.0.0 (support of CPN)	Jiri Srba	5 years ago
202	added MCC18 competition scripts, qemu guide and cluster scri... added MCC18 competition scripts, qemu guide and cluster scripts	Jiri Srba	5 years ago
201	merged in branch lp:~verifypn-cpn/verifypn/trunk-cpn-upgrade... merged in branch lp:~verifypn-cpn/verifypn/trunk-cpn-upgrade speeding up the unfolding of product colors in CPN and code cleanup	Jiri Srba	5 years ago
200	merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/ merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/ CPN unfolding CPN linear overapproximation Export of reduced queries and model parallel query simplification TAR for P/T nets Improved structural reduction rules	Jiri Srba	6 years ago
199	merged in branch lp:~verifypn-stub/verifypn/ctl_por_bug fixi... merged in branch lp:~verifypn-stub/verifypn/ctl_por_bug fixing one wrong answer on a query in MCC'17	Jiri Srba	6 years ago
198	merged in branch lp:~verifypn-stub/verifypn/commutative_expr... merged in branch lp:~verifypn-stub/verifypn/commutative_expr_bug fixing problems with evaluating arithmetic expressions	Jiri Srba	6 years ago
197	merged in branch lp:~verifypn-stub/verifypn/always_compile merged in branch lp:~verifypn-stub/verifypn/always_compile forcing a compilation of negation push for fireability predicates	Jiri Srba	6 years ago

Older »