~verifypn-cpn/verifypn/makeTesting

From Revision 214 to 195

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
214		added MCC competition scripts added MCC competition scripts	Jiri Srba	5 years ago
213		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
212		updated competition script not to create temporary files updated competition script not to create temporary files	Jiri Srba	5 years ago
211		increased version number to 3.0.1 increased version number to 3.0.1	Jiri Srba	5 years ago
210		merged in branch lp:~verifypn-cpn/verifypn/unfold-improve merged in branch lp:~verifypn-cpn/verifypn/unfold-improve	Jiri Srba	5 years ago
209		fixed the tapaal.sh script for queries with prefix of 0 fixed the tapaal.sh script for queries with prefix of 0	srba.jiri at gmail	5 years ago
208		merged in branch lp:~verifypn-stub/verifypn/rulei-segfault merged in branch lp:~verifypn-stub/verifypn/rulei-segfault fixing segfault in reduction rule I	Jiri Srba	5 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 problem in CPN overapproximation and multiset minus operator	Jiri Srba	5 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	5 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	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	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

• Older »

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