descriptionInteger set library
homepage URL
last changeTue, 24 Apr 2018 16:50:39 +0000 (24 18:50 +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.
31 hours ago Sven VerdoolaegeAUTHORS: change Uday's name to Uday Bondhugulamaster
2 days ago Tobias GrosserAdd isl_*_drop_unused_params
2 days ago Sven Verdoolaegeisl_space_check_named_params: change error message
2 days ago Tobias Grosserisl_basic_map_align_params: extract out isl_basic_map_c...
2 days ago Sven Verdoolaegeisl_pw_templ.c: extract out shared isl_pw_*_check_named...
2 days ago Sven Verdoolaegeadd isl_pw_multi_aff_involves_dims
2 days ago Sven Verdoolaegeisl_pw_templ.c: remove unused conditional compilation
7 days ago Sven Verdoolaegeadd isl_map_get_range_stride_info
7 days ago Sven Verdoolaegeadd isl_aff_domain_factor_domain
7 days ago Sven Verdoolaegeisl_aff_project_domain_on_params: extract out drop_domain
7 days ago Sven Verdoolaegeadd isl_map_project_onto
7 days ago Sven Verdoolaegeisl_map.c: extract out shared isl_map_check_range
7 days ago Sven Verdoolaegeisl_stride.c: detect_stride: improve error handling
7 days ago Sven Verdoolaegeadd isl_val_gt_si
7 days ago Sven Verdoolaegedoc: fix typo in isl_set_get_stride documentation
10 days ago Sven Verdoolaegeisl_test.c: add missing include
7 weeks ago isl-0.19 isl 0.19
5 months ago consecutivity_CW_709
16 months ago isl-0.18 isl 0.18
23 months ago isl-0.17.1 isl 0.17.1
23 months 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
31 hours ago master
2 weeks ago maint
2 months ago cpp
5 months ago consecutivity