Public Git Hosting - isl.git/summary

description	Integer set library
homepage URL	http://freshmeat.net/projects/isl
owner	skimo-isl@kotnet.org
last change	Sun, 22 Mar 2026 13:28:47 +0000 (22 14:28 +0100)
URL	git://repo.or.cz/isl.git
	https://repo.or.cz/isl.git
push URL	ssh://repo.or.cz/isl.git
	https://repo.or.cz/isl.git ^{(learn more)}
bundle info	isl.git downloadable bundles
content tags add:	C MIT fbgh g3349530943 socat

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.

2026-03-22	Sven Verdoolaege	isl_tab_extend_cons: use isl_tab_get_ctxmaster	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-03-22	Sven Verdoolaege	isl_tab_pip.c: sol_context_add_eq: detect prior error...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-03-22	Sven Verdoolaege	isl_map*product: fix error handling	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-02-28	Sven Verdoolaege	isl_ast_build_expr_from_set: drop expressions generated...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-02-28	Sven Verdoolaege	isl_ast_build_expr.c: extract out ast_expr_binary_non_z...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-02-28	Sven Verdoolaege	isl_ast_build_expr_from_basic_set: add special case...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-02-28	Sven Verdoolaege	isl_ast_build_expr.c: extract_modulo: ignore void const...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-02-22	Sven Verdoolaege	isl_map_coalesce: remove duplicate basic maps up front	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-02-22	Sven Verdoolaege	AST generation: add special handling of strided domains...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-02-22	Sven Verdoolaege	isl_ast_build_has_stride: always use current depth	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-02-22	Sven Verdoolaege	isl_ast_codegen.c: extract out specialized version...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-02-07	Sven Verdoolaege	isl_ast_codegen.c: add_domain: check that guard is...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2026-02-01	Sven Verdoolaege	isl_basic_map_reduce_coefficients: do not reduce again...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2025-12-30	Sven Verdoolaege	isl_set_get_simple_fixed_box_hull: take into account...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2025-12-30	Sven Verdoolaege	isl_box.c: set_dim_extent: extract out isl_size_info_clear	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2025-12-30	Sven Verdoolaege	add more fixed box tests	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

19 months ago	isl-0.27	isl 0.27	tag	\| commit \| log
3 years ago	isl-0.26	isl 0.26	tag	\| commit \| log
3 years ago	isl-0.25	isl 0.25	tag	\| commit \| log
4 years ago	isl-0.24	isl 0.24	tag	\| commit \| log
5 years ago	isl-0.23	isl 0.23	tag	\| commit \| log
6 years ago	isl-0.22.1	isl 0.22.1	tag	\| commit \| log
6 years ago	isl-0.22	isl 0.22	tag	\| commit \| log
7 years ago	isl-0.21	isl 0.21	tag	\| commit \| log
7 years ago	isl-0.20	isl 0.20	tag	\| commit \| log
8 years ago	isl-0.19	isl 0.19	tag	\| commit \| log
8 years ago	consecutivity_CW_709			\| commit \| log
9 years ago	isl-0.18	isl 0.18	tag	\| commit \| log
9 years ago	isl-0.17.1	isl 0.17.1	tag	\| commit \| log
9 years ago	isl-0.17	isl 0.17	tag	\| commit \| log
10 years ago	isl-0.16.1	isl 0.16.1	tag	\| commit \| log
10 years ago	isl-0.16	isl 0.16	tag	\| commit \| log
...

3 weeks ago	master	log \| tree
3 years ago	maint	log \| tree
4 years ago	nana	log \| tree
4 years ago	consecutivity	log \| tree
6 years ago	pu	log \| tree
7 years ago	cpp	log \| tree

Cached version (6188s old)

isl/isl.git

emery.berger@gmail.com

7 months ago

summary | log | tree

Integer set library

RSS Atom