← Back to branch summary

~verifypn-cpn/verifypn/col_weight_fix

~verifypn-cpn/verifypn/col_weight_fix

Viewing all changes in revision 205.

Committer: Andreas Klostergaard
Date: 2018-05-20 15:52:19 UTC
mfrom: (204.2.1 verifypn)
Revision ID: aklost11@student.aau.dk-20180520155219-nvbpn57l598u6rnv

merge

files modified:
PetriEngine/AbstractPetriNetBuilder.h

PetriEngine/PQL/Expressions.cpp

PetriEngine/PetriNet.cpp

PetriEngine/PetriNetBuilder.cpp

PetriEngine/Reachability/ReachabilitySearch.cpp

PetriEngine/Reachability/TARReachability.cpp

PetriEngine/Reducer.cpp

PetriEngine/SuccessorGenerator.cpp

PetriEngine/TAR/Renamer.h

PetriParse/PNMLParser.cpp

PetriParse/QueryBinaryParser.cpp

PetriParse/QueryXMLParser.cpp

VerifyPN.cpp

Show diffs side-by-side

added added

removed removed

PetriEngine/AbstractPetriNetBuilder.h

PetriEngine/PQL/Expressions.cpp

PetriEngine/PetriNet.cpp

PetriEngine/PetriNetBuilder.cpp

PetriEngine/Reachability/ReachabilitySearch.cpp

PetriEngine/Reachability/TARReachability.cpp

PetriEngine/Reducer.cpp

PetriEngine/SuccessorGenerator.cpp

PetriEngine/TAR/Renamer.h

PetriParse/PNMLParser.cpp

PetriParse/QueryBinaryParser.cpp

PetriParse/QueryXMLParser.cpp

Older »