lp:~tapaal-contributor/tapaal/BDDtestBranch

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

Related blueprints

826. By Mathias Grund Sørensen on 2013-11-15

Engine output is discarded.

825. By Jiri Srba on 2013-11-15

increased place for memory and time in batch processing

824. By Mathias Grund Sørensen on 2013-11-12

Batch processing and query dialog now make a faster sampling of memory peaks for the first two seconds, after this they are sampled every second. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

823. By Mathias Grund Sørensen on 2013-11-11

Left and right arrows are now working for workflow analysis in simulator once repeatedly entering the trace. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

822. By Mathias Grund Sørensen on 2013-11-11

verifypn overapproximation check is now not used for boundness check by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

821. By Mathias Grund Sørensen on 2013-11-11

Urgency flag for transitions is now added to redo/undo manager. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

820. By Mathias Grund Sørensen on 2013-11-05

Batch processing now allows killing verification if a given memory limit is exceeded. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

819. By Mathias Grund Sørensen on 2013-11-02

Invariant is now not changed to that of shared transition if the shared transition is not used anywhere. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

818. By Mathias Grund Sørensen on 2013-11-01

Fixes a bug when a batch processing terminated silently by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

817. By Mathias Grund Sørensen on 2013-10-28

Adds GUI support for workflow analysis. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba