~tapaal-contributor/tapaal/save-file-browser-location-3.9 : changes

~tapaal-contributor/tapaal/save-file-browser-location-3.9 » Changes from revision 1173

From Revision 1173 to 1154

Rev	Summary	Authors	Date
1173	Loads file browser location when starting the application Loads file browser location when starting the application	lsaid	1 year ago
1172	merged in a fix for resting LTL queries merged in a fix for resting LTL queries	Jiri Srba	2 years ago
1171	merged in a bug fix for LTL manual edit of queries ( E .. a... merged in a bug fix for LTL manual edit of queries ( E .. and .. and ...) did not allow manual edit and removing the last conjunct	Jiri Srba	2 years 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	2 years ago
1169	merged in src/pipe/gui/widgets/QueryDialog.java fixing probl... merged in src/pipe/gui/widgets/QueryDialog.java fixing problem with and and or in query dialog	Jiri Srba	2 years ago
1168	merged in lp:~tapaal-contributor/tapaal/foxTAPNdi-39 fixing ... merged in lp:~tapaal-contributor/tapaal/foxTAPNdi-39 fixing problem with passing inclusion places to verifytapn engine	Jiri Srba	2 years ago
1167	version number to 3.9.2 and copyright to 2022 version number to 3.9.2 and copyright to 2022	srba.jiri at gmail	2 years ago
1166	merged in lp:~tapaal-contributor/tapaal/fixApprox-39 fixing merged in lp:~tapaal-contributor/tapaal/fixApprox-39 fixing over/under-approximation for verifydtapn	Jiri Srba	2 years ago
1165	merged in lp:~yrke/tapaal/fix1947835 fixing problem with de... merged in lp:~yrke/tapaal/fix1947835 fixing problem with delay/fire in simulator	Jiri Srba	2 years ago
1164	merged in lp:~tapaal-contributor/tapaal/fix-transition-name- 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)	Jiri Srba	2 years ago
1163	increase version number to 3.9.1 and min required version of... 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	Jiri Srba	2 years ago
1162	merged in lp:~tapaal-contributor/tapaal/example-net-menus re... merged in lp:~tapaal-contributor/tapaal/example-net-menus rearranging the example nets	Jiri Srba	2 years ago
1161	merged in lp:~tapaal-contributor/tapaal/draw-urgent-transiti... merged in lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 fixing the icons for uncontrolable/urgent transitions	Jiri Srba	2 years ago
1160	merged in lp:~tapaal-contributor/tapaal/fix-toggle-urgent- merged in lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689 disableling toggle urgent transition (U) in simulation mode	Jiri Srba	2 years ago
1159	merged in lp:~tapaal-contributor/tapaal/fix-urgent-missing- 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)	Jiri Srba	2 years ago
1158	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
1157	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 net components	Jiri Srba	2 years ago
1156	merged in lp:~yrke/tapaal/fix1947517-2 fixing the missing po... merged in lp:~yrke/tapaal/fix1947517-2 fixing the missing possibility to edit arc points	Jiri Srba	2 years ago
1155	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
1154	increased version number to 3.9.0 increased version number to 3.9.0	srba.jiri at gmail	2 years ago

Older »