TAPAAL

lp:~tapaal-contributor/tapaal/cpn-trace

Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/cpn-trace
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:
Merged

Recent revisions

1570. By Kenneth Yrke Jørgensen

Fixed issue when running query from QueryList insted of dialog

When running intro example, or intro example converted to colored, we got an error when using the QueryPane.
Running from the query dialog worked

1569. By Kenneth Yrke Jørgensen

Fixed color trace for verifypn

1568. By Kenneth Yrke Jørgensen

Fixed colored net trace decompose

1567. By Kenneth Yrke Jørgensen

Passed lense down to verification

1566. By Kenneth Yrke Jørgensen

Removed DTACPN special class and merged it with dtapn

Logic now mimics verifypn

1565. By Kenneth Yrke Jørgensen

Fixes #1958842 - workarround for the popup, games required to be using verifydtapn

1564. By Kenneth Yrke Jørgensen

Renamed verifydtapn engine option

1563. By Kenneth Yrke Jørgensen

Don't allow ltl for games query

1562. By Kenneth Yrke Jørgensen

Added comment

1561. By Kenneth Yrke Jørgensen

Code cleanup

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.