~yrke/tapaal/createArc-encapsulation : changes

~yrke/tapaal/createArc-encapsulation » Changes from revision 974.1.2

From Revision 956 to 937

Rev	Summary	Authors	Date
956	merged in branch lp:~tapaal-contributor/tapaal/select-all-17... merged in branch lp:~tapaal-contributor/tapaal/select-all-1763193 enabeling ctrl/cmd-A on all components in focus	Jiri Srba	6 years ago
955	merged in branch lp:~tapaal-contributor/tapaal/png-margins-f... merged in branch lp:~tapaal-contributor/tapaal/png-margins-fix-1762562 fixing PNG export and updated list of contributors	Jiri Srba	6 years ago
954	merged in branch lp:~ptaank/tapaal/run-multiple-queries- tha... merged in branch lp:~ptaank/tapaal/run-multiple-queries- that allows to select and verify multiple queries	Jiri Srba	6 years ago
953	merged in branch bzr merge lp:~yrke/tapaal/tapaal-fix-175686... merged in branch bzr merge lp:~yrke/tapaal/tapaal-fix-1756865 fixing broken Mac integration with Java 9 (by catching and ignoring the exception)	Jiri Srba	6 years ago
952	merged in bzr merge lp:~tapaal-contributor/tapaal/query-to-C... merged in bzr merge lp:~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844 fixing a problem with conversion of Reachability to CTL queries	Jiri Srba	6 years ago
951	updated list of contributors to TAPAAL GUI updated list of contributors to TAPAAL GUI	Jiri Srba	6 years ago
950	merged in branch lp:~tapaal-contributor/tapaal/partial-order... merged in branch lp:~tapaal-contributor/tapaal/partial-order that adds stubborn set option to batch processing	Jiri Srba	6 years ago
949	updated icon to 3.4 updated icon to 3.4	Jiri Srba	6 years ago
948	increased minimum version numbers for verifydtapn and verify... increased minimum version numbers for verifydtapn and verifypn and changed copyright upto 2018	Jiri Srba	6 years ago
947	merged in branch lp:~tapaal-contributor/tapaal/reachability... merged in branch lp:~tapaal-contributor/tapaal/reachability-query-dialog-stubborn-reduction adding partial order reduction for verifydtapn	Jiri Srba	6 years ago
946	merged in branch lp:~tapaal-contributor/tapaal/cancel-arc-dr... merged in branch lp:~tapaal-contributor/tapaal/cancel-arc-draw-fix-1718892 fixing escaping from drawing an arc with multiple anchor points	Jiri Srba	6 years ago
945	merged a bug fix for bug-1718610-wrong-letter-batch fixing w... merged a bug fix for bug-1718610-wrong-letter-batch fixing wrong letter in batch processing for verifypn engine	Jiri Srba	6 years ago
944	updated icon to 3.3 version updated icon to 3.3 version	Jiri Srba	6 years ago
943	changed minimum required version of verifydtapn to 3.2.1 changed minimum required version of verifydtapn to 3.2.1	Jiri Srba	6 years ago
942	merged in branch lp:~tapaal-contributor/tapaal/signed-intege... merged in branch lp:~tapaal-contributor/tapaal/signed-integers-fix-1714815 allowing for negative constants in query expressions	Jiri Srba	6 years ago
941	merged branch lp:~tapaal-contributor/tapaal/ctl-query-fix-15... merged branch lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367	Jiri Srba	6 years ago
940	merged in branch lp:~tapaal-contributor/tapaal/rapid-drawing... merged in branch lp:~tapaal-contributor/tapaal/rapid-drawing-fix-810906 for fast drawing of place and transitions when ctl key is hold pressed	Jiri Srba	7 years ago
939	merged in lp:~tapaal-contributor/tapaal/reduction-rules-in-G... merged in lp:~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084 that adds rule E to statistics for structural net reductions (for Peter's new NewParser untimed engine)	Jiri Srba	7 years ago
938	merged in branch lp:~tapaal-contributor/tapaal/save-as-fix-1... merged in branch lp:~tapaal-contributor/tapaal/save-as-fix-1648076 fixing "save as" on Mac OS X	Jiri Srba	7 years ago
937	merged in branch fixing enabled-transition-in-editor-fix-164... merged in branch fixing enabled-transition-in-editor-fix-1641313 that also changes the future enabled transitions from blue to yellow	Jiri Srba	7 years ago