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 Jun 2024 13:52:55 +0000 (22 15:52 +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.

10 days ago	Sven Verdoolaege	codegen_test.sh.in: determine option to produce context... master	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
10 days ago	Sven Verdoolaege	codegen_test.sh.in: use single loop to iterate over...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-06-16	Sven Verdoolaege	detect more forms of modulo expressions when extracting...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-06-16	Sven Verdoolaege	isl_map.c: extract out shared extract_aff	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-06-16	Sven Verdoolaege	isl_map.c: construct_mod: extract out wrap_for_plug_in...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-06-08	Sven Verdoolaege	extract out shared isl_seq_any_non_zero	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-06-08	Sven Verdoolaege	isl_map_simplify.c: better_div_constraint: use isl_basi...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-25	Sven Verdoolaege	add more lexicographic minimization tests	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-25	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: detect modulos and...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-25	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt*: separate out interse...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-25	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt*: intersect with domai...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-25	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt*: drop redundant check	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-25	Sven Verdoolaege	simplify constraints by checking for residues	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-25	Sven Verdoolaege	add isl_seq_sub	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-25	Sven Verdoolaege	isl_basic_map_gist: allow existentially quantified...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2024-05-25	Sven Verdoolaege	isl_basic_map_align_divs: use isl_basic_map_dim	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

15 months ago	isl-0.26	isl 0.26	tag	\| commit \| log
2 years 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
9 years ago	isl-0.15	isl 0.15	tag	\| commit \| log
...

10 days ago	master	log \| tree
14 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