TAPAAL

lp:~tapaal-contributor/tapaal/bug894337

Created by Mathias Andersen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/bug894337
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

682. By Jiri Srba

resolved a conflict

681. By Mathias Andersen

When you go to simulation mode and the selected template is inactive, the first active template is selected.

680. By Mathias Andersen

When you go to simulation mode the selected component is remembered if it is active.

679. By Mathias Andersen

The selected component is now remembered when going back from simulation mode to edit mode

678. By Mathias Andersen

Fix for bug #894337

677. By Jakob Taankvist

Transitions can now only be turned only when they are selected. It ss now possible to add tokens by scrolling on a selected place. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

676. By Jiri Srba

Fixes bug #944740. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

675. By Jiri Srba

Made it possible for the user to select the specific verification methods in the batch processing dialog by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

674. By Mathias Andersen

Delay in the simulator can now contain only numerical values with precision of 5 decimal places. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba, Kenneth Yrke Jørgensen

673. By Kenneth Yrke Jørgensen

Merged branch with fix for bug #874217 by TAPAAL Developers 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.