MIRAI v1.0.2 Release Notes
Release Date: 2019-08-27 // over 4 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).