descriptionInteger set library
homepage URL
last changeWed, 22 Jun 2016 18:33:45 +0000 (22 20:33 +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.
3 days ago Sven Verdoolaegeadd isl_basic_map_div_is_marked_unknownmaster
3 days ago Sven Verdoolaegeisl_map.c: div_is_unknown: return isl_bool
3 days ago Tobias GrosserAdd new isl_ast_node_to_C_str function
3 days ago Tobias GrosserAdd new isl_ast_expr_to_C_str function
4 days ago Tobias Grosserpython interface: replace assert with explicit abort...
4 days ago Tobias Grosserpython interface: replace assert with explicit abort...
9 days ago Sven Verdoolaegedoc: clarify that isl_printer_get_str can only be used...
11 days ago Sven Verdoolaegedoc: clean up extra files generated by biblatex
12 days ago Sven Verdoolaegeisl_schedule_node_band_split: preserve isolate option
12 days ago Sven Verdoolaegeadd private isl_schedule_band_replace_ast_build_option
12 days ago Sven Verdoolaegeuse isl_schedule_node_band_get_ast_isolate_option to...
12 days ago Sven Verdoolaegeadd isl_schedule_band_get_ast_isolate_option
2016-06-11 Sven Verdoolaegeisl_basic_map_remove_redundancies: sort constraints
2016-06-11 Sven Verdoolaegeisl_coalesce.c: fuse: simplify fused result immediately
2016-06-11 Sven Verdoolaegeisl_coalesce.c: fuse: call isl_basic_map_finalize
2016-06-10 Sven Verdoolaegeisl_map_coalesce: check for protrusions on adjacent...
7 weeks ago isl-0.17.1 isl 0.17.1
7 weeks ago isl-0.17 isl 0.17
5 months ago isl-0.16.1 isl 0.16.1
5 months ago isl-0.16 isl 0.16
12 months ago isl-0.15 isl 0.15
14 months ago isl-0.14.1 isl-0.14.1
20 months ago isl-0.14 isl 0.14
2 years ago isl-0.13 isl 0.13
2 years ago isl-0.12.2 isl 0.12.2
2 years ago isl-0.12.1 isl 0.12.1
3 years ago isl-0.12 isl 0.12
3 years ago isl-0.11.2 isl 0.11.2
3 years ago isl-0.11.1 isl 0.11.1
3 years ago isl-0.11 isl 0.11
4 years ago isl-0.10 isl 0.10
4 years ago isl-0.09 isl 0.09
3 days ago master
4 days ago maint