~yrke/tapaal/tapaal-bug-1782994 : changes

~yrke/tapaal/tapaal-bug-1782994 » Changes from revision 966

From Revision 966 to 947

Rev	Summary	Authors	Date
966	Added try/catch for Mac handler, to make code run on java 9... Added try/catch for Mac handler, to make code run on java 9 and newer	Kenneth Yrke Joergen...	5 years ago
965	merged in branch lp:tapaal/anniversary-next10 refactoring th... merged in branch lp:tapaal/anniversary-next10 refactoring the GUI	srba.jiri at gmail	5 years ago
964	increased min version number of verifypn to 3.0.1 increased min version number of verifypn to 3.0.1	Jiri Srba	5 years ago
963	added older commits to svn repository (historical data) added older commits to svn repository (historical data)	Jiri Srba	5 years ago
962	merged in branch lp:~tapaal-contributor/tapaal/weight-values... merged in branch lp:~tapaal-contributor/tapaal/weight-values-fix-1770637 fixing PNML export and Composer where arc weights were constant names and should be exported as values instead	Jiri Srba	5 years ago
961	merged in branch lp:~tapaal-contributor/tapaal/Batch-export-... merged in branch lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675 adding batch export of files to PNML and XML	Jiri Srba	5 years ago
960	merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduc... merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduction-rules-1768066 adding the statistics of reduction rules A-I	Jiri Srba	5 years ago
959	merged in branch lp:~tapaal-contributor/tapaal/Rename-transi... merged in branch lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489 fixing an un-cought exception when renaming a transition to nonvalid name	Jiri Srba	5 years ago
958	merged in branch lp:~tapaal-contributor/tapaal/query-export-... merged in branch lp:~tapaal-contributor/tapaal/query-export-bug-1767615 fixing an export of XML queries	Jiri Srba	5 years ago
957	merged in branch lp:~yrke/tapaal/tapaal-fix-1764383-MacHandl... merged in branch lp:~yrke/tapaal/tapaal-fix-1764383-MacHandling mixing feel and look for Mac os X with Java 9 (About menu is not working yet)	Jiri Srba	5 years ago
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

Older »