lp:~yrke/tapaal/tapaal-gradlebuild

Created by Kenneth Yrke Jørgensen on 2018-07-10 and last modified on 2018-07-10
Get this branch:
bzr branch lp:~yrke/tapaal/tapaal-gradlebuild
Only Kenneth Yrke Jørgensen can upload to this branch. If you are Kenneth Yrke Jørgensen please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Kenneth Yrke Jørgensen
Project:
TAPAAL
Status:
Merged

Recent revisions

968. By Kenneth Yrke Jørgensen on 2018-07-10

added build dir to ignore

967. By Kenneth Yrke Jørgensen on 2018-07-10

added gradle files

966. By Kenneth Yrke Jørgensen on 2018-07-10

Added intellij and gradle to ignore

965. By <email address hidden> on 2018-07-06

merged in branch lp:tapaal/anniversary-next10 refactoring the GUI

964. By Jiri Srba <email address hidden> on 2018-06-29

increased min version number of verifypn to 3.0.1

963. By Jiri Srba <email address hidden> on 2018-05-28

added older commits to svn repository (historical data)

962. By Jiri Srba on 2018-05-13

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

961. By Jiri Srba on 2018-05-11

merged in branch lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675
adding batch export of files to PNML and XML

960. By Jiri Srba on 2018-05-11

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

959. By Jiri Srba on 2018-05-11

merged in branch lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489
fixing an un-cought exception when renaming a transition to nonvalid name

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.