| commit | 6e9dc762ac48b4baf2eb3e27c9fec4f3b99367ea | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 20 Aug 2017 17:21:42 +0000 (20 19:21 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Wed, 27 Sep 2017 07:23:34 +0000 (27 09:23 +0200) | ||
| tree | 1bb4a60d557c7a848b34b4fd4a2fd9e72a6957eb | treesnapshot (tar.gz zip) |
| parent | b20dcefcd958588ed32f34a9a3a12b382717cf69 | commitdiff |
isl_tab_pip.c: rename isl_trivial to isl_local_region
The isl_trivial name is misleading as the data structure does
not contain any trivialities themselves. Rather, it contains
local information associated to a violated region that is used
during the backtracking procedure.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
The isl_trivial name is misleading as the data structure does
not contain any trivialities themselves. Rather, it contains
local information associated to a violated region that is used
during the backtracking procedure.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_tab_pip.c | diffblobblamehistory |