| commit | b266ab3f65c881822ecb3b9a2e3a43775e360e8c | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 13 Sep 2011 08:39:55 +0000 (13 10:39 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 13 Sep 2011 10:53:30 +0000 (13 12:53 +0200) | ||
| tree | 880605f8232bfb5e2cec48e2e5b16c80254063fa | treesnapshot (tar.gz zip) |
| parent | 1d0235f9c37fa19a5b8be35f90dccda5de8cd206 | commitdiff |
isl_{in,}equality_alloc: take isl_local_space intead of isl_space
This makes it easier to construct constraints involving existentially
quantified variables.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This makes it easier to construct constraints involving existentially
quantified variables.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| doc/user.pod | diffblobblamehistory | |
| include/isl/constraint.h | diffblobblamehistory | |
| isl_constraint.c | diffblobblamehistory | |
| isl_schedule.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |