TAPAAL

lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties

Created by Lena Ernstsen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties
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

1090. By Lena Ernstsen

urgent transitions are checked correctly when checking whether net is untimed

1089. By Lena Ernstsen

Fixed wrong untimed information in statistics

1088. By Lena Ernstsen

Merge

1087. By Lena Ernstsen

Fixed statistics concering untimed net

1086. By Lena Ernstsen

Fixed logic

1085. By Lena Ernstsen

Set default game/time features to 'No'. Changed isUntimed to check urgent transitions and nontrivial age invariants.

1084. By Lena Ernstsen

Warning messages for time/game is shown in debugger

1083. By Lena Ernstsen

Removed warning messages

1082. By Lena Ernstsen

Added warning message when net is timed/game and the feature says otherwise.

1081. By Lena Ernstsen

Added sanity check for loading the time/game info of nets. Renamed property to feature and removed unused methods.

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.