~tapaal-maintainers/tapaal/3.4

From Revision 964 to 945

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
964		increased version number to 3.4.3 and min version for verify... increased version number to 3.4.3 and min version for verifypn to 3.0.1	Jiri Srba	5 years ago
963		increased version number to 3.4.2 and min req. number of ver... increased version number to 3.4.2 and min req. number of verifypn to 3.0.0	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 weights are constant names but should be exported as values	Jiri Srba	5 years ago
961		merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduc... merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduction-rules-1768066  displaying reduction rules A-I in the GUI	Jiri Srba	6 years ago
960		merging A-I reduction rules statistics merging A-I reduction rules statistics	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 a non-cought expection in transition name renaming	Jiri Srba	6 years ago
958		merged branch lp:~tapaal-contributor/tapaal/query-export-bug... merged branch lp:~tapaal-contributor/tapaal/query-export-bug-1767615 fixing a bug with export of XML queries	Jiri Srba	6 years ago
957		increased version number to 3.4.1 increased version number to 3.4.1	Jiri Srba	6 years ago
956		increased minimal version number of verifypn to 2.2.1 increased minimal version number of verifypn to 2.2.1	Jiri Srba	6 years ago
955		merged in branch lp:~yrke/tapaal/tapaal-fix1764383-java9mac... merged in branch  lp:~yrke/tapaal/tapaal-fix1764383-java9macoslookandfeel fixing mac os x look and feel with Java 9 (all seems to work except for the About).	Jiri Srba	6 years ago
954		merged in branch lp:~yrke/tapaal/tapaal-fix-1756865 fixing M... merged in branch lp:~yrke/tapaal/tapaal-fix-1756865 fixing Mac integration with Java 9 (by catching the exception and ignoring it)	Jiri Srba	6 years ago
953		merged in branch fixing Java 9 on mac merged in branch fixing Java 9 on mac	Jiri Srba	6 years ago
952		merged in lp:~tapaal-contributor/tapaal/query-to-CTL-convers... merged in lp:~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844/ fixing a bug in conversion from Rechability to CTL queries	Jiri Srba	6 years ago
951		Release version 3.4.0 Release version 3.4.0	Jiri Srba	6 years ago
950		changed to version number 3.4.0 changed to version number 3.4.0	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

• Older »

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