← Back to branch summary

~verifydtapn-contributers/verifydtapn/safety-games-boostrap

~verifydtapn-contributers/verifydtapn/safety-games-boostrap

Viewing all changes in revision 150.

Committer: Jakob Taankvist
Date: 2012-03-02 10:59:16 UTC
Revision ID: jakob_taankvist@hotmail.com-20120302105916-o1n8znwtm493ckee

Now it compiles

files modified:
.bzrignore *

README *

boost-software-license.txt *

example-nets/abp-hacked-satisfied.q *

example-nets/abp-hacked.xml *

example-nets/abp-inv-hacked-satisfied.q *

example-nets/abp-inv-hacked.xml *

example-nets/abp-inv-not-satisfied.q *

example-nets/abp-inv-transport-hacked-satisfied.q *

example-nets/abp-inv-transport-hacked.xml *

example-nets/abp-inv-transport-not-satisfied.q *

example-nets/abp-inv-transport.xml *

example-nets/abp-inv-transport2-not-satisfied.q *

example-nets/abp-inv-transport2.xml *

example-nets/abp-inv.xml *

example-nets/abp-not-satisfied.q *

example-nets/abp-transport3-not-satisfied.q *

example-nets/abp-transport3.xml *

example-nets/abp.xml *

example-nets/ag-true.q *

example-nets/fischer-15-not-satisfied.q *

example-nets/fischer-15.xml *

example-nets/fischer-40.q *

example-nets/fischer-40.xml *

example-nets/fischer-5-not-satisfied.q *

example-nets/fischer-5.xml *

example-nets/inhibitorTest1.q *

example-nets/inhibitorTest1.xml *

example-nets/inhibitorTest2.q *

example-nets/inhibitorTest2.xml *

example-nets/intro-example-satisfied.q *

example-nets/intro-example-trans-inv.q *

example-nets/intro-example-trans-inv.xml *

example-nets/intro-example.xml *

example-nets/inv-test.q *

example-nets/inv-test.xml *

example-nets/producer-consumer-hacked-not-satisfied.q *

example-nets/producer-consumer-hacked.xml *

example-nets/producer-consumer-no-trans-inv-satisfied.q *

example-nets/producer-consumer-no-trans-inv.xml *

example-nets/producer-consumer-not-satisfied.q *

example-nets/producer-consumer.xml *

example-nets/train50.q *

example-nets/train50.xml *

example-nets/transport-satisfied.q *

example-nets/transport.xml *

example-nets/transportarc-counter-example-not-satisfied.q *

example-nets/transportarc-counter-example.xml *

example-nets/transportarc-test1-reachable.q *

example-nets/transportarc-test1.q *

example-nets/transportarc-test1.xml *

example-nets/transportarc-test2.q *

example-nets/transportarc-test2.xml *

example-nets/vikings_2x4.q *

example-nets/vikings_2x4.xml *

lib/rapidxml-1.13/license.txt *

lib/rapidxml-1.13/manual.html *

lib/rapidxml-1.13/rapidxml.hpp *

lib/rapidxml-1.13/rapidxml_iterators.hpp *

lib/rapidxml-1.13/rapidxml_print.hpp *

lib/rapidxml-1.13/rapidxml_utils.hpp *

src/Core/ArgsParser.cpp *

src/Core/ArgsParser.hpp *

src/Core/IndirectionTable.cpp *

src/Core/IndirectionTable.hpp *

src/Core/QueryParser/AST.cpp *

src/Core/QueryParser/AST.hpp *

src/Core/QueryParser/BadPlaceVisitor.cpp *

src/Core/QueryParser/BadPlaceVisitor.hpp *

src/Core/QueryParser/ExpressionSatisfiedVisitor.cpp *

src/Core/QueryParser/ExpressionSatisfiedVisitor.hpp *

src/Core/QueryParser/Generated/lexer.cpp *

src/Core/QueryParser/Generated/location.hh *

src/Core/QueryParser/Generated/parser.cpp *

src/Core/QueryParser/Generated/parser.hpp *

src/Core/QueryParser/Generated/position.hh *

src/Core/QueryParser/Generated/stack.hh *

src/Core/QueryParser/NormalizationVisitor.cpp *

src/Core/QueryParser/NormalizationVisitor.hpp *

src/Core/QueryParser/TAPNQueryParser.cpp *

src/Core/QueryParser/TAPNQueryParser.hpp *

src/Core/QueryParser/ToStringVisitor.cpp *

src/Core/QueryParser/ToStringVisitor.hpp *

src/Core/QueryParser/UpwardClosedVisitor.cpp *

src/Core/QueryParser/UpwardClosedVisitor.hpp *

src/Core/QueryParser/Visitor.hpp *

src/Core/QueryParser/flex.ll *

src/Core/QueryParser/grammar.yy *

src/Core/SymbolicMarking/AbstractMarking.cpp *

src/Core/SymbolicMarking/AbstractMarking.hpp *

src/Core/SymbolicMarking/DBMMarking.cpp *

src/Core/SymbolicMarking/DBMMarking.hpp *

src/Core/SymbolicMarking/DiscreteInclusionMarkingFactory.hpp *

src/Core/SymbolicMarking/DiscreteMarking.hpp *

src/Core/SymbolicMarking/DiscretePart.cpp *

src/Core/SymbolicMarking/DiscretePart.hpp *

src/Core/SymbolicMarking/DiscretePartInclusionMarking.cpp *

src/Core/SymbolicMarking/DiscretePartInclusionMarking.hpp *

src/Core/SymbolicMarking/MarkingFactory.hpp *

src/Core/SymbolicMarking/StoredMarking.cpp *

src/Core/SymbolicMarking/StoredMarking.hpp *

src/Core/SymbolicMarking/SymbolicMarking.hpp *

src/Core/SymbolicMarking/TokenMapping.hpp *

src/Core/SymbolicMarking/UppaalDBMMarkingFactory.cpp *

src/Core/SymbolicMarking/UppaalDBMMarkingFactory.hpp *

src/Core/TAPN/InhibitorArc.cpp *

src/Core/TAPN/InhibitorArc.hpp *

src/Core/TAPN/OutputArc.cpp *

src/Core/TAPN/OutputArc.hpp *

src/Core/TAPN/Pairing.cpp *

src/Core/TAPN/Pairing.hpp *

src/Core/TAPN/TAPN.hpp *

src/Core/TAPN/TimeInterval.cpp *

src/Core/TAPN/TimeInterval.hpp *

src/Core/TAPN/TimeInvariant.cpp *

src/Core/TAPN/TimeInvariant.hpp *

src/Core/TAPN/TimedArcPetriNet.cpp *

src/Core/TAPN/TimedArcPetriNet.hpp *

src/Core/TAPN/TimedInputArc.cpp *

src/Core/TAPN/TimedInputArc.hpp *

src/Core/TAPN/TimedPlace.cpp *

src/Core/TAPN/TimedPlace.hpp *

src/Core/TAPN/TimedTransition.cpp *

src/Core/TAPN/TimedTransition.hpp *

src/Core/TAPN/TransportArc.cpp *

src/Core/TAPN/TransportArc.hpp *

src/Core/TAPNParser/TAPNXmlParser.cpp *

src/Core/TAPNParser/TAPNXmlParser.hpp *

src/Core/TAPNParser/util.cpp *

src/Core/TAPNParser/util.hpp *

src/Core/VerificationOptions.cpp *

src/Core/VerificationOptions.hpp *

src/DiscreteVerification/DiscreteVerification.cpp *

src/DiscreteVerification/DiscreteVerification.hpp *

src/DiscreteVerification/NonStrictMarking.cpp *

src/DiscreteVerification/NonStrictMarking.hpp *

src/DiscreteVerification/PWList.cpp *

src/DiscreteVerification/PWList.hpp *

src/DiscreteVerification/WaitingList.cpp *

src/DiscreteVerification/WaitingList.hpp *

src/HashFunctions/MurmurHash2Neutral.hpp *

src/ReachabilityChecker/PassedWaitingList/Node.hpp *

src/ReachabilityChecker/PassedWaitingList/PWList.cpp *

src/ReachabilityChecker/PassedWaitingList/PWList.hpp *

src/ReachabilityChecker/PassedWaitingList/PassedWaitingList.hpp *

src/ReachabilityChecker/PassedWaitingList/PriorityQueueWaitingList.hpp *

src/ReachabilityChecker/PassedWaitingList/WaitingList.cpp *

src/ReachabilityChecker/PassedWaitingList/WaitingList.hpp *

src/ReachabilityChecker/QueryChecker/QueryChecker.cpp *

src/ReachabilityChecker/QueryChecker/QueryChecker.hpp *

src/ReachabilityChecker/Search/BFS.hpp *

src/ReachabilityChecker/Search/CoverMostSearch.hpp *

src/ReachabilityChecker/Search/DFS.hpp *

src/ReachabilityChecker/Search/RandomSearch.hpp *

src/ReachabilityChecker/Search/SearchStrategy.cpp *

src/ReachabilityChecker/Search/SearchStrategy.hpp *

src/ReachabilityChecker/Successor.hpp *

src/ReachabilityChecker/SuccessorGenerator.cpp *

src/ReachabilityChecker/SuccessorGenerator.hpp *

src/ReachabilityChecker/Trace/ConcreteMarking.cpp *

src/ReachabilityChecker/Trace/ConcreteMarking.hpp *

src/ReachabilityChecker/Trace/EntrySolver.cpp *

src/ReachabilityChecker/Trace/EntrySolver.hpp *

src/ReachabilityChecker/Trace/TraceInfo.hpp *

src/ReachabilityChecker/Trace/TraceStore.cpp *

src/ReachabilityChecker/Trace/TraceStore.hpp *

src/ReachabilityChecker/Trace/trace_exception.hpp *

src/main.cpp *

src/typedefs.hpp *

Show diffs side-by-side

added added

removed removed

src/DiscreteVerification/PWList.cpp

src/DiscreteVerification/PWList.hpp

src/DiscreteVerification/WaitingList.cpp

src/DiscreteVerification/WaitingList.hpp

Older »