descriptionInteger set library
homepage URL
last changeSun, 16 Aug 2015 19:21:52 +0000 (16 21:21 +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.
2015-08-16 Sven Verdoolaegeisl_map_simplify.c: uset_gist_compressed: take into... master
2015-08-10 Sven Verdoolaegeimath-32: allow updating isl_int passed as argument
2015-08-08 Michael KruseAdd missing CLEANFILES and DISTCLEANFILES
2015-08-08 Michael KruseDo not create gitversion.h at configure-time
2015-08-06 Tobias GrosserMake pass-by-reference explicit by using pointers
2015-08-05 Sven VerdoolaegeMerge branch 'maint'
2015-08-05 Sven Verdoolaegeadd isl_schedule_gist_domain_params
2015-08-05 Sven Verdoolaegeadd isl_multi_union_pw_aff_coalesce
2015-08-05 Sven Verdoolaegeisl_union_access_info_compute_flow: take into account... maint
2015-08-05 Sven Verdoolaegeisl_printer_print_local_space: print closing parenthesi...
2015-08-04 Sven Verdoolaegedrop isl_ast_build_restrict_pending
2015-08-04 Sven Verdoolaegeisl_output.c: print_div: improve error handling
2015-07-31 Michael KruseUninstall GDB bindings
2015-07-31 Sven Verdoolaegeisl_output.c: print_disjunct: use names from space...
2015-07-31 Sven Verdoolaegeisl_output.c: print_disjunct: rename "dim" to "space"
2015-07-29 Sven Verdoolaegeisl_basic_map_gist: do not introduce context divs in...
2 months ago isl-0.15 isl 0.15
4 months ago isl-0.14.1 isl-0.14.1
10 months ago isl-0.14 isl 0.14
16 months ago isl-0.13 isl 0.13
19 months ago isl-0.12.2 isl 0.12.2
2 years ago isl-0.12.1 isl 0.12.1
2 years ago isl-0.12 isl 0.12
2 years ago isl-0.11.2 isl 0.11.2
2 years ago isl-0.11.1 isl 0.11.1
2 years ago isl-0.11 isl 0.11
3 years ago isl-0.10 isl 0.10
3 years ago isl-0.09 isl 0.09
3 years ago isl-0.08 isl 0.08
4 years ago isl-0.07 isl 0.07
4 years ago isl-0.06 isl 0.06
4 years ago isl-0.05.1 isl 0.05.1
2 weeks ago master
3 weeks ago maint