descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeFri, 16 Jun 2017 07:13:28 +0000 (16 09:13 +0200)
content tags
add:
readme
isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction. isl is released under the MIT license.
shortlog
12 days ago Sven Verdoolaegeinterface: update to refactoring of frontend InputKindmaster
2017-06-12 Sven Verdoolaegeisl_access_info_compute_flow: support "kill" accesses
2017-06-12 Sven Verdoolaegeadd isl_union_map_intersect_range_factor_range
2017-06-12 Sven Verdoolaegeadd map_intersect_range_factor_range
2017-06-12 Sven Verdoolaegeisl_union_map.c: gen_bin_entry: extract out bin_try_get...
2017-06-12 Sven Verdoolaegeadd isl_maybe_isl_map
2017-06-12 Sven Verdoolaegeisl_union_map.c: gen_bin_entry: improve error handling
2017-06-12 Sven Verdoolaegeisl_union_map.c: gen_bin_op: unify callbacks
2017-06-12 Sven Verdoolaegeisl_union_map.c: subtract_entry: use isl_union_map_get_ctx
2017-06-12 Sven Verdoolaegeisl_union_map.c: subtract_entry: use isl_map_get_space
2017-06-12 Sven Verdoolaegeisl_union_map.c: rename has_dim to has_space
2017-06-12 Sven Verdoolaegeisl_union_map.c: has_dim: rename "dim" variable to...
2017-06-12 Sven Verdoolaegeisl_union_access_info_compute_flow: handle coscheduled...
2017-06-12 Sven Verdoolaegeadd isl_map_intersect_domain_factor_range
2017-06-12 Sven Verdoolaegedoc: break up paragraph describing isl_access_info_comp...
2017-06-12 Sven Verdoolaegeadd basic isl_union_access_info_compute_flow tests
...
tags
6 months ago isl-0.18 isl 0.18
13 months ago isl-0.17.1 isl 0.17.1
13 months ago isl-0.17 isl 0.17
17 months ago isl-0.16.1 isl 0.16.1
17 months ago isl-0.16 isl 0.16
2 years ago isl-0.15 isl 0.15
2 years ago isl-0.14.1 isl-0.14.1
2 years ago isl-0.14 isl 0.14
3 years ago isl-0.13 isl 0.13
3 years ago isl-0.12.2 isl 0.12.2
3 years ago isl-0.12.1 isl 0.12.1
4 years ago isl-0.12 isl 0.12
4 years ago isl-0.11.2 isl 0.11.2
4 years ago isl-0.11.1 isl 0.11.1
4 years ago isl-0.11 isl 0.11
5 years ago isl-0.10 isl 0.10
...
heads
12 days ago master
2 weeks ago maint