MIRAI v1.0.1 Release Notes
Release Date: 2019-08-16 // over 4 years ago-
🛠 Fixes a bug with name mangling when macros are involved.
More standard library contracts.
⚡️ Updates dependencies.
🛠 Ignores predecessor blocks that are known not to reach a block after round 1 of the fixed point loop.
🛠 Fixes diagnostic formatting that resulted in "possible possible ..." messages.