| commit | 42830392b3d91d27348e5316bfc2012c259f4be9 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 3 Jul 2011 08:19:24 +0000 (3 10:19 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 5 Jul 2011 16:30:04 +0000 (5 18:30 +0200) | ||
| tree | 11ebf7b294d4a6bc82ed1757876ff4687e6f84a7 | treesnapshot (tar.gz zip) |
| parent | bb79a882b977df10ba39149b370a186ad3c908d6 | commitdiff |
barvinok_summate: be more careful about spaces in which qpolynomials live
The original code would compare qpolynomials in different spaces
during verification. The currently used isl isn't too picky about
that, but later versions of isl are.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The original code would compare qpolynomials in different spaces
during verification. The currently used isl isn't too picky about
that, but later versions of isl are.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| barvinok_summate.c | diffblobblamehistory |