v0.9.2
Pre-release
Pre-release
Bugfix release:
- Fix a compilation issue with fmt 9.x (mostly affecting Homebrew users)
- Fix a bug in the
--remove-pastoption when used with finite-traces semantics
Bugfix release:
--remove-past option when used with finite-traces semantics