~tapaal-contributor/tapaal/cpn-gui-dev : changes

~tapaal-contributor/tapaal/cpn-gui-dev » Changes from revision 1650

From Revision 1650 to 1631

Rev	Summary	Authors	Date
1650	Added support for opening files by dragging then on the canv... Added support for opening files by dragging then on the canvas	Kenneth Yrke Jørgens...	1 year ago
1649	Upgraded project dependency, removed junit4 Upgraded project dependency, removed junit4	Kenneth Yrke Jørgens...	1 year ago
1648	Fixed an issue where shared transiations was "added" double ... Fixed an issue where shared transiations was "added" double due to parent network being reused when flatting net	Kenneth Yrke Joergen...	1 year ago
1647	Fixed long line error messages Fixed long line error messages	Kenneth Yrke Joergen...	1 year ago
1646	merged with trunk (fixing editing of LTL queries) merged with trunk (fixing editing of LTL queries)	Jiri Srba	1 year ago
1645	merged with trunk (fixing copying of components with environ... merged with trunk (fixing copying of components with environemnatl transitions)	Jiri Srba	1 year ago
1644	refixed #1940418 via workarround refixed #1940418 via workarround	Kenneth Yrke Joergen...	1 year ago
1643	Added null check Added null check	Kenneth Yrke Joergen...	1 year ago
1642	merged in lp:~tapaal-contributor/tapaal/fix-product-display-... merged in lp:~tapaal-contributor/tapaal/fix-product-display-1971421 fixing product colors editing in transitions guards	Jiri Srba	1 year ago
1641	merged in lp:~tapaal-contributor/tapaal/conjunction-button-f... merged in lp:~tapaal-contributor/tapaal/conjunction-button-fix fixing a problem with and/or buttons in query dialog	Jiri Srba	1 year ago
1640	Fixed a possible NPE Fixed a possible NPE	Kenneth Yrke Jørgens...	1 year ago
1639	Workarround for #1971422, need to make a propper fix later Workarround for #1971422, need to make a propper fix later	Kenneth Yrke Joergen...	1 year ago
1638	Fixed #1971420 unfolding empty net leads to error Fixed #1971420 unfolding empty net leads to error It seems the unfolder genreates a dummy query to not have a empty list, that query uses to reference the first templates first place, (which might not exist eg. net empty). Insted change the dummy query to be E<>true.	Kenneth Yrke Joergen...	1 year ago
1637	Fixes #1968473, wrong filter applied in engine selection men... Fixes #1968473, wrong filter applied in engine selection menu on windows	Kenneth Yrke Joergen...	2 years ago
1636	Fix for issue 1968474 Keep query cat when unfolding Fix for issue 1968474 Keep query cat when unfolding	Kenneth Yrke Joergen...	2 years ago
1635	Code cleanup Code cleanup	Kenneth Yrke Jørgens...	2 years ago
1634	Fixed an issue where A E quantifiers would not show trace Fixed an issue where A E quantifiers would not show trace	Kenneth Yrke Jørgens...	2 years ago
1633	Fixed what seems to be a logical error in selecting exporter Fixed what seems to be a logical error in selecting exporter	Kenneth Yrke Jørgens...	2 years ago
1632	Moved src files to gradle java project structure Moved src files to gradle java project structure	Kenneth Yrke Jørgens...	2 years ago
1631	Fixed infinite loop when updating the color of an arc expres... Fixed infinite loop when updating the color of an arc expression	lsaid	2 years ago

Older »