lp:~yrke/tapaal/tapaal-gradlebuild

Branch merges

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

Propose for merging

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