TAPAAL

lp:~tapaal-compworkflow/tapaal/tapaal-compworkflow-new

Created by Christoffer Moesgaard on 2015-09-29 and last modified on 2015-09-29
Get this branch:
bzr branch lp:~tapaal-compworkflow/tapaal/tapaal-compworkflow-new
Members of tapaal-compworkflow can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
tapaal-compworkflow
Project:
TAPAAL
Status:
Development

Recent revisions

962. By Christoffer Moesgaard on 2015-09-29

Workflows are now directly scaled without overapprox. PTries are used where applicable.

961. By Christoffer Moesgaard on 2015-06-08

Merge

960. By Christoffer Moesgaard on 2015-06-08

Sidste rettelse

959. By Christoffer Moesgaard on 2015-06-07

Update to model

958. By Christoffer Moesgaard on 2015-06-07

Models

957. By Christoffer Moesgaard on 2015-06-07

Fixed bugs and updated GUI

956. By Sine Viesmose Birch on 2015-06-06

Now with pBlock to ensure correct termination.

955. By Sine Viesmose Birch on 2015-06-06

Ahh, no more nondeterminism!

954. By Christoffer Moesgaard on 2015-06-06

Various fixes and more GUI

953. By Sine Viesmose Birch on 2015-06-02

1-safe never use EF false. Wellbehaved check uses p1 = p1copy

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.