Public Git Hosting - barvinok.git/search

2016-12-23	Sven Verdoolaege	tests/lattice_width/*: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-18	Sven Verdoolaege	update pet to version 0.10 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-18	Sven Verdoolaege	update isl to version 0.18 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-22	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-22	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-07-10	Sven Verdoolaege	iscc: recover from errors during AST generation again Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-06	Sven Verdoolaege	iscc: allow interruption of computation from the keyboard... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-03	Sven Verdoolaege	README: explain how to use a pre-installed version... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-03	Sven Verdoolaege	README: update note on shared libraries and NTL Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-15	Sven Verdoolaege	README: urge bug reporters to always mention the barvinok... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-06	Sven Verdoolaege	update pet to version 0.09 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-06	Sven Verdoolaege	update isl to version 0.17.1 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-29	Sven Verdoolaege	Polyhedron_Factor: make sure group information gets... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-24	Sven Verdoolaege	add get_submodules.sh Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-06	Sven Verdoolaege	update polylib for .gitignore Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-15	Sven Verdoolaege	barvinok 0.39 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-15	Sven Verdoolaege	update pet to version 0.08 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-15	Sven Verdoolaege	update isl to version 0.16.1 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-12	Sven Verdoolaege	update AUTHORS Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	update pet for python interface Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	introduce special version of isl.py.top for use with pet Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	update pet for isl_ctx_alloc_with_pet_options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	isl.py: always extend version from core isl Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	rename interface/all.h to interface/all_barvinok.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-05	Sven Verdoolaege	update isl for changes in how sets and relations are... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-22	Sven Verdoolaege	iscc.c: use pet_scop_get_schedule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-22	Sven Verdoolaege	update pet for pet_scop_get_schedule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-22	Sven Verdoolaege	update pet for rename of pet_scop_collect_* to pet_scop_get_* Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-16	Sven Verdoolaege	update isl for isl_schedule_gist_domain_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-16	Sven Verdoolaege	.gitignore: add more libtool temporary files Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-16	Sven Verdoolaege	specify subdir-objects option for forward compatibility... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-16	Sven Verdoolaege	configure.ac: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-08	Sven Verdoolaege	iscc: parse_file: remove instances from kill statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-08	Sven Verdoolaege	iscc: turn on --pet-encapsulate-dynamic-control by... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-12-08	Sven Verdoolaege	iscc: add operations on booleans Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-08-07	Sven Verdoolaege	iscc: add "->-" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-08-07	Sven Verdoolaege	iscc: add "-" operation on map and set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-08-07	Sven Verdoolaege	iscc: add "->*" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-08-05	Sven Verdoolaege	doc: update documentation of "last" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-07-31	Sven Verdoolaege	update isl for change in isl_map_gist Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-07-24	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-07-24	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2015-07-18	Sven Verdoolaege	handle change in internal representation of NTL Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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-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
next

lattice point enumeration library

RSS Atom