~verifypn-maintainers/verifypn/u3.0

From Revision 212 to 193

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
212		merged in branch lp:~verifypn-cpn/verifypn/rulef-tracefix fi... merged in branch lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an issue with trace generation  when reduction rule H is applied	Jiri Srba	5 years ago
211		merged in branch lp:~verifypn-cpn/verifypn/query_rewrite_fix... merged in branch lp:~verifypn-cpn/verifypn/query_rewrite_fix fixing a bug in query rewriting	Jiri Srba	5 years ago
210		increased version number to 3.0.1 increased version number to 3.0.1	Jiri Srba	5 years ago
209		merged in branch lp:~verifypn-cpn/verifypn/unfold-improve merged in branch lp:~verifypn-cpn/verifypn/unfold-improve	Jiri Srba	5 years ago
208		merged in branch lp:~verifypn-stub/verifypn/rulei-segfault merged in branch lp:~verifypn-stub/verifypn/rulei-segfault fixing a seg fault	Jiri Srba	6 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 bug in CPN overapproximation and the multiset minus operator	Jiri Srba	6 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	6 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	6 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	6 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
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

• Older »

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