~verifypn-maintainers/verifypn/new-trunk

From Revision 197 to 178

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
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
182		merged in branch lp:~verifypn-stub/verifypn/short-circut merged in branch lp:~verifypn-stub/verifypn/short-circut	Jiri Srba	6 years ago
181		merged in branch lp:~verifypn-stub/verifypn/ctl-flow merged in branch lp:~verifypn-stub/verifypn/ctl-flow	Jiri Srba	6 years ago
180		fixed help menu in the main file fixed help menu in the main file	Jiri Srba	6 years ago
179		added 2 seconds to each timeout to avoid calling our eengine... added 2 seconds to each timeout to avoid calling our eengine with timeout 0	Jiri Srba	7 years ago
178		one more fix for sequential processing one more fix for sequential processing	Jiri Srba	7 years ago

• « Newer
• Older »

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