Public Git Hosting - pet.git/search

2011-11-06	Sven Verdoolaege	extract_affine: a variable that has been assigned an... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-06	Sven Verdoolaege	induction variable of for loop should be considered... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-06	Sven Verdoolaege	an address passed to a const pointer argument should... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-03	Sven Verdoolaege	.gitignore: add config.h.in~ Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	turn virtual scalars into virtual arrays Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	mark __pet_test_* scalars as only attaining values... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	allow labels on expression statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	allow specification of only lower bound on parameter Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	use isl_set_{lower,upper}_bound_si instead of our own... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	update isl for isl_set_upper_bound_si Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-23	Sven Verdoolaege	explicitly link in gmp when using libisl.la Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-21	Sven Verdoolaege	Makefile.am: append extra copy of CLANG_LDFLAGS to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-21	Sven Verdoolaege	update isl to version 0.08 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-13	Tobias Grosser	adapt to the recent changes in clang Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-13	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	accept non-affine conditions in if statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	pet_scop_add: also collect the arrays in the pet_scops Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	pet_stmt: add arguments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	pet_stmt_from_pet_expr: clear all fields of newly created... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	update isl for change in isl_pw_aff_set_tuple_id prototype Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	only distribute bundled submodules Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-22	Sven Verdoolaege	keep track of assignments to parameters Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-22	Sven Verdoolaege	export PetScan::extract_int Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-22	Sven Verdoolaege	be more careful about using parameter spaces Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-22	Sven Verdoolaege	update isl for isl_set_from_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-21	Sven Verdoolaege	handle extraction of scops inside a loop Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-15	Sven Verdoolaege	pet_stmt_embed: handle NULL stmt Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-15	Sven Verdoolaege	pet_expr_is_equal: not equal if access relation is... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-15	Sven Verdoolaege	parse.c: extract_arguments: plug memory leak on error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-15	Sven Verdoolaege	update isl for change in isl_set_read_from_str Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-13	Sven Verdoolaege	update isl for change in isl_{in,}equality_alloc Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-12	Sven Verdoolaege	add copyright statement Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-07	Sven Verdoolaege	pet_scop_extract_from_C_source: use a CompilerInstance Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	clear assigned_value for scalars that are assigned... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	PetScan::set_upper_bounds: gracefully handle errors Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-04	Sven Verdoolaege	update isl for change in space of isl_pw_* objects Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-03	Sven Verdoolaege	update isl for explicit parameter spaces Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-03	Sven Verdoolaege	use isl_space_params_alloc Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-03	Sven Verdoolaege	update isl for isl_space_params_alloc Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-03	Sven Verdoolaege	rename isl_dim to isl_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-03	Sven Verdoolaege	update isl for rename of isl_dim to isl_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-03	Sven Verdoolaege	accept infinite while loops Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-03	Sven Verdoolaege	add "eq" operation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-03	Sven Verdoolaege	accept compound statements with zero statements when... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-03	Sven Verdoolaege	expr_collect_accesses: use isl_map_has_tuple_id Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-08-12	Sven Verdoolaege	check if tuple has id before calling isl_{set,map}_get_tuple_id Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-08-12	Sven Verdoolaege	update isl for isl_map_has_tuple_id Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-08-12	Sven Verdoolaege	allow declaration of iterator in for loops Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-08-11	Sven Verdoolaege	update isl for rename of isl_map_insert Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-08-10	Tobias Grosser	Hide warnings in system headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-31	Sven Verdoolaege	handle "live-out" pragmas Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-31	Sven Verdoolaege	pet.cc: extract out update_arrays Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-31	Sven Verdoolaege	pet.cc: extract out get_value_decl Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-30	Sven Verdoolaege	avoid wrapping on some simple cases of loops with unsigned... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-30	Sven Verdoolaege	wrap results of unsigned computations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-30	Sven Verdoolaege	take into account that unsigned iterators may wrap Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-30	Sven Verdoolaege	allow loop increments of the form i = i + cst Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-30	Sven Verdoolaege	allow loop increments different from one Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-30	Sven Verdoolaege	allow loop increments of the form i += 1 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-30	Sven Verdoolaege	fix check for "simple" loop termination condition Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-30	Sven Verdoolaege	update isl for isl_pw_aff_mod Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-28	Sven Verdoolaege	properly handle generic conditions in for loops Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-28	Sven Verdoolaege	README: emphasize that we need clang libraries Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-28	Sven Verdoolaege	update for rename of getInstantiationLineNumber to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-28	Sven Verdoolaege	scan.cc: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-25	Sven Verdoolaege	update isl for fix in isl_map_intersect_params Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-25	Sven Verdoolaege	accept affine expressions where we expect a condition Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-25	Sven Verdoolaege	update isl for isl_pw_aff_non_zero_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-25	Sven van Haastregt	configure: check if llvm-config actually exists Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-07-22	Sven Verdoolaege	initial version of pet Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree

RSS Atom