Public Git Hosting - barvinok.git/search

2015-07-18	Sven Verdoolaege	assume NTL has been compiled in ISO mode Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-07-18	Sven Verdoolaege	configure.ac: extract out AX_CHECK_NTL Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-16	Sven Verdoolaege	barvinok 0.38 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-16	Sven Verdoolaege	update AUTHORS Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-16	Sven Verdoolaege	update pet to version 0.07 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-16	Sven Verdoolaege	replace isl_{,in}equality_alloc by isl_constraint_alloc_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-16	Sven Verdoolaege	update isl to version 0.15 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-16	Sven Verdoolaege	iscc: parse_file: return schedule in schedule tree... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-16	Sven Verdoolaege	iscc: drop schedule_forest Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc: schedule: return schedule in schedule tree representation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc: allow implicit conversion from schedule to union map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc: allow explicit conversion from schedule to union map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc: add domain operation on schedules Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc: print schedules in block format Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc.c: read_line: extract out print_obj Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc: codegen: accept schedule as input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc.c.: split up print_code Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc: support schedule trees in dependence analysis... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc.c: extract out common access_info_set_schedule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc: typeof: recognize schedule objects Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	iscc.c: use isl_union_access_info_compute_flow Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-06-13	Sven Verdoolaege	add dependence analysis tests for iscc Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-05-26	Sven Verdoolaege	iscc: add "lb" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-05-26	Sven Verdoolaege	update isl for rename of isl_schedule_map_schedule_node Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-05-26	Sven Verdoolaege	update isl for introduction of isl_stat Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-05-13	Sven Verdoolaege	iscc.c: avoid use of isl_bool_* identifiers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-05-13	Sven Verdoolaege	tests/iscc/sum4: compare NaN against string Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-05-13	Sven Verdoolaege	iscc: add equality operation on strings Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-05-13	Sven Verdoolaege	update pet for direct header inclusions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-05-13	Sven Verdoolaege	update isl for replacement of CLooG test cases with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-05-02	Sven Verdoolaege	test_approx.c: use fabs on double instead of abs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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-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-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-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
next

lattice point enumeration library

RSS Atom