descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeThu, 17 Apr 2014 21:12:19 +0000
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 Tobias GrosserAvoid uninitialized memory warning in valgrind when... master
3 days ago Sven Verdoolaegedrop isl_tab_extend in favor of isl_tab_extend_cons
3 days ago Sven VerdoolaegeMerge branch 'maint'
3 days ago Sven Verdoolaegeisl_sample.c: tab_shift_cone: use isl_tab_extend_cons... maint
4 days ago Sven Verdoolaegeremove WARN_UNUSED from public header
4 days ago Sven Verdoolaegeisl_printer_free: free indent_prefix
5 days ago Sven Verdoolaegeisl_input.c: accept_extended_affine: plug memory leak...
7 days ago Sven Verdoolaegeisl 0.13isl-0.13
7 days ago Sven Verdoolaegeisl_schedule.c: extract_edge: avoid NULL pointer derefe...
7 days ago Sven VerdoolaegeMerge branch 'maint'
7 days ago Sven Verdoolaegeisl_map.c: greator: avoid double free on error path
7 days ago Sven Verdoolaegeisl_union_*_alloc: avoid double free on error path
7 days ago Sven Verdoolaegeisl_union_*_alloc: plug memory leak on error path
7 days ago Sven Verdoolaegeisl_ctx_next_operation: handle NULL input
8 days ago Tobias GrosserMark the compute out feature experimental
8 days ago Sven Verdoolaegeupdate AUTHORS
...
tags
7 days ago isl-0.13 isl 0.13
3 months ago isl-0.12.2 isl 0.12.2
8 months ago isl-0.12.1 isl 0.12.1
9 months ago isl-0.12 isl 0.12
12 months ago isl-0.11.2 isl 0.11.2
16 months ago isl-0.11.1 isl 0.11.1
16 months ago isl-0.11 isl 0.11
22 months ago isl-0.10 isl 0.10
2 years ago isl-0.09 isl 0.09
2 years ago isl-0.08 isl 0.08
2 years ago isl-0.07 isl 0.07
3 years ago isl-0.06 isl 0.06
3 years ago isl-0.05.1 isl 0.05.1
3 years ago isl-0.05 isl 0.05
3 years ago isl-0.04 isl 0.04
3 years ago isl-0.03 isl 0.03
...
heads
3 days ago master
3 days ago maint