← Back to branch summary

~tapaal-ltl/verifypn/loopInvariantReduction

~tapaal-ltl/verifypn/loopInvariantReduction

Viewing all changes in revision 255.

Committer: Simon Virenfeldt
Date: 2021-02-15 14:07:35 UTC
Revision ID: simwir1@gmail.com-20210215140735-qzy97lpbh9v7mx8y

Implemented is dirty. Corectness testing begun

files modified:
include/LTL/Algorithm/ModelChecker.h

include/PetriEngine/Reducer.h

src/LTL/Algorithm/NestedDepthFirstSearch.cpp

src/LTL/Algorithm/TarjanModelChecker.cpp

src/LTL/LTLMain.cpp

src/VerifyPN.cpp

Show diffs side-by-side

added added

removed removed

include/LTL/Algorithm/ModelChecker.h

include/PetriEngine/Reducer.h

src/LTL/Algorithm/NestedDepthFirstSearch.cpp

src/LTL/Algorithm/TarjanModelChecker.cpp

src/LTL/LTLMain.cpp

src/VerifyPN.cpp

Older »