repo.or.cz / isl.git / summary
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork

 
descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeWed, 22 May 2013 10:28:26 +0000
URLgit://repo.or.cz/isl.git
http://repo.or.cz/r/isl.git
Push URLssh://repo.or.cz/srv/git/isl.git
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 VerdoolaegeMerge branch 'maint' master commit | commitdiff | tree | snapshot (tar.gz zip)
2 days ago Sven Verdoolaegeisl_basic_map_foreach_lexopt: properly merge partial... maint commit | commitdiff | tree | snapshot (tar.gz zip)
2013-05-06 Sven Verdoolaegemerge shared isl_multi_* declarations commit | commitdiff | tree | snapshot (tar.gz zip)
2013-05-04 Sven Verdoolaegedeclare isl_multi_* together with isl_* commit | commitdiff | tree | snapshot (tar.gz zip)
2013-05-04 Sven Verdoolaegemake isl_multi_* files more self-contained commit | commitdiff | tree | snapshot (tar.gz zip)
2013-05-03 Sven Verdoolaegeisl_space_private.h: protect against multiple inclusions commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-30 Sven Verdoolaegedetect missing gmp.h or missing/old gmp library during... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-30 Sven Verdoolaegeisl_ast_codegen.c: add_nodes: use more transparent... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-30 Sven Verdoolaegeadd isl_basic_map_order_gt commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-30 Sven Verdoolaegebound.c: verify_point: use isl_printer commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-28 Sven Verdoolaegeisl_input.c: read_factor: declare variables at start... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-28 Sven VerdoolaegeMerge branch 'maint' commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-23 Sven Verdoolaegeisl_*alloc*: return NULL if ctx argument is NULL commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-22 Sven Verdoolaegeisl_space.c: add missing include commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-22 Sven Verdoolaegedeclare isl_tab_get_ctx in isl_tab.h commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-22 Sven Verdoolaegedeclare isl_*_list together with isl_* commit | commitdiff | tree | snapshot (tar.gz zip)
...
tags
6 weeks ago isl-0.11.2 isl 0.11.2 tag | commit | log
5 months ago isl-0.11.1 isl 0.11.1 tag | commit | log
5 months ago isl-0.11 isl 0.11 tag | commit | log
11 months ago isl-0.10 isl 0.10 tag | commit | log
17 months ago isl-0.09 isl 0.09 tag | commit | log
19 months ago isl-0.08 isl 0.08 tag | commit | log
22 months ago isl-0.07 isl 0.07 tag | commit | log
2 years ago isl-0.06 isl 0.06 tag | commit | log
2 years ago isl-0.05.1 isl 0.05.1 tag | commit | log
2 years ago isl-0.05 isl 0.05 tag | commit | log
2 years ago isl-0.04 isl 0.04 tag | commit | log
2 years ago isl-0.03 isl 0.03 tag | commit | log
3 years ago isl-0.02 isl 0.02 tag | commit | log
3 years ago isl-0.01 isl 0.01 tag | commit | log
heads
2 days ago master log | tree
2 days ago maint log | tree
Integer set library