← Back to branch summary

~tapaal-dist-ctl/verifypn/Master_printer_merge

~tapaal-dist-ctl/verifypn/Master_printer_merge

Viewing all changes in revision 263.

Committer: Samuel Pastva
Date: 2016-05-13 12:56:53 UTC
mfrom: (253.1.8 framework)
Revision ID: daemontus@gmail.com-20160513125653-ftbks3o3x0kcumq1

merge + comm reset

files modified:
CTL/Algorithm/CertainZeroFPA.cpp

CTL/Algorithm/DistCZeroFPA.cpp

CTL/Communicator/Communicator.h

CTL/Communicator/MPICommunicator.cpp

CTL/Communicator/MPICommunicator.h

CTL/Communicator/Token.h

CTL/PetriNets/OnTheFlyDG.cpp

VerifyPN.cpp

verifypnCTL.cpp

verifypnCTL.h

Show diffs side-by-side

added added

removed removed

CTL/Algorithm/CertainZeroFPA.cpp

CTL/Algorithm/DistCZeroFPA.cpp

CTL/Communicator/Communicator.h

CTL/Communicator/MPICommunicator.cpp

CTL/Communicator/MPICommunicator.h

CTL/Communicator/Token.h

CTL/PetriNets/OnTheFlyDG.cpp

verifypnCTL.cpp

Older »