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, 25 May 2024 13:04:53 +0000 (25 15:04 +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.

13 days ago	Sven Verdoolaege	isl_basic_map_gist: allow existentially quantified... master	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	isl_basic_map_align_divs: use isl_basic_map_dim	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	isl_basic_map_align_divs: use number of local variables...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	isl_map.c: find_div: return isl_size	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	isl_basic_map_plain_unshifted_simple_hull: explicitly...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	isl_basic_map_remove_shifted_constraints: align with...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	isl_basic_map_remove_shifted_constraints: drop existent...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	privately expose isl_basic_map_remove_unknown_divs	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	add some isl_basic_set_gist tests	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	move some gist tests to isl_test2.cc	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	isl_test2.cc: test(R (T::*fn)(A1 &, A2 &)): extract...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	isl_test2.cc: test(R (T::*fn)(A1 &, A2 &)): fix typo...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Sven Verdoolaege	isl_test.c: test_gist: fix check for internal consistency	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-11	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: detect modulos and...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-11	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_plug_in: extract isl_a...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-11	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_plug_in: simplify...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

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

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

Integer set library

RSS Atom