Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:~yrke/tapaal/fix1976496
Only Kenneth Yrke Jørgensen can upload to this branch. If you are Kenneth Yrke Jørgensen please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Kenneth Yrke Jørgensen

Recent revisions

1170. By Kenneth Yrke Jørgensen

Fix bug #1976496, dont show duscrete time warning for untimed games (or timed models that are untimed)

1169. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/conjunction-button-fix fixing a problem with and/or buttons in query dialog

1168. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/fixTAPNdi fixing a problem with passing inclusion places to verifytapn

1167. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/fixApprox-trunk fixing problem with over/under-approximation for verifydtapn

1166. By Jiri Srba <email address hidden>

more cleanup

1165. By Jiri Srba <email address hidden>

cleanup in tools and added the most recent scripts for creating distributions

1164. By Jiri Srba <email address hidden>

merged in lp:~yrke/tapaal/fix1947835 fixing problem with delay/fire of transitions in the simulator

1163. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/fix-transition-name-highlighting-1952520 fixing problem with transition lables that were not highlighted (ubuntu dark mode should be checked)

1162. By Jiri Srba

updated the minimum required version of all three engines

1161. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/example-net-menus rearranging the examples in menu

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.