TAPAAL

lp:~tapaal-contributor/tapaal/fix-trunk-halt-1893777

Created by Lena Ernstsen on 2020-09-02 and last modified on 2020-09-03

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/fix-trunk-halt-1893777

Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Merged into lp:tapaal at revision 1094

Jiri Srba: Approve on 2020-09-03

Related bugs

Bug #1893777: Trunk halts when opening game net

Critical

Fix Released

Remove

Link a bug report

Related blueprints

Branch information

Owner:: TAPAAL Contributors

Project:: TAPAAL

Status:: Merged

Recent revisions

1099. By Jiri Srba <email address hidden> on 2020-09-03: merged with trunk
1098. By Lena Ernstsen on 2020-09-02: Warning of changes to game queries only show if there has been a change.
1097. By Lena Ernstsen on 2020-09-01: Merged with trunk
1096. By Lena Ernstsen on 2020-09-01: Added comments to the different engine options
1095. By Lena Ernstsen on 2020-08-27: Checks if the property satisfies games
1094. By Lena Ernstsen on 2020-08-27: Refactored names for the engine options
1093. By Lena Ernstsen on 2020-08-26: Moved the specific engines into their own class.
1092. By Lena Ernstsen on 2020-08-25: Merged with trunk
1091. By Lena Ernstsen on 2020-08-25: Considers 'AU', 'AX', etc when checking queries
1090. By Lena Ernstsen on 2020-08-25: Moved check for affected queries. Changed wrong untimed engine options

»

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.

Subscribers

TAPAAL Contributors