TAPAAL

lp:~tapaal-contributor/tapaal/redirect-game-engine-cpn

Created by Lena Ernstsen and last modified

Merged to cpn-gui-dev

Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/redirect-game-engine-cpn
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

1554. By Lena Ernstsen

Disabled some options for untimed game net queries

1553. By Lena Ernstsen

Corrected minor spelling mistake

1552. By Lena Ernstsen

Changed visibility of some query options for game nets

1551. By Lena Ernstsen

Still calls verifydtapn when net is timed and game

1550. By Lena Ernstsen

Games use verifypn engine to verify. Removed ghost places from the dtapn engine.

1549. By Kenneth Yrke Jørgensen

Updated message for removing under/over approx

1548. By Kenneth Yrke Jørgensen

Fixed naming error

1547. By Kenneth Yrke Jørgensen

K-bound analysis of games can't use dart or gcd

1546. By Kenneth Yrke Jørgensen

Disabled model-rewrite over/under approximation when using colored nets

1545. By Kenneth Yrke Jørgensen

Added guard to protect when space is not found

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.