isl_basic_set_sample: perform basis reduction at each level by default
commit2ef49f0240c111bc66bd78ec69483817356fff8f
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 24 Feb 2012 09:03:22 +0000 (24 10:03 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 24 Feb 2012 15:04:33 +0000 (24 16:04 +0100)
tree0f931dbb17523f1e53cd4a7c39c38b3bd6aa6b3e
parent47c29b05d2b35599bd319780334f38a909efb1dd
isl_basic_set_sample: perform basis reduction at each level by default

Although always performing basis reduction can lead to slow-downs
on larger problems, only performing it once can result in some
relatively simple problems taking an inordinate amount of time.
We therefore revert back to the default from before 8db0a80
(isl_basic_set_sample: only perform basis reduction once,
Sun Aug 9 11:42:41 2009 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_options.c
isl_test.c