← Back to branch summary

~yrke/tapaal/more-testing-and-refactorings

~yrke/tapaal/more-testing-and-refactorings

Viewing all changes in revision 1156.

Committer: Kenneth Yrke Joergensen
Date: 2020-08-30 09:31:59 UTC
mfrom: (1153.1.8 more-testing-and-refactorings)
Revision ID: kenneth@yrke.dk-20200830093159-qprweln7b2bcdgre

Merged with branch

files modified:
src/dk/aau/cs/approximation/OverApproximation.java

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

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

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

src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.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/TimedPlace.java

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

Show diffs side-by-side

added added

removed removed

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

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

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

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

src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.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/TimedPlace.java

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

Older »