| commit | 21a2c3b1f86625cbf23b2e2f85c5210ad75338ae | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 15 Aug 2021 13:27:27 +0000 (15 15:27 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 15 Aug 2021 13:27:27 +0000 (15 15:27 +0200) | ||
| tree | caca1d95fcc54e5b2b8feed58235520847263a93 | treesnapshot (tar.gz zip) |
| parent | e1e87bc228a339c387b643d011576d4f81faf87e | commitdiff |
barvinok_bound: fix --iterate option
In particular, adjust the code to the changed isl_pw_qpolynomial space.
This was missing from barvinok-0.34-25-g235972b7ef (update isl
for change in space of isl_pw_* objects, Sun Sep 4 15:04:00 2011 +0200).
Add a test case for this option to ensure it does not get broken again.
Note that --iterate only works for inputs without parameters.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
In particular, adjust the code to the changed isl_pw_qpolynomial space.
This was missing from barvinok-0.34-25-g235972b7ef (update isl
for change in space of isl_pw_* objects, Sun Sep 4 15:04:00 2011 +0200).
Add a test case for this option to ensure it does not get broken again.
Note that --iterate only works for inputs without parameters.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| Makefile.am | diffblobblamehistory | |
| bound.c | diffblobblamehistory |