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
isl_pw_*_add_disjoint: try and extend one of the pws instead of copying pieces
2011-09-03
Sven Verdoolaege
isl_
p
w_*_add_disjoint: try a
n
d extend one of the pws
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
V
e
r
d
o
o
laeg
e
isl_spac
e
_match: optimize trivi
a
l cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
r
doolaege
add isl_map_f
l
a
t_domai
n
_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
i
s
l_acc
e
ss_info_compute_flow: align paramete
r
s of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdool
a
ege
ali
g
n param
e
ters of arguments
to
i
sl_
m
a
p
_
{lexmi
n
,le
x
m
a
x
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
lae
g
e
isl
_
space_align_params: acc
e
pt
g
eneral isl
_
s
p
aces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
add isl_s
p
ace_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
oolae
g
e
r
enam
e
is
l
_dim to
is
l
_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
docu
m
ent is
l
_d
i
m
_
move
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdoo
l
a
ege
split off decla
r
ations from i
s
l_polyno
m
ial
.
h to separa
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
V
erdoo
l
aege
me
r
ge isl_*_
d
ump fu
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add isl_se
t
_dim_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdoolae
g
e
add isl_basic_set_f
o
re
a
ch_lexopt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add isl_pw_aff_u
n
ion_opt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add
i
sl_pw_aff_
u
nion_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoolaege
add isl_aff_l
e
_
basic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
la
e
ge
i
s
l_
q
p
olynomial_free:
r
eturn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-31
Sven V
e
rdoolaege
i
s
l_
q
polynomial_
r
at_c
s
t:
h
andle NULL space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
bernstei
n
_coefficients
_
cell: handle N
U
LL pol
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
S
v
e
n
V
erdoolae
g
e
i
sl_pr
i
nter_to_str: intializ
e
buffer to empty str
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
S
ven Verdoolaege
isl_
m
ap_in
s
ert:
prop
e
rly
h
a
ndl
e
named
o
r nes
t
e
d spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sve
n
Verdoola
e
ge
isl
_
s
et_flat_product: cal
l
is
l
_map_r
a
nge_flat_p
r
oduc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven Ver
d
oolaege
a
dd some is
l
_
m
ap_plain_
i
s_fixe
d
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
S
ven V
e
rdoolaege
isl_basic_m
a
p
_n
e
g: gaus
s
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolae
g
e
isl_dim_
g
et_tupl
e
_id: complain if tu
p
le
h
as
no
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erdoolae
g
e
isl_dim_get_di
m
_id:
com
p
lai
n
if
d
im has no
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
add
i
sl_*_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verd
o
olaege
add isl_*
_
h
a
s_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verd
o
o
l
a
ege
doc: warn about th
e
lim
i
ted
u
se of
i
d
entifiers of
i
ndividual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
erdoolaege
d
o
cu
m
ent isl_map_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven
Verdool
a
ege
rename
isl_map
_
insert t
o
isl_set_insert_di
m
s
a
nd ad
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Ver
d
oola
e
ge
M
er
g
e b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-08-11
S
v
en V
e
rdo
o
laege
isl_dim
_
equal: handle NU
L
L input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
isl_dim_tup
l
e_match: handle NULL i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Sven Verdoolaege
isl_map_is_subset
:
a map cann
o
t be as subs
e
t
of a map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-06
Sven
Verdoolaege
docum
e
nt
i
sl
_
map_
p
lain_is_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
S
ven Verdoolaege
Merge bran
c
h 'main
t
'
commit
|
commitdiff
|
tree
2011-08-05
Sven
Verd
o
olaege
isl_set_
p
roduct: call isl_map_range_produ
c
t instea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
S
v
en
V
er
d
oolaege
isl_basic_ma
p
_remove_dims: proper
l
y handle named or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
S
ven
V
erdoolae
g
e
isl_ba
s
ic_map_d
r
op
:
prop
e
rly handl
e
nested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaeg
e
isl
_
access_in
f
o_compute_f
l
o
w: plug memo
r
y leak on e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolaege
d
o
c: update prototy
p
e of isl_constraint
_
free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolaege
isl_ba
s
ic_map_re
m
o
v
e_divs: ha
n
dl
e
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sv
e
n V
e
r
d
oolae
g
e
i
s
l_sch
e
dule
.
c: handl
e
basi
c
maps individually in
s
e
t
up
_
carr
y
_lp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoolaege
add isl_se
t
_rese
t
_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdo
o
laeg
e
Merge bra
n
ch
'
mai
n
t'
commit
|
commitdiff
|
tree
2011-08-03
Sve
n
Verdoolaege
i
sl_d
i
m_rang
e
_product: dimen
s
i
o
n names
of domains
don
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sv
e
n V
e
rdoolaeg
e
isl
_
aff
.
c: fi
x
up copyri
g
ht
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaeg
e
isl_aff_floor: reduce
coe
f
f
icients of newly
c
r
eated
div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
add
isl_aff_mod a
n
d
i
sl_pw_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verd
o
olaege
add
i
sl_in
t
_mul
_
2exp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-29
Sv
e
n Verdoolaege
e
x
port isl_pw_aff_foreach_piece
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-29
Sven Ver
d
oolaege
a
d
d
isl_set_
d
im_has_{lower,upper}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolae
g
e
isl_strea
m
_re
a
d_
m
ap: accep
t
assignm
e
nts to t
u
ple var
i
a
bles
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n Verdool
a
e
ge
isl_stream_read_
m
ap: accept ternary
o
p
e
rator
s
i
n
variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdoo
l
aege
isl_strea
m
_rea
d
_map:
handle
i
nitial pa
r
e
n
thesiz
e
d affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
ven V
e
rdoolaege
i
s
l_s
t
ream: support compound
t
o
kens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
rdoolaege
privately export isl_
t
oken_
n
ew
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolae
g
e
isl_stream_read_map: accept "!=" in expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdoola
e
ge
isl_str
e
am
_
read_m
a
p: accept "mod" in expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
d
oolaege
isl_
s
tream_read_map
:
accept arbit
r
ar
y
af
f
ine express
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
erdoolaege
isl_stre
a
m_read_
m
ap
:
u
se affine ex
p
r
essions duri
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdo
o
laege
add isl_pw_af
f
_list_
{
min,max}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdoola
e
ge
add isl_pw_aff
_
list_*_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
o
l
ae
g
e
add
i
s
l_pw_qpolyno
m
ial_f
r
om_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
add isl_pw_qpoly
n
omi
a
l
_
pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
erdoolaege
add isl_pw_qpolynom
i
al_from_qpol
y
nomi
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
o
l
a
e
ge
add isl_p
w
_aff_
l
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
rdoolaege
add is
l
_*
_
list_conca
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en
Ve
r
doolaege
add
i
s
l
_*_list_from_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdoo
l
a
ege
*_lis
t
_free: return
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
doolaege
add isl_map
_
set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdoolaege
a
d
d
isl
_
pw_aff_fr
o
m_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
v
e
n Verdoolaege
isl_map_intersect: be ca
r
eful when inte
r
secting with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ver
d
oolaeg
e
isl_map_in
t
ersect: be
careful when i
n
tersecting with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven
V
erdoolaege
add isl_p
w
_aff_n
o
n_zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ve
r
doola
e
ge
expo
r
t isl_pw_af
f
_ze
r
o_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-23
S
v
en Verdoolaeg
e
reimple
m
ent i
s
l_cons
t
rai
n
t i
n
terms of is
l
_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-23
Sven
V
erd
o
ola
e
ge
add isl_local_space_i
s
_di
v
_
c
on
s
traint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-23
Sve
n
Ver
d
o
o
l
a
ege
drop isl_constraint_add_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-23
Sven
V
erdoolaege
drop isl_const
r
aint_clear
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-23
S
ven V
e
rdoolaege
isl
_
constraint: drop constrain
t
iterat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-21
Sv
e
n Verdoo
l
aege
is
l
_union_
m
ap_add_map
:
align
p
ar
a
m
e
te
r
s if n
e
e
ded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
S
ve
n
Ver
d
oolaeg
e
a
l
ign paramete
r
s o
f
a
rguments to
b
i
nary isl
_
m
ap a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sven
V
erdoola
e
ge
i
ntroduce identifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sven Verdoolaege
priv
a
tely ex
p
ort isl_pw_aff_reset_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sven Verdoolaege
add is
l
_pw
_
aff_min and isl_pw_a
f
f_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sven
Verdoolaege
re
n
ame isl_pw_aff_max to isl_pw_aff_union_m
a
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sven Ver
d
oolaege
add isl_pw
_
a
f
f_mul
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
S
v
en Verdoolaege
add
i
sl_pw
_
aff_is_cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sven Verdoolaege
add isl_pw_aff_ne_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sven Verdoolaege
add is
l
_map_
o
ppos
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sv
e
n Verdoolaege
add isl_map_equate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
S
v
en Verd
o
olaege
a
d
d
i
sl_map_i
n
v
o
lves_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sv
e
n Verdoolaege
add isl_set_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
S
v
en Verdoo
l
aege
isl_
a
r
g
_pa
r
se: support flags on string
o
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sve
n
Ve
r
doolaege
decouple isl_qpolynomia
l
_substitute_
e
qu
a
lities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sven
V
erdoolaege
decouple isl_a
f
f
_
s
ubstitute_equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
S
v
en V
e
rdoolae
g
e
isl_map_
n
_
{
in,out,para
m
}: ha
n
d
l
e
N
U
LL inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next