← Back to branch summary

~yrke/tapaal/remove-staticIgnoreSelect

~yrke/tapaal/remove-staticIgnoreSelect

Viewing all changes in revision 979.

Committer: Kenneth Yrke Jørgensen
Date: 2019-03-13 07:27:29 UTC
mfrom: (977.1.12 tapaal)
Revision ID: kenneth@yrke.dk-20190313072729-17one7dduaidtmsj

Merged trunk

files added:
src/dk/aau/cs/gui/undo/MakePlaceNewSharedMultiCommand.java

src/dk/aau/cs/gui/undo/MakeTransitionNewSharedMultiCommand.java

files modified:
.bzrignore

gradle/wrapper/gradle-wrapper.properties

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

src/dk/aau/cs/gui/BatchProcessingDialog.java

src/dk/aau/cs/gui/DeleteSharedPlaceOrTransition.java

src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java

src/dk/aau/cs/gui/TabTransformer.java

src/dk/aau/cs/gui/TemplateExplorer.java

src/dk/aau/cs/gui/components/StatisticsPanel.java

src/dk/aau/cs/gui/undo/MakePlaceNewSharedCommand.java

src/dk/aau/cs/gui/undo/MakeTransitionNewSharedCommand.java

src/dk/aau/cs/io/ModelLoader.java

src/dk/aau/cs/io/PNMLoader.java

src/dk/aau/cs/io/TapnLegacyXmlLoader.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/model/tapn/TimedArcPetriNet.java

src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java

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

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

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

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

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

src/pipe/dataLayer/DataLayer.java

src/pipe/gui/CreateGui.java

src/pipe/gui/DrawingSurfaceImpl.java

src/pipe/gui/ExportBatchDialog.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/SelectionManager.java

src/pipe/gui/graphicElements/AnnotationNote.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/ArcPath.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/NameLabel.java

src/pipe/gui/graphicElements/Note.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/Place.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

src/pipe/gui/graphicElements/Transition.java

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java

src/pipe/gui/handler/AnnotationNoteHandler.java

src/pipe/gui/handler/ArcHandler.java

src/pipe/gui/handler/ArcPathPointHandler.java

src/pipe/gui/handler/NoteHandler.java

src/pipe/gui/handler/PetriNetObjectHandler.java

src/pipe/gui/handler/PlaceHandler.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/handler/TAPNTransitionHandler.java

src/pipe/gui/handler/TimedArcHandler.java

src/pipe/gui/handler/TransitionHandler.java

src/pipe/gui/handler/TransportArcHandler.java

src/pipe/gui/undo/DeletePetriNetObjectEdit.java

src/pipe/gui/widgets/ConstantsPane.java

src/pipe/gui/widgets/PlaceEditorPanel.java

src/pipe/gui/widgets/QueryPane.java

src/pipe/gui/widgets/TAPNTransitionEditor.java

src/pipe/gui/widgets/WorkflowDialog.java

Show diffs side-by-side

added added

removed removed

gradle/wrapper/gradle-wrapper.properties

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

src/dk/aau/cs/gui/BatchProcessingDialog.java

src/dk/aau/cs/gui/DeleteSharedPlaceOrTransition.java

src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java

src/dk/aau/cs/gui/TabTransformer.java

src/dk/aau/cs/gui/TemplateExplorer.java

src/dk/aau/cs/gui/components/StatisticsPanel.java

src/dk/aau/cs/gui/undo/MakePlaceNewSharedCommand.java

src/dk/aau/cs/gui/undo/MakePlaceNewSharedMultiCommand.java

src/dk/aau/cs/gui/undo/MakeTransitionNewSharedCommand.java

src/dk/aau/cs/gui/undo/MakeTransitionNewSharedMultiCommand.java

src/dk/aau/cs/io/ModelLoader.java

src/dk/aau/cs/io/PNMLoader.java

src/dk/aau/cs/io/TapnLegacyXmlLoader.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/model/tapn/TimedArcPetriNet.java

src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java

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

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

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

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

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

src/pipe/dataLayer/DataLayer.java

src/pipe/gui/CreateGui.java

src/pipe/gui/DrawingSurfaceImpl.java

src/pipe/gui/ExportBatchDialog.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/SelectionManager.java

src/pipe/gui/graphicElements/AnnotationNote.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/ArcPath.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/NameLabel.java

src/pipe/gui/graphicElements/Note.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/Place.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

src/pipe/gui/graphicElements/Transition.java

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java

src/pipe/gui/handler/AnnotationNoteHandler.java

src/pipe/gui/handler/ArcHandler.java

src/pipe/gui/handler/ArcPathPointHandler.java

src/pipe/gui/handler/NoteHandler.java

src/pipe/gui/handler/PetriNetObjectHandler.java

src/pipe/gui/handler/PlaceHandler.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/handler/TAPNTransitionHandler.java

src/pipe/gui/handler/TimedArcHandler.java

src/pipe/gui/handler/TransitionHandler.java

src/pipe/gui/handler/TransportArcHandler.java

src/pipe/gui/undo/DeletePetriNetObjectEdit.java

src/pipe/gui/widgets/ConstantsPane.java

src/pipe/gui/widgets/PlaceEditorPanel.java

src/pipe/gui/widgets/QueryPane.java

src/pipe/gui/widgets/TAPNTransitionEditor.java

src/pipe/gui/widgets/WorkflowDialog.java

Older »