← Back to branch summary

~tapaal-ltl/verifypn/ltl-stubborn-set

~tapaal-ltl/verifypn/ltl-stubborn-set

Viewing all changes in revision 280.

Committer: Nikolaj Jensen Ulrik
Date: 2021-04-09 07:26:07 UTC
Revision ID: nikolaj@njulrik.dk-20210409072607-20n12vkwur1tl8vp

Reinstate missing code, making stubborn sets correct

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

include/LTL/SuccessorGeneration/SpoolingSuccessorGenerator.h

src/LTL/Algorithm/TarjanModelChecker.cpp

src/LTL/LTLMain.cpp

src/LTL/Stubborn/VisibleLTLStubbornSet.cpp

Show diffs side-by-side

added added

removed removed

include/LTL/Algorithm/TarjanModelChecker.h

include/LTL/SuccessorGeneration/SpoolingSuccessorGenerator.h

src/LTL/Algorithm/TarjanModelChecker.cpp

src/LTL/LTLMain.cpp

src/LTL/Stubborn/VisibleLTLStubbornSet.cpp

Older »