~yrke/tapaal/java11

From Revision 969 to 950

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
969		merged in branch lp:~yrke/tapaal/tapaal-gradlebuild adding ... merged in branch  lp:~yrke/tapaal/tapaal-gradlebuild adding gradle build support (not fully functional yet, so official builds should be done using make)	Jiri Srba	6 years ago
968		merged in branch lp:~tapaal-contributor/tapaal/disable-butto... merged in branch lp:~tapaal-contributor/tapaal/disable-buttons-noNetMode-1767758 that disables prev/next component and node distance changing when no net is open	Jiri Srba	6 years ago
967		merged in branch lp:~tapaal-contributor/tapaal/Remove-Export... merged in branch lp:~tapaal-contributor/tapaal/Remove-ExportPNXML-button-1718642 removing Export PNXML button from CTL query dialog (this is now possible from Export menu in File)	Jiri Srba	6 years ago
966		merged in branch lp:~yrke/tapaal/tapaal-bug-1782994 fixing M... merged in branch lp:~yrke/tapaal/tapaal-bug-1782994 fixing Mac OSX and Java 9	Jiri Srba	6 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	6 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	6 years ago
963		added older commits to svn repository (historical data) added older commits to svn repository (historical data)	Jiri Srba	6 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	6 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	6 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	6 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	6 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	6 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	6 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

• Older »

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