descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeFri, 17 Aug 2018 12:47:16 +0000 (17 14:47 +0200)
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
3 days ago Sven Verdoolaegeisl_cell_free: return NULLmaster
3 days ago Sven Verdoolaegeisl_vertex_free: return NULL
3 days ago Sven Verdoolaegeisl_qpolynomial_fold_free: return NULL
3 days ago Sven Verdoolaegeisl_term_free: return NULL
3 days ago Sven Verdoolaegeisl_flow_free: return NULL
4 days ago Sven Verdoolaegesplit ISL_BASIC_MAP_NORMALIZED into *_NO_REDUNDANT...
5 days ago Sven Verdoolaegeisl_map_simplify.c: isl_basic_map_eliminate_vars: drop...
5 days ago Sven Verdoolaegeisl_map_simplify.c: set_div_from_eq: drop redundant...
5 days ago Sven Verdoolaegeisl_map_simplify.c: eliminate_var_using_equality: drop...
5 days ago Sven Verdoolaegeisl_map.c: insert_bounds_on_div_from_ineq: drop redunda...
6 days ago Sven Verdoolaegeno longer use whole-component scheduler by default
7 days ago Sven Verdoolaegeisl_multi_templ.c: extract out isl_multi_product_templ.c
7 days ago Sven Verdoolaegeisl_multi_templ.c: extract out isl_multi_splice_templ.c
7 days ago Sven Verdoolaegeisl_multi_templ.c: extract out isl_multi_zero_templ.c
7 days ago Sven Verdoolaegeisl_multi_templ.c: extract out isl_multi_move_dims_templ.c
7 days ago Sven Verdoolaegeisl_multi_templ.c: extract out isl_multi_from_base_templ.c
...
tags
3 weeks ago isl-0.20 isl 0.20
5 months ago isl-0.19 isl 0.19
9 months ago consecutivity_CW_709
20 months ago isl-0.18 isl 0.18
2 years ago isl-0.17.1 isl 0.17.1
2 years 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
3 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
5 years ago isl-0.12.1 isl 0.12.1
5 years ago isl-0.12 isl 0.12
5 years ago isl-0.11.2 isl 0.11.2
...
heads
3 days ago master
4 days ago maint
3 weeks ago cpp
6 weeks ago consecutivity