lp:~tapaal-contributor/tapaal/cpn-gui-dev

Created by Peter Haahr Taankvist on 2020-08-10 and last modified on 2020-12-04
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/cpn-gui-dev
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

1248. By Thomas Pedersen <email address hidden> 19 hours ago

Set verification up for colored timed petri nets

1247. By Peter Haahr Taankvist on 2020-11-27

fix some sizing in transition panel

1246. By Peter Haahr Taankvist on 2020-11-27

Disable ok button if there are placeholders

1245. By Peter Haahr Taankvist on 2020-11-27

Fixed PNML saving/parsing for new token expression

1244. By Peter Haahr Taankvist on 2020-11-22

Variables and colors are now in the same combobox

1243. By Peter Haahr Taankvist on 2020-11-22

Formatting of .all in comboboxes

1242. By Peter Haahr Taankvist on 2020-11-22

Fix some issues with producttypes and tokenExpressions

1241. By Peter Haahr Taankvist on 2020-11-20

Fix nullpointer exceptions in arc dialog

1240. By Peter Haahr Taankvist on 2020-11-20

Remove unused files and fix bug where arc expressions are removed on place edit

1239. By Peter Taankvist <email address hidden> on 2020-11-20

Can now have all expressions in places. All places now carry an ArcExpression that can be translated to tokens

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.