TAPAAL

lp:~tapaal-contributor/tapaal/fixTAPNdi

Created by Kenneth Yrke Jørgensen on 2022-02-10 and last modified on 2022-02-10

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

No branches dependent on this one.

Merged into lp:tapaal at revision 1168

Jiri Srba: Approve on 2022-02-10

1168. By Kenneth Yrke Jørgensen on 2022-02-10: Fixed issue where discrete inclution places list was not passed down
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
1160. By Jiri Srba on 2021-11-20: merged in lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 allowing to draw urgent/environmental transitions via icons
1159. By Jiri Srba on 2021-11-20: merged in lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689 disabeling "toggle urgent transition (U)" in simulation mode

This branch contains Public information

Everyone can see this information.