TAPAAL

lp:~cpn-gui/tapaal/colorTimeConstraint

Created by Niels Christensen on 2019-02-19 and last modified on 2020-03-18

Get this branch:: bzr branch lp:~cpn-gui/tapaal/colorTimeConstraint

Members of cpn-gui can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: cpn-gui

Project:: TAPAAL

Status:: Merged

Recent revisions

1031. By Mark Glavind on 2019-03-12: resolved merge conflict in Color
1030. By Mark Glavind on 2019-03-12: WIP on new table for time constraints
1029. By Mark Glavind on 2019-03-12: finished edit for time intervals.
1028. By Mark Glavind on 2019-03-11: Time invariants for colors in edit place panel finished
1027. By Mark Glavind on 2019-03-08: edit colored time invariants panel finished, missing bug when opening place a second time after adding time invariants
1026. By Mark Glavind on 2019-03-07: WIP - equals for colors not done, continue tomorrow
1025. By Mark Glavind on 2019-03-07: finished shell for time constraint GUI, missing functionality
1024. By Mark Glavind on 2019-03-06: added colorCombobox to its own panel, so the code can be reused several places
1023. By Mark Glavind on 2019-03-06: created popup window for editing time invariant. added classes to hold the new shared panel for editing invariants and intervals. changed some filepaths for better structure
1022. By Mark Glavind on 2019-03-01: WIP, added panel for editing colored time invariants on places. Missing save of new data

»

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.

Subscribers