projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4d0826) | patch
isl_tab.c: store number of equalities among the constraints in tableau
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Mar 2009 08:21:22 +0000 (09:21 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Mar 2009 09:00:20 +0000 (10:00 +0100)
commitbc8d409a0e3e19ed9a139197e4a19fc6d4df1ba6
tree62673df5b3de284569b955714fa0bbda2290e468tree | snapshot
parentc4d0826abffbbed33e25d1b478e44155cd02d930commit | diff
isl_tab.c: store number of equalities among the constraints in tableau

Before, we would check the bmap to figure out how many equalities we
had added, but there was at least one instance where we didn't actually
store the equalities in the tableau, leading to problems if any additional
equalities would be found in the tableau.
isl_map_simplify.c diff | blob | history
isl_tab.c diff | blob | history
isl_tab.h diff | blob | history
Domain: System / Uncategorized;