← Back to branch summary

~tapaal-contributor/tapaal/add-tar-option

~tapaal-contributor/tapaal/add-tar-option

Viewing all changes in revision 1115.

Committer: lsaid
Date: 2021-02-06 17:11:07 UTC
Revision ID: lena.said@hotmail.com-20210206171107-qni65yrehhljtin2

Added -tar to query when it is marked in dialog

files modified:
src/dk/aau/cs/verification/VerifyTAPN/VerifyPNOptions.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/gui/RunVerificationBase.java

src/pipe/gui/Verifier.java

src/pipe/gui/widgets/QueryDialog.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/verification/VerifyTAPN/VerifyPNOptions.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/gui/RunVerificationBase.java

src/pipe/gui/Verifier.java

src/pipe/gui/widgets/QueryDialog.java

Older »