TAPAAL

lp:tapaal/dev

Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:tapaal/dev
Members of TAPAAL Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

tapaal 4 dev (Low)

Branch information

Owner:
TAPAAL Maintainers
Project:
TAPAAL
Review team:
Kenneth Yrke Jørgensen
Status:
Merged

Recent revisions

1065. By Kenneth Yrke Jørgensen

Added +x to gradle wrapper script

1064. By Kenneth Yrke Jørgensen

Auto reformat code

1063. By Kenneth Yrke Jørgensen

Code reformat

1062. By Kenneth Yrke Jørgensen

Removed comments

1061. By Kenneth Yrke Jørgensen

Run code inspection on model

made members final, exstracted method, fixed static acessors, reformat code

1060. By Kenneth Yrke Jørgensen

Fixed code indent

1059. By Kenneth Yrke Jørgensen

Rolled back refactoring to draw arc

Can't check for only one arc between p/t in model, as its used
in the uppaal model transformation code. Re-added check to gui.

1058. By Kenneth Yrke Jørgensen

Removed checks for not having two transitions between place/transition,

This is used be the uppaal reduction when creating the uppaal models

1057. By Kenneth Yrke Jørgensen

Removed uncommentet code and code reformat

1056. By Kenneth Yrke Jørgensen

Clean up imports and removed unneded boxing

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.