v1.0.2
版本发布时间: 2019-08-27 11:27:52
facebookexperimental/MIRAI最新发布版本:v1.1.9(2024-08-14 02:48:57)
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).