~tapaal-contributor/tapaal/query-parsing-bug-1921580 : changes

~tapaal-contributor/tapaal/query-parsing-bug-1921580 » Changes from revision 1122

From Revision 1122 to 1103

Rev	Summary	Authors	Date
1122	Fixed not being able to parse a correctly edited query Fixed not being able to parse a correctly edited query	lsaid	3 years ago
1121	Merged branch lp:~yrke/tapaal/github-actions Merged branch lp:~yrke/tapaal/github-actions	Kenneth Yrke Jørgens...	3 years ago
1120	merged in lp:~tapaal-contributor/tapaal/save-tar-option that... merged in lp:~tapaal-contributor/tapaal/save-tar-option that allows to save -tar option to .tapn file	Jiri Srba	3 years ago
1119	merged in lp:~tapaal-contributor/tapaal/add-tar-option addin... merged in lp:~tapaal-contributor/tapaal/add-tar-option adding the -tar option for the verifypn engine	Jiri Srba	3 years ago
1118	merged in lp:~tapaal-contributor/tapaal/raw-query-window- merged in lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 fixing the scaling of raw-output result	Jiri Srba	3 years ago
1117	merged in lp:~tapaal-contributor/tapaal/show-reduced-net-187... merged in lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 adding the possiblity to show the reduced net - relies on the new trunk version of verifypn	Jiri Srba	3 years ago
1116	merged in lp:~tapaal-contributor/tapaal/raw-query-output add... merged in lp:~tapaal-contributor/tapaal/raw-query-output adding the possibility to display raw output from engines	Jiri Srba	3 years ago
1115	fixed a tooltip for batch export menu item fixed a tooltip for batch export menu item	Jiri Srba	3 years ago
1114	merged in lp:~tapaal-contributor/tapaal/add-export-options a... merged in lp:~tapaal-contributor/tapaal/add-export-options adding the option of batch export to all engines	Jiri Srba	3 years ago
1113	merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-trans... merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query fixing a problem of transition-enabledness predicate in query dialog	Jiri Srba	3 years ago
1112	updated minimum versions of verifydtapn to 3.4.1 and verifyp... updated minimum versions of verifydtapn to 3.4.1 and verifypn to 3.1.1	Jiri Srba	3 years ago
1111	merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 r... merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 removing debugging lines	Jiri Srba	3 years ago
1110	merged in lp:~tapaal-contributor/tapaal/add-discrete-to-unti... merged in lp:~tapaal-contributor/tapaal/add-discrete-to-untimed allowing to call the discrete time game engine from untimed lens mode	Jiri Srba	3 years ago
1109	merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 f... merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 fixing a problem with stuck GUI when opening a net with wrong queries	Jiri Srba	3 years ago
1108	merged in lp:~tapaal-contributor/tapaal/ubuntu-dark-theme- merged in lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539 fixing some issues for dark mode on ubuntu	Jiri Srba	3 years ago
1107	merged in lp:~yrke/tapaal/arcpathpoint-issues fixing behavio... merged in lp:~yrke/tapaal/arcpathpoint-issues fixing behaviour when dragging and selecting anchor points on arcs	Jiri Srba	3 years ago
1106	merged in lp:~tapaal-contributor/tapaal/intervals-on-outgoin... merged in lp:~tapaal-contributor/tapaal/intervals-on-outgoing-arcs-1896451 fixing problem with time intervals being shown when editing output arcs	Jiri Srba	3 years ago
1105	merged in lp:~tapaal-contributor/tapaal/verifytapn-not-offer... merged in lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454 that shows verifytapn in the query dialog again for nets with strict intervals	srba.jiri at gmail	3 years ago
1104	merged in lp:~tapaal-contributor/tapaal/Typos-1896460 fixing... merged in lp:~tapaal-contributor/tapaal/Typos-1896460 fixing some text typos	srba.jiri at gmail	3 years ago
1103	merged in lp:~tapaal-contributor/tapaal/disable-workflow- merged in lp:~tapaal-contributor/tapaal/disable-workflow-analysis-1896319 that disables workflow analysis for games	srba.jiri at gmail	3 years ago

Older »