descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeTue, 23 Jun 2015 08:42:04 +0000 (23 10:42 +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
6 days ago Sven Verdoolaegeisl_ast_expr_from_aff: avoid extracting modulos with... master
6 days ago Sven Verdoolaegeisl_basic_map_simplify: remove integer coefficients...
6 days ago Sven Verdoolaegeisl_basic_map_shift_div: handle shift of coefficients...
6 days ago Sven Verdoolaegeadd isl_schedule_node_band_mod
6 days ago Sven Verdoolaegeadd isl_schedule_node_band_shift
8 days ago Sven Verdoolaegegeneralize isl_multi_aff_add
8 days ago Sven Verdoolaegeadd isl_multi_*_factor_range
8 days ago Sven Verdoolaegeisl_space_factor_range: accept set space input
8 days ago Sven Verdoolaegeisl_space.c: move isl_space_factor_range down
8 days ago Sven Verdoolaegeadd -std=gnu99 to compile flags when compiling imath...
8 days ago Sven Verdoolaegeisl_test_int.c: avoid for loop initial declarations
12 days ago Sven Verdoolaegeadd isl_val_get_den_val
12 days ago Sven Verdoolaegereplace snprintf by _snprintf when available
12 days ago Sven Verdoolaegereplace str{,n}casecmp by _str{,n}icmp when available
12 days ago Sven Verdoolaegedefine ffs in terms of _BitScanForward if _BitScanForwa...
12 days ago Sven Verdoolaegeonly include strings.h when needed for ffs
...
tags
2 weeks ago isl-0.15 isl 0.15
2 months ago isl-0.14.1 isl-0.14.1
8 months ago isl-0.14 isl 0.14
14 months ago isl-0.13 isl 0.13
17 months ago isl-0.12.2 isl 0.12.2
23 months 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
3 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
4 days ago maint
6 days ago master