| commit | 8a5a5333c816399e5e32f6f41a70d697625ef2ad | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 4 Aug 2016 09:08:51 +0000 (4 11:08 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 2 Sep 2018 14:19:04 +0000 (2 16:19 +0200) | ||
| tree | 9632815a7cac3a1aaee451be4608c3393f8083e7 | treesnapshot (tar.gz zip) |
| parent | 380650d54aae1de1b29dadcb0308ba5d9a562a63 | commitdiff |
isl_transitive_closure.c: increment: clean up space manipulation
The input space is a parameter space, so it needs to be treated as such.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
The input space is a parameter space, so it needs to be treated as such.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_transitive_closure.c | diffblobblamehistory |