lp:~verifydtapn-contributers/verifydtapn/cmake

.bzrignore (+8/-0)
CMakeLists.txt (+75/-0)
README (+105/-73)
example-nets/abp-hacked.xml (+70/-54)
example-nets/abp-inv-hacked.xml (+70/-54)
example-nets/abp-inv-transport-hacked.xml (+64/-48)
example-nets/abp-inv-transport.xml (+64/-48)
example-nets/abp-inv-transport2.xml (+64/-48)
example-nets/abp-inv.xml (+70/-54)
example-nets/abp-transport3.xml (+64/-48)
example-nets/abp.xml (+70/-54)
example-nets/fischer-15.xml (+83/-68)
example-nets/fischer-40.xml (+83/-68)
example-nets/fischer-5.xml (+83/-68)
example-nets/inhibitorTest1.xml (+9/-9)
example-nets/inhibitorTest2.xml (+17/-16)
example-nets/intro-example-trans-inv.xml (+28/-23)
example-nets/intro-example.xml (+29/-25)
example-nets/inv-test.xml (+8/-8)
example-nets/producer-consumer-hacked.xml (+30/-23)
example-nets/producer-consumer-no-trans-inv.xml (+29/-29)
example-nets/producer-consumer.xml (+28/-22)
example-nets/train50.xml (+44/-36)
example-nets/transport.xml (+14/-12)
example-nets/transportarc-counter-example.xml (+12/-9)
example-nets/transportarc-test1.xml (+9/-7)
example-nets/transportarc-test2.xml (+9/-7)
example-nets/vikings_2x4.xml (+100/-82)
example-workflows/FMS2-untimed-cover-example.xml (+421/-315)
example-workflows/Monotonic(falseline16).xml (+34/-29)
example-workflows/Tipleaexample-modified.xml (+166/-143)
example-workflows/Tipleaexample.xml (+166/-143)
example-workflows/deadlockGCD.xml (+79/-69)
example-workflows/delayVsdeadlock.xml (+96/-84)
example-workflows/inhib-test.xml (+105/-91)
example-workflows/monotonic(diverging-loop).xml (+62/-53)
example-workflows/monotonic(falseline20).xml (+29/-24)
example-workflows/monotonic(falseline22)-updated.xml (+76/-65)
example-workflows/monotonic(falseline22)-updated2.xml (+86/-74)
example-workflows/monotonic(falseline22).xml (+53/-45)
example-workflows/monotonic(falseline34).xml (+46/-39)
example-workflows/monotonic(falseline34-jiri).xml (+52/-44)
example-workflows/monotonic(sound-not-strongly).xml (+62/-53)
example-workflows/monotonic-example1.xml (+87/-74)
example-workflows/monotonic-example2.xml (+97/-83)
example-workflows/monotonic-example3.xml (+101/-87)
example-workflows/nonmonotonicnotkbounded-invariants.xml (+53/-45)
example-workflows/notmonotonicnotkbounded-inhibitors.xml (+58/-50)
example-workflows/notmonotonicnotkbounded-urgency.xml (+53/-45)
example-workflows/redundant-transitions.xml (+96/-84)
example-workflows/slow-strong-soundness.xml (+73/-63)
example-workflows/slow-strong-soundness2.xml (+41/-35)
example-workflows/soundandstrongly(Figure5b).xml (+51/-43)
example-workflows/soundbutnotstrongly(Figure5a).xml (+51/-43)
example-workflows/strong-soundness-urgency.xml (+73/-63)
example-workflows/syntax-inputVSoutpu.xml (+10/-8)
example-workflows/syntax-npe.xml (+16/-13)
example-workflows/syntaxcheck(emptypostsetinh).xml (+29/-24)
example-workflows/syntaxcheck(nullpointer).xml (+11/-9)
example-workflows/time-diverget-example1.xml (+87/-74)
example-workflows/time-diverget-example2.xml (+87/-74)
example-workflows/two-tokens-in-out.xml (+17/-14)
include/Core/ArgsParser.hpp (+137/-0)
include/Core/QueryParser/AST.hpp (+480/-0)
include/Core/QueryParser/NormalizationVisitor.hpp (+72/-0)
include/Core/QueryParser/TAPNQueryParser.hpp (+48/-0)
include/Core/QueryParser/Visitor.hpp (+82/-0)
include/Core/TAPN/InhibitorArc.hpp (+44/-0)
include/Core/TAPN/OutputArc.hpp (+43/-0)
include/Core/TAPN/TAPN.hpp (+15/-0)
include/Core/TAPN/TimeInterval.hpp (+92/-0)
include/Core/TAPN/TimeInvariant.hpp (+53/-0)
include/Core/TAPN/TimedArcPetriNet.hpp (+124/-0)
include/Core/TAPN/TimedInputArc.hpp (+51/-0)
include/Core/TAPN/TimedPlace.hpp (+130/-0)
include/Core/TAPN/TimedTransition.hpp (+122/-0)
include/Core/TAPN/TransportArc.hpp (+55/-0)
include/Core/TAPNParser/TAPNXmlParser.hpp (+84/-0)
include/Core/TAPNParser/util.hpp (+17/-0)
include/Core/VerificationOptions.hpp (+180/-0)
include/DiscreteVerification/DataStructures/CoveredMarkingVisitor.h (+60/-0)
include/DiscreteVerification/DataStructures/MarkingEncoder.h (+222/-0)
include/DiscreteVerification/DataStructures/MarkingStore.h (+96/-0)
include/DiscreteVerification/DataStructures/MetaData.h (+65/-0)
include/DiscreteVerification/DataStructures/NonStrictMarking.hpp (+53/-0)
include/DiscreteVerification/DataStructures/NonStrictMarkingBase.hpp (+273/-0)
include/DiscreteVerification/DataStructures/PTrieMarkingStore.h (+97/-0)
include/DiscreteVerification/DataStructures/PWList.hpp (+161/-0)
include/DiscreteVerification/DataStructures/SimpleMarkingStore.h (+151/-0)
include/DiscreteVerification/DataStructures/TimeDart.hpp (+145/-0)
include/DiscreteVerification/DataStructures/TimeDartLivenessPWList.hpp (+142/-0)
include/DiscreteVerification/DataStructures/TimeDartPWList.hpp (+129/-0)
include/DiscreteVerification/DataStructures/Waiting.h (+160/-0)
include/DiscreteVerification/DataStructures/WaitingList.hpp (+476/-0)
include/DiscreteVerification/DataStructures/WorkflowPWList.hpp (+92/-0)
include/DiscreteVerification/DataStructures/binarywrapper.h (+457/-0)
include/DiscreteVerification/DataStructures/light_deque.h (+61/-0)
include/DiscreteVerification/DataStructures/ptrie.h (+739/-0)
include/DiscreteVerification/DataStructures/visitor.h (+30/-0)
include/DiscreteVerification/DeadlockVisitor.hpp (+55/-0)
include/DiscreteVerification/DiscreteVerification.hpp (+49/-0)
include/DiscreteVerification/Generator.h (+83/-0)
include/DiscreteVerification/PlaceVisitor.hpp (+63/-0)
include/DiscreteVerification/QueryVisitor.hpp (+217/-0)
include/DiscreteVerification/ReducingGenerator.hpp (+107/-0)
include/DiscreteVerification/SearchStrategies/LivenessWeightQueryVisitor.hpp (+62/-0)
include/DiscreteVerification/SearchStrategies/NonStrictBFS.hpp (+37/-0)
include/DiscreteVerification/SearchStrategies/NonStrictDFS.hpp (+37/-0)
include/DiscreteVerification/SearchStrategies/NonStrictDFSHeuristic.hpp (+38/-0)
include/DiscreteVerification/SearchStrategies/NonStrictDFSRandom.hpp (+38/-0)
include/DiscreteVerification/SearchStrategies/NonStrictHeuristic.hpp (+39/-0)
include/DiscreteVerification/SearchStrategies/NonStrictRandom.hpp (+37/-0)
include/DiscreteVerification/SearchStrategies/SearchFactory.h (+89/-0)
include/DiscreteVerification/SearchStrategies/SearchStrategies.hpp (+14/-0)
include/DiscreteVerification/SearchStrategies/SearchStrategy.hpp (+25/-0)
include/DiscreteVerification/SearchStrategies/WeightQueryVisitor.hpp (+62/-0)
include/DiscreteVerification/SearchStrategies/WorkflowMinFirst.hpp (+39/-0)
include/DiscreteVerification/Util/IntervalOps.hpp (+50/-0)
include/DiscreteVerification/VerificationTypes/AbstractNaiveVerification.hpp (+135/-0)
include/DiscreteVerification/VerificationTypes/LivenessSearch.hpp (+74/-0)
include/DiscreteVerification/VerificationTypes/ReachabilitySearch.hpp (+166/-0)
include/DiscreteVerification/VerificationTypes/SafetySynthesis.h (+90/-0)
include/DiscreteVerification/VerificationTypes/TimeDartLiveness.hpp (+98/-0)
include/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.hpp (+92/-0)
include/DiscreteVerification/VerificationTypes/TimeDartVerification.hpp (+58/-0)
include/DiscreteVerification/VerificationTypes/Verification.hpp (+469/-0)
include/DiscreteVerification/VerificationTypes/Workflow.hpp (+59/-0)
include/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp (+107/-0)
include/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp (+80/-0)
src/CMakeLists.txt (+5/-0)
src/Core/ArgsParser.cpp (+479/-492)
src/Core/CMakeLists.txt (+8/-0)
src/Core/QueryParser/AST.cpp (+106/-135)
src/Core/QueryParser/CMakeLists.txt (+14/-0)
src/Core/QueryParser/NormalizationVisitor.cpp (+107/-116)
src/Core/QueryParser/TAPNQueryParser.cpp (+29/-32)
src/Core/QueryParser/flex.ll (+3/-2)
src/Core/QueryParser/grammar.yy (+4/-3)
src/Core/QueryParser/lexer_def.h (+18/-0)
src/Core/TAPN/CMakeLists.txt (+7/-0)
src/Core/TAPN/InhibitorArc.cpp (+7/-10)
src/Core/TAPN/OutputArc.cpp (+16/-21)
src/Core/TAPN/TimeInterval.cpp (+55/-58)
src/Core/TAPN/TimeInvariant.cpp (+32/-36)
src/Core/TAPN/TimedArcPetriNet.cpp (+365/-407)
src/Core/TAPN/TimedInputArc.cpp (+8/-11)
src/Core/TAPN/TimedPlace.cpp (+27/-30)
src/Core/TAPN/TimedTransition.cpp (+75/-82)
src/Core/TAPN/TransportArc.cpp (+9/-13)
src/Core/TAPNParser/CMakeLists.txt (+4/-0)
src/Core/TAPNParser/TAPNXmlParser.cpp (+291/-294)
src/Core/TAPNParser/util.cpp (+11/-13)
src/Core/VerificationOptions.cpp (+17/-12)
src/DiscreteVerification/CMakeLists.txt (+14/-0)
src/DiscreteVerification/DataStructures/CMakeLists.txt (+4/-0)
src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.cpp (+62/-91)
src/DiscreteVerification/DataStructures/NonStrictMarkingBase.cpp (+461/-459)
src/DiscreteVerification/DataStructures/PWList.cpp (+114/-117)
src/DiscreteVerification/DataStructures/TimeDartLivenessPWList.cpp (+130/-129)
src/DiscreteVerification/DataStructures/TimeDartPWList.cpp (+99/-94)
src/DiscreteVerification/DataStructures/WaitingList.cpp (+7/-10)
src/DiscreteVerification/DataStructures/WorkflowPWList.cpp (+253/-273)
src/DiscreteVerification/DeadlockVisitor.cpp (+66/-68)
src/DiscreteVerification/DiscreteVerification.cpp (+316/-316)
src/DiscreteVerification/Generator.cpp (+397/-459)
src/DiscreteVerification/PlaceVisitor.cpp (+48/-57)
src/DiscreteVerification/ReducingGenerator.cpp (+479/-534)
src/DiscreteVerification/SearchStrategies/CMakeLists.txt (+3/-0)
src/DiscreteVerification/SearchStrategies/LivenessWeightQueryVisitor.cpp (+111/-117)
src/DiscreteVerification/SearchStrategies/WeightQueryVisitor.cpp (+107/-117)
src/DiscreteVerification/Util/CMakeLists.txt (+2/-0)
src/DiscreteVerification/Util/IntervalOps.cpp (+82/-89)
src/DiscreteVerification/VerificationTypes/CMakeLists.txt (+4/-0)
src/DiscreteVerification/VerificationTypes/LivenessSearch.cpp (+134/-132)
src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp (+341/-284)
src/DiscreteVerification/VerificationTypes/TimeDartLiveness.cpp (+168/-169)
src/DiscreteVerification/VerificationTypes/TimeDartReachabilitySearch.cpp (+109/-112)
src/DiscreteVerification/VerificationTypes/TimeDartVerification.cpp (+314/-306)
src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp (+365/-359)
src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp (+273/-276)
src/main.cpp (+107/-106)
toolchain-x86_64-w64-mingw32.cmake (+17/-0)