descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeTue, 26 May 2015 13:34:28 +0000 (26 15:34 +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
2 days ago Sven Verdoolaegerename isl_{,in}equality_alloc to isl_constraint_alloc_... master
2 days ago Sven Verdoolaegerename isl_schedule_*_map_* to isl_schedule_*_map_...
2 days ago Sven Verdoolaegerename isl_schedule_*_foreach_* to isl_schedule_*_forea...
2 days ago Sven Verdoolaegeisl_scheduler.c: compute_component_schedule: drop redun...
2 days ago Sven Verdoolaegeisl_scheduler.c: compute_split_schedule: drop redundant...
2 days ago Sven Verdoolaegeisl_schedule_constraints_compute_schedule: handle confl...
2 days ago Sven Verdoolaegeisl_map_simplify.c: eliminate_div: improve error handling
2 days ago Tobias GrosserUpdate imath to 23b2b1f
6 days ago Sven Verdoolaegeintroduce isl_bool and isl_stat return types
6 days ago Sven Verdoolaegeisl/hash.h: include isl/ctx.h
6 days ago Sven Verdoolaegeremove include of isl/hash.h from isl/ctx.h
6 days ago Sven Verdoolaegedirectly include isl/stdint.h in headers that use uint3...
6 days ago Michael Kruseisl_union_*_mul_isl_int: add missing &-operator
10 days ago Sven Verdoolaegehide internal isl_map functions
10 days ago Sven Verdoolaegehide internal isl_set functions
10 days ago Sven Verdoolaegehide internal isl_basic_map functions
...
tags
7 weeks ago isl-0.14.1 isl-0.14.1
7 months ago isl-0.14 isl 0.14
13 months ago isl-0.13 isl 0.13
16 months ago isl-0.12.2 isl 0.12.2
22 months ago isl-0.12.1 isl 0.12.1
23 months 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
2 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
4 years ago isl-0.05 isl 0.05
...
heads
2 days ago master
13 days ago maint