| commit | 8a9897bacb0e5242acf67da45694455616c0c276 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 11 Jul 2016 13:10:58 +0000 (11 15:10 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 2 Sep 2018 14:42:11 +0000 (2 16:42 +0200) | ||
| tree | 163c61279f594c746fd72266e84c32bfe7a3df13 | treesnapshot (tar.gz zip) |
| parent | b047d65a8e39528cec6435c969c1e649c56748bb | commitdiff |
add_{upper.lower}_div_constraint: only pass in position of integer division
The integer division itself is always available in the basic map argument,
so there is no need to pass it in separately.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
The integer division itself is always available in the basic map argument,
so there is no need to pass it in separately.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_map.c | diffblobblamehistory |