← Back to branch summary

~danilovesky/workcraft/trunk-bug-1529290

~danilovesky/workcraft/trunk-bug-1529290

Viewing all changes in revision 690.

Committer: Danil Sokolov
Date: 2015-12-17 16:50:15 UTC
Revision ID: danilovesky@gmail.com-20151217165015-qtsnaiz3i8nphzw2

https://launchpad.net/bugs/1527245

Refactoring of the way external tools are called in order to overcome the "command line too long" in Windows.

files modified:
CpogsPlugin/src/org/workcraft/plugins/cpog/CpogSettings.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/PGMinerTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/SatBasedSolver.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoSolver.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/MpsatSynthesisUtilitySettings.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisTask.java

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

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java

PcompPlugin/src/org/workcraft/plugins/pcomp/PcompUtilitySettings.java

PcompPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyUtilitySettings.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/PetrifyTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/SynthesisTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/WriteSgTask.java

PunfPlugin/src/org/workcraft/plugins/punf/PunfUtilitySettings.java

PunfPlugin/src/org/workcraft/plugins/punf/tasks/PunfTask.java

WorkcraftCore/.classpath

WorkcraftCore/src/org/workcraft/gui/trees/TreeModelWrapper.java

WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutSettings.java

WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java

WorkcraftCore/src/org/workcraft/util/FileUtils.java

XmasPlugin/.classpath

workcraft

workcraft.bat *

Show diffs side-by-side

added added

removed removed

CpogsPlugin/src/org/workcraft/plugins/cpog/CpogSettings.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/PGMinerTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/SatBasedSolver.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoSolver.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/MpsatSynthesisUtilitySettings.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisTask.java

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

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java

PcompPlugin/src/org/workcraft/plugins/pcomp/PcompUtilitySettings.java

PcompPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyUtilitySettings.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/PetrifyTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/SynthesisTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/WriteSgTask.java

PunfPlugin/src/org/workcraft/plugins/punf/PunfUtilitySettings.java

PunfPlugin/src/org/workcraft/plugins/punf/tasks/PunfTask.java

WorkcraftCore/.classpath

WorkcraftCore/src/org/workcraft/gui/trees/TreeModelWrapper.java

WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutSettings.java

WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java

WorkcraftCore/src/org/workcraft/util/FileUtils.java

XmasPlugin/.classpath

Older »