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

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 #1525159: Bugs in conformation check

High

Fix Committed

Link a bug report

Related blueprints

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.

685. By Danil Sokolov on 2015-12-11

Minor stability updates to xMAS plugin.

684. By Danil Sokolov on 2015-12-11

Spaces in work name are replaced with underscores for Petrify tasks.
An empty model title is replaces with ".model Untitled" in .g file to enforce correct name of synthesised Verilog module.

683. By Danil Sokolov on 2015-11-27

Allow modification actions in Connection tool while not creating a connection.

682. By Danil Sokolov on 2015-11-27

Ignore saved selection on opening a work file (it is only useful for copy-paste).