Sven Verdoolaege [Mon, 25 Jul 2011 07:00:14 +0000 (09:00 +0200)]
add isl_pw_qpolynomial_pow
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:57:56 +0000 (08:57 +0200)]
add isl_pw_qpolynomial_from_qpolynomial
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:55:53 +0000 (08:55 +0200)]
add isl_pw_aff_list
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:52:14 +0000 (08:52 +0200)]
add isl_*_list_concat
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:47:27 +0000 (08:47 +0200)]
add isl_*_list_from_*
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:39:13 +0000 (08:39 +0200)]
*_list_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 06:31:03 +0000 (08:31 +0200)]
add isl_map_set_rational
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 24 Jul 2011 08:49:17 +0000 (10:49 +0200)]
add isl_pw_aff_from_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 15:17:12 +0000 (17:17 +0200)]
isl_map_intersect: be careful when intersecting with empty parameter domain
isl_map_intersect currently doubles as a isl_map_intersect_params
and in this capacity, the spaces of the two arguments may be different.
In this case, we need to make sure that we return an (empty) map
in the correct space.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 13:02:21 +0000 (15:02 +0200)]
add isl_pw_aff_non_zero_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 25 Jul 2011 13:01:08 +0000 (15:01 +0200)]
export isl_pw_aff_zero_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 15:20:52 +0000 (17:20 +0200)]
reimplement isl_constraint in terms of isl_aff
This completes the removal of the ability of using isl_constraint
as an iterator for the constraints in a set or relation.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 15:20:27 +0000 (17:20 +0200)]
add isl_local_space_is_div_constraint
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 13:49:01 +0000 (15:49 +0200)]
drop isl_constraint_add_div
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 30 Jun 2011 16:03:09 +0000 (18:03 +0200)]
drop isl_constraint_clear
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 27 Jun 2011 08:25:52 +0000 (10:25 +0200)]
isl_constraint: drop constraint iteration
isl_constraint used to have two meanings, one as an iterator for
the constraints in a set or relation and one as an independent constraint.
We want to get rid of the first meaning because it allows the user
to change one object through another object.
In particular, we remove here the ability to iterate over the constraints
of a basic map through an isl_constraint object.
These function were never documented, but they were used by CLooG.
Now that CLooG has been updated not to use them, we can remove them.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 21 Jul 2011 09:13:18 +0000 (11:13 +0200)]
isl_union_map_add_map: align parameters if needed
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 20 Jul 2011 08:06:21 +0000 (10:06 +0200)]
align parameters of arguments to binary isl_map and isl_pw_aff functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 6 Jul 2011 18:40:19 +0000 (20:40 +0200)]
introduce identifiers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 13 Jul 2011 11:32:24 +0000 (13:32 +0200)]
privately export isl_pw_aff_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 14 Jul 2011 10:37:03 +0000 (12:37 +0200)]
add isl_pw_aff_min and isl_pw_aff_max
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 20 Jul 2011 12:13:13 +0000 (14:13 +0200)]
rename isl_pw_aff_max to isl_pw_aff_union_max
Most binary operations on isl_pw_affs are only defined on
the intersection of the definition domains of the two arguments.
Rename isl_pw_aff_max to emphasize that the definition domain
of its result is the union of these definition domains.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 14 Jul 2011 09:48:06 +0000 (11:48 +0200)]
add isl_pw_aff_mul
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 14 Jul 2011 09:48:06 +0000 (11:48 +0200)]
add isl_pw_aff_is_cst
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 19 Jul 2011 14:08:14 +0000 (16:08 +0200)]
add isl_pw_aff_ne_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 18 Jul 2011 14:28:53 +0000 (16:28 +0200)]
add isl_map_oppose
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 18 Jul 2011 14:28:53 +0000 (16:28 +0200)]
add isl_map_equate
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 18 Jul 2011 15:09:54 +0000 (17:09 +0200)]
add isl_map_involves_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 18 Jul 2011 14:28:08 +0000 (16:28 +0200)]
add isl_set_min
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 18 Jul 2011 14:28:30 +0000 (16:28 +0200)]
isl_arg_parse: support flags on string options
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Andreas Kloeckner [Fri, 15 Jul 2011 06:57:26 +0000 (02:57 -0400)]
Expose isl_term_copy
Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Andreas Kloeckner [Tue, 12 Jul 2011 18:23:35 +0000 (14:23 -0400)]
Transform isl_point_print into isl_printer_print_point
Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 14 Jul 2011 15:53:28 +0000 (17:53 +0200)]
decouple isl_qpolynomial_substitute_equalities
isl_qpolynomial_substitute_equalities was being called from within
two contexts, one where the space of the equalities includes the
divs and one where it does not.
Split isl_qpolynomial_substitute_equalities into two functions,
one for each of these two cases.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 14 Jul 2011 15:48:20 +0000 (17:48 +0200)]
decouple isl_aff_substitute_equalities
isl_aff_substitute_equalities was being called from within two contexts:
isl_pw_aff_intersect_domain and isl_aff_gist.
In the first case, the space of the equalities was that of the space
of the isl_pw_aff, while in the second case, the space of the equalities
was a lifted copy of the _local_ space of the isl_aff.
The actual implementation of isl_aff_substitute_equalities assumed
the second case.
Split isl_aff_substitute_equalities into two functions, one for each
of these two cases.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 18 Jul 2011 15:10:16 +0000 (17:10 +0200)]
isl_map_n_{in,out,param}: handle NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 17:57:15 +0000 (19:57 +0200)]
isl 0.07
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 12 Jul 2011 15:52:53 +0000 (17:52 +0200)]
remove isl_union_map_copy_map
It was introduced in d4a684c (add isl_union_map_copy_map,
Fri Apr 8 09:47:04 2011 +0200) but left undocumented
and it was mainly intended to extract an isl_map from
isl_union_map lying in a single space, i.e., exactly
what the newly introduced isl_map_from_union_map does.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 12 Jul 2011 09:45:47 +0000 (11:45 +0200)]
add isl_map_from_union_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 12 Jul 2011 09:39:33 +0000 (11:39 +0200)]
isl_union_map_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 11 Jul 2011 11:55:23 +0000 (13:55 +0200)]
isl_union_set_compute_schedule: make preference for large bands configurable
The original code would always try to maximize the number of scheduling
dimensions in a band, but this is not always desirable.
Make this heuristic configurable and turn it off by default.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Andreas Kloeckner [Sun, 10 Jul 2011 20:30:48 +0000 (16:30 -0400)]
Tweak .gitignore
Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Andreas Kloeckner [Sun, 10 Jul 2011 19:15:59 +0000 (15:15 -0400)]
Add get_ctx() for access_info and flow
Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Andreas Kloeckner [Sun, 10 Jul 2011 18:32:47 +0000 (14:32 -0400)]
Expose isl_schedule_get_ctx() in header
Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Andreas Kloeckner [Sun, 10 Jul 2011 16:30:21 +0000 (12:30 -0400)]
Add isl_printer_get_ctx()
Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 10 Jul 2011 12:11:00 +0000 (14:11 +0200)]
add isl_pw_aff_le_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 10 Jul 2011 06:40:20 +0000 (08:40 +0200)]
remove duplicate isl_map_fast_is_fixed declaration
Reported-by: Andreas Kloeckner <lists@informa.tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 10 Jul 2011 06:34:37 +0000 (08:34 +0200)]
add doc/SubmittingPatches
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 17:53:44 +0000 (19:53 +0200)]
doc: mention rename of *_fast_* to *_plain_*
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 16:28:24 +0000 (18:28 +0200)]
substitute EXEEXT in bound_test.sh and pip_test.sh
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 10:38:51 +0000 (12:38 +0200)]
add isl_pw_aff_scale
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 10:28:59 +0000 (12:28 +0200)]
add isl_pw_aff_eq_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 10:07:45 +0000 (12:07 +0200)]
add isl_pw_aff_sub
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 10:03:55 +0000 (12:03 +0200)]
add isl_pw_aff_cond
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 09:57:07 +0000 (11:57 +0200)]
add isl_pw_aff_ceil
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 09:55:23 +0000 (11:55 +0200)]
add isl_pw_aff_floor
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 09:52:59 +0000 (11:52 +0200)]
export isl_pw_aff_nonneg_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 09:41:45 +0000 (11:41 +0200)]
add isl_pw_aff_scale_down
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 09:11:01 +0000 (11:11 +0200)]
add isl_set_intersect_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 8 Jul 2011 10:18:45 +0000 (12:18 +0200)]
add isl_pw_aff_align_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 7 Jul 2011 19:16:03 +0000 (21:16 +0200)]
add isl_pw_aff_lt_set and isl_pw_aff_gt_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 8 Jul 2011 10:18:32 +0000 (12:18 +0200)]
add private isl_local_space_realign
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 8 Jul 2011 15:35:54 +0000 (17:35 +0200)]
add private isl_local_space_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jul 2011 14:07:04 +0000 (16:07 +0200)]
doc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 8 Jul 2011 13:48:04 +0000 (15:48 +0200)]
remove deprecated isl_schedule interface
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 8 Jul 2011 13:43:27 +0000 (15:43 +0200)]
Merge branch 'maint'
Sven Verdoolaege [Fri, 8 Jul 2011 13:41:38 +0000 (15:41 +0200)]
isl_reordering_extend_dim: don't mess with copies of input
In particular, perform an isl_reordering_cow before changing anythin.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 27 Jun 2011 08:54:04 +0000 (10:54 +0200)]
hide isl_constraint internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 3 Jul 2011 19:01:01 +0000 (21:01 +0200)]
isl_stream_read_map: accept alternative [i][j] tuple syntax
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 3 Jul 2011 17:56:48 +0000 (19:56 +0200)]
isl_schedule: don't let users get access to internal isl_band_lists
We have been careful to keep the isl_schedule alive whenever the user
is holding on to an isl_band, but if the user only has a reference
to an isl_band_list inside the schedule, then the schedule can still
disappear. We therefore hand out duplicates of internal lists.
These duplicates contain copies of the isl_bands and these outside
references keep the schedule alive.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 3 Jul 2011 17:54:11 +0000 (19:54 +0200)]
add private isl_*_list_dup
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 3 Jul 2011 11:52:03 +0000 (13:52 +0200)]
add isl_pw_qpolynomial_read_from_file
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 30 Jun 2011 15:51:51 +0000 (17:51 +0200)]
add isl_basic_set_drop_constraint
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 15:19:39 +0000 (17:19 +0200)]
isl_local_space_is_equal: check that divs are known
There is no way we can tell if two local spaces are equal
if we don't know the expressions for the divs.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 15:18:37 +0000 (17:18 +0200)]
isl_qpolynomial_from_constraint: reimplement using isl_aff
This removes some code duplication.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 2 Jul 2011 08:04:31 +0000 (10:04 +0200)]
isl_local_space_get_div: check that the div has a known expression
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 13:48:50 +0000 (15:48 +0200)]
avoid use of isl_constraint_add_div in isl_test
At some point we want to remove isl_div entirely.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 12:47:29 +0000 (14:47 +0200)]
add isl_aff_from_div
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 12:38:32 +0000 (14:38 +0200)]
split off declarations for isl_aff and isl_pw_aff to separate file
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 10:12:28 +0000 (12:12 +0200)]
add isl_constraint_get_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 30 Jun 2011 15:51:31 +0000 (17:51 +0200)]
privately export isl_basic_map_divs_known
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Jun 2011 13:16:22 +0000 (15:16 +0200)]
add isl_pw_aff_ge_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Jun 2011 13:04:29 +0000 (15:04 +0200)]
add isl_pw_aff_neg
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 24 Jun 2011 20:38:49 +0000 (22:38 +0200)]
isl_printer_print_aff: support printing in C format
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 21:32:10 +0000 (23:32 +0200)]
add isl_aff_add_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 18:36:13 +0000 (20:36 +0200)]
add isl_aff_drop_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 14:51:03 +0000 (16:51 +0200)]
add isl_aff_involves_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 21:40:43 +0000 (23:40 +0200)]
export isl_aff_add_coefficient
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Jun 2011 12:16:54 +0000 (14:16 +0200)]
export isl_pw_aff_get_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Jun 2011 11:45:01 +0000 (13:45 +0200)]
export isl_pw_aff_add
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Jun 2011 11:14:31 +0000 (13:14 +0200)]
export isl_pw_aff_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 1 Jul 2011 16:50:19 +0000 (18:50 +0200)]
export isl_pw_aff_coalesce
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Jun 2011 10:58:23 +0000 (12:58 +0200)]
export isl_pw_aff_gist
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 19:23:04 +0000 (21:23 +0200)]
export isl_pw_aff_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 21:31:59 +0000 (23:31 +0200)]
add isl_local_space_insert_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 18:36:00 +0000 (20:36 +0200)]
add isl_local_space_drop_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 18:38:40 +0000 (20:38 +0200)]
rename isl_local_space_add_dim to isl_local_space_add_dims for consistency
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 18:21:47 +0000 (20:21 +0200)]
add isl_local_space_is_named_or_nested
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 21:51:00 +0000 (23:51 +0200)]
add isl_basic_set_set_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 13:28:48 +0000 (15:28 +0200)]
add isl_set_remove_redundancies
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 Jun 2011 21:29:20 +0000 (23:29 +0200)]
add isl_vec_insert_zero_els
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
projects / platform / upstream / isl.git / log