TAPAAL

lp:~tapaal-contributor/tapaal/add-hyperltl-gui

Created by Kristian Morsing Pedersen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/add-hyperltl-gui
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:
Development

Recent revisions

1678. By Kristian Morsing Pedersen <email address hidden>

Added support for place/place comparisons and arithmetics when manually parsing queries using HyperLTL

1677. By Kristian Morsing Pedersen <email address hidden>

Now checks for duplicate traces when manually parsing queries using either E or A quantification

1676. By Kristian Morsing Pedersen <email address hidden>

New traces from manually parsed queries are now added to the trace list

1675. By Kristian Morsing Pedersen <email address hidden>

A and E quantifieres no longer changes traces when a new trace is selected in the drop-down menu

1674. By Kristian Morsing Pedersen <email address hidden>

Fixed missing tracebox drop-down in simulator

1673. By Kristian Morsing Pedersen <email address hidden>

Traces in query now updates when the selected trace changes in the drop-down menu

1672. By Kristian Morsing Pedersen <email address hidden>

Fixed small issue in code regarding updating places

1671. By Kristian Morsing Pedersen <email address hidden>

Query now updates when changing places automatically

1670. By Kristian Morsing Pedersen <email address hidden>

Fixed trace-prefix not being added when changing places in the drop-down menu

1669. By Kristian Morsing Pedersen <email address hidden>

Fixed MISSING_OPERATOR error when using '=='. All parsers now silently convert '==' to '='

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.