summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Sven Verdoolaege [Sat, 9 Aug 2008 11:40:24 +0000 (13:40 +0200)]
isl_map_subtract: simplify and finalize parts before checking emptiness
Sven Verdoolaege [Sun, 24 Aug 2008 15:11:43 +0000 (17:11 +0200)]
isl_basic_map_gauss: handle redundant or conflicting equalities directly
Sven Verdoolaege [Mon, 25 Aug 2008 07:24:12 +0000 (09:24 +0200)]
Fix typo in isl_map_affine_hull
Sven Verdoolaege [Sun, 17 Aug 2008 14:03:56 +0000 (16:03 +0200)]
Fix serious bug in normalize_constraints
We would mistakenly relax constraints to include extra integer
points rather than tightening them to remove some rational points.
Sven Verdoolaege [Thu, 7 Aug 2008 18:45:58 +0000 (20:45 +0200)]
Initial version of the integer set library
This version is very incomplete and unoptimized.