← Back to branch summary

~jonathan-r-beaumont/workcraft/trunk-bug-1537854

~jonathan-r-beaumont/workcraft/trunk-bug-1537854

Viewing all changes in revision 706.

Committer: Danil Sokolov
Date: 2016-01-05 20:25:07 UTC
Revision ID: danilovesky@gmail.com-20160105202507-d229uz5loaozjd6z

Passing parameters to vxm correctly.

files modified:
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatChainResultHandler.java

WorkcraftCore/src/org/workcraft/gui/graph/GraphEditorPanel.java

WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/PNetGen.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerAnalysis.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerQuery.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerTool.java

Show diffs side-by-side

added added

removed removed

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatChainResultHandler.java

WorkcraftCore/src/org/workcraft/gui/graph/GraphEditorPanel.java

WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/PNetGen.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerAnalysis.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerQuery.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerTool.java

Older »