← Back to branch summary

~peter-gjoel/verifytapn/verifytapn

~peter-gjoel/verifytapn/verifytapn

Viewing all changes in revision 145.

Committer: Jiri Srba
Date: 2011-12-01 08:14:14 UTC
mfrom: (144.1.3 query-normalization)
Revision ID: srba@cs.aau.dk-20111201081414-2j3r0xqre011mdbn

Merged query-normalization branch

files added:
src/Core/QueryParser/BadPlaceVisitor.cpp

src/Core/QueryParser/BadPlaceVisitor.hpp

src/Core/QueryParser/NormalizationVisitor.cpp

src/Core/QueryParser/NormalizationVisitor.hpp

files modified:
src/Core/ArgsParser.hpp

src/Core/QueryParser/ExpressionSatisfiedVisitor.cpp

src/Core/QueryParser/ToStringVisitor.cpp

src/Core/QueryParser/ToStringVisitor.hpp

src/Core/SymbolicMarking/DiscreteInclusionMarkingFactory.hpp

src/Core/TAPN/TimedArcPetriNet.hpp

src/Core/VerificationOptions.cpp

src/Core/VerificationOptions.hpp

src/main.cpp

Show diffs side-by-side

added added

removed removed

src/Core/ArgsParser.hpp

src/Core/QueryParser/BadPlaceVisitor.cpp

src/Core/QueryParser/BadPlaceVisitor.hpp

src/Core/QueryParser/ExpressionSatisfiedVisitor.cpp

src/Core/QueryParser/NormalizationVisitor.cpp

src/Core/QueryParser/NormalizationVisitor.hpp

src/Core/QueryParser/ToStringVisitor.cpp

src/Core/QueryParser/ToStringVisitor.hpp

src/Core/SymbolicMarking/DiscreteInclusionMarkingFactory.hpp

src/Core/TAPN/TimedArcPetriNet.hpp

src/Core/VerificationOptions.cpp

src/Core/VerificationOptions.hpp

Older »