lp:~tapaal-contributor/tapaal/foxTAPNdi-39

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal/3.9

TAPAAL Maintainers: Pending requested 2022-02-10

Diff: 12 lines (+1/-1)

1 file modified

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java (+1/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1168. By Kenneth Yrke Jørgensen on 2022-02-10

Fix for TAPN discrete inclution not being passed down to engine

1167. By <email address hidden> on 2022-02-01

version number to 3.9.2 and copyright to 2022

1166. By Jiri Srba on 2021-12-27

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

1165. By Jiri Srba <email address hidden> on 2021-12-07

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

1164. By Jiri Srba on 2021-12-06

merged in lp:~tapaal-contributor/tapaal/fix-transition-name-highlighting-1952520 fixing problem with label highligting for transitions (dark mode on ubuntu should be checked)

1163. By Jiri Srba on 2021-11-22

increase version number to 3.9.1 and min required version of verifypn to 4.2.1, verifydtapn to 3.5.0 and verifytapn to 1.3.1

1162. By Jiri Srba on 2021-11-20

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

1161. By Jiri Srba on 2021-11-20

merged in lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 fixing the icons for uncontrolable/urgent transitions

1160. By Jiri Srba on 2021-11-20

merged in lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689 disableling toggle urgent transition (U) in simulation mode

1159. By Jiri Srba on 2021-11-20

merged in lp:~tapaal-contributor/tapaal/fix-urgent-missing-check-1951292 fixing a missing check on [0,inf) interval when pressing U (toggle urgent transitions)