| commit | cde761c99b415b9fce0749bbc085b864808530e4 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 10 Apr 2014 07:41:36 +0000 (10 09:41 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 10 Apr 2014 12:02:29 +0000 (10 14:02 +0200) | ||
| tree | 940c5ef55dee573811a6ce28bc9d73fa5f474a6c | treesnapshot (tar.gz zip) |
| parent | 327350859c22bb998af5ebe3f4d269d8ea054bf6 | commitdiff |
also consider memory allocations to be "operations" on the isl_ctx
In particular, take into account the memory allocations when
a maximal number of operations has been set. This has been
reported by Tobias Grosser to make this facility more "predictable".
Similarly, also check for an explicit abort by the user
on each memory allocation.
Before this commit, these two checks were only being performed
on each pivot in the LP solver.
Requested-by: Tobias Grosser <tobias@grosser.es>
Tested-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, take into account the memory allocations when
a maximal number of operations has been set. This has been
reported by Tobias Grosser to make this facility more "predictable".
Similarly, also check for an explicit abort by the user
on each memory allocation.
Before this commit, these two checks were only being performed
on each pivot in the LP solver.
Requested-by: Tobias Grosser <tobias@grosser.es>
Tested-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_ctx.c | diffblobblamehistory | |
| isl_ctx_private.h | diffblobblamehistory | |
| isl_tab.c | diffblobblamehistory |