lp:tapaal/dev

Created by Kenneth Yrke Jørgensen on 2019-03-17 and last modified on 2020-05-07
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

Branch information

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

Recent revisions

1065. By Kenneth Yrke Jørgensen on 2020-04-01

Added +x to gradle wrapper script

1064. By Kenneth Yrke Jørgensen on 2020-03-30

Auto reformat code

1063. By Kenneth Yrke Jørgensen on 2020-03-30

Code reformat

1062. By Kenneth Yrke Jørgensen on 2020-03-30

Removed comments

1061. By Kenneth Yrke Jørgensen on 2020-03-30

Run code inspection on model

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

1060. By Kenneth Yrke Jørgensen on 2020-03-30

Fixed code indent

1059. By Kenneth Yrke Jørgensen on 2020-03-30

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 on 2020-03-30

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 on 2020-03-30

Removed uncommentet code and code reformat

1056. By Kenneth Yrke Jørgensen on 2020-03-29

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.