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>

1 files changed, 6 insertions, 0 deletions

diff --git a/isl_tab.c b/isl_tab.c
index e45ee880..f418517f 100644
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -7,6 +7,7 @@
  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
  */
 
+#include <isl_ctx_private.h>
 #include <isl_mat_private.h>
 #include "isl_map_private.h"
 #include "isl_tab.h"
@@ -1083,6 +1084,11 @@ int isl_tab_pivot(struct isl_tab *tab, int row, int col)
 	struct isl_tab_var *var;
 	unsigned off = 2 + tab->M;
 
+	if (tab->mat->ctx->abort) {
+		isl_ctx_set_error(tab->mat->ctx, isl_error_abort);
+		return -1;
+	}
+
 	isl_int_swap(mat->row[row][0], mat->row[row][off + col]);
 	sgn = isl_int_sgn(mat->row[row][0]);
 	if (sgn < 0) {