lp:~cpn-gui/tapaal/unitTest

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1046. By Mark Glavind on 2019-05-16

Constants are now handled correclty when verifying with verifydtapn. Fixed an issue with tokens in shared places

1045. By Niels Christensen on 2019-05-16

Fixed a bug such that adding token button and making a place shared is correct

1044. By Mark Glavind on 2019-05-15

Constants were removed after unfolding the net in TAPAAL

1043. By Mark Glavind on 2019-05-15

Added missing file from an old commit. Fixed issue where time invariants for places could only be set to <= and not <

1042. By Mark Glavind on 2019-05-15

Fixed an issue where input and output expression on transport arcs did not load. Fixed an issue with parsing inscription for transport arcs in TAPN

1041. By Mark Glavind on 2019-05-14

changes

1040. By Mark Glavind on 2019-05-13

Added unfold tool to the tool menu, changing the net from TACPN to TAPN

1039. By Mark Glavind on 2019-05-10

 WIP on adding an unfolding button under tools menu

1038. By Mark Glavind on 2019-05-10

Merge from unfoldExport, we can now unfold an verify TACPN through the verification menu in TAPAAL

1037. By Mark Glavind on 2019-05-08

merge from BP-TACPN, added a new tag to transportArcs in order to add the correct pairs together after unfolding