Viewing all changes in revision 271.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-03-30 08:48:19 UTC
- Revision ID: nikolaj@njulrik.dk-20210330084819-hoozllde1m3pdn7k
Draft of Buchi/Reachability stubborn set
- files added:
- include/LTL/SpotToPQL.h
- src/LTL/Structures
- files removed:
- include/LTL/Algorithm/AutomataStubbornTarjan.h
- include/LTL/Simplification
- src/LTL/Simplification
- files modified:
- include/LTL/Algorithm/ModelChecker.h
expand all
collapse all
added
removed
