This is a small safety improving and maintenance release.
Changes since 2.6.1:
- improved the reliability of the pattern-based optimizer by creating a new semi-formal evaluation framework to verify an optimization pattern is safe and correct. Most optimization patterns have been verified or corrected, so, MDL should generate safer optimizations now (this is the main update for this release).
- Other updates: improved compatibility with tniasm, made binary smaller by removing some dependencies