MIRAI v1.0.2 Release NotesRelease Date: 2019-08-27 // almost 3 years ago
Standard library summaries for cmp::max.
👉 Use joins for conditional expressions with conditions that are TOP.
🛠 Fix bug in refinement of conditional expressions.
Apply binary operation distribution recursively during expression simplification.
🛠 Discard join condition when joining backward branches (keeps path conditions simpler during fixed point loops).