| commit | 4344c519f4131a13216532bd0bb227fa974a7104 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 26 Feb 2023 12:00:01 +0000 (26 13:00 +0100) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 23 Apr 2023 18:12:54 +0000 (23 20:12 +0200) | ||
| tree | ca8f74c640533978a3a790871542c04e26ab3056 | treesnapshot (tar.gz zip) |
| parent | 73b4aae32526e77a0f91bf6006b7388ec22f9568 | commitdiff |
isl_bound.c: unwrap: rename "poly" parameter to "qp"
The next commit calls this function on a quasi-polynomial
that may not be a polynomial. The function itself does not depend
on the argument being a polynomial. It is only the callback
that may require a polynomial, as is the case for
unwrapped_guarded_poly_bound.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
The next commit calls this function on a quasi-polynomial
that may not be a polynomial. The function itself does not depend
on the argument being a polynomial. It is only the callback
that may require a polynomial, as is the case for
unwrapped_guarded_poly_bound.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_bound.c | diffblobblamehistory |