summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Sven Verdoolaege [Sun, 10 Aug 2008 21:13:10 +0000 (23:13 +0200)]
isl_basic_set_sample: remove equalities first
Sven Verdoolaege [Tue, 12 Aug 2008 15:33:59 +0000 (17:33 +0200)]
simplify constraints after combining constraints from different sets
Sven Verdoolaege [Sun, 10 Aug 2008 12:18:07 +0000 (14:18 +0200)]
remove spurious ; from isl_assert definition
Sven Verdoolaege [Sun, 10 Aug 2008 10:19:33 +0000 (12:19 +0200)]
reimplement isl_basic_map_is_empty in terms of isl_basic_set_sample
Sven Verdoolaege [Sun, 17 Aug 2008 18:12:09 +0000 (20:12 +0200)]
isl_basic_map_set_to_empty: remove superfluous check
Sven Verdoolaege [Tue, 12 Aug 2008 10:36:50 +0000 (12:36 +0200)]
isl_basic_{map,set}: explicitly store constraints defining div
These constraints are redundant, but we need then while performing
various operations, so it is easier to keep them available explicitly.
Sven Verdoolaege [Sat, 9 Aug 2008 13:49:49 +0000 (15:49 +0200)]
avoid preprocessor conditionals
Sven Verdoolaege [Sat, 9 Aug 2008 12:14:12 +0000 (14:14 +0200)]
isl_basic_map_is_empty: special case known empty basic sets
Sven Verdoolaege [Sat, 9 Aug 2008 11:54:54 +0000 (13:54 +0200)]
remove remnants of old "primitive" naming
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.