descriptionInteger set library
homepage URL
last changeSat, 19 May 2018 10:41:28 +0000 (19 12:41 +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.
7 days ago Sven Verdoolaegemove isl_space_params into isl_parameter_alignment_reor... master
8 days ago Sven Verdoolaegedoc: explicitly state that the divisor of an ?div_...
8 days ago Sven Verdoolaegedoc: fix typo in annotation
9 days ago Sven VerdoolaegeMerge branch 'maint'
9 days ago Sven Verdoolaegeisl_multi_*_from_*_list: use isl_multi_*_restoremaint
9 days ago Sven Verdoolaegeisl_multi_*_set_*: extract out isl_multi_*_restore
9 days ago Sven Verdoolaegeisl_multi_*_from_*_list: fix parameter alignment
9 days ago Sven Verdoolaegeisl_*_list_get_*: extract out isl_*_list_peek
10 days ago Sven Verdoolaege.gitignore: add piplib
11 days ago Sven Verdoolaegeexplicitly mention isl_options_{set,get}_ast_build_sepa...
2018-05-12 Sven VerdoolaegeMerge branch 'maint'
2018-05-12 Sven Verdoolaegeisl_map_realign: add missing isl_map_unmark_normalized
2018-05-12 Sven Verdoolaegeisl_map.c: extract out shared isl_map_unmark_normalized
2018-05-12 Sven Verdoolaegeisl_map.c: remove_if_empty: return modified isl_map
2018-05-12 Sven Verdoolaegeisl_map.c: remove_if_empty: fix type of variable
2018-05-11 Sven Verdoolaegeisl_map_coalesce: fix stride constraint integer divisio...
2 months ago isl-0.19 isl 0.19
6 months ago consecutivity_CW_709
17 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
2 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
4 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
7 days ago master
9 days ago maint
3 months ago cpp
6 months ago consecutivity