Public Git Hosting - pet.git/search

2014-03-21	Sven Verdoolaege	extract out pet_expr_access_get_parameter_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	extract out pet_expr_access_get_data_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	extract out pet_expr_gist Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	extract out pet_value_bounds_apply to a separate file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	move pet_expr functions to separate file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	scop.c: expr_writes: use pet_expr_foreach_access_expr Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	scop.c: expr_detect_parameter_accesses: use pet_expr_map_access Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	pet_scop_detect_parameter_accesses: rename "dim" variable... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	scop.c: expr_propagate_params: use pet_expr_map_access Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	extract out pet_filter_insert_pma to separate file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	add more test cases Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	pet_expr: merge unary, binary and ternary types into... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	extract integers as integer expressions rather than... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	update test case outputs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	add support for int expressions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	pet_check_code.c: pass along iteration space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	extract out shared pet_stmt_get_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	export pet_expr_from_index Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	pet_scop_embed: pass isl_aff schedule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	extract out pet_stmt_is_assign Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	extract out common pet_stmt_is_kill Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	PetScan::extract_increment: improve error message Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-21	Sven Verdoolaege	support logical operators in expressions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	support intMod, intCeil and intFloor Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	provide getter and setter for detect-conditional-assignment... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	pet_check_code: dump iteration domains if they are... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	pet_check_code: parse isl options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	scan.cc: indicator_function: coalesce domain before... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	scop.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	scan.cc: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	pet_scop_restrict_skip: fix typo in error message Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	PetScan::is_nested_allowed: check for skip conditions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	print.c: print_pet_expr: fix memory management annotation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	drop dead method PetScan::is_affine Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	scop.c: embed_access: drop redundant variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	pet_scop_filter_skip: avoid recomputation of test expression Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	PetScan::extract_non_affine_condition: remove redundant... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	separate out shared PetScan::update_scop_start_end... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	pet_expr_dump: only print expr->acc.ref_id if it is set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	scop.c: stmt_propagate_params: also update accesses... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	scop.c: stmt_collect_params: also collect parameters... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	scop.c: *_collect_params: fix error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	pet_scop_align_params: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	pet_scop_align_params: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	PetScan::extract_nested: plug memory leak on error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	scan.cc: clear_assignment: fix logic Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	PetScan::extract(IfStmt *): clear assignments in body Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	PetScan::extract_infinite_for: also clear assignments... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	PetScan::extract_for: always keep virtual iterator... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-19	Sven Verdoolaege	modify tests/unsigned3.c test case to use the iterator... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-14	Sven Verdoolaege	when autodetecting only skip initial declarations in... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-14	Sven Verdoolaege	do not extract loop around partial body when autodetecting Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-14	Sven Verdoolaege	PetScan::extract_non_affine_condition: take statement... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-14	Sven Verdoolaege	PetScan::extract_for: do not allow initial value to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-14	Sven Verdoolaege	PetScan::extract_for: clear assignment to iterator... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-02-07	Sven Verdoolaege	PetScan::unsupported: pass fixed character string to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-02-07	Sven Verdoolaege	configure.ac: add llvm-config --system-libs to CLANG_LIBS Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-02-07	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-01-29	Sven Verdoolaege	Makefile.am: avoid use of INCLUDES variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-01-06	Sven Verdoolaege	AX_DETECT_GIT_HEAD: detect git version with newer versions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-12-06	Sven Verdoolaege	README: add contact information Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-11-27	Sven Verdoolaege	add affine assumptions to the context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-11-27	Sven Verdoolaege	parse __pencil_assume statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-10-17	Sven Verdoolaege	extract out PetScan::extract_argument Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-10-16	Sven Verdoolaege	add support for structs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	add pet_scop_collect_tagged_must_kills Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	add pet_scop_collect_must_kills Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	scop.c: extract out expr_collect_access Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	scop.c: scop_collect_accesses: rename "dim" variable... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	add pet_expr_access_get_tagged_may_access Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	add pet_scop_collect_tagged_{may,must}_{reads,writes} Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	export pet_expr_access_get_may_access Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	scop.c: expr_collect_accesses: plug memory leak on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	extract out pet_clang_base_type into separate file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	scan.cc: extract out subscript Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	scop.c: extract out *_is_virtual_array functions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	pet_expr_from_index_and_depth: extract out extend_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	introduce pet_type Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	use isl__reset_user instead of _anonymize Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	update isl for support for member accesses in AST Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	pet_expr_free: return struct pet_expr * Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	PetScan::resolve_nested(struct pet_stmt *): remove... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	PetScan::resolve_nested(struct pet_expr *): remove... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	scan.cc: compute_wrapping: remove unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	scan.cc: extract_skip_seq: remove unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	scan.cc: universally: remove unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	PetScan::extract_affine: remove unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	Makefile.am: add dummy C++ source file to pet and pet_check_code Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	stop linking in clang libraries directly into pet Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	also print clang version when printing pet version Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-09-18	Sven Verdoolaege	README: update latest release of LLVM/clang Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-17	Sven Verdoolaege	parse.c: remove spurious duplicate declaration Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-17	Sven Verdoolaege	pet_scop_free: return struct pet_scop * Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-17	Sven Verdoolaege	PetScan::extract(StmtRange, bool, bool): break out... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-11	Sven Verdoolaege	pet_scop_collect_{reads,writes}: take arguments into... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-11	Sven Verdoolaege	pet_scop_collect_{reads,writes}: intersect ranges with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-11	Sven Verdoolaege	scan.cc: extract_depth: use correct dimension type Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-11	Sven Verdoolaege	pet_expr_from_access_and_index: plug memory leak on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-08-08	Sven Verdoolaege	configure.ac: remove explicit dependence on gmp Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-07-30	Sven Verdoolaege	discard incompletely extracted compound statements... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

RSS Atom