lp:~tapaal-contributor/tapaal/show-reduced-net-1879130

Created by Thomas Pedersen on 2020-07-03 and last modified on 2020-11-13
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/show-reduced-net-1879130
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:
Development

Recent revisions

1078. By Thomas Pedersen <email address hidden> on 2020-11-13

Disable query reduction when reduced net is opened from query dialog

1077. By Thomas Pedersen <email address hidden> on 2020-11-11

Check if reduction rules are used before creating button to open reduced net

1076. By Thomas Pedersen <email address hidden> on 2020-11-11

Fix getting positional information from multiple components

1075. By Thomas Pedersen <email address hidden> on 2020-11-06

Ensure that a new tab is only opened when a reduced net is created

1074. By Thomas Pedersen <email address hidden> on 2020-11-06

Merge with trunk

1073. By Thomas Pedersen <email address hidden> on 2020-11-06

Fix query translation for reduced nets

1072. By Thomas Pedersen <email address hidden> on 2020-10-31

Added the query to the reduced net

1071. By Thomas Pedersen <email address hidden> on 2020-10-31

Make button to open reduced net in query dialog only appear for untimed non-game nets

1070. By Thomas Pedersen <email address hidden> on 2020-10-15

Add option to open reduced net from the query dialog panel

1069. By Thomas Pedersen <email address hidden> on 2020-09-18

Link reduced file with button and create tab for reduced net

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.