| commit | de78fdaa9805ae5a726216ab4b3f884241146dae | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 12 Mar 2013 13:56:36 +0000 (12 14:56 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 19 Mar 2013 13:02:51 +0000 (19 14:02 +0100) | ||
| tree | ce51a43a688f2559e24d843746afb7083e7721df | treesnapshot (tar.gz zip) |
| parent | 1be3f4afff27402f0fd1ed9715936a953204c675 | commitdiff |
isl_basic_map_compute_divs: compress existentially quantified variables
This compression should simplify the computations during parametric
integer programming.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This compression should simplify the computations during parametric
integer programming.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |