~verifypn-maintainers/verifypn/u2.2 : changes

~verifypn-maintainers/verifypn/u2.2 » Changes from revision 202

From Revision 202 to 183

Rev	Summary	Authors	Date
202	increased version number to 2.2.1 increased version number to 2.2.1	Jiri Srba	5 years ago
201	merged in branch lp:~verifypn-stub/verifypn/deadlock-hotfix-... merged in branch lp:~verifypn-stub/verifypn/deadlock-hotfix-2.2 fixing a bug #1750629	Jiri Srba	5 years ago
200	merged in branch lp:~verifypn-stub/verifypn/ctl_por_bug caus... merged in branch lp:~verifypn-stub/verifypn/ctl_por_bug causing wrong answer on one query in MCC'17	Jiri Srba	6 years ago
199	merged in branch lp:~verifypn-stub/verifypn/commutative_expr... merged in branch lp:~verifypn-stub/verifypn/commutative_expr_bug fixing arithmetic expressions eveluation	Jiri Srba	6 years ago
198	Released version 2.2.0 Released version 2.2.0	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
196	updated the license file updated the license file	Jiri Srba	6 years ago
195	merged branch lp:~verifypn-stub/verifypn/encoder-fix fixing ... merged branch lp:~verifypn-stub/verifypn/encoder-fix fixing a bug in encoder (memcpy)	Jiri Srba	6 years ago
194	changed version number to 2.2.0 and copyright to 2018 changed version number to 2.2.0 and copyright to 2018	Jiri Srba	6 years ago
193	merged in branch lp:~verifypn-stub/verifypn/ctl-structural a... merged in branch lp:~verifypn-stub/verifypn/ctl-structural adding structurcal reduction for CTL model checking and Stubborn sets for EF/AG leafs in the CTL algorithm	Jiri Srba	6 years ago
192	merged in branch lp:~verifypn-stub/verifypn/conjunction merged in branch lp:~verifypn-stub/verifypn/conjunction - Compiles inequalities into a convex constraint-system when possible. - Unfolds fire-ability propositions on-the-fly instead of up front. - Removes occurrences of same variable of each side of an equality over commutative arithmetic operators (eg a+b+c<=a can be rewritten b+c<=0). - Compiles id-expressions and constants directly into an array of a commutative arithmetic expression rather than as child-objects. - Constructs lazy linear programs into a (balanced) tree instead of a linear walk through (fixes issue with stack-overflow).	Jiri Srba	6 years ago
191	merged in branch lp:~verifypn-stub/verifypn/po-fixes fixing ... merged in branch lp:~verifypn-stub/verifypn/po-fixes fixing partial order reduction for equality and nonequality	Jiri Srba	6 years ago
190	merged in branch lp:~verifypn-stub/verifypn/initrw additing ... merged in branch lp:~verifypn-stub/verifypn/initrw additing initial marking rewriting test	Jiri Srba	6 years ago
189	merged in branch lp:~verifypn-stub/verifypn/new-ctl merged in branch lp:~verifypn-stub/verifypn/new-ctl	Jiri Srba	6 years ago
188	merged in branch lp:~verifypn-stub/verifypn/negation-push an... merged in branch lp:~verifypn-stub/verifypn/negation-push and logical equivalnces to query processing	Jiri Srba	6 years ago
187	merged in branch lp:~verifypn-stub/verifypn/query-opt addion... merged in branch lp:~verifypn-stub/verifypn/query-opt addion query simplification optmizations	Jiri Srba	6 years ago
186	merged in branch fixing a bug in the encoder merged in branch fixing a bug in the encoder	Jiri Srba	6 years ago
185	merged in branch lp:~verifypn-stub/verifypn/substraction-fix... merged in branch lp:~verifypn-stub/verifypn/substraction-fix fixing n-ary subtractions	Jiri Srba	6 years ago
184	merged in the branch lp:~verifypn-stub/verifypn/inhib adding... merged in the branch lp:~verifypn-stub/verifypn/inhib adding support of stubborn sets for inhibitor arcs and a number of other fixes and compiles now for windows as well	Jiri Srba	6 years ago
183	merged in branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpr... merged in branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions adding arithmetic expressions to CTL queries	Jiri Srba	6 years ago

Older »