descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeWed, 5 Dec 2018 08:52:39 +0000 (5 09:52 +0100)
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 VerdoolaegePython bindings tests: drop "get_" prefix from method... masterpu
6 days ago Sven VerdoolaegeC++ bindings tests: drop "get_" prefix from method...
6 days ago Sven Verdoolaegebindings: drop "get_" prefix of methods that start...
6 days ago Sven Verdoolaegemove prefixcmp to interface/generator.h
6 days ago Sven Verdoolaegegenerator::is_static: extract out isl_class::is_static
6 days ago Sven Verdoolaegepython_generator::print_method_header: extract out...
6 days ago Sven Verdoolaegecpp_generator::print_method_decl: extract out print_nam...
6 days ago Sven Verdoolaegecpp_generator::print_method_header: extract out print_n...
6 days ago Sven Verdoolaegeadd isl_ast_node_if_get_else_node as alternative name...
6 days ago Sven VerdoolaegeC++ bindings: rename get_ctx method to ctx
6 days ago Sven VerdoolaegeC++ bindings: specify namespace in ctx object construct...
6 days ago Sven VerdoolaegeC++ bindings: specify namespace on return type of get_c...
6 days ago Sven VerdoolaegeC++ bindings: add back namespace specifier on isl objec...
6 days ago Sven VerdoolaegeC++ bindings: rename local ctx variable to saved_ctx
2018-10-23 Sven VerdoolaegeMerge branch 'maint'
2018-10-23 Sven Verdoolaegeisl_printer_print_multi_pw_aff: handle output name...
...
tags
4 months ago isl-0.20 isl 0.20
9 months ago isl-0.19 isl 0.19
13 months ago consecutivity_CW_709
23 months ago isl-0.18 isl 0.18
2 years ago isl-0.17.1 isl 0.17.1
2 years ago isl-0.17 isl 0.17
2 years ago isl-0.16.1 isl 0.16.1
2 years ago isl-0.16 isl 0.16
3 years ago isl-0.15 isl 0.15
3 years ago isl-0.14.1 isl-0.14.1
4 years ago isl-0.14 isl 0.14
4 years ago isl-0.13 isl 0.13
4 years ago isl-0.12.2 isl 0.12.2
5 years ago isl-0.12.1 isl 0.12.1
5 years ago isl-0.12 isl 0.12
5 years ago isl-0.11.2 isl 0.11.2
...
heads
6 days ago pu
6 days ago master
2 weeks ago maint
4 months ago cpp
5 months ago consecutivity