projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5be958a) | patch
isl_basic_map_eliminate_vars: ensure variable is eliminated before dropping equality
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 26 Sep 2008 13:35:36 +0000 (15:35 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 13 Oct 2008 22:39:34 +0000 (00:39 +0200)
commit552b066f5326fd861ff6f08e2a6ccd1ce9883faf
tree7ffc465fe7b0f9607860740e6842f3d383ae324ctree | snapshot
parent5be958ad278ceb11a2fb61964c8026f611f53837commit | diff
isl_basic_map_eliminate_vars: ensure variable is eliminated before dropping equality

Before we would call isl_basic_map_gauss, but this is overkill
and it won't work if we eliminate variables that are not in the
final position.
isl_map.c diff | blob | history
Domain: System / Uncategorized;