← Back to branch summary

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

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

Viewing all changes in revision 1116.

Committer: lsaid
Date: 2021-02-07 11:09:51 UTC
mfrom: (1112.2.5 tapaal)
Revision ID: lena.said@hotmail.com-20210207110951-1op59nhofdb6q5z1

Merged lp:tapaal

files modified:
gradlew *

src/dk/aau/cs/TCTL/AritmeticOperator.java

src/dk/aau/cs/TCTL/TCTLAFNode.java

src/dk/aau/cs/TCTL/TCTLAGNode.java

src/dk/aau/cs/TCTL/TCTLAUNode.java

src/dk/aau/cs/TCTL/TCTLAXNode.java

src/dk/aau/cs/TCTL/TCTLAbstractProperty.java

src/dk/aau/cs/TCTL/TCTLAndListNode.java

src/dk/aau/cs/TCTL/TCTLAtomicPropositionNode.java

src/dk/aau/cs/TCTL/TCTLConstNode.java

src/dk/aau/cs/TCTL/TCTLDeadlockNode.java

src/dk/aau/cs/TCTL/TCTLEFNode.java

src/dk/aau/cs/TCTL/TCTLEGNode.java

src/dk/aau/cs/TCTL/TCTLEUNode.java

src/dk/aau/cs/TCTL/TCTLEXNode.java

src/dk/aau/cs/TCTL/TCTLFalseNode.java

src/dk/aau/cs/TCTL/TCTLNotNode.java

src/dk/aau/cs/TCTL/TCTLOrListNode.java

src/dk/aau/cs/TCTL/TCTLPathPlaceHolder.java

src/dk/aau/cs/TCTL/TCTLPathToStateConverter.java

src/dk/aau/cs/TCTL/TCTLPlaceNode.java

src/dk/aau/cs/TCTL/TCTLPlusListNode.java

src/dk/aau/cs/TCTL/TCTLStatePlaceHolder.java

src/dk/aau/cs/TCTL/TCTLStateToPathConverter.java

src/dk/aau/cs/TCTL/TCTLTermListNode.java

src/dk/aau/cs/TCTL/TCTLTransitionNode.java

src/dk/aau/cs/TCTL/TCTLTrueNode.java

src/dk/aau/cs/approximation/ApproximationWorker.java

src/dk/aau/cs/verification/ModelChecker.java

src/dk/aau/cs/verification/UPPAAL/Verifyta.java

src/dk/aau/cs/verification/VerificationResult.java

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

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

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

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

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

src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java

src/net/tapaal/TAPAAL.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/gui/Export.java

src/pipe/gui/ExportBatchDialog.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/KBoundAnalyzer.java

src/pipe/gui/RunVerification.java

src/pipe/gui/RunVerificationBase.java

src/pipe/gui/Verifier.java

src/pipe/gui/widgets/QueryDialog.java

src/pipe/gui/widgets/QueryPane.java

src/pipe/gui/widgets/WorkflowDialog.java

src/pipe/gui/widgets/filebrowser/NativeFileBrowser.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/TCTL/AritmeticOperator.java

src/dk/aau/cs/TCTL/TCTLAFNode.java

src/dk/aau/cs/TCTL/TCTLAGNode.java

src/dk/aau/cs/TCTL/TCTLAUNode.java

src/dk/aau/cs/TCTL/TCTLAXNode.java

src/dk/aau/cs/TCTL/TCTLAbstractProperty.java

src/dk/aau/cs/TCTL/TCTLAndListNode.java

src/dk/aau/cs/TCTL/TCTLAtomicPropositionNode.java

src/dk/aau/cs/TCTL/TCTLConstNode.java

src/dk/aau/cs/TCTL/TCTLDeadlockNode.java

src/dk/aau/cs/TCTL/TCTLEFNode.java

src/dk/aau/cs/TCTL/TCTLEGNode.java

src/dk/aau/cs/TCTL/TCTLEUNode.java

src/dk/aau/cs/TCTL/TCTLEXNode.java

src/dk/aau/cs/TCTL/TCTLFalseNode.java

src/dk/aau/cs/TCTL/TCTLNotNode.java

src/dk/aau/cs/TCTL/TCTLOrListNode.java

src/dk/aau/cs/TCTL/TCTLPathPlaceHolder.java

src/dk/aau/cs/TCTL/TCTLPathToStateConverter.java

src/dk/aau/cs/TCTL/TCTLPlaceNode.java

src/dk/aau/cs/TCTL/TCTLPlusListNode.java

src/dk/aau/cs/TCTL/TCTLStatePlaceHolder.java

src/dk/aau/cs/TCTL/TCTLStateToPathConverter.java

src/dk/aau/cs/TCTL/TCTLTermListNode.java

src/dk/aau/cs/TCTL/TCTLTransitionNode.java

src/dk/aau/cs/TCTL/TCTLTrueNode.java

src/dk/aau/cs/approximation/ApproximationWorker.java

src/dk/aau/cs/verification/ModelChecker.java

src/dk/aau/cs/verification/UPPAAL/Verifyta.java

src/dk/aau/cs/verification/VerificationResult.java

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

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

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

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

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

src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java

src/net/tapaal/TAPAAL.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/gui/Export.java

src/pipe/gui/ExportBatchDialog.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/KBoundAnalyzer.java

src/pipe/gui/RunVerification.java

src/pipe/gui/RunVerificationBase.java

src/pipe/gui/Verifier.java

src/pipe/gui/widgets/QueryDialog.java

src/pipe/gui/widgets/QueryPane.java

src/pipe/gui/widgets/WorkflowDialog.java

src/pipe/gui/widgets/filebrowser/NativeFileBrowser.java

Older »