Public Git Hosting - barvinok.git/search

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
2010-06-20	Sven Verdoolaege	iscc: recover from errors	commit \| commitdiff \| tree
2010-06-20	Sven Verdoolaege	update isl for improved error handling	commit \| commitdiff \| tree
2010-06-19	Sven Verdoolaege	iscc.c: fix typo	commit \| commitdiff \| tree
2010-06-13	Sven Verdoolaege	doc: iscc: update documentation of "ub" operator	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	test_approx: include ctype.h for isspace	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	test_approx: include config.h for HAVE_SYS_TIMES_H	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	test_bound: include config.h for HAVE_SYS_TIMES_H	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	iscc: add vertices operations	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	optionally use isl to perform parametric vertex enumeration	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	update isl-polylib for handling of rational sets	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	drop distinction between barvinok-core and barvinok	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	remove bernstein	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	update isl for generic isl_pw_qpolynomial_bound	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	configure.in: drop bv_omega_programs	commit \| commitdiff \| tree
2010-06-12	Sven Verdoolaege	add isl_ctx_peek_barvinok_options	commit \| commitdiff \| tree
2010-06-07	Sven Verdoolaege	iscc: parse barvinok options	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	export isl_qpolynomial_from_evalue	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	Makefile.am: drop dependence on doc/omega.tex	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	update isl for rename of isl_pw_qpolynomial_move	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	verif_ehrhart.c: add missing include	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	configure.in: fix typo	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	use isl for argument parsing	commit \| commitdiff \| tree
2010-06-01	Sven Verdoolaege	update isl for keeping track of user options	commit \| commitdiff \| tree
2010-05-19	Sven Verdoolaege	test_bound: rewrite in C	commit \| commitdiff \| tree
2010-05-19	Sven Verdoolaege	update isl for help message printing	commit \| commitdiff \| tree
2010-05-15	Sven Verdoolaege	remove evalue_optimum	commit \| commitdiff \| tree
2010-05-15	Sven Verdoolaege	remove evalue_range_propagation	commit \| commitdiff \| tree
2010-05-15	Sven Verdoolaege	test_bound: use isl interface for computing bounds	commit \| commitdiff \| tree
2010-05-15	Sven Verdoolaege	barvinok_bound: use isl interface for computing bounds	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	iscc: support ub even if GiNaC support was not compiled in	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	add generic isl_pw_qpolynomial_bound	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	update isl for isl_pw_qpolynomial_bound_range	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	test_bound: use isl during verification	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	barvinok_bound: use isl during verification	commit \| commitdiff \| tree
2010-05-14	Sven Verdoolaege	verify.c: extract some helper functions for isl based...	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom