v0.13.0
Changelog:
- Fix a precedence issue with boolean equations where "A == B or C" was incorrectly parsed as "(A == B) or C" and not "A == (B or C)".
- Upgrade to Python 3.10, fixing issues caused by the changes to True and False in Python 3.8's internal representation of these constants.
- Update dependencies to latest versions.
- Add further unit tests to the logic checker behaviour to test new functionality and fixed issues.
- Add 8000+ test-cases generated from real-world use of the checker, as a more robust check of consistent behaviour than the existing unit tests.