~verifypn-maintainers/verifypn/emptyTracePrint

From Revision 202 to 183

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
202		added MCC18 competition scripts, qemu guide and cluster scri... added MCC18 competition scripts, qemu guide and cluster scripts	Jiri Srba	6 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	6 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
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 »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1