← Back to branch summary

~tapaal-contributor/tapaal/weight-values-fix-1770637

~tapaal-contributor/tapaal/weight-values-fix-1770637

« back to all changes in this revision

Viewing changes to run-tapaal-j7.sh

Committer: Jiri Srba
Date: 2018-05-11 16:32:49 UTC
mfrom: (951.3.17 Batch-export-PNML-XML-queries-1754675)
Revision ID: srba@cs.aau.dk-20180511163249-2bphjqkfgwwjjqbi

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

files added:
src/dk/aau/cs/gui/FileNameCellRenderer.java

src/dk/aau/cs/gui/components/ExportBatchResultTableModel.java

src/pipe/gui/ExportBatchDialog.java

files modified:
run-tapaal-j7.sh

src/dk/aau/cs/gui/BatchProcessingDialog.java

src/dk/aau/cs/gui/TabContent.java

src/dk/aau/cs/verification/TAPNComposer.java

src/pipe/gui/CreateGui.java

src/pipe/gui/DrawingSurfaceImpl.java

src/pipe/gui/Export.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java

Show diffs side-by-side

added added

removed removed

run-tapaal-j7.sh

1

1

#!/bin/sh

2

2

3

(cd release-version; java -cp .:* TAPAAL)

3

(cd release-version; java -Xmx6144M -cp .:* TAPAAL)

Older »