lp://staging/~danilovesky/workcraft/trunk-bug-1366078

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp://staging/workcraft at revision 544

Danil Sokolov: Approve on 2014-09-05

Diff: 743 lines (+147/-109)

13 files modified

CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java (+11/-11)
CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ProgrammerChainTask.java (+2/-27)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java (+6/-6)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java (+6/-6)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java (+8/-8)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatUtilitySettings.java (+32/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java (+12/-8)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java (+14/-9)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/PunfTask.java (+12/-7)
MpsatPlugin/src/org/workcraft/plugins/pcomp/gui/PcompDialog.java (+17/-8)
MpsatPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompTask.java (+17/-11)
MpsatPlugin/src/org/workcraft/plugins/pcomp/tools/PcompTool.java (+4/-1)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tasks/CheckDeadlockTask.java (+6/-6)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1366078: Enable the use PNML versions of Punf and MPSat tools

Low

Fix Committed

Link a bug report

Related blueprints

545. By Danil Sokolov on 2014-09-05

Enable the use PNML versions of Punf and MPSat tools.

544. By Danil Sokolov on 2014-09-05

Use shared STG outputs option of pcomp tool.

543. By Danil Sokolov on 2014-09-05

Merge proposal for bug# 1365553 approved.

542. By Danil Sokolov on 2014-09-04

Merge proposal for bug #1360339 approved.

541. By Danil Sokolov on 2014-08-22

Merge proposal for bug #1360299 approved.

540. By Danil Sokolov on 2014-08-06

Merge proposal for bug #1342059 approved.

539. By Danil Sokolov on 2014-08-06

Merge proposal for bug #1343266 approved.

538. By Danil Sokolov on 2014-08-06

Merge proposal for bug #1349754 approved.

537. By Danil Sokolov on 2014-08-04

Merge proposal for bugs 1351503 and 1351504 approved.

536. By Danil Sokolov on 2014-08-01

Merge proposal for the blueprint ui-std-clear approved.