lp:~tapaal-contributor/tapaal/BDDtestBranch

Created by Mathias Grund Sørensen on 2013-11-15 and last modified on 2013-11-15
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/BDDtestBranch
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Experimental

Recent revisions

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

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.