TAPAAL

lp:~ptaank/tapaal/run-multiple-queries-

Created by Peter Haahr Taankvist on 2018-02-27 and last modified on 2018-04-09

Only Peter Haahr Taankvist can upload to this branch. If you are Peter Haahr Taankvist please log in for upload directions.

No branches dependent on this one.

Merged into lp:tapaal at revision 954

Jiri Srba: Approve on 2018-04-16

Peter Haahr Taankvist (community): Needs Resubmitting on 2018-04-13

Wishlist

Fix Released

960. By Peter Taankvist <email address hidden> on 2018-04-09: Added lastpath to filebrowser in batchprocessing
959. By Peter Taankvist <email address hidden> on 2018-04-09: Fix up and down buttons
958. By Peter Taankvist <email address hidden> on 2018-04-02: Fix Monitor, net and NullPointerException
957. By Peter Taankvist <email address hidden> on 2018-04-02: Refactor of save method and modelname fixed in results
956. By Peter Taankvist <email address hidden> on 2018-03-09: Made new save method for run multiple queries
955. By Peter Taankvist <email address hidden> on 2018-02-27: Reset lists after call to batch processing
954. By Peter Taankvist <email address hidden> on 2018-02-27: Added RemoveQueriesCommand file and changed error message
953. By Peter Taankvist <email address hidden> on 2018-02-25: Run multiple queries (wishlist) - #882539
952. By Peter Taankvist <email address hidden> on 2018-02-24: Run multiple queries - bug #882539 (wishlist)
951. By Jiri Srba <email address hidden> on 2018-02-15: updated list of contributors to TAPAAL GUI

This branch contains Public information

Everyone can see this information.