TAPAAL

lp:~yrke/tapaal/fix1976496

Created by Kenneth Yrke Jørgensen on 2022-06-01 and last modified on 2022-06-01

Only Kenneth Yrke Jørgensen can upload to this branch. If you are Kenneth Yrke Jørgensen please log in for upload directions.

No branches dependent on this one.

Ready for review for merging into lp:tapaal

TAPAAL Reviewers: Pending requested 2022-06-01

Undecided

Fix Committed

1170. By Kenneth Yrke Jørgensen on 2022-06-01: Fix bug #1976496, dont show duscrete time warning for untimed games (or timed models that are untimed)
1169. By Jiri Srba on 2022-05-24: 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> on 2022-02-10: merged in lp:~tapaal-contributor/tapaal/fixTAPNdi fixing a problem with passing inclusion places to verifytapn
1167. By Jiri Srba on 2021-12-27: merged in lp:~tapaal-contributor/tapaal/fixApprox-trunk fixing problem with over/under-approximation for verifydtapn
1166. By Jiri Srba <email address hidden> on 2021-12-21: more cleanup
1165. By Jiri Srba <email address hidden> on 2021-12-21: cleanup in tools and added the most recent scripts for creating distributions
1164. By Jiri Srba <email address hidden> on 2021-12-07: merged in lp:~yrke/tapaal/fix1947835 fixing problem with delay/fire of transitions in the simulator
1163. By Jiri Srba on 2021-12-06: 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 on 2021-11-23: updated the minimum required version of all three engines
1161. By Jiri Srba on 2021-11-20: merged in lp:~tapaal-contributor/tapaal/example-net-menus rearranging the examples in menu

This branch contains Public information

Everyone can see this information.