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

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1529290: Convert dual arcs to read arcs on import of .g files

Low

Fix Committed

Link a bug report

Related blueprints

695. By Danil Sokolov on 2015-12-25

Dual producing-consumng arcs are converted into read arcs on import of .g files.

694. By Danil Sokolov on 2015-12-23

Updated help and tutorial files.

693. By Danil Sokolov on 2015-12-23

Corrections for visualisation of contactf of xMAS Queue component.

692. By Danil Sokolov on 2015-12-22

Additional checks for prerequisits (some places, no dummies, no disconnected transitions) before verifying the conformation property.

691. By Danil Sokolov on 2015-12-18

New formulation of conformation property.

690. By Danil Sokolov on 2015-12-17

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

689. By Danil Sokolov on 2015-12-11

Correct rotation of xMAS Queue contacts.

688. By Danil Sokolov on 2015-12-11

Two options for generation of FST from STG: basic and binary-encoded.

687. By Danil Sokolov on 2015-12-11

Proper position for Petri net/STG places generated from FSM/FST models.

686. By Danil Sokolov on 2015-12-11

Cleanup of xMAS plugin.