Public Git Hosting - barvinok/uuh.git/search

2015-05-02	Sven Verdoolaege	hilbert.c: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-05-02	Sven Verdoolaege	summate.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-04-30	Sven Verdoolaege	isl_map_polylib.h: include correct header Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-03-17	Sven Verdoolaege	iscc.c: vertices: avoid uninitialized read on error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-26	Sven Verdoolaege	iscc: avoid use of pet_scop_collect_schedule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-26	Sven Verdoolaege	update pet for representing schedule as schedule tree Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-26	Sven Verdoolaege	update isl for sufficient schedule tree support for pet Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-24	Oleksandr Zinenko	configure.ac: allow builddir for NTL Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-24	Oleksandr Zinenko	configure.ac: allow builddir for GMP Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-05	Sven Verdoolaege	iscc.c: use isl_stream_get_ctx instead of reading ctx... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-05	Sven Verdoolaege	iscc.c: use isl_stream_is_empty instead of reading... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-05	Sven Verdoolaege	update isl for isl_stream_get_ctx Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-05	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-02-05	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-18	Sven Verdoolaege	summate.c: avoid use of isl_union_pw_qpolynomial_add_pw_qpol... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-18	Sven Verdoolaege	barvinok.cc: avoid use of isl_union_pw_qpolynomial_add_pw_qp... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-12-18	Sven Verdoolaege	isl_union_set_lattice_width: check whether input is... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-23	Sven Verdoolaege	summate.c: join_compatible: avoid use of undocumented... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-11-23	Sven Verdoolaege	summate.c: join_compatible: rename "dim" variables... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-10-26	Sven Verdoolaege	update pet to version 0.06 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-10-26	Sven Verdoolaege	update isl to version 0.14 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-10-14	Sven Verdoolaege	README: update contact information Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-10-09	Sven Verdoolaege	update isl for change in isl_map_subtract Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-11	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-11	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-09-11	Sven Verdoolaege	lattice_width.c: avoid use of deprecated function Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-22	Sven Verdoolaege	barvinok_enumerate_with_options: handle context constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-18	Sven Verdoolaege	doc: add another paper refering to the library Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-04	Sven Verdoolaege	isl_Polyhedron_Reduced_Basis: avoid double free of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-03	Thomas Kahle	Update the glpk calls to the new glp_ API Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-22	Sven Verdoolaege	iscc: also disallow source operation when --no-io is... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-14	Sven Verdoolaege	barvinok 0.37 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-14	Sven Verdoolaege	update pet to version 0.05 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-14	Sven Verdoolaege	update isl to version 0.13	commit \| commitdiff \| tree
2014-04-13	Tobias Grosser	Add missing include of isl/aff.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-04	Sven Verdoolaege	update pet for sorting of arrays Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-02	Sven Verdoolaege	isl_param_util.c: drop expr2vertex Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-02	Sven Verdoolaege	update isl for change in isl_vertex inspectors Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-02	Sven Verdoolaege	add isl_multi_aff_to_polylib Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-30	Sven Verdoolaege	iscc: add minimal support for isl_obj_pw_multi_aff... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-30	Sven Verdoolaege	update isl for isl_obj_pw_multi_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-10	Sven Verdoolaege	gen_fun::add_union: context of result should be the... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-10	Sven Verdoolaege	reduce_evalue: reduce polynomial expressions in denominator... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-02-09	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-02-09	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-01-05	Sven Verdoolaege	update pet for change in pet_scop_collect_{reads,writes} Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-01-05	Sven Verdoolaege	update isl for isl_id_to_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-01-05	Sven Verdoolaege	configure.ac: use AX_DETECT_GIT_HEAD instead of inlined... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-12-16	Sven Verdoolaege	doc: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-12-05	Sven Verdoolaege	AX_SUBMODULE: allow .git file in submodule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-12	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-12	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-07-06	Sven Verdoolaege	verify_point_data_init: use isl_set_card to count elements... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-07-06	Sven Verdoolaege	test_approx: return EXIT_FAILURE on error Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-07-06	Sven Verdoolaege	test_approx: use isl interface Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-07-06	Sven Verdoolaege	clean up tests/ehrhart/* inputs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-26	Sven Verdoolaege	evalue_isl.c: relation2pwqp: handle non-parametric... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-26	Sven Verdoolaege	update isl for isl_*_eval returning an isl_val instead... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-26	Sven Verdoolaege	update isl for isl_stream_read_obj returning isl_obj_val... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-26	Sven Verdoolaege	update pet to version 0.04 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-25	Sven Verdoolaege	configure.ac: replace --with-libgmp option by --with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-06-23	Sven Verdoolaege	update isl to version 0.12 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	iscc.c: avoid use of isl_token internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: div2evalue: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: isl_pw_qpolynomial_from_eval: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: isl_qpolynomial_from_evalue: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: extract_base: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	verify.c: verify_point_data_init: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	verify.c: verify_context_set_bounds: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	util.c: manual_count: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	test_bound.c: result_data: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	test_bound.c: verify_point: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	sample.c: Polyhedron_Sample: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	polysign_isl.c: isl_constraints_opt: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	polysign_isl.c: isl_polyhedron_affine_sign: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	polysign_isl.c: extract_inequalities: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	polysign_isl.c: extract_equalities: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	iscc.c: read_ident: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	iscc.c: obj_at_index: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	iscc.c: power: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	iscc.c: next_is_neg_int: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: add_term: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	evalue_isl.c: relation2pwqp: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	bound.c: split_on_size: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	bound.c: verify_point: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	basis_reduction.c: isl_Polyhedron_Reduced_Basis: use... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	barvinok_summate.c: verify_point: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	barvinok_enumerate.cc: verify_point: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	barvinok.cc: card_as_sum: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-31	Sven Verdoolaege	isl_map_polylib.c: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	update isl for isl_val abstraction Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	integrate isl-polylib module Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-03	Sven Verdoolaege	barvinok_enumerate.cc: explicitly include gmp to avoid... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-03	Sven Verdoolaege	barvinok_e.cc: explicitly include gmp to avoid inclusion... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-03	Sven Verdoolaege	test_bound.c: result_data_clear: remove unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-03	Sven Verdoolaege	evalue_isl.c: avoid use of isl_seq Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-03	Sven Verdoolaege	test.c: remove redundant include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-23	Sven Verdoolaege	update isl to version 0.11.2 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-08	Sven Verdoolaege	evalue_isl.c: avoid use of isl_vec internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-07	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

patches by uuh to consider upstream

RSS Atom