lp:~yrke/tapaal/tapaal-gradlebuild

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 969

Jiri Srba: Approve on 2018-08-01

Diff: 356 lines (+323/-0)

6 files modified

.bzrignore (+3/-0)
build.gradle (+57/-0)
gradle/wrapper/gradle-wrapper.properties (+5/-0)
gradlew (+172/-0)
gradlew.bat (+84/-0)
settings.gradle (+2/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

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