lp:~tapaal-contributor/tapaal/ltl-parse-no-quantifiers
Created by
Lena Ernstsen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/ltl-parse-no-quantifiers
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- TAPAAL Reviewers: Pending requested
-
Diff: 43 lines (+3/-11)2 files modifiedsrc/dk/aau/cs/TCTL/LTLParsing/TAPAALLTLQueryParser.jj (+2/-2)
src/pipe/gui/widgets/QueryDialog.java (+1/-9)
Branch information
Recent revisions
- 1169. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/conjunction-button-fix fixing a problem with and/or buttons in query dialog
- 1168. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/fixTAPNdi fixing a problem with passing inclusion places to verifytapn
- 1167. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/fixApprox-trunk fixing problem with over/under-
approximation for verifydtapn - 1165. By Jiri Srba <email address hidden>
-
cleanup in tools and added the most recent scripts for creating distributions
- 1164. By Jiri Srba <email address hidden>
-
merged in lp:~yrke/tapaal/fix1947835 fixing problem with delay/fire of transitions in the simulator
- 1163. By Jiri Srba
-
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)
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal