projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5838a24) | patch
isl_basic_map_simplify: make sure to rerun Gauss when equality has been added
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 1 Nov 2009 14:34:03 +0000 (15:34 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 1 Nov 2009 14:36:20 +0000 (15:36 +0100)
commit7f9e6c9c39457a64a5aa310a5a7c16ba8e76e6ef
tree8480376446d8ded0b5a37fb5f20588c1d304f87ftree | snapshot
parent5838a24b6ca93204c2e7422550426d8885558bf2commit | diff
isl_basic_map_simplify: make sure to rerun Gauss when equality has been added

remove_duplicate_constraints failed to set the progress flag when
it replaces a pair of inequalities by an equality, resulting in
the result of isl_basic_map_simplify possibly not having the equalities
in the expected form.
isl_map_simplify.c diff | blob | history
Domain: System / Uncategorized;