descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeThu, 21 Jul 2016 09:24:10 +0000 (21 11:24 +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 Verdoolaegeinterface/extract_interface.cc: add missing includemaster
5 days ago Sven Verdoolaegedoc: minor clarification of anchored subtrees
5 days ago Sven Verdoolaegeisl_tab_pip.c: fix typos in comments
5 days ago Sven Verdoolaegeisl_*_partial_lex{min,max}_pw_multi_aff: remove existen...
5 days ago Sven Verdoolaegeisl_*_partial_lex{min,max}_pw_multi_aff: fix handling...
5 days ago Sven Verdoolaegeadd isl_basic_set_first_unknown_div
5 days ago Sven Verdoolaegeisl_tab_pip.c: isl_context_op.add_div: generalize to...
5 days ago Sven Verdoolaegeisl_tab_add_div: extract out isl_tab_insert_div
5 days ago Sven Verdoolaegeisl_tab_add_div: check size of integer division description
5 days ago Sven Verdoolaegeisl_basic_map_add_div: generalize to isl_basic_map_inse...
5 days ago Sven Verdoolaegeisl_basic_map_add_div: explicitly zero out coefficient...
5 days ago Sven Verdoolaegeextract out shared isl_basic_map_add_div
5 days ago Sven Verdoolaegeisl_tab: keep track of location of inserted integer...
5 days ago Sven Verdoolaegeisl_tab.c: perform_undo: extract out drop_bmap_div
5 days ago Sven Verdoolaegeprivately export isl_basic_map_drop_div
5 days ago Sven Verdoolaegeisl_basic_map_drop_div: add memory management annotations
...
tags
2 months ago isl-0.17.1 isl 0.17.1
2 months ago isl-0.17 isl 0.17
6 months ago isl-0.16.1 isl 0.16.1
6 months ago isl-0.16 isl 0.16
13 months ago isl-0.15 isl 0.15
15 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
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
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
...
heads
3 days ago master
5 days ago maint