?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
mark __pet_test_* scalars as only attaining values 0 and 1
2011-11-02 Sven Verdoolaegemark __pet_test_* scalars as only attaining values...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-02 Sven Verdoolaegeallow labels on expression statements
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-02 Sven Verdoolaegeallow specification of only lower bound on parameter
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-11-02 Sven Verdoolaegeuse 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 Verdoolaegeupdate isl for isl_set_upper_bound_si
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-23 Sven Verdoolaegeexplicitly link in gmp when using libisl.la
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-21 Sven VerdoolaegeMakefile.am: append extra copy of CLANG_LDFLAGS to...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-21 Sven Verdoolaegeupdate isl to version 0.08
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-13 Tobias Grosseradapt to the recent changes in clang
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-10-13 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-26 Sven Verdoolaegeaccept non-affine conditions in if statements
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-26 Sven Verdoolaegepet_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 Verdoolaegepet_stmt: add arguments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-26 Sven Verdoolaegepet_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 Verdoolaegeupdate 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 Verdoolaegeonly distribute bundled submodules
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegekeep track of assignments to parameters
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegeexport PetScan::extract_int
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegebe more careful about using parameter spaces
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegeupdate isl for isl_set_from_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-21 Sven Verdoolaegehandle extraction of scops inside a loop
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-15 Sven Verdoolaegepet_stmt_embed: handle NULL stmt
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-15 Sven Verdoolaegepet_expr_is_equal: not equal if access relation is...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-15 Sven Verdoolaegeparse.c: extract_arguments: plug memory leak on error...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-15 Sven Verdoolaegeupdate isl for change in isl_set_read_from_str
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-13 Sven Verdoolaegeupdate isl for change in isl_{in,}equality_alloc
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-12 Sven Verdoolaegeadd copyright statement
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-07 Sven Verdoolaegepet_scop_extract_from_C_source: use a CompilerInstance
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeclear assigned_value for scalars that are assigned...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven VerdoolaegePetScan::set_upper_bounds: gracefully handle errors
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegeupdate isl for change in space of isl_pw_* objects
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeupdate isl for explicit parameter spaces
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeuse isl_space_params_alloc
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeupdate isl for isl_space_params_alloc
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegerename isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeupdate isl for rename of isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeaccept infinite while loops
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd "eq" operation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeaccept compound statements with zero statements when...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeexpr_collect_accesses: use isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-08-12 Sven Verdoolaegecheck 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 Verdoolaegeupdate isl for isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-08-12 Sven Verdoolaegeallow declaration of iterator in for loops
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-08-11 Sven Verdoolaegeupdate isl for rename of isl_map_insert
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-08-10 Tobias GrosserHide warnings in system headers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-31 Sven Verdoolaegehandle "live-out" pragmas
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-31 Sven Verdoolaegepet.cc: extract out update_arrays
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-31 Sven Verdoolaegepet.cc: extract out get_value_decl
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-30 Sven Verdoolaegeavoid wrapping on some simple cases of loops with unsigned...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-30 Sven Verdoolaegewrap results of unsigned computations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-30 Sven Verdoolaegetake into account that unsigned iterators may wrap
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-30 Sven Verdoolaegeallow loop increments of the form i = i + cst
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-30 Sven Verdoolaegeallow loop increments different from one
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-30 Sven Verdoolaegeallow loop increments of the form i += 1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-30 Sven Verdoolaegefix check for "simple" loop termination condition
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-30 Sven Verdoolaegeupdate isl for isl_pw_aff_mod
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-28 Sven Verdoolaegeproperly handle generic conditions in for loops
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-28 Sven VerdoolaegeREADME: emphasize that we need clang libraries
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-28 Sven Verdoolaegeupdate for rename of getInstantiationLineNumber to...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-28 Sven Verdoolaegescan.cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-25 Sven Verdoolaegeupdate isl for fix in isl_map_intersect_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-25 Sven Verdoolaegeaccept affine expressions where we expect a condition
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-25 Sven Verdoolaegeupdate isl for isl_pw_aff_non_zero_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-25 Sven van Haastregtconfigure: check if llvm-config actually exists
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-07-22 Sven Verdoolaegeinitial version of pet
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree