MIRAI v1.0.2 Release Notes

Release 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).