descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeSun, 17 May 2020 09:40:20 +0000 (17 11:40 +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
8 days ago Sven Verdoolaegeisl_basic_map_make_strides_explicit: move down isl_basi... master
8 days ago Sven Verdoolaegeisl_set_get_simple_fixed_box_hull: eliminate unknown...
2020-05-04 Sven Verdoolaegeextract out shared isl_basic_map_applies_range
2020-05-04 Sven Verdoolaegeisl_basic_map_apply_range: extract out isl_basic_map_ch...
2020-05-04 Sven Verdoolaegeisl_map.c: extract out shared isl_basic_map_set_tuple_i...
2020-05-04 Sven Verdoolaegeisl_map.c: extract out shared isl_map_set_tuple_is_equal
2020-05-04 Sven Verdoolaegeextract out shared isl_map_space_tuple_is_equal
2020-05-04 Sven Verdoolaegeextract out shared isl_map_tuple_is_equal
2020-05-04 Sven Verdoolaegeisl_map_deltas: use isl_map_check_transformation
2020-05-04 Sven Verdoolaegeextract out shared isl_basic_map_check_transformation
2020-05-04 Sven Verdoolaegeextract out shared isl_basic_map_is_transformation
2020-05-04 Sven Verdoolaegerename isl_map_check_equal_tuples to isl_map_check_tran...
2020-05-01 Sven Verdoolaegeisl_codegen: skip explicit printing of outermost block...
2020-04-30 Sven VerdoolaegeAST printing: make explicit printing of outermost block...
2020-04-30 Sven Verdoolaegedoc: clarify ast_always_print_block option
2020-04-25 Sven Verdoolaegeisl_map_coalesce: eliminate unit divs from wrapping...
...
tags
4 months ago isl-0.22.1 isl 0.22.1
6 months ago isl-0.22 isl 0.22
14 months ago isl-0.21 isl 0.21
21 months ago isl-0.20 isl 0.20
2 years ago isl-0.19 isl 0.19
2 years ago consecutivity_CW_709
3 years ago isl-0.18 isl 0.18
4 years ago isl-0.17.1 isl 0.17.1
4 years ago isl-0.17 isl 0.17
4 years ago isl-0.16.1 isl 0.16.1
4 years ago isl-0.16 isl 0.16
4 years ago isl-0.15 isl 0.15
5 years ago isl-0.14.1 isl-0.14.1
5 years ago isl-0.14 isl 0.14
6 years ago isl-0.13 isl 0.13
6 years ago isl-0.12.2 isl 0.12.2
...
heads
8 days ago master
7 weeks ago pu
7 weeks ago maint
10 months ago consecutivity
21 months ago cpp