All releases tagged solver
Release Notes: The iteration numbers in the "-s -i" display are now consecutive. Refactoring of the ptr_state_with_locations_t struct into a separate ptr_state_t (key) and a ptr_state_extra_info_t (value).
