~verifypn-stub/verifypn/rulei-segfault

From Revision 214 to 195

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
214		fixed segfault due to typo fixed segfault due to typo	Peter G. Jensen	5 years ago
213		fixed usage of error-codes, changes from cout to cerr. fixed usage of error-codes, changes from cout to cerr.	Peter G. Jensen	5 years ago
212		fixed POR for n-arry (n>2) substract expression fixed POR for n-arry (n>2) substract expression	Peter G. Jensen	5 years ago
211		only doing pre+post with multiply when there are at least tw... only doing pre+post with multiply when there are at least two non-constant expressions	Peter G. Jensen	5 years ago
210		added warning to parser, and using weight 1 when insciption ... added warning to parser, and using weight 1 when insciption is non-text	Peter G. Jensen	5 years ago
209		handled special case when we have no places and a single tra... handled special case when we have no places and a single transition	Peter G. Jensen	5 years ago
208		fixed removal of tokens in isolated initial marking when it ... fixed removal of tokens in isolated initial marking when it is part of query	Peter G. Jensen	5 years ago
207		added missing inhibitor-check for ruleG added missing inhibitor-check for ruleG	Peter G. Jensen	5 years ago
206		fixed substraction issue with TAR fixed substraction issue with TAR	Peter G. Jensen	5 years ago
205		fixed monotonicity flag computation, leading to wrong POR wi... fixed monotonicity flag computation, leading to wrong POR with inhibitors	Peter G. Jensen	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	6 years ago
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

• Older »

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