Viewing all changes in revision 250.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-02-05 10:08:59 UTC
- Revision ID: nikolaj@njulrik.dk-20210205100859-w0szsx8deby0n844
High -> Medium optimizations in Spot for less overkill
- files modified:
- src/LTL/Algorithm/LTLToBuchi.cpp
expand all
collapse all
added
removed
