lp:~danilovesky/workcraft/trunk-log-color

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:workcraft at revision 715

Danil Sokolov: Approve on 2016-01-17

Diff: 1111 lines (+406/-105)

19 files modified

CircuitPlugin/src/org/workcraft/plugins/circuit/genlib/GenlibUtils.java (+5/-4)
CircuitPlugin/src/org/workcraft/plugins/circuit/interop/VerilogImporter.java (+17/-16)
CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation/VerilogSerialiser.java (+9/-8)
MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisTask.java (+2/-1)
WorkcraftCore/src/org/workcraft/CompatibilityManager.java (+9/-7)
WorkcraftCore/src/org/workcraft/Console.java (+2/-2)
WorkcraftCore/src/org/workcraft/gui/ErrorWindow.java (+4/-2)
WorkcraftCore/src/org/workcraft/gui/OutputWindow.java (+71/-35)
WorkcraftCore/src/org/workcraft/plugins/BuiltinTools.java (+2/-0)
WorkcraftCore/src/org/workcraft/plugins/shared/CommonLogSettings.java (+225/-0)
WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java (+8/-7)
WorkcraftCore/src/org/workcraft/util/LogUtils.java (+22/-0)
XmasPlugin/src/org/workcraft/plugins/xmas/stg/StgGenerator.java (+2/-1)
XmasPlugin/src/org/workcraft/plugins/xmas/tools/PNetExt.java (+2/-1)
XmasPlugin/src/org/workcraft/plugins/xmas/tools/PNetGen.java (+7/-6)
XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerAnalysis.java (+6/-5)
XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerConfTool.java (+2/-1)
XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerQuery.java (+6/-5)
XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerTool.java (+5/-4)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

715. By Danil Sokolov on 2016-01-17

Coloring of INFO, WARNING and ERROR log entries. Highlighting STDOUT and STDERR output of the backend tools.

714. By Danil Sokolov on 2016-01-15

Tools for working with place proxies in STG and Petri nets

713. By Danil Sokolov on 2016-01-15

Merge proposal for blueprint ui-tools-output approved.

712. By Danil Sokolov on 2016-01-14

Merge proposal for blueprint menu-refactoring approved.

711. By Danil Sokolov on 2016-01-14

Merge proposal for blueprint contraction approved.

710. By Danil Sokolov on 2016-01-06

Contraction of Petri net and STG transitions is (temporary) disabled as it does not produce correct results.

709. By Danil Sokolov on 2016-01-06

Gate libraries ae moved from tools/PetrifyTools/ to libraries/

708. By Danil Sokolov on 2016-01-06

Small changes to the Verification meny of STGs.

707. By Danil Sokolov on 2016-01-06

Corrections to the quotations in the environment variables.

706. By Danil Sokolov on 2016-01-05

Passing parameters to vxm correctly.