lp:~danilovesky/workcraft/trunk-bug-1317910

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:workcraft at revision 504

Danil Sokolov: Approve on 2014-06-05

Diff: 125 lines (+22/-20)

4 files modified

STGPlugin/src/org/workcraft/plugins/stg/STG.java (+2/-4)
STGPlugin/src/org/workcraft/plugins/stg/STGReferenceManager.java (+20/-14)
STGPlugin/src/org/workcraft/plugins/stg/propertydescriptors/SignalNamePropertyDescriptor.java (+0/-1)
STGPlugin/src/org/workcraft/plugins/stg/propertydescriptors/SignalPropertyDescriptor.java (+0/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1317910: Renaming signals in STG is wrong

High

Fix Committed

Link a bug report

Related blueprints

505. By Danil Sokolov on 2014-06-05

getSignalTransitions and getDummyTransitions return copies of collectios now.

504. By Danil Sokolov on 2014-06-04

Renaming signals in STG is corrected.

503. By Danil Sokolov on 2014-06-04

Merge proposal for bug #1287735 approved.

502. By Danil Sokolov on 2014-06-03

Merge proposal for bug #1312185 approved

501. By Danil Sokolov on 2014-04-29

Merge of blueprint circuit-env-stg to support verification of circuits under their environment STGs (conformation, deadlocks and hazards).

500. By Danil Sokolov on 2014-04-22

Merge proposal for blueprint stg-transform-tools is approved (with minor correction to remove the debug output).

499. By Danil Sokolov on 2014-04-16

Merge for blueprint stg-reach-preset approved (with minor corrections).

498. By Danil Sokolov on 2014-04-16

Merge proposal for the blueprint stg-reach-preset is aproved.

497. By Danil Sokolov on 2014-04-09

Merge proposal for bug #1288772 approved.

496. By Danil Sokolov on 2014-04-08

Merge proposal for bug #1288340 approved.