This repository has been archived by the owner on Aug 22, 2024. It is now read-only.
v1.0.2 for LIBRA
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).