projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fe110a) | patch
isl_tab.c: don't detect equalities while setting up tableau
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 15 Mar 2009 09:49:48 +0000 (10:49 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 20 Mar 2009 14:21:04 +0000 (15:21 +0100)
commit533f7c20648f85eba1652d046507cbfd340ce436
tree1af360777e3a94c0ffa82231136a5997b99d1568tree | snapshot
parent3fe110a4d75e491805b34f25bb333dc62b2aef4fcommit | diff
isl_tab.c: don't detect equalities while setting up tableau

The original description of the algorithm tries to detect equalities
as soon as possible.  In our application it may be best to wait
until all constraints are available.  In some case we are not
even interested in the equalities.
isl_tab.c diff | blob | history
isl_tab.h diff | blob | history
Domain: System / Uncategorized;