Public Git Hosting - barvinok.git/search

2011-03-18	Sven Verdoolaege	iscc.c: fix typo which would prevent compilation in... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	update isl to version 0.06 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl_pw_qpolynomial_sum: handle existentials in non... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	drop piplib submodule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	stop using pip as LP solver Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	doc: constraints no longer need to be specified in DNF Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	iscc: parse lists Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	add isl_list_add_obj Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	iscc: parse booleans Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	iscc: allow interruption of computation from the keyboard Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-17	Sven Verdoolaege	avoid use of isl_ctx internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-15	Sven Verdoolaege	isl_obj_str: print quotes around string Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-12	Sven Verdoolaege	iscc: keep track of intermediate results in interactive... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-12	Sven Verdoolaege	iscc: add pow Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-12	Sven Verdoolaege	iscc: add zip Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-11	Sven Verdoolaege	iscc: add deltas_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	lexmin: assume unknowns and parameters are non-negative... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	lexmin: use isl to read input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	also perform lexmin check in absence of GLPK Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	polysign: add isl-backed version and use it by default Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	update isl-polylib for fix in header file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	update isl for change in isl_flow_get_no_source Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-24	Sven Verdoolaege	doc: document isl modulo notation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	Makefile.am: put NTL CFLAGS after isl CFLAGS Signed-off-by: Sven Verdoolaege <verdoolaege@gamma.math.uni-magdeburg.de>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	iscc: read_line: fix return Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	evalue_isl.c: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	iscc: add operations on int objects Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	update isl for introduction of int objects Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-22	Sven Verdoolaege	add isl_basic_set_card and isl_basic_map_card Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	document isl_union_set_apply_union_pw_qpolynomial Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	remove polyhedron_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	remove polytope_minimize application Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	Polyhedron_Sample: use isl unconditionally Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	remove combine.c Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	build libisl and libpolylibgmp before libisl-polylib Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	iscc: support application of piecewise quasipolynomial... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	doc: fix documentation of join of maps and folds Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	add isl_union_set_apply_union_pw_qpolynomial Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	update isl for export of isl_union_map_from_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	iscc: add write operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	iscc: optionally disable read operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-15	Sven Verdoolaege	doc: explain comma operator in a set description Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-12	Sven Verdoolaege	iscc: add typeof operator Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-12	Sven Verdoolaege	add isl_str_from_string Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-12	Sven Verdoolaege	iscc.c: use C99 designated initializers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-12	Sven Verdoolaege	iscc: minor improvement in error message Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-08	Sven Verdoolaege	iscc: add domain_map and range_map operations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-08	Sven Verdoolaege	iscc: add "domain" and "range" synonyms for "dom" and... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-05	Sven Verdoolaege	update isl to version 0.05.1 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-30	Sven Verdoolaege	iscc: don't allow code generation on union sets of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-23	Sven Verdoolaege	update isl to version 0.05 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-01	Sven Verdoolaege	avoid use of isl_set and isl_map internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-28	Sven Verdoolaege	separate out isl interface Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-28	Sven Verdoolaege	configure.in: propagate absolute isl builddir to submodule... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-20	Sven Verdoolaege	update isl for rename of header files Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-12	Sven Verdoolaege	evalue_floor2frac: don't assume coefficients of floors... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-12	Sven Verdoolaege	test_bound: stop testing after predetermined number... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-12	Sven Verdoolaege	barvinok_bound: rewrite in C Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-12	Sven Verdoolaege	barvinok_{summate,bound}: take isl input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-12	Sven Verdoolaege	test_bound: switch to isl representation even earlier Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-12	Sven Verdoolaege	test_bound: switch to isl representation earlier Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-12	Sven Verdoolaege	iscc: add polynomial approximations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-11	Sven Verdoolaege	barvinok_summate: rewrite in C Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-11	Sven Verdoolaege	barvinok_summate: use isl interface Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-10	Sven Verdoolaege	bound.cc: drop dead code Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-07	Sven Verdoolaege	doc: more information about using sets and maps in... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-06	Sven Verdoolaege	doc: update some references Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-06	Sven Verdoolaege	iscc: add poly operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-03	Sven Verdoolaege	iscc: add scan operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-01	Sven Verdoolaege	isl_pw_qpolynomial_sum: handle existentials in wrapped...	commit \| commitdiff \| tree
2010-10-27	Sven Verdoolaege	update isl for renaming of isl_map_remove	commit \| commitdiff \| tree
2010-10-20	Sven Verdoolaege	version.c: show use of CLooG	commit \| commitdiff \| tree
2010-10-18	Sven Verdoolaege	doc: a bit more info on iscc	commit \| commitdiff \| tree
2010-10-18	Sven Verdoolaege	iscc: add before and after operations	commit \| commitdiff \| tree
2010-10-18	Sven Verdoolaege	iscc: add identity operation	commit \| commitdiff \| tree
2010-10-18	Sven Verdoolaege	iscc: break out off main loop when printer no longer...	commit \| commitdiff \| tree
2010-10-18	Sven Verdoolaege	iscc: support extended PolyLib output format	commit \| commitdiff \| tree
2010-10-18	Sven Verdoolaege	configure.in: perform check for GMP support in NTL... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	isl_Polyhedron_Sample: add missing initialization	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	iscc: add composition operation on piecewise quasipolynomial...	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	iscc: add dependence analysis operations	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	iscc: register extra keywords in generic way	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	use isl to perform "manual_count"	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	allow building without piplib	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	Polyhedron_Reduced_Basis: optionally use isl	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	fix dependence on build isl	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	isl_map_card: use isl for factorization	commit \| commitdiff \| tree
2010-09-14	Sven Verdoolaege	isl_map_card: split dimension fiddling from conversion...	commit \| commitdiff \| tree
2010-09-13	Sven Verdoolaege	isl_map_card: use isl_pw_qpolynomial_sum if requested...	commit \| commitdiff \| tree
2010-09-13	Sven Verdoolaege	barvinok 0.32.1	commit \| commitdiff \| tree
2010-09-13	Sven Verdoolaege	update isl for fix in parameter alignment	commit \| commitdiff \| tree
2010-09-10	Sven Verdoolaege	barvinok 0.32	commit \| commitdiff \| tree
2010-09-10	Sven Verdoolaege	iscc: add lexicographic operators	commit \| commitdiff \| tree
2010-09-10	Sven Verdoolaege	update isl to version 0.04	commit \| commitdiff \| tree
2010-09-07	Sven Verdoolaege	iscc: add "source" operation	commit \| commitdiff \| tree
2010-09-06	Sven Verdoolaege	iscc: add support for strings	commit \| commitdiff \| tree
2010-09-06	Sven Verdoolaege	iscc: print error message on use of unknown identifier	commit \| commitdiff \| tree
2010-09-06	Sven Verdoolaege	iscc: support union sets in vertices operation	commit \| commitdiff \| tree
2010-09-06	Sven Verdoolaege	add isl_list_concat	commit \| commitdiff \| tree
2010-09-05	Sven Verdoolaege	barvinok_bound: use isl to split periods	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom