lp:~danilovesky/workcraft/trank-bug-1449774

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 #1449774: Inconsistent report of verification results

Low

Fix Committed

Link a bug report

Related blueprints

618. By Danil Sokolov on 2015-05-10

Dealing wiht forks on primariry outputs.

617. By Danil Sokolov on 2015-05-06

Improvements to Connection tools od circuit and STG.

616. By Danil Sokolov on 2015-05-06

Fix for highlighting of the nodes excited by the current trace event.

615. By Danil Sokolov on 2015-05-05

Translation of the STG trace to circuit trace.

614. By Danil Sokolov on 2015-05-02

Initial attempt to simulate composed STG trace in a circuit.

613. By Danil Sokolov on 2015-05-02

Fixed a bug in Circuit STG simplification algorithm.

612. By Danil Sokolov on 2015-05-01

Remove environment STG in circuit simulation (it did not work out).

611. By Danil Sokolov on 2015-05-01

Finalise the consistent report of verification results for MPSat.

610. By Danil Sokolov on 2015-04-30

Relation between Reach predicate and custom property is explicitly introduced.

609. By Danil Sokolov on 2015-04-29

Regular expressions in Reach predicate are preserved.