TAPAAL

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

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

1579. By Kenneth Yrke Jørgensen

Added verifypn special case to handle trace can be on stderr and stdout

1578. By Kenneth Yrke Jørgensen

Added xml parse trace error output to command line output

1577. By Kenneth Yrke Jørgensen

Merged cpn branch into solvedBy

1576. By Kenneth Yrke Jørgensen

Updated skeleton analysis text

1575. By Kenneth Yrke Jørgensen

Fixed placement of show raw query btn and fixed detection of solved siphon-trap.

Also removed old solved by state-equation (covered by query simplification)

1574. By Kenneth Yrke Jørgensen

Added message about how a query was solved

1573. By Kenneth Yrke Jørgensen

Renamed untimed state equation check to skeleton preanalysis

1572. By Kenneth Yrke Jørgensen

Added verification option to set resolved using skeleton preprocessor

1571. By Kenneth Yrke Jørgensen

Adjusted layout

1570. By Kenneth Yrke Jørgensen

Try to improve the ordering of elements in the query result menu.

Former implementation could place elemenets on top of each other

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.