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, 13 Sep 2025 13:53:47 +0000 (13 15:53 +0200)
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 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.

5 days ago	Sven Verdoolaege	include/isl/ctx.h: add missing includemaster	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
5 days ago	Sven Verdoolaege	Makefile.am: do not consider Python interface as built...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2025-01-21	Sven Verdoolaege	add isl_union_{set,map}_plain_unshifted_simple_hull	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-09-01	Sven Verdoolaege	isl 0.27isl-0.27	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-09-01	Sven Verdoolaege	only copy generated interfaces to source tree when...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-31	Sven Verdoolaege	regenerate documentation when version changes	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-31	Sven Verdoolaege	doc/Makefile.am: simplify version extraction	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-31	Sven Verdoolaege	AX_DETECT_GIT_HEAD: use absolute paths in GIT_HEAD...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-18	Sven Verdoolaege	isl_aff_as_domain_extension: fix use after free	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-10	Sven Verdoolaege	isl_multi_union_pw_aff_zero: use appropriate isl_dim_type	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-10	Sven Verdoolaege	isl_tab_set_initial_basis_with_cone: clarify documentation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-10	Sven Verdoolaege	isl_qpolynomial_var_on_domain: drop spurious space	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-10	Sven Verdoolaege	isl_sample.c: sample_bounded: drop spurious space in...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-10	Sven Verdoolaege	isl_sample.c: isl_tab_sample: drop spurious space in...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-10	Sven Verdoolaege	isl_tab: fix typo in comment	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-08-10	Sven Verdoolaege	isl_transitive_closure.c: path_along_delta: fix typo...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

12 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
4 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
5 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
7 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
...

5 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

Integer set library

RSS Atom