descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeThu, 25 May 2017 14:13:31 +0000 (25 16:13 +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
4 days ago Sven Verdoolaegeisl_sched_graph: add identifier to compressed nodes... master
4 days ago Sven Verdoolaegeadd isl_basic_set_variable_compression_with_id
4 days ago Sven Verdoolaegeisl_basic_set_variable_compression: rename "dim" variab...
4 days ago Sven Verdoolaegeisl_sched_graph: ignore parameters in identification...
4 days ago Sven Verdoolaegeisl_scheduler.c: node_has_space: rename "dim" variable...
4 days ago Sven Verdoolaegeisl_scheduler.c: graph_find_node: rename "dim" argument...
4 days ago Sven Verdoolaegeadd isl_space_get_tuple_hash
4 days ago Sven Verdoolaegeisl_space_get_{hash,domain_hash}: only hash in paramete...
4 days ago Sven Verdoolaegeisl_hash_{space,space_domain}: extract out shared param...
4 days ago Sven Verdoolaegeisl_space_get_hash: rename "dim" argument to "space"
4 days ago Sven Verdoolaegetest_inputs/codegen/{atomic,separate}.*: explicitly...
4 days ago Tobias Grossercpp: add unit tests
4 days ago Sven Verdoolaegeinterface: make language bindings depend on all relevan...
4 days ago Sven Verdoolaegeinterface/Makefile.am: drop test target
12 days ago Sven Verdoolaegeisl_schedule_constraints_compute_schedule: do not merge...
12 days ago Sven Verdoolaegeisl_union_map.c: rename cond_un_op to un_op
...
tags
5 months ago isl-0.18 isl 0.18
12 months ago isl-0.17.1 isl 0.17.1
12 months ago isl-0.17 isl 0.17
16 months ago isl-0.16.1 isl 0.16.1
16 months ago isl-0.16 isl 0.16
23 months ago isl-0.15 isl 0.15
2 years ago isl-0.14.1 isl-0.14.1
2 years ago isl-0.14 isl 0.14
3 years ago isl-0.13 isl 0.13
3 years ago isl-0.12.2 isl 0.12.2
3 years ago isl-0.12.1 isl 0.12.1
3 years ago isl-0.12 isl 0.12
4 years ago isl-0.11.2 isl 0.11.2
4 years ago isl-0.11.1 isl 0.11.1
4 years ago isl-0.11 isl 0.11
4 years ago isl-0.10 isl 0.10
...
heads
4 days ago master
13 days ago maint