lp:~tapaal-contributor/tapaal/add-discrete-to-untimed

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1110

Jiri Srba: Approve on 2020-10-30

Kenneth Yrke Jørgensen: Approve on 2020-10-30

Lena Ernstsen (community): Needs Resubmitting on 2020-09-26

Diff: 222 lines (+39/-23)

3 files modified

src/dk/aau/cs/gui/TabContent.java (+4/-0)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java (+15/-5)
src/pipe/gui/widgets/QueryDialog.java (+20/-18)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1107. By lsaid <email address hidden> on 2020-09-27

Added token to the ghost place

1106. By lsaid <email address hidden> on 2020-09-26

Added comment

1105. By lsaid <email address hidden> on 2020-09-26

Adds an extra place when verifying game/untimed net

1104. By lsaid <email address hidden> on 2020-09-18

clean up

1103. By lsaid <email address hidden> on 2020-09-18

Fixed query issue

1102. By lsaid <email address hidden> on 2020-09-17

Fixed logic

1101. By Lena Ernstsen on 2020-09-14

discrete engine works only on untimed nets that are game

1100. By Lena Ernstsen on 2020-09-13

Added the discrete engine to untimed nets

1099. By Jiri Srba on 2020-09-12

upgraded icon to 3.7

1098. By <email address hidden> on 2020-09-11

updated minimum version of verifypn to 3.1.0