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

Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/fixApprox-39
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

1166. By Kenneth Yrke Jørgensen

Backported fix for NPE when using overapprox

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)

1158. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037 showing query string on mouseover

1157. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689 fixing problem with lens when merging net components

Branch metadata

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