rudimentary support for asynchronous termination of computations
commit5d62e96a2f406d00644db6e1711ad0fe042b9e06
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 17 Mar 2011 08:59:00 +0000 (17 09:59 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 18 Mar 2011 11:12:10 +0000 (18 12:12 +0100)
tree8f69c46925436d35ccc8e5f55a3758353cc2d50e
parent0dcb90aef1a2934609fdce9d8cf527af8b558d43
rudimentary support for asynchronous termination of computations

Most operations end up using a tableau at some point, so we
currently only check for the termination condition during pivoting.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
include/isl/ctx.h
isl_ctx.c
isl_ctx_private.h
isl_tab.c