lp:~verifypn-cpn/verifypn/cpn_ctlss
Created by
Peter Gjøl Jensen
and last modified
- Get this branch:
- bzr branch lp:~verifypn-cpn/verifypn/cpn_ctlss
Members of
verifypn-cpn
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 37030 lines (+30381/-3032)78 files modified.bzrignore (+4/-0)
CMakeLists.txt (+44/-0)
CTL/Algorithm/CertainZeroFPA.cpp (+1/-0)
CTL/Algorithm/CertainZeroFPA.h (+2/-9)
CTL/Algorithm/FixedPointAlgorithm.cpp (+33/-0)
CTL/Algorithm/FixedPointAlgorithm.h (+3/-2)
CTL/Algorithm/LocalFPA.h (+1/-8)
CTL/CTLEngine.cpp (+13/-11)
CTL/CTLEngine.h (+2/-1)
CTL/PetriNets/OnTheFlyDG.cpp (+2/-6)
CTL/SearchStrategy/BFSSearch.h (+36/-0)
CTL/SearchStrategy/DFSSearch.cpp (+0/-139)
CTL/SearchStrategy/DFSSearch.h (+11/-21)
CTL/SearchStrategy/HeuristicSearch.cpp (+31/-0)
CTL/SearchStrategy/HeuristicSearch.h (+32/-0)
CTL/SearchStrategy/RDFSSearch.cpp (+40/-0)
CTL/SearchStrategy/RDFSSearch.h (+34/-0)
CTL/SearchStrategy/SearchStrategy.cpp (+139/-0)
CTL/SearchStrategy/SearchStrategy.h (+55/-0)
CTL/SearchStrategy/iSearchStrategy.h (+0/-47)
PetriEngine/AbstractPetriNetBuilder.h (+55/-0)
PetriEngine/Colored/ColoredNetStructures.h (+49/-0)
PetriEngine/Colored/ColoredPetriNetBuilder.cpp (+343/-0)
PetriEngine/Colored/ColoredPetriNetBuilder.h (+179/-0)
PetriEngine/Colored/Colors.cpp (+146/-0)
PetriEngine/Colored/Colors.h (+190/-0)
PetriEngine/Colored/Expressions.h (+551/-0)
PetriEngine/Colored/Multiset.cpp (+194/-0)
PetriEngine/Colored/Multiset.h (+83/-0)
PetriEngine/NetStructures.h (+5/-0)
PetriEngine/PQL/Contexts.h (+43/-0)
PetriEngine/PQL/Expressions.cpp (+822/-213)
PetriEngine/PQL/Expressions.h (+411/-113)
PetriEngine/PQL/PQL.cpp (+10/-2)
PetriEngine/PQL/PQL.h (+26/-35)
PetriEngine/PQL/PQLQueryTokens.l (+0/-1)
PetriEngine/PQL/PQLQueryTokens.lexer.cpp (+56/-72)
PetriEngine/PetriNet.cpp (+82/-0)
PetriEngine/PetriNet.h (+6/-1)
PetriEngine/PetriNetBuilder.cpp (+69/-4)
PetriEngine/PetriNetBuilder.h (+4/-23)
PetriEngine/Reachability/ReachabilityResult.h (+4/-2)
PetriEngine/Reachability/ReachabilitySearch.cpp (+0/-1)
PetriEngine/Reachability/ResultPrinter.cpp (+77/-34)
PetriEngine/Reachability/TARReachability.cpp (+1099/-0)
PetriEngine/Reachability/TARReachability.h (+99/-0)
PetriEngine/Reducer.cpp (+448/-102)
PetriEngine/Reducer.h (+21/-27)
PetriEngine/ReducingSuccessorGenerator.cpp (+94/-41)
PetriEngine/ReducingSuccessorGenerator.h (+19/-4)
PetriEngine/Structures/AlignedEncoder.cpp (+4/-11)
PetriEngine/SuccessorGenerator.cpp (+4/-0)
PetriEngine/TAR/AntiChain.h (+95/-0)
PetriEngine/TAR/Renamer.h (+151/-0)
PetriEngine/TAR/TARAutomata.h (+325/-0)
PetriEngine/options.h (+15/-2)
PetriParse/PNMLParser.cpp (+318/-14)
PetriParse/PNMLParser.cpp.old (+324/-0)
PetriParse/PNMLParser.h (+21/-0)
PetriParse/PNMLParser.h.old (+88/-0)
PetriParse/QueryBinaryParser.cpp (+283/-0)
PetriParse/QueryBinaryParser.h (+46/-0)
PetriParse/QueryParser.h (+21/-0)
PetriParse/QueryXMLParser.cpp (+170/-42)
PetriParse/QueryXMLParser.h (+3/-15)
Scripts/Comparison/compare.sh (+25/-0)
Scripts/Comparison/compare_csv.awk (+55/-0)
Scripts/Comparison/mcc17.csv (+20392/-0)
VerifyPN.cpp (+444/-135)
lpsolve/lp_Hash.h (+24/-22)
lpsolve/lp_SOS.h (+64/-62)
lpsolve/lp_lib.h (+1392/-1378)
lpsolve/lp_matrix.h (+136/-131)
lpsolve/lp_mipbb.h (+44/-42)
lpsolve/lp_types.h (+165/-163)
lpsolve/lp_utils.h (+96/-93)
makefile.linux64 (+1/-1)
rules.mk (+7/-2)
Branch information
Recent revisions
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:verifypn