1.2 19-12-2025: Version 2.0 of FLCHECK
- Added the until and since operators from PTL and introduced an expanded library of derived
operators.
- Left (past) and right (future) can be mixed, this requires a new semantics for FL.
- Added infinite intervals.
- Updated user interface.