Sven Verdoolaege [Fri, 26 Sep 2008 09:49:56 +0000 (11:49 +0200)]
add isl_map_remove_inputs
Sven Verdoolaege [Fri, 26 Sep 2008 08:34:15 +0000 (10:34 +0200)]
add isl_set_lower_bound_dim
Sven Verdoolaege [Fri, 26 Sep 2008 08:06:15 +0000 (10:06 +0200)]
add isl_set_fast_dim_has_fixed_lower_bound
Sven Verdoolaege [Thu, 25 Sep 2008 16:06:49 +0000 (18:06 +0200)]
add isl_basic_set_dim_residue_class
Sven Verdoolaege [Thu, 25 Sep 2008 13:24:24 +0000 (15:24 +0200)]
add isl_set_gist
Sven Verdoolaege [Thu, 25 Sep 2008 08:07:39 +0000 (10:07 +0200)]
add isl_set_fast_dim_is_fixed and isl_map_fast_input_is_fixed
Sven Verdoolaege [Wed, 24 Sep 2008 15:16:00 +0000 (17:16 +0200)]
add isl_map_deltas
Sven Verdoolaege [Wed, 24 Sep 2008 14:28:07 +0000 (16:28 +0200)]
add isl_basic_set_compare_at
Sven Verdoolaege [Tue, 23 Sep 2008 10:35:01 +0000 (12:35 +0200)]
clear rational flags from resulting convex hull
Sven Verdoolaege [Tue, 23 Sep 2008 10:16:57 +0000 (12:16 +0200)]
isl_basic_map_is_empty: don't compute sample for rational sets
Sven Verdoolaege [Sat, 20 Sep 2008 20:28:58 +0000 (22:28 +0200)]
convex_hull: use elimination based convex hull for unbounded polyhedra
Sven Verdoolaege [Sat, 20 Sep 2008 21:11:53 +0000 (23:11 +0200)]
wrap_facet: missing error path
Sven Verdoolaege [Fri, 19 Sep 2008 13:18:00 +0000 (15:18 +0200)]
isl_convex_hull: fix construction of initial facet
We need to find a bound on a constraint over the intersection
of the current hyperplane with the set, but instead we were
looking at intersections with smaller-dimensional spaces.
Sven Verdoolaege [Mon, 22 Sep 2008 22:00:46 +0000 (00:00 +0200)]
isl_basic_map_eliminate_vars: remove all redundant constraints after each step
Sven Verdoolaege [Mon, 22 Sep 2008 14:52:04 +0000 (16:52 +0200)]
add isl_basic_set_remove_dims
Sven Verdoolaege [Mon, 22 Sep 2008 14:44:30 +0000 (16:44 +0200)]
add isl_set_copy_basic_set and isl_set_drop_basic_set
Sven Verdoolaege [Sat, 20 Sep 2008 18:47:00 +0000 (20:47 +0200)]
isl_convex_hull.c: make sure we don't overallocate inequalities
Sven Verdoolaege [Sat, 20 Sep 2008 18:37:27 +0000 (20:37 +0200)]
isl_basic_map_affine_hull: allow computation of affine hull of rational sets
Sven Verdoolaege [Fri, 19 Sep 2008 13:43:40 +0000 (15:43 +0200)]
isl_convex_hull: fix memory leak in error path
Sven Verdoolaege [Fri, 19 Sep 2008 09:50:36 +0000 (11:50 +0200)]
add isl_set_remove_dims
Sven Verdoolaege [Thu, 18 Sep 2008 18:36:22 +0000 (20:36 +0200)]
add isl_set_{from,to}_underlying_set
Sven Verdoolaege [Thu, 18 Sep 2008 18:24:16 +0000 (20:24 +0200)]
add isl_basic_set_from_underlying_set
Sven Verdoolaege [Thu, 18 Sep 2008 18:02:41 +0000 (20:02 +0200)]
isl_basic_map_overlying_set: fix possible NULL access
Sven Verdoolaege [Tue, 16 Sep 2008 22:49:38 +0000 (00:49 +0200)]
isl_set_dump: dump more information
Sven Verdoolaege [Tue, 16 Sep 2008 22:43:37 +0000 (00:43 +0200)]
add isl_set_extend
Sven Verdoolaege [Tue, 16 Sep 2008 22:14:42 +0000 (00:14 +0200)]
add isl_set_intersect
Sven Verdoolaege [Tue, 16 Sep 2008 19:16:32 +0000 (21:16 +0200)]
add isl_set_from_map
Sven Verdoolaege [Tue, 16 Sep 2008 15:30:35 +0000 (17:30 +0200)]
isl_map_to_polylib: return empty polyhedron instead of NULL for empty set
Sven Verdoolaege [Wed, 10 Sep 2008 10:21:00 +0000 (12:21 +0200)]
isl_map_polylib.c: simplify sets after conversion from PolyLib
Sven Verdoolaege [Tue, 9 Sep 2008 16:53:30 +0000 (18:53 +0200)]
isl_set_alloc: add check on number of basic sets
Sven Verdoolaege [Tue, 9 Sep 2008 08:24:18 +0000 (10:24 +0200)]
isl_equalities.c: add missing include
Sven Verdoolaege [Tue, 9 Sep 2008 08:23:26 +0000 (10:23 +0200)]
declare isl_basic_map_drop_inequality
Sven Verdoolaege [Tue, 9 Sep 2008 08:22:34 +0000 (10:22 +0200)]
isl_map_polylib.c: add missing include
Sven Verdoolaege [Tue, 9 Sep 2008 08:22:08 +0000 (10:22 +0200)]
isl_sample_piplib.c: add missing include
Sven Verdoolaege [Tue, 9 Sep 2008 08:21:22 +0000 (10:21 +0200)]
isl_map_piplib.c: fix some warnings
Sven Verdoolaege [Tue, 9 Sep 2008 08:20:22 +0000 (10:20 +0200)]
isl_map_piplib.c: add missing include
Sven Verdoolaege [Tue, 9 Sep 2008 08:19:29 +0000 (10:19 +0200)]
declare isl_basic_map_drop_equality
Sven Verdoolaege [Tue, 9 Sep 2008 08:17:16 +0000 (10:17 +0200)]
isl_input_omega.c: add missing include
Sven Verdoolaege [Tue, 9 Sep 2008 08:15:07 +0000 (10:15 +0200)]
isl_mat.c: fix some warnings
Sven Verdoolaege [Tue, 9 Sep 2008 08:14:09 +0000 (10:14 +0200)]
declare isl_seq_combine
Sven Verdoolaege [Tue, 9 Sep 2008 08:12:55 +0000 (10:12 +0200)]
declare isl_gmp_hash
Sven Verdoolaege [Tue, 9 Sep 2008 08:11:35 +0000 (10:11 +0200)]
isl_sample.c: add missing include
Sven Verdoolaege [Tue, 9 Sep 2008 08:09:34 +0000 (10:09 +0200)]
add struct_ctx field to isl_set and isl_map
Since isl_sets and isl_maps now know which isl_ctx they belong
to, the isl_ctx argument of many functions can be dropped.
Sven Verdoolaege [Mon, 8 Sep 2008 18:42:12 +0000 (20:42 +0200)]
isl_{basic_,}set_read_from_file: allow user to specify number of parameters
Sven Verdoolaege [Mon, 8 Sep 2008 14:57:41 +0000 (16:57 +0200)]
add isl_set_read_from_file for reading unions of polyhedra (in polylib format)
Sven Verdoolaege [Fri, 29 Aug 2008 15:51:13 +0000 (17:51 +0200)]
isl_basic_set_read_from_file: partial support for Omega style input
Sven Verdoolaege [Wed, 3 Sep 2008 14:18:16 +0000 (16:18 +0200)]
add test_inputs to the distribution
Sven Verdoolaege [Wed, 3 Sep 2008 13:27:04 +0000 (15:27 +0200)]
add isl_sample_piplib.h to the distribution
Sven Verdoolaege [Wed, 3 Sep 2008 12:11:09 +0000 (14:11 +0200)]
Makefile.am: only include piplib in distribution if it has been configured
Sven Verdoolaege [Wed, 3 Sep 2008 11:44:03 +0000 (13:44 +0200)]
Makefile.am: remove reference to (re)moved header files
Sven Verdoolaege [Tue, 26 Aug 2008 08:09:56 +0000 (10:09 +0200)]
add isl_set_compute_divs
Sven Verdoolaege [Mon, 25 Aug 2008 22:03:25 +0000 (00:03 +0200)]
add isl_set_fix_dim_si
Sven Verdoolaege [Mon, 25 Aug 2008 12:28:22 +0000 (14:28 +0200)]
isl_map_apply_range: mark result of 1 basic set as "disjoint"
Sven Verdoolaege [Mon, 25 Aug 2008 12:27:51 +0000 (14:27 +0200)]
isl_map_dump: print flags
Sven Verdoolaege [Fri, 22 Aug 2008 13:29:16 +0000 (15:29 +0200)]
isl_basic_map_affine_hull: compute integer affine hull
Sven Verdoolaege [Fri, 22 Aug 2008 14:31:44 +0000 (16:31 +0200)]
sample: remove lineality and skew into positive orthant
These changes are needed if we want isl_basic_set_sample
to always return an actual point. Without them, the lexmin
may be unbounded and we effectively get a ray.
Sven Verdoolaege [Sun, 17 Aug 2008 14:33:02 +0000 (16:33 +0200)]
add trivial affine hull test
Sven Verdoolaege [Fri, 15 Aug 2008 19:56:30 +0000 (21:56 +0200)]
add convex hull computation
Sven Verdoolaege [Thu, 21 Aug 2008 19:20:35 +0000 (21:20 +0200)]
remove obviously redundant divs based on inequalities
Sven Verdoolaege [Sun, 17 Aug 2008 07:45:12 +0000 (09:45 +0200)]
isl_map_affine_hull: perform affine hull on underlying set
Sven Verdoolaege [Sun, 17 Aug 2008 10:11:05 +0000 (12:11 +0200)]
affhull: simplify before finalize
Sven Verdoolaege [Sun, 24 Aug 2008 19:15:30 +0000 (21:15 +0200)]
extract isl_map_align_divs from isl_affine_hull.c
Sven Verdoolaege [Sun, 24 Aug 2008 17:33:36 +0000 (19:33 +0200)]
add isl_map_remove_empty_parts
Sven Verdoolaege [Thu, 14 Aug 2008 14:47:36 +0000 (16:47 +0200)]
extract out isl_basic_map_implicit_equalities from isl_basic_map_affine_hull
Sven Verdoolaege [Sat, 16 Aug 2008 14:55:47 +0000 (16:55 +0200)]
isl_map_affine_hull: add missing cow
Sven Verdoolaege [Thu, 14 Aug 2008 14:18:06 +0000 (16:18 +0200)]
rename isl_map_affine_hull.c to isl_affine_hull.c
Sven Verdoolaege [Thu, 14 Aug 2008 14:09:11 +0000 (16:09 +0200)]
add isl_basic_set_read_from_file
Sven Verdoolaege [Thu, 14 Aug 2008 12:55:43 +0000 (14:55 +0200)]
link in polylib library in builddir
Sven Verdoolaege [Wed, 13 Aug 2008 13:01:57 +0000 (15:01 +0200)]
keep cache of blocks of isl_ints
Sven Verdoolaege [Wed, 13 Aug 2008 13:01:26 +0000 (15:01 +0200)]
add some missing tests for invalid input
Sven Verdoolaege [Wed, 13 Aug 2008 13:00:44 +0000 (15:00 +0200)]
Ensure all elements in a constraints are zeroed out or explicitly set
Sven Verdoolaege [Tue, 12 Aug 2008 11:44:30 +0000 (13:44 +0200)]
isl_basic_map_is_empty: keep sample found for possible later reuse
Sven Verdoolaege [Mon, 11 Aug 2008 14:34:25 +0000 (16:34 +0200)]
remove_duplicate_constraints: also detect implicit equalites and conflicting constraints
Sven Verdoolaege [Mon, 11 Aug 2008 13:15:43 +0000 (15:15 +0200)]
isl_basic_set_sample: special case 0D and 1D sets
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.