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

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:workcraft at revision 510

Danil Sokolov: Approve on 2014-06-27

Diff: 81 lines (+24/-29)

1 file modified

CircuitPlugin/src/org/workcraft/plugins/circuit/tools/STGGenerator.java (+24/-29)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1335055: Incorrect circuit STG generator rules

Low

Fix Committed

Link a bug report

Related blueprints

510. By Danil Sokolov on 2014-06-27

Generation of STG for the set/reset functions on circuit ports is corrected.

509. By Danil Sokolov on 2014-06-20

Merge proposal for bugs #1332527, #1332108 and #1332112 approved

508. By Danil Sokolov on 2014-06-18

Merge proposal for bugs #1331566 and 1331471 approved

507. By Danil Sokolov on 2014-06-05

Merge proposal for bug #1326800 approved

506. By Danil Sokolov on 2014-06-05

Merge proposal for bug #1281618 approved

505. By Danil Sokolov on 2014-06-05

Merge proposal for bugs #1326726 and #1322841 approved

504. By Danil Sokolov on 2014-06-05

Merge proposal for bug #1317910 approved

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).