TAPAAL

lp:tapaal/3.4

Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:tapaal/3.4
Members of TAPAAL Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Maintainers
Project:
TAPAAL
Status:
Abandoned

Recent revisions

964. By Jiri Srba <email address hidden>

increased version number to 3.4.3 and min version for verifypn to 3.0.1

963. By Jiri Srba <email address hidden>

increased version number to 3.4.2 and min req. number of verifypn to 3.0.0

962. By Jiri Srba

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

961. By Jiri Srba

merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduction-rules-1768066
displaying reduction rules A-I in the GUI

960. By Jiri Srba

merging A-I reduction rules statistics

959. By Jiri Srba

merged in branch lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489
fixing a non-cought expection in transition name renaming

958. By Jiri Srba

merged branch lp:~tapaal-contributor/tapaal/query-export-bug-1767615 fixing
a bug with export of XML queries

957. By Jiri Srba <email address hidden>

increased version number to 3.4.1

956. By Jiri Srba <email address hidden>

increased minimal version number of verifypn to 2.2.1

955. By Jiri Srba <email address hidden>

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).

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.