descriptionInteger set library
homepage URL
last changeWed, 4 Jul 2018 17:16:08 +0000 (4 19:16 +0200)
content tags
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.
11 days ago Sven Verdoolaegeadd isl_*_list_reversemaster
11 days ago Sven Verdoolaegeadd isl_*_list_swap
11 days ago Sven Verdoolaegeadd isl_*_list_size as an alternative name for isl_...
11 days ago Sven Verdoolaegeadd isl_*_list_get_at as an alternative name for isl_...
13 days ago Sven Verdoolaegeisl_map_read_from_*: plug memory leak on error path
2018-06-28 Sven Verdoolaegeadd isl_multi_union_pw_aff_{min,max}_multi_val
2018-06-28 Sven Verdoolaegeisl_union_set_opt_...: extract out isl_multi_union_pw_a...
2018-06-28 Sven Verdoolaegeadd isl_union_pw_aff_{min,max}_val
2018-06-28 Sven Verdoolaegeisl_union_set_opt_union_pw_aff: extract out isl_union_p...
2018-06-28 Sven Verdoolaegeisl_ilp.c: set_opt: perform intersection up front
2018-06-27 Sven VerdoolaegeMerge branch 'maint'
2018-06-27 Sven Verdoolaegeisl_set_is_subset: properly handle identical integer...
2018-06-22 Sven Verdoolaegerename isl_union_set_min_multi_union_pw_aff argument...
2018-06-22 Sven Verdoolaegedoc: remove left-over reference to isl_int interface
2018-06-21 Sven Verdoolaegeadd isl_set_from_multi_aff
2018-06-21 Sven Verdoolaegeadd isl_basic_set_from_multi_aff
4 months ago isl-0.19 isl 0.19
8 months ago consecutivity_CW_709
18 months ago isl-0.18 isl 0.18
2 years ago isl-0.17.1 isl 0.17.1
2 years ago isl-0.17 isl 0.17
2 years ago isl-0.16.1 isl 0.16.1
2 years ago isl-0.16 isl 0.16
3 years ago isl-0.15 isl 0.15
3 years ago isl-0.14.1 isl-0.14.1
3 years ago isl-0.14 isl 0.14
4 years ago isl-0.13 isl 0.13
4 years ago isl-0.12.2 isl 0.12.2
4 years ago isl-0.12.1 isl 0.12.1
5 years ago isl-0.12 isl 0.12
5 years ago isl-0.11.2 isl 0.11.2
5 years ago isl-0.11.1 isl 0.11.1
10 days ago consecutivity
11 days ago master
13 days ago maint
4 months ago cpp