~tapaal-contributor/tapaal/weight-values-fix-1770637 : changes

~tapaal-contributor/tapaal/weight-values-fix-1770637 » Changes from revision 962

From Revision 962 to 943

Rev	Summary	Authors	Date
962	Fixes bug #1770637 where in PNML export and composer we used... Fixes bug #1770637 where in PNML export and composer we used constant names instead of the values in weights of arcs	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
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

Older »