repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
allow the user to impose a bound on the number of low-level operations
2013-12-22
Sven V
e
rdoo
l
aege
allow the user to imp
o
se
a bo
u
nd on the
number of low
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-17
Sven V
e
rdoolaege
Make
f
ile
.
am: avoid use of INCLUDE
S
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
S
v
en Verd
o
olaege
ad
d
i
sl_aff_s
e
t_tup
l
e_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verd
o
o
l
ae
g
e
add isl_local_s
p
a
c
e
_
set_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
add isl_basic_set_set_tup
l
e_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdo
o
la
e
ge
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2013-10-18
Sv
e
n V
e
r
doola
e
ge
py
t
hon i
n
terfa
c
e: also convert first
a
rgument
t
o c
o
rrect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdool
a
ege
isl_*_lis
t
_add
:
do not mod
i
fy
l
ists in-place
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
i
sl_schedul
e
_const
r
aints: split
prox
i
mity constra
i
nt
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoola
e
ge
isl_schedule_constraints: add support for cond
i
tional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
is
l
_sche
d
ule
.
c: ex
t
ract_edge
:
look for matching e
d
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolae
g
e
i
sl_sch
e
dule
.
c: ext
r
a
c
t out edge_multiplicity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
isl_
s
chedule
.
c
:
e
xtrac
t
out merge
_
edge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
i
s
l
_schedule
.
c:
e
xtract out reset_band
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_schedule
.
c
:
extr
a
ct out e
x
tract_schedule_ro
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
introduce ne
w
s
c
h
e
dule
A
PI
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
isl_ast_build_access_from_multi_
p
w_aff: t
r
eat nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
ool
a
e
g
e
i
sl
_
a
s
t_build_expr
.
c: ext
r
act out isl_
a
st_build_with_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
add isl_ast_op_mem
b
e
r
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
isl_
s
c
hedul
e
.
c:
fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdool
a
e
ge
isl
_
mat
.
c:
fix typo
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Tobi
a
s Grosser
Fix typo in heade
r
g
u
a
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdo
o
laege
isl_
a
st_build_ex
p
r
.
c: ex
t
ra
c
t_modulo: cons
i
der a
d
ditiona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
isl_ast_build_expr
.
c
:
extract_modulo: extract
const
r
u
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
i
sl_
a
st
_
buil
d
_
e
xpr
.
c: extract_m
o
dulos: postpone modificatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erd
o
ola
e
ge
i
s
l_ast_build_expr
.
c: ext
r
act_mod
u
l
o
s: store int
e
rmediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
o
olaege
i
s
l_ast_build_expr
.
c
:
extract_mod
u
lo: assume input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
l
ae
g
e
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2013-08-26
Sven
V
erdoolaege
i
s
l_union_set
_
compute_
s
che
d
ule: fix check
f
or progres
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-16
Sven Verdoolaege
export isl_ast_exp
r
_set_op_arg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
Verd
o
ol
a
ege
add i
s
l_mul
t
i_*_range_factor_{domain,range}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
a
d
d i
s
l_map_range_factor_
{
d
omain,range}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ve
r
doolaege
add
i
sl_space_range_factor_{d
o
m
a
in,range}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ver
d
o
olaege
add i
s
l_mu
l
ti_*_range_is_wra
p
p
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
a
dd isl_
m
ap_r
a
nge_is_w
r
appi
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdo
o
laege
add isl_spa
c
e_is_wrapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
doc: do
c
u
m
ent
i
sl_spa
c
e*product function
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Verdoolaeg
e
add isl_mult
i
_*_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdoolaege
d
o
c
: list is
l
_multi
_
*_reset_tup
l
e_id as functi
o
n modi
f
yin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n V
e
rdool
a
ege
add is
l
_set_re
s
et_u
s
er and isl_map_reset_u
s
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_spa
c
e_reset_
u
ser
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdoolaege
IS
L
_
ARG_GROUP: allow specifica
t
ion of long
name/pre
f
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoo
l
aege
isl_a
r
gs_parse: allow m
u
ltiple pr
e
fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ver
d
oola
e
ge
isl_
a
rg
.
c: print_arg_h
e
l
p
:
p
rint "no-" on defa
u
lt-set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
Sven Ver
d
oolaege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2013-08-06
R
ay Do
n
n
e
lly
MinG
W
-w64
b
uil
d
f
i
x
(lacks ffs declaratio
n
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
S
v
en Verdool
a
ege
isl_ast_
b
uil
d
_ast_from_sc
h
edule: improve handl
i
n
g
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-05
Sven Verdoolaege
isl_
c
tx
.
c: fin
d
_nested_options: proper
l
y handl
e
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
S
ven Ve
r
doolaege
isl_u
n
ion_map_params: plu
g
memory leak
i
n ca
s
e of empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add i
s
l_id_t
o
_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
d
oolaege
add isl_
a
st_expr_subst
i
tut
e
_
i
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
erdoola
e
ge
e
x
tr
a
ct out is
l
/ast
_
type
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
add isl_
a
st_expr_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
add isl_ast_b
u
ild_{access
,
call}_from_multi_p
w
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ve
r
doolaege
add
isl_ast_build_access_from_p
w
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add is
l
_id_to_ast_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
rdoolaege
add isl_ast
_
expr_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
add isl_id_g
e
t
_
hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
Verdoolaege
gener
a
lize and export isl_map_to_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolae
g
e
add
i
sl_map_to_basic_s
e
t_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl
_
ma
p
_
t
o_basic_set:
a
dd reference
c
ounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
add is
l
_map_to_
b
a
s
ic
_
set_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
V
erd
o
olaege
export isl_ba
s
ic_set_plain_
i
s
_
equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
isl_map_to_bas
i
c_set
:
keep track of isl_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
e
rd
o
o
l
aege
isl_map_to_basi
c
_set_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
g
e
rename i
s
l
_hmap
_
m
ap_
b
asic_set to
i
sl_ma
p
_to_ba
s
ic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
add i
s
l_multi
_
pw_aff_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
isl_i
n
put
.
c:
extr
a
ct out map_from_tuple fr
o
m read_m
a
p_t
u
ple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
ae
g
e
isl_pri
n
ter_print_m
u
lti_pw_af
f
: change o
u
t
p
ut form
a
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
isl_stream_r
e
ad_
m
a
p: ac
c
ept pi
e
cew
i
se affine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
isl_input
.
c:
extr
a
ct ou
t
push_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Verdoola
e
ge
isl_
i
nput
.
c
:
ex
t
ract
o
u
t
set_current
_
l
i
n
e_col
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
add is
l
_set_from_mult
i
_pw_aff
a
nd isl
_
ma
p
_fro
m
_multi_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdool
a
ege
add isl_map_preimage_d
o
ma
i
n_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
add isl_set_pre
i
mage_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ver
d
oolaege
add
isl
_
multi_pw_af
f
_
p
u
l
lback_multi_
p
w_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
oolae
g
e
add
i
sl_multi_pw_aff_pullback_pw_mu
l
t
i
_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
add isl_multi_pw_aff_pu
l
lb
a
ck
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
i
sl_aff_pullback_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_
m
ulti_pw_aff_from_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi_pw_aff_from_mu
l
t
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdo
o
laege
a
dd
i
sl_multi_pw_
a
f
f_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolae
g
e
add isl_
m
ulti_pw
_
aff
_
i
n
terse
c
t_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
l
aege
add isl_multi_pw_
a
ff
_
interse
c
t_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
erdoolae
g
e
a
d
d
i
sl_m
u
lti_pw_aff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doo
l
a
e
ge
add isl_mult
i
_pw_
a
ff_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ver
d
oolaege
add
isl_pw_aff_i
s
_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
generalize isl_mult
i
_aff_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
generalize isl_m
u
lti_aff_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
d
ecl
a
r
e
isl_multi_pw_aff_gis
t
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdo
o
laege
declare isl_multi_pw_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
add isl_pw_multi_aff_fix
_
si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdo
o
l
a
e
ge
add isl_p
w
_m
u
l
t
i_aff
_
proje
c
t_out_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
e
r
d
oolaege
add i
s
l_pw_multi_aff_f
r
o
m_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
add isl_
p
w_multi_aff_f
r
om
_
pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
Verdoolaege
add isl_p
w
_multi_a
f
f_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl_pw_aff_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdool
a
ege
ad
d
isl
_
pw_a
f
f_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
privately
e
xp
o
rt isl_pw_qpolynom
i
al_res
e
t_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
declare isl_pw_aff_h
a
s
_
t
u
ple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next