~tapaal-developers/tapaal/trunk

From Revision 1173 to 1154

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
1173		merged in lp:~tapaal-contributor/tapaal/update-ltl-support f... merged in lp:~tapaal-contributor/tapaal/update-ltl-support fixing bug #1983371	srba.jiri at gmail	1 year ago
1172		merged in lp:~tapaal-contributor/tapaal/save-file-browser-lo... merged in lp:~tapaal-contributor/tapaal/save-file-browser-location fixing the remembering of the last location for opening a file	srba.jiri at gmail	1 year ago
1171		merged in a fix for editing LTL queries (in manual edit of E... merged in a fix for editing LTL queries (in manual edit of E .. and .. and .. it was not possible to remove the last conjuct and reseting of LTL queries didn't work either	Jiri Srba	1 year ago
1170		merged in lp:~yrke/tapaal/fix1976494 fixing a problem with c... merged in lp:~yrke/tapaal/fix1976494 fixing a problem with copying components that contain environmental transitions	Jiri Srba	1 year ago
1169		merged in lp:~tapaal-contributor/tapaal/conjunction-button-f... merged in lp:~tapaal-contributor/tapaal/conjunction-button-fix fixing a problem with and/or buttons in query dialog	Jiri Srba	1 year ago
1168		merged in lp:~tapaal-contributor/tapaal/fixTAPNdi fixing a p... merged in lp:~tapaal-contributor/tapaal/fixTAPNdi fixing a problem with passing inclusion places to verifytapn	Jiri Srba	2 years ago
1167		merged in lp:~tapaal-contributor/tapaal/fixApprox-trunk fixi... merged in lp:~tapaal-contributor/tapaal/fixApprox-trunk fixing problem with over/under-approximation for verifydtapn	Jiri Srba	2 years ago
1166		more cleanup more cleanup	Jiri Srba	2 years ago
1165		cleanup in tools and added the most recent scripts for creat... cleanup in tools and added the most recent scripts for creating distributions	Jiri Srba	2 years ago
1164		merged in lp:~yrke/tapaal/fix1947835 fixing problem with de... merged in  lp:~yrke/tapaal/fix1947835 fixing problem with delay/fire of transitions in the simulator	Jiri Srba	2 years ago
1163		merged in lp:~tapaal-contributor/tapaal/fix-transition-name- 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)	Jiri Srba	2 years ago
1162		updated the minimum required version of all three engines updated the minimum required version of all three engines	Jiri Srba	2 years ago
1161		merged in lp:~tapaal-contributor/tapaal/example-net-menus re... merged in lp:~tapaal-contributor/tapaal/example-net-menus rearranging the examples in menu	Jiri Srba	2 years ago
1160		merged in lp:~tapaal-contributor/tapaal/draw-urgent-transiti... merged in lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 allowing to draw urgent/environmental transitions via icons	Jiri Srba	2 years ago
1159		merged in lp:~tapaal-contributor/tapaal/fix-toggle-urgent- merged in lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689 disabeling "toggle urgent transition (U)" in simulation mode	Jiri Srba	2 years ago
1158		merged in lp:~tapaal-contributor/tapaal/fix-urgent-missing- merged in lp:~tapaal-contributor/tapaal/fix-urgent-missing-check-1951292 fixing a problem with [0,inf) checking when pressing U (toggle urgent transition)	Jiri Srba	2 years ago
1157		merged in lp:~tapaal-contributor/tapaal/show-query-on-mouse- merged in lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037 showing query string on mouseover	Jiri Srba	2 years ago
1156		merged in lp:~tapaal-contributor/tapaal/merge-components-cha... merged in lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689 fixing problem with lens when merging components	Jiri Srba	2 years ago
1155		merged in lp:~yrke/tapaal/fix1947517-2 fixing the problem wi... merged in lp:~yrke/tapaal/fix1947517-2 fixing the problem with editing arc points	Jiri Srba	2 years ago
1154		merged in lp:~tapaal-contributor/tapaal/fix-tikz-export-1945... merged in lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642 fixing tikz export	Jiri Srba	2 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1