← Back to branch summary

~cpn-gui/tapaal/dynamicPathsReal

~cpn-gui/tapaal/dynamicPathsReal

Viewing all changes in revision 1079.

Committer: Mark Glavind
Date: 2019-06-14 20:08:02 UTC
Revision ID: mglavi14@student.aau.dk-20190614200802-ct9c4cxgm038b1az

Typechecking analysis is now done before verification

files modified:
src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java

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

src/pipe/gui/widgets/QueryPane.java

src/pipe/gui/widgets/TypeCheckingPanel.java

Show diffs side-by-side

added added

removed removed

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

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

src/pipe/gui/widgets/QueryPane.java

src/pipe/gui/widgets/TypeCheckingPanel.java

Older »