descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeFri, 27 Mar 2015 11:57:34 +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 Sven Verdoolaegetest inter-band handling of conditional validity constr... master
3 days ago Sven VerdoolaegeMerge branch 'maint'
3 days ago Sven Verdoolaegeisl_schedule_constraints_compute_schedule: handle condi... maint
4 days ago Sven Verdoolaegeisl_scheduler.c: is_condition_false: allow edge->tagged...
5 days ago Sven Verdoolaegeisl_scheduler.c: move up some functions
5 days ago Sven Verdoolaegeisl_scheduler.c: update_edge: improve error handling
2015-03-16 Sven Verdoolaegeadd isl_schedule_node_order_after
2015-03-16 Sven Verdoolaegeadd isl_schedule_node_graft_after
2015-03-16 Sven Verdoolaegeadd isl_schedule_node_graft_before
2015-03-16 Sven Verdoolaegeadd isl_schedule_node_sequence_splice
2015-03-16 Sven Verdoolaegeadd isl_schedule_tree_sequence_pair
2015-03-16 Sven Verdoolaegeadd isl_schedule_node_extension
2015-03-16 Sven Verdoolaegeadd isl_schedule_insert_guard
2015-03-16 Sven Verdoolaegeadd isl_schedule_node_guard
2015-03-16 Sven Verdoolaegeadd isl_schedule_node_get_prefix_schedule_relation
2015-03-16 Sven Verdoolaegeisl_ast_build: add before_each_mark/after_each_mark...
...
tags
5 months ago isl-0.14 isl 0.14
11 months ago isl-0.13 isl 0.13
14 months ago isl-0.12.2 isl 0.12.2
20 months ago isl-0.12.1 isl 0.12.1
21 months ago isl-0.12 isl 0.12
23 months 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
4 years ago isl-0.04 isl 0.04
...
heads
3 days ago master
3 days ago maint