Public Git Hosting - barvinok.git/search

2017-01-05	Sven Verdoolaege	lexmin.cc: order_cache: use clear instead of resize... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	barvinok_enumerate_e: only honor --scarf option if... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	add barvinok_union tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	barvinok_union: optionally check output is equal to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	add extra barvinok_summate test case involving quasi... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	testlib.cc: extract out barvinok_series_with_options... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	test box and bernoulli summation algorithms Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	test stopped decomposition during parametric enumeration Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	testlib: return success when tests run successfully Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	test_approx: check that result was computed successfully Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	bound.c: verify_point: handle errors in verification Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	lexmin.cc: to_parameter_domain: explicitly convert... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	isl_param_util.c: ISL_P2PP: properly call isl_basic_set_inte... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	isl_param_util.c: ISL_P2PP: rename "dim" variable to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	barvinok_enumerate_e_options.h: fix name of isl_args... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	barvinok_ehrhart_options.h: fix name of isl_args structure... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	lexmin.cc: indicator_term::indicator_term: use consistent... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-05	Sven Verdoolaege	Polyhedron_Polarize: make sure constraints and rays... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-29	Sven Verdoolaege	euler.cc: summator_2d::integrate: add missing variable... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-29	Sven Verdoolaege	gen_fun::summate: properly keep track of number of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-29	Sven Verdoolaege	iscc.c: write_to_file: avoid uninitialized read on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-29	Sven Verdoolaege	Param_Polyhedron_Enumerate: plug memory leak in case... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-23	Sven Verdoolaege	add more lattice_width test cases Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-23	Sven Verdoolaege	Polyhedron_Lattice_Width_Directions: do not skip duplicate... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-23	Sven Verdoolaege	convert lattice width tests to iscc tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

lattice point enumeration library

RSS Atom