isl_tab_min_at_most_neg_one: restore sample value of non-redundant constraints
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 2 Apr 2010 20:59:43 +0000 (22:59 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 2 Apr 2010 21:00:19 +0000 (23:00 +0200)
commit61f28992f54b92c16321409d5fde37bca0c0a1d5
treebbf93fbb643a24d709f6c249524b35246b36c536
parentd84248b20502cef6c364b165860bddacb17202fb
isl_tab_min_at_most_neg_one: restore sample value of non-redundant constraints
isl_tab.c
isl_test.c