lp:~tapaal-contributor/tapaal/foxTAPNdi-39
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/foxTAPNdi-39
Branch merges
- TAPAAL Maintainers: Pending requested
-
Diff: 12 lines (+1/-1)1 file modifiedsrc/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java (+1/-1)
Branch information
Recent revisions
- 1166. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/fixApprox-39 fixing over/under-
approximation for verifydtapn - 1165. By Jiri Srba <email address hidden>
-
merged in lp:~yrke/tapaal/fix1947835 fixing problem with delay/fire in simulator
- 1164. By Jiri Srba
-
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
-
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
-
merged in lp:~tapaal-contributor/tapaal/example-net-menus rearranging the example nets
- 1161. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 fixing the icons for uncontrolable/
urgent transitions - 1160. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689 disableling toggle urgent transition (U) in simulation mode
- 1159. By Jiri Srba
-
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)
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal