isl_tab_make_equalities_explicit: support undo
commit5841bfaf35df1da19d19d73c09bbbae3919b7d2f
authorSven Verdoolaege <sven@cerebras.net>
Tue, 11 Apr 2023 14:08:54 +0000 (11 16:08 +0200)
committerSven Verdoolaege <sven@cerebras.net>
Fri, 14 Apr 2023 19:53:05 +0000 (14 21:53 +0200)
tree7c3bf832d92d7ea559a95b915ddfcc942bf8b33e
parentad0a602f46f2153c71d8a3beb3d99928b75196d2
isl_tab_make_equalities_explicit: support undo

This is needed for the next commit, where isl_tab_make_equalities_explicit
will be called on a tableau that may need to be rolled back.

Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
isl_tab.c
isl_tab.h