projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d0235f) | patch
isl_{in,}equality_alloc: take isl_local_space intead of isl_space
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 13 Sep 2011 08:39:55 +0000 (10:39 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 13 Sep 2011 10:53:30 +0000 (12:53 +0200)
commitb266ab3f65c881822ecb3b9a2e3a43775e360e8c
tree880605f8232bfb5e2cec48e2e5b16c80254063fatree | snapshot
parent1d0235f9c37fa19a5b8be35f90dccda5de8cd206commit | diff
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>
doc/user.pod diff | blob | history
include/isl/constraint.h diff | blob | history
isl_constraint.c diff | blob | history
isl_schedule.c diff | blob | history
isl_test.c diff | blob | history
Domain: System / Uncategorized;