← Back to branch summary

~tapaal-ltl/verifypn/scc-optimise

~tapaal-ltl/verifypn/scc-optimise

Viewing all changes in revision 238.

Committer: Nikolaj Jensen Ulrik
Date: 2020-12-11 09:12:16 UTC
mfrom: (236.1.5 integration)
Revision ID: nikolaj@njulrik.dk-20201211091216-dbea6e62m2ktkian

Merge integration@241

files added:
include/LTL/Algorithm

include/LTL/Algorithm/ModelChecker.h

include/LTL/Algorithm/NestedDepthFirstSearch.h

include/LTL/Algorithm/ProductPrinter.h

include/LTL/Algorithm/TarjanModelChecker.h

src/LTL/Algorithm

src/LTL/Algorithm/CMakeLists.txt

src/LTL/Algorithm/LTLToBuchi.cpp

src/LTL/Algorithm/ModelChecker.cpp

src/LTL/Algorithm/NestedDepthFirstSearch.cpp

src/LTL/Algorithm/ProductPrinter.cpp

src/LTL/Algorithm/ProductSuccessorGenerator.cpp

src/LTL/Algorithm/TarjanModelChecker.cpp

files removed:
include/LTL/LTL_algorithm

include/LTL/LTL_algorithm/ModelChecker.h

include/LTL/LTL_algorithm/NestedDepthFirstSearch.h

include/LTL/LTL_algorithm/ProductPrinter.h

include/LTL/LTL_algorithm/TarjanModelChecker.h

src/LTL/LTL_algorithm

src/LTL/LTL_algorithm/CMakeLists.txt

src/LTL/LTL_algorithm/LTLToBuchi.cpp

src/LTL/LTL_algorithm/ModelChecker.cpp

src/LTL/LTL_algorithm/NestedDepthFirstSearch.cpp

src/LTL/LTL_algorithm/ProductPrinter.cpp

src/LTL/LTL_algorithm/ProductSuccessorGenerator.cpp

src/LTL/LTL_algorithm/TarjanModelChecker.cpp

files modified:
include/LTL/LTL.h

include/LTL/LTLValidator.h

include/PetriEngine/PQL/Expressions.h

include/PetriEngine/Reachability/ReachabilityResult.h

include/PetriEngine/options.h

src/CMakeLists.txt

src/LTL/CMakeLists.txt

src/LTL/Simplification/SpotToPQL.cpp

src/LTL/_LTL.cpp

src/LTLMain.cpp

src/PetriEngine/PQL/Expressions.cpp

src/PetriEngine/PetriNetBuilder.cpp

src/VerifyPN.cpp

Show diffs side-by-side

added added

removed removed

include/LTL/Algorithm/

include/LTL/Algorithm/ModelChecker.h

include/LTL/Algorithm/NestedDepthFirstSearch.h

include/LTL/Algorithm/ProductPrinter.h

include/LTL/Algorithm/TarjanModelChecker.h

include/LTL/LTL.h

include/LTL/LTLValidator.h

include/LTL/LTL_algorithm/

include/LTL/LTL_algorithm/ModelChecker.h

include/LTL/LTL_algorithm/NestedDepthFirstSearch.h

include/LTL/LTL_algorithm/ProductPrinter.h

include/LTL/LTL_algorithm/TarjanModelChecker.h

include/PetriEngine/PQL/Expressions.h

include/PetriEngine/Reachability/ReachabilityResult.h

include/PetriEngine/options.h

src/CMakeLists.txt

src/LTL/Algorithm/

src/LTL/Algorithm/CMakeLists.txt

src/LTL/Algorithm/LTLToBuchi.cpp

src/LTL/Algorithm/ModelChecker.cpp

src/LTL/Algorithm/NestedDepthFirstSearch.cpp

src/LTL/Algorithm/ProductPrinter.cpp

src/LTL/Algorithm/ProductSuccessorGenerator.cpp

src/LTL/Algorithm/TarjanModelChecker.cpp

src/LTL/CMakeLists.txt

src/LTL/LTL_algorithm/

src/LTL/LTL_algorithm/CMakeLists.txt

src/LTL/LTL_algorithm/LTLToBuchi.cpp

src/LTL/LTL_algorithm/ModelChecker.cpp

src/LTL/LTL_algorithm/NestedDepthFirstSearch.cpp

src/LTL/LTL_algorithm/ProductPrinter.cpp

src/LTL/LTL_algorithm/ProductSuccessorGenerator.cpp

src/LTL/LTL_algorithm/TarjanModelChecker.cpp

src/LTL/Simplification/SpotToPQL.cpp

src/LTL/_LTL.cpp

src/LTLMain.cpp

src/PetriEngine/PQL/Expressions.cpp

src/PetriEngine/PetriNetBuilder.cpp

src/VerifyPN.cpp

Older »