descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeMon, 27 Jul 2015 12:33:49 +0000 (27 14:33 +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
44 hours ago Sven Verdoolaegeisl_basic_map_overlying_set: simply reset space when... master
44 hours ago Sven Verdoolaegeisl_basic_map_reset_space: special case reset to same...
5 days ago Sven Verdoolaegeisl_basic_map_reset_space: rename "dim" variable to...
5 days ago Sven Verdoolaegeinterface/extract_interface.cc: adjust to removal of...
5 days ago Tobias Grossertest_inputs/brisebarre.pip: use unix line endings
5 days ago Sven VerdoolaegeMerge branch 'maint'
5 days ago Sven Verdoolaegeallow multiple isl_pw_multi_aff objects with given...
5 days ago Sven Verdoolaegeextract out isl_union_single.c
5 days ago Sven Verdoolaegeisl_union_*_add_part_generic: check for overlapping...
5 days ago Sven Verdoolaegeisl_union_*_plain_is_equal: also check total number...
7 days ago Tobias Grosserisl_simple_hull: check for empty/single-disjunct map...
7 days ago Tobias Grosserisl_ast_build_expr_from_basic_set: do not use freed...
9 days ago Sven Verdoolaegeisl_mat_variable_compression: only set *T2 to NULL...
9 days ago Sven VerdoolaegeAST generation: use consistent set of pending constraints
10 days ago Sven Verdoolaegeisl_union_pw_aff_pullback_union_pw_multi_aff: use isl_u...
10 days ago Sven Verdoolaegeisl_aff.c: upa_pb_upma: use isl_union_pw_multi_aff_fore...
...
tags
6 weeks ago isl-0.15 isl 0.15
3 months ago isl-0.14.1 isl-0.14.1
9 months ago isl-0.14 isl 0.14
15 months ago isl-0.13 isl 0.13
18 months ago isl-0.12.2 isl 0.12.2
2 years ago isl-0.12.1 isl 0.12.1
2 years ago isl-0.12 isl 0.12
2 years ago isl-0.11.2 isl 0.11.2
2 years ago isl-0.11.1 isl 0.11.1
2 years ago isl-0.11 isl 0.11
3 years ago isl-0.10 isl 0.10
3 years ago isl-0.09 isl 0.09
3 years ago isl-0.08 isl 0.08
4 years ago isl-0.07 isl 0.07
4 years ago isl-0.06 isl 0.06
4 years ago isl-0.05.1 isl 0.05.1
...
heads
44 hours ago master
3 days ago maint