descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeTue, 21 Mar 2017 13:49:36 +0000 (21 14:49 +0100)
content tags
add:
readme
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.
shortlog
2 days ago Sven Verdoolaegedoc: explain must dependences in the result of dataflow... master
2 days ago Sven Verdoolaegeisl_basic_set_multiplicative_call: check for empty...
2 days ago Sven Verdoolaegeisl_basic_map_project_out: special case obviously empty...
7 days ago Sven Verdoolaegeisl_upoly_free: return NULL
7 days ago Sven Verdoolaegeisl_morph_free: return NULL
7 days ago Sven Verdoolaegeisl_vertices_free: return NULL
7 days ago Sven Verdoolaegeisl_vertices.c: free_vertex_list: return NULL
7 days ago Tobias Grosserlet isl_point_free return a NULL pointer
7 days ago Sven Verdoolaegeadd isl_aff_lt_set
7 days ago Sven Verdoolaegeadd isl_aff_lt_basic_set
7 days ago Sven Verdoolaegeadd isl_aff_gt_basic_set
7 days ago Sven Verdoolaegeisl_aff_neg_basic_set: extract out isl_aff_pos_basic_set
13 days ago Sven Verdoolaegeexplicitly mark isl_set_align_divs and isl_map_align_di...
13 days ago Sven Verdoolaegeisl_{set,map}_align_divs: extract out isl_map_align_div...
13 days ago Sven Verdoolaegeisl_map_align_divs: add memory management annotations
13 days ago Sven Verdoolaegedeprecate isl_map_n_*
...
tags
3 months ago isl-0.18 isl 0.18
10 months ago isl-0.17.1 isl 0.17.1
10 months ago isl-0.17 isl 0.17
14 months ago isl-0.16.1 isl 0.16.1
14 months ago isl-0.16 isl 0.16
21 months ago isl-0.15 isl 0.15
23 months ago isl-0.14.1 isl-0.14.1
2 years ago isl-0.14 isl 0.14
2 years ago isl-0.13 isl 0.13
3 years ago isl-0.12.2 isl 0.12.2
3 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
4 years ago isl-0.11.1 isl 0.11.1
4 years ago isl-0.11 isl 0.11
4 years ago isl-0.10 isl 0.10
...
heads
2 days ago master
3 weeks ago maint