Public Git Hosting - pet.git/search

2016-12-26	Sven Verdoolaege	filter.c: pet_filter_insert_pma: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	expr.c: extract_affine_from_access: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	expr.c: introduce_access_relations: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	expr.c: introduce_access_relations: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	expr.c: construct_access_relation: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	pet_expr_access_set_depth: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	expr.c: has_relevant_access_relations: drop unused... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: drop unused pet_implication_embed Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	nest.c: drop unused pet_nested_remove_from_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	emit.c: emit_named_unsigned: call emit_unsigned instead... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	parse.c: extract_tree: avoid uninitialized read on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	parse.c: extract_expr: avoid uninitialized read on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-18	Sven Verdoolaege	pet 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-12-08	Sven Verdoolaege	tree2scop.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	tree.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	skip.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	scop.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	print.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	parse.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	nest.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	expr.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	emit.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	aff.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	pet_scop_from_pet_tree: take into account assumptions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-15	Sven Verdoolaege	scop.c: stmt_extract_context: extract out pet_stmt_assume_ge... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-15	Sven Verdoolaege	privately export pet_stmt_is_affine_assume Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-15	Sven Verdoolaege	pet_tree_is_affine_assume: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-07	Sven Verdoolaege	pet_check_code: use pet_scop_get_schedule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-07	Sven Verdoolaege	PetScan::scan: detect and report unbalanced pairs of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-07	Sven Verdoolaege	ScopLoc: keep track of SourceLocations of scop and... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-07	Sven Verdoolaege	tree2scop.c: tree_is_decl: do not treat empty block... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	m4/ax_detect_clang.m4:fix description of SETLANGDEFAULTS_TAK... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	m4/ax_detect_clang.m4: improve detection of 5-argument... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	pet.cc: update to CompilerInvocation::setLangDefaults... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	update isl for support for recent clangs 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-05-03	Sven Verdoolaege	pet 0.09 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-03	Sven Verdoolaege	update isl to version 0.17 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	README: update latest release of clang Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	stop creating fake DeclRefExpr Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	scan.cc: extract_array: drop redundant local variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	scan.h: drop spurious semicolon after namespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-23	Sven Verdoolaege	support __builtin_assume Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-23	Sven Verdoolaege	PetScan::extract_expr: extract out is_assume Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-19	Sven Verdoolaege	pet_expr_dump_with_indent: also indent first line Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	perform substitutions on size expression of array declared... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	scan.cc: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	add pet_substituter::substitute(pet_expr *) Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	add PetScan::set_array_size Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	PetScan::get_array_size: add extra cache keyed on array... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	add isl_id_to_pet_expr Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	PetScan::get_array_size: take isl_id representing array... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-12	Sven Verdoolaege	remove "const" qualifier from the type of a scalar Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-12	Sven Verdoolaege	take into account writes inside macro statements during... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-07	Sven Verdoolaege	support empty statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-07	Sven Verdoolaege	fix renaming of inlined function arguments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-04	Sven Verdoolaege	properly handle arrays of typedefs and structs inside... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-04	Sven Verdoolaege	only keep track of struct definitions once Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-09	Sven Verdoolaege	add assignments to undeclared loop iterators Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-08	Sven Verdoolaege	tests/inf4.c: use unsigned int for infinite loop iterator Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-08	Sven Verdoolaege	tree2scop.c: extract out scop_from_for_init Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-08	Sven Verdoolaege	tree2scop.c: fix minor style issue Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-08	Sven Verdoolaege	tree2scop.c: scop_from_non_affine_for: rename argument... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-08	Sven Verdoolaege	tree2scop.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	extract out pet_wrap_aff and pet_wrap_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	push affine conditions into index expressions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	privately expose pet_expr_access_has_any_access_relation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	add pet_expr_is_same_access Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	add pet_expr_map_op Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	expr.c: extract out pet_expr_get_affine Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	pet_context_evaluate_expr: plug in affine expressions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	add pet_expr_map_top_down Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	pet_expr_extract_affine: cache result in pet_context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	add pet_expr_to_isl_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	add pet_expr_get_hash Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	drop pet_function_summary_dump_with_indent Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	pet_expr_dump: use isl_printer Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	pet_expr_dump_with_indent: extract out repeated dump_arguments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	pet_function_summary_dump: use isl_printer Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	add pet_function_summary_get_ctx Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	update test case outputs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	update isl for generalized isl_hmap_templ.c Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	add kills to variables declared in the same scope when... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	PetScan::extract(StmtRange, ...): pass parent Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-07	Sven Verdoolaege	extract out pet_killed_locals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-06	Sven Verdoolaege	extract out pet_clang_array_depth into separate file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-06	Sven Verdoolaege	scan.cc: array_depth: take QualType as argument Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-06	Sven Verdoolaege	add pet_expr_access_is_kill Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-06	Sven Verdoolaege	change return type of pet_expr__is_ to isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-06	Sven Verdoolaege	include/pet.h: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-06	Sven Verdoolaege	scan.h: fix typo in argument name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-03	Sven Verdoolaege	summary.c: add missing copyright statement Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-03	Sven Verdoolaege	skip.c: add missing copyright statement Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-28	Sven Verdoolaege	pet_scop_from_pet_stmt: fix error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-24	Sven Verdoolaege	README: update LLVM/clang installation instructions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-24	Sven Verdoolaege	link against single libLLVM shared library when available Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-24	Sven Verdoolaege	configure.ac: move detection of clang to separate file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-05	Sven Verdoolaege	add get_submodules.sh Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

RSS Atom