Public Git Hosting - barvinok.git/search

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	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
2010-09-05	Sven Verdoolaege	update isl for isl_pw_qpolynomial_split_periods	commit \| commitdiff \| tree
2010-08-31	Sven Verdoolaege	doc: mark PolyLib interface obsolescent	commit \| commitdiff \| tree
2010-08-31	Sven Verdoolaege	Makefile.am: drop references to obsolete @bv_barvinok_bound@	commit \| commitdiff \| tree
2010-08-31	Sven Verdoolaege	evalue_convert.cc: evalue_print_isl: print end-of-line	commit \| commitdiff \| tree
2010-08-30	Sven Verdoolaege	iscc: allow coercion of binary list into first element	commit \| commitdiff \| tree
2010-08-28	Sven Verdoolaege	barvinok_bound: convert to isl_pw_qpolynomial once	commit \| commitdiff \| tree
2010-08-28	Sven Verdoolaege	barvinok_bound: use isl to split on domain size	commit \| commitdiff \| tree
2010-08-26	Sven Verdoolaege	set sensible defaults with --polynomial-approximation...	commit \| commitdiff \| tree
2010-08-26	Sven Verdoolaege	isl_pw_qpolynomial_sum: reuse barvinok_options if available...	commit \| commitdiff \| tree
2010-08-26	Sven Verdoolaege	isl_map_card: reuse barvinok_options if available in...	commit \| commitdiff \| tree
2010-08-26	Sven Verdoolaege	update isl for aligning parameters of union arguments...	commit \| commitdiff \| tree
2010-08-18	Sven Verdoolaege	iscc: add "join" operation on folds	commit \| commitdiff \| tree
2010-08-18	Sven Verdoolaege	iscc: add "join" operation on maps and folds	commit \| commitdiff \| tree
2010-08-18	Sven Verdoolaege	iscc: support addition on a pair of a fold and a quasipolyno...	commit \| commitdiff \| tree
2010-08-18	Sven Verdoolaege	update isl for adding types to isl_{union_,}pw_qpolynomial_folds	commit \| commitdiff \| tree
2010-08-18	Sven Verdoolaege	allow codegen on sets	commit \| commitdiff \| tree
2010-08-18	Sven Verdoolaege	iscc: codegen: detect strides	commit \| commitdiff \| tree
2010-08-18	Sven Verdoolaege	iscc: use simplified CLooG interface	commit \| commitdiff \| tree
2010-08-18	Sven Verdoolaege	update isl for rename of isl_pw_qpolynomial_fold_add	commit \| commitdiff \| tree
2010-08-18	Sven Verdoolaege	iscc.c: union_pw_qpolynomial_upper_bound: fix memory...	commit \| commitdiff \| tree
2010-08-18	Sven Verdoolaege	summate.c: fix typo in comment	commit \| commitdiff \| tree
2010-08-17	Sven Verdoolaege	isl_map_apply_pw_qpolynomial: fix typo	commit \| commitdiff \| tree
2010-08-10	Sven Verdoolaege	update isl from isl_union_map fixes	commit \| commitdiff \| tree
2010-08-10	Sven Verdoolaege	iscc: allow inverse on non-union maps again	commit \| commitdiff \| tree
2010-08-05	Sven Verdoolaege	iscc: add wrap and unwrap operations	commit \| commitdiff \| tree
2010-08-05	Sven Verdoolaege	add isl_union_map_apply_union_pw_qpolynomial	commit \| commitdiff \| tree
2010-08-05	Sven Verdoolaege	isl_pw_qpolynomial_sum: handle isl_pw_qpolynomials...	commit \| commitdiff \| tree
2010-08-05	Sven Verdoolaege	update isl for nested dimension specifications	commit \| commitdiff \| tree
2010-08-05	Sven Verdoolaege	isl_map_card: postpone shuffling around of dimensions...	commit \| commitdiff \| tree
2010-08-05	Sven Verdoolaege	update isl for isl_basic_map_move_dims	commit \| commitdiff \| tree
2010-08-04	Sven Verdoolaege	isl_pw_qpolynomial_sum: push conversion to PolyLib...	commit \| commitdiff \| tree
2010-08-04	Sven Verdoolaege	isl_pw_qpolynomial_sum: check for unbounded domains	commit \| commitdiff \| tree
2010-08-02	Sven Verdoolaege	avoid use of isl_dim internals	commit \| commitdiff \| tree
2010-07-31	Sven Verdoolaege	iscc: support codegen operation if CLooG is available	commit \| commitdiff \| tree
2010-07-31	Sven Verdoolaege	iscc: switch to using unions	commit \| commitdiff \| tree
2010-07-31	Sven Verdoolaege	add isl_union_pw_qpolynomial_sum	commit \| commitdiff \| tree
2010-07-31	Sven Verdoolaege	add isl_union_map_card	commit \| commitdiff \| tree
2010-07-31	Sven Verdoolaege	isl_pw_qpolynomial_sum: take tuple names into account	commit \| commitdiff \| tree
2010-07-31	Sven Verdoolaege	isl_map_card: preserve full domain dimension information	commit \| commitdiff \| tree
2010-07-31	Sven Verdoolaege	update isl for change in isl_hash_table_foreach Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-07-31	Sven Verdoolaege	barvinok_enumerate.cc: fix printf format	commit \| commitdiff \| tree
2010-07-03	Sven Verdoolaege	doc: add some more papers refering to the library	commit \| commitdiff \| tree
2010-06-29	Sven Verdoolaege	barvinok 0.31	commit \| commitdiff \| tree
2010-06-29	Sven Verdoolaege	update isl to version 0.03	commit \| commitdiff \| tree
2010-06-29	Sven Verdoolaege	configure.in: properly add isl flags and libs to pkg...	commit \| commitdiff \| tree
2010-06-29	Sven Verdoolaege	configure.in: drop call to gl_EARLY	commit \| commitdiff \| tree
2010-06-29	Sven Verdoolaege	genfun.cc: fix printf format	commit \| commitdiff \| tree
2010-06-29	Sven Verdoolaege	test_approx.c: fix printf format	commit \| commitdiff \| tree
2010-06-29	Sven Verdoolaege	test_bound.c: fix printf format	commit \| commitdiff \| tree
2010-06-29	Sven Verdoolaege	configure.in: stop compiling Omega by default	commit \| commitdiff \| tree
2010-06-28	Sven Verdoolaege	verify_lexsmaller.c: fix typo	commit \| commitdiff \| tree
2010-06-27	Sven Verdoolaege	evalue.c: avoid use of alloca	commit \| commitdiff \| tree
2010-06-26	Sven Verdoolaege	evalue_isl.c: fix typo	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom