Viewing all changes in revision 249.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-03-16 10:02:49 UTC
- Revision ID: nikolaj@njulrik.dk-20210316100249-jdm2rhej0ipwj1rt
comment about naive PQL -> spot translation
- files modified:
- include/LTL/LTLToBuchi.h
expand all
collapse all
added
removed
