| commit | 95e960e70d9b7099739ce5c550e537b7a6371e9e | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 27 Feb 2009 21:20:21 +0000 (27 22:20 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 20 Mar 2009 14:21:04 +0000 (20 15:21 +0100) | ||
| tree | f487a67fe475208068b4cd773afeed26a89a6f8a | treesnapshot (tar.gz zip) |
| parent | eab90750d5fa0028e5aa352f261c11f1146825ff | commitdiff |
isl_basic_map_convex_hull: use tableau to detect redundant constraints
| isl_convex_hull.c | diffblobblamehistory |