descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeThu, 4 Jan 2018 21:28:18 +0000 (4 22:28 +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
2018-01-04 Sven Verdoolaegeinterface/cpp.cc: cpp_generator::print_method_impl... master
2018-01-04 Sven Verdoolaegecpp.cc: cpp_generator::print_public_constructors_impl...
2018-01-04 Sven Verdoolaegegenerator::generator: drop redundant argument
2018-01-04 Sven Verdoolaegeinterface/cpp.cc: fix typo in comment
2018-01-04 Sven Verdoolaegeisl_ctx: keep track of last error message, file and...
2018-01-04 Sven Verdoolaegeisl_ctx_alloc_with_options: reuse isl_ctx_reset_error
2018-01-03 Sven Verdoolaegeexpose isl_aff_param_on_domain_space_id
2017-12-28 Sven Verdoolaegeadd isl_union_pw_aff_param_on_domain
2017-12-28 Sven Verdoolaegeadd isl_space_add_param_id
2017-12-26 Sven Verdoolaegegeneralize isl_multi_union_pw_aff_multi_aff_on_domain...
2017-12-26 Sven Verdoolaegeisl_multi_union_pw_aff_multi_aff_on_domain: use isl_uni...
2017-12-26 Sven Verdoolaegeadd isl_union_set_space_has_equal_params
2017-12-26 Sven Verdoolaegeisl_printer_print_union_set: extract out uset_to_umap
2017-12-26 Sven Verdoolaegegeneralize isl_union_pw_aff_aff_on_domain to isl_union_...
2017-12-26 Sven Verdoolaegeisl_pw_*_get_space: extract out isl_pw_*_peek_space
2017-12-26 Sven Verdoolaegeisl_aff.c: pw_aff_aff_on_domain: explicitly insert...
...
tags
2 months ago consecutivity_CW_709
13 months ago isl-0.18 isl 0.18
20 months ago isl-0.17.1 isl 0.17.1
20 months 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
2 years ago isl-0.15 isl 0.15
2 years ago isl-0.14.1 isl-0.14.1
3 years ago isl-0.14 isl 0.14
3 years ago isl-0.13 isl 0.13
4 years ago isl-0.12.2 isl 0.12.2
4 years ago isl-0.12.1 isl 0.12.1
4 years ago isl-0.12 isl 0.12
4 years ago isl-0.11.2 isl 0.11.2
5 years ago isl-0.11.1 isl 0.11.1
5 years ago isl-0.11 isl 0.11
...
heads
2 weeks ago master
3 weeks ago maint
2 months ago consecutivity