Public Git Hosting - isl.git/summary

description	Integer set library
homepage URL	http://freshmeat.net/projects/isl
owner	skimo-isl@kotnet.org
last change	Sat, 22 Nov 2025 14:26:18 +0000 (22 15:26 +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	C MIT fbgh 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.

9 days ago	Sven Verdoolaege	doc: update supported versions of clangmaster	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	clang_wrap.h: optionally pass "DiagnosticOptions &...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	clang_wrap.h: extract ISL_VALID_EXPR_FOR_TEMPLATE_ARG...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	interface: extract out isl::clang::Wrap::getDiagnosticO...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	clang_wrap.h: avoid calling CompilerInstance::setInvocation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	clang_wrap.h: explicitly add <resource_dir>/include...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	clang_wrap.h: obtain resource directory from clang...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	clang_wrap.h: optionally pass VFS to createDiagnostics	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	clang_wrap.h: do not return reference to local object...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	move Wrap helper class to installed isl-interface/clang...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	move interface/set_lang_defaults_arg4.h to interface...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	interface: place Wrap helper class in separate namespace	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	interface: move clang::driver::Job declaration	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	interface: adjust getFileRef method detection for compa...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	interface: mark add_path function static	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Sven Verdoolaege	interface: use explicit std:: namespace specifier in...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

15 months ago	isl-0.27	isl 0.27	tag	\| commit \| log
2 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
5 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
6 years ago	isl-0.21	isl 0.21	tag	\| commit \| log
7 years ago	isl-0.20	isl 0.20	tag	\| commit \| log
7 years ago	isl-0.19	isl 0.19	tag	\| commit \| log
8 years ago	consecutivity_CW_709			\| commit \| log
8 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
9 years ago	isl-0.16.1	isl 0.16.1	tag	\| commit \| log
9 years ago	isl-0.16	isl 0.16	tag	\| commit \| log
...

9 days ago	master	log \| tree
2 years ago	maint	log \| tree
3 years ago	nana	log \| tree
4 years ago	consecutivity	log \| tree
5 years ago	pu	log \| tree
7 years ago	cpp	log \| tree

Cached version (5705s old)

isl/isl.git

emery.berger@gmail.com

2 months ago

summary | log | tree

Integer set library

RSS Atom