descriptionInteger set library
homepage URL
last changeSat, 16 Aug 2014 14:07:26 +0000
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.
4 days ago Sven VerdoolaegeAST generator: perform more aggressive guard hoistingmaster
4 days ago Sven Verdoolaegeisl_ast_graft.c: extract_hoistable_guard: extract out...
4 days ago Sven Verdoolaegeadd isl_set_unshifted_simple_hull_from_set_list
4 days ago Sven Verdoolaegeadd isl_set_get_basic_set_list
4 days ago Sven Verdoolaegeadd isl_basic_set_list_align_divs_to_basic_set
4 days ago Sven Verdoolaegeadd isl_set_align_divs_to_basic_set_list
4 days ago Sven Verdoolaegeadd isl_basic_set_list_underlying_set
4 days ago Sven Verdoolaegeadd isl_basic_set_list_intersect
4 days ago Sven Verdoolaegeisl_ast_codegen.c: add_node: replace gist by pure speci...
4 days ago Sven Verdoolaegeisl_ast_build_expr_from_pw_aff: exploit domain constrai...
2014-08-05 Sven Verdoolaegeisl_ast_build_expr_from_basic_set: exploit earlier...
2014-08-05 Sven Verdoolaegeisl_ast_build_expr_from_basic_set: sort constraints
2014-08-05 Sven Verdoolaegeadd isl_constraint_cmp_last_non_zero
2014-08-05 Sven Verdoolaegeadd isl_int_abs_cmp
2014-08-05 Sven Verdoolaegeadd isl_constraint_plain_cmp
2014-08-05 Sven Verdoolaegeisl_ast_build_expr_from_basic_set: operate on list...
4 months ago isl-0.13 isl 0.13
7 months ago isl-0.12.2 isl 0.12.2
12 months ago isl-0.12.1 isl 0.12.1
13 months ago isl-0.12 isl 0.12
16 months ago isl-0.11.2 isl 0.11.2
20 months ago isl-0.11.1 isl 0.11.1
20 months ago isl-0.11 isl 0.11
2 years ago isl-0.10 isl 0.10
2 years ago isl-0.09 isl 0.09
2 years ago isl-0.08 isl 0.08
3 years ago isl-0.07 isl 0.07
3 years ago isl-0.06 isl 0.06
3 years ago isl-0.05.1 isl 0.05.1
3 years ago isl-0.05 isl 0.05
3 years ago isl-0.04 isl 0.04
4 years ago isl-0.03 isl 0.03
4 days ago master
2 weeks ago maint