pet.git
2014-07-09 Sven van Haastregtallow specification of summary functionsmaster
2014-07-09 Sven Verdoolaegederive access relations of call expressions from functi...
2014-06-20 Sven Verdoolaegeadd pet_expr_map_call
2014-06-20 Sven Verdoolaegeadd pet_expr_access_get_augmented_domain_space
2014-06-20 Sven VerdoolaegePetScan::extract_expr(CallExpr *): extract function...
2014-06-20 Sven Verdoolaegepet_expr: keep track of function summaries in call...
2014-06-20 Sven Verdoolaegepet_expr: put pet_expr_call field in substructure
2014-06-20 Sven Verdoolaegeintroduce pet_function_summary
2014-06-20 Sven Verdoolaegepet_expr_access_set_access: set read/write on non-empty...
2014-06-20 Sven Verdoolaegebreak up access relations into may_read/may_write/must_...
2014-06-20 Sven Verdoolaegeadd pet_union_map_move_dims
2014-06-20 Sven Verdoolaegeintroduce pet_expr_access_type
2014-06-20 Sven Verdoolaegedrop pet_expr_from_access_and_index
2014-06-20 Sven Verdoolaegeexplicitly mark kill accesses
2014-06-20 Sven Verdoolaegepet_expr: represent read/write flags as bits
2014-06-20 Sven Verdoolaegepet_expr: document the read and write fields
2014-06-20 Sven Verdoolaegebreak up access relations into may_read/may_write/must_...
2014-06-20 Sven Verdoolaegepet_expr_tag_access: avoid use of target space
2014-06-20 Sven Verdoolaegepostpone introduction of access relations
2014-06-20 Sven Verdoolaegeemit.c: emit_expr: extract out emit_access_expr
2014-06-20 Sven Verdoolaegedrop pet_expr_access_get_access
2014-06-20 Sven Verdoolaegenest.c: move is_sub_access to expr.c
2014-06-20 Sven Verdoolaegetree2scop.c: extract_kill: update kill expression rathe...
2014-06-20 Sven Verdoolaegepet_expr_is_affine: avoid using access relation
2014-06-20 Sven Verdoolaegepet_expr_filter: avoid using access relation
2014-06-20 Sven Verdoolaegepet_expr_access_update_domain: avoid using access relation
2014-06-20 Sven Verdoolaegepet_expr_access_get_must_access: avoid using access...
2014-06-20 Sven Verdoolaegepet_expr_access_get_id: avoid using access relation
2014-06-20 Sven Verdoolaegeexpr.c: access_add_ref_id: avoid using access relation
2014-06-20 Sven Verdoolaegescop.c: access_collect_params: avoid using access relation
2014-06-20 Sven Verdoolaegescop.c: implies_filter: avoid using access relation
2014-06-20 Sven Verdoolaegescop.c: access_extract_context: avoid using access...
2014-06-20 Sven Verdoolaegescop.c: expr_extract_context: avoid using access relation
2014-06-20 Sven Verdoolaegescop.c: extract out shared drop_arguments
2014-06-20 Sven Verdoolaegepet_expr_access_update_domain: minor clean-up of expres...
2014-06-20 Sven Verdoolaegefurther generalize compute_to_inner to support pet_scop...
2014-06-20 Sven Verdoolaegegeneralize compute_to_inner to support pet_scop_compute...
2014-06-20 Sven Verdoolaegescop.c: compute_to_inner: micro-optimization
2014-06-19 Sven Verdoolaegetree2scop.c: is_nested_allowed: do not allow nesting...
2014-05-26 Sven VerdoolaegePetScan::set_upper_bounds: use declared size of static...
2014-04-24 Sven Verdoolaegescop.c: restrict_skip: update documentation to change...
2014-04-24 Sven Verdoolaegetree2scop.c: scop_add_inc: take into account affine...
2014-04-24 Sven Verdoolaegetree2scop.c: move up apply_affine_continue
2014-04-24 Sven Verdoolaegetree2scop.c: scop_from_non_affine_while: extract out...
2014-04-14 Sven Verdoolaegepet 0.05pet-0.05
2014-04-14 Sven Verdoolaegeupdate isl to version 0.13
2014-04-13 Sven VerdoolaegeREADME: update LLVM/clang installation instructions
2014-04-11 Sven Verdoolaegeinterface/extract_interface.cc: explicitly include...
2014-04-11 Sven Verdoolaegeupdate for change in arguments of CompilerInstance...
2014-04-11 Sven Verdoolaegepet.cc: add space between literal and identifier
2014-04-11 Sven Verdoolaegeupdate isl for support for recent clangs
2014-04-11 Sven Verdoolaegepet_stmt_from_pet_tree: avoid free of uninitialized...
2014-04-06 Sven Verdoolaegescan.cc: fix typo in comment
2014-04-03 Sven Verdoolaegepet_scop_from_pet_stmt: do not extract context from...
2014-04-03 Sven VerdoolaegePetScan::extract_argument: handle passing of entire...
2014-04-03 Sven VerdoolaegeMakefile.am: add dummy C++ source file to pet_scop_cmp...
2014-04-02 Sven Verdoolaegehandle pencil independent pragmas
2014-03-31 Sven VerdoolaegePetScan: keep track of line number of current Stmt
2014-03-31 Sven Verdoolaegepet.cc: extract out PetASTConsumer::add_pragma_handlers
2014-03-31 Sven Verdoolaegeadd encapsulate_dynamic_control option
2014-03-31 Sven Verdoolaegepet_scop_from_pet_tree: create statements directly...
2014-03-31 Sven Verdoolaegereplace pet_stmt_from_pet_expr by pet_stmt_from_pet_tree
2014-03-31 Sven Verdoolaegepet_stmt: use pet_tree to represent statement body
2014-03-31 Sven Verdoolaegescop.c: extract out pet_stmt_is_affine_assume and pet_s...
2014-03-31 Sven Verdoolaegescop.c: stmt_collect_accesses: use pet_expr_foreach_acc...
2014-03-31 Sven Verdoolaegescop.c: stmt_collect_params: use pet_expr_foreach_acces...
2014-03-31 Sven Verdoolaegekeep track of indentation of extracted code
2014-03-31 Sven Verdoolaegeupdate test case outputs
2014-03-25 Sven Verdoolaegeextract enum constants as their integer values
2014-03-25 Sven VerdoolaegePetScan::extract_int: separate out extraction from...
2014-03-25 Sven VerdoolaegePetScan::extract_unsigned: turn into a static function
2014-03-25 Sven Verdoolaegescan.cc: change textual order of extract_unsigned and...
2014-03-25 Sven Verdoolaegepet_check_code.c: use pet_expr_extract_affine
2014-03-25 Sven Verdoolaegeexport pet_expr_extract_affine
2014-03-25 Sven Verdoolaegepet_context: no longer keep track of "unknown" values
2014-03-25 Sven Verdoolaegepet_expr_extract_affine: no longer create new parameter...
2014-03-25 Sven VerdoolaegePetScan::extract_scop: populate pet_context with parame...
2014-03-25 Sven Verdoolaegescan.cc: move up static get_array_type function in...
2014-03-25 Sven VerdoolaegePetScan::get_array_size: cache results
2014-03-25 Sven VerdoolaegePetScan::set_upper_bounds: extract out PetScan::get_arr...
2014-03-25 Sven Verdoolaegepet_expr_is_equal: compare index expressions up to...
2014-03-25 Sven Verdoolaegepet_expr_extract_affine: exploit domain information...
2014-03-25 Sven Verdoolaegeadd pet_context_get_gist_domain
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_block: collect affine continue...
2014-03-25 Sven Verdoolaegepet_scop_from_pet_tree: extract pet_scop from the root...
2014-03-25 Sven Verdoolaegeadd functions for manipulating the domain of a pet_context
2014-03-25 Sven Verdoolaegepet_scop_restrict: also restrict virtual array extents
2014-03-25 Sven Verdoolaegepet_context_evaluate_expr: first insert domain
2014-03-25 Sven Verdoolaegepet_check_code: remove tracking of assignments
2014-03-25 Sven Verdoolaegedrop pet_scop_detect_parameter_accesses
2014-03-25 Sven Verdoolaegepet_context_evaluate_expr: also plug in affine expressi...
2014-03-25 Sven Verdoolaegeseparate out pet_context_evaluate_expr
2014-03-25 Sven Verdoolaegedrop pet_context_mark_assigned
2014-03-25 Sven VerdoolaegePetScan::extract_scop: clear writes at outer level
2014-03-25 Sven VerdoolaegePetScan::extract_scop: locally construct pet_context
2014-03-25 Sven VerdoolaegePetScan::extract_scop: also add all pet_arrays
2014-03-25 Sven Verdoolaegepet_expr_filter: avoid introduction of constraints...
2014-03-25 Sven Verdoolaegetree2scop.c: is_simple_bound: handle higher dimensional...
2014-03-25 Sven Verdoolaegetree2scop.c: valid_for_each_iteration: handle higher...
2014-03-25 Sven Verdoolaegetree2scop.c: add_implication: handle higher dimensional...
next