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_mat.c: exchange: add memory management annotations
2020-04-04
Sven
V
e
r
d
o
o
l
a
e
ge
is
l
_mat
.
c: e
x
chang
e
:
a
d
d memory manag
e
ment an
n
otations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Verdoolaege
isl
_
map_simplify
.
c: n_p
u
r
e_
d
iv_eq: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verd
o
olaege
i
s
l_map_simpli
f
y
.
c
: swa
p
_{,in}e
q
uali
t
y
: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
v
e
n
Verdoolaege
isl_
m
a
p
.
c: parameter_compute
_
divs
:
a
dd memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl
_
map
.
c: set_append_equalit
i
es: add me
m
ory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
is
l
_
m
ap
.
c: move_d
i
vs_last: add memo
r
y manag
e
ment annota
t
ions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_map
.
c:
r
oom_for_ineq: add memory management ann
o
tation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_map
.
c: room
_
f
o
r
_
con: add
memory
m
a
n
a
g
e
m
ent
a
nnotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdo
o
laege
isl_i
n
put
.
c: map_read_po
l
ylib: add
m
emory
m
anagemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoola
e
ge
isl_input
.
c
:
r
ead_disjuncts
:
add memory manag
e
men
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
erdoolae
g
e
isl_equali
t
ies
.
c
: p
a
ramet
e
r_compr
e
s
s
ion_multi: add
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en Ve
r
doolaege
isl_
e
qualities
.
c: paramete
r
_
c
o
mpression_1: add memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
i
s
l_equaliti
e
s
.
c: particular_so
l
ution:
a
dd memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
ven Verdoolaege
isl_aff
i
ne_
h
u
l
l
.
c: outs
i
de_poi
n
t: a
d
d me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolae
g
e
isl_a
f
fine_hu
l
l
.
c: equali
t
ies_in_underlyin
g
_set: add
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaeg
e
isl_aff
i
n
e
_hull
.
c: delete_r
o
w:
a
d
d memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
erd
o
o
laege
i
s
l
_vec_lc
m
:
a
d
d
memory management an
n
otation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Ve
r
doolae
g
e
isl_ma
t
_
c
ol_mul: ad
d
mem
o
r
y
management annotat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Verdoolaege
is
l
_mat_c
o
l_submul: add
m
emory management annota
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaeg
e
isl_
m
at_col_combine: add memor
y
managem
e
nt annotat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Ve
r
doola
e
ge
isl_
m
at_c
o
l_sc
a
le: add memory
m
a
nagement annot
a
ti
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n
Verdoolaege
isl_basic_m
a
p_free_d
i
v:
add memory management anno
t
a
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
i
s
l
_
b
asic_set_alloc_div
:
add memory mana
g
ement anno
t
ation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_ba
s
ic_map_alloc_div:
a
dd memory management a
n
nota
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_basic_map_inequality_to_equali
t
y: add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_
b
as
i
c_map
_
dr
o
p_ine
q
ualit
y
: a
d
d memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verdo
o
laege
isl_basi
c
_se
t
_drop_
i
nequali
t
y: add memory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
erdo
o
l
a
ege
isl_b
a
sic_ma
p
_drop_equ
a
l
it
y
: add memory manage
m
en
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verdoolaege
isl_b
a
sic_set
_
alloc_equa
l
ity: add memory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
ve
n
Verdoolaege
isl_ba
s
ic_map_al
l
oc_equality:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Verdo
o
laege
isl_c
o
nstraint
.
c: offs
e
t: add memory
m
anagement ann
o
tation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
e
rdoolaege
i
s
l_constr
a
int
.
c: n: add me
m
o
ry management a
n
notation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
ve
n
Ve
r
doolaege
i
s
l
_a
f
fi
n
e_hull
.
c
: uset_affine_hull: add memor
y
manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verd
o
olaeg
e
isl_affine_hull
.
c: affine_h
u
l
l
_w
i
th_cone: add me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
i
s
l_c
o
nst
r
aint_is_equal:
add memory management annota
t
ions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolae
g
e
isl_vec_du
p
:
a
dd memory m
a
nagement a
n
n
o
tati
o
ns
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Ve
r
doo
l
aege
i
s
l_bas
i
c_{se
t
,map}_u
p
date_from
_
tab: add mem
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Ver
d
oolaege
isl_tab_get_sample_val
u
e:
add memory management annotat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl
_
tab_samp
l
e
add
memory man
a
g
e
m
e
nt annot
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
v
e
n Verdoolae
g
e
i
sl_basic_se
t
_eliminate_
v
ars
:
add memor
y
ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_set
_
n
ormalize:
ad
d
memory management annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en Verdo
o
laege
is
l
_set_remove_emp
t
y_
p
arts: add memory manageme
n
t
annotati
o
ns
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en Ver
d
o
o
laege
i
sl_s
e
t_grow: a
d
d memory management annotatio
n
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
ven Verdoolaege
isl_basi
c
_set_remove_equalit
i
e
s
: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaeg
e
isl_constrai
n
t_co
w
: add me
m
o
r
y mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolae
g
e
i
s
l
_
constraint_d
u
p: a
d
d memory ma
n
agem
e
nt
annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
ven Verdo
o
laege
isl_basic_
s
et_
c
o
n
stra
i
n
t
:
add memory
m
an
a
gement ann
o
tations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoola
e
g
e
isl_basic_ma
p
_
c
onstra
i
nt:
add me
m
ory ma
n
agement ann
o
ta
t
i
ons
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl
_
basic_se
t
_implicit
_
equal
i
ti
e
s
:
a
d
d memory manag
e
m
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Verdool
a
e
ge
isl_vec_no
r
malize: add memory manageme
n
t annotat
i
ons
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en
V
erd
o
olaege
isl_set_f
i
x_dim_si: a
d
d
m
emo
r
y manage
m
e
n
t
annot
a
tions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_mat_exte
n
d: add memory m
a
nagement a
n
no
t
ations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
V
erd
o
olaege
isl_map_remove_
i
nputs: ad
d
m
emory manag
e
me
n
t annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en
Verdoolaeg
e
isl_map_fix_
i
n
p
ut_si:
add m
e
mory man
a
gement
a
nn
o
tations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_
c
onstraint_negate: add memory m
a
n
agemen
t
anno
t
ations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Ver
d
oolaege
isl_constr
a
int_copy: add memor
y
manage
m
ent annot
a
tions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven
Verd
o
olaege
isl_val
_
read_from_str: add memory
m
a
nagem
e
nt
annotati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
ven Verdo
o
l
a
e
ge
i
sl_
s
et_simple_hull: add m
e
m
o
r
y management annot
a
tions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_
m
at_iden
t
ity: add
m
emory manag
e
ment annotat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven V
e
rdoolaege
isl_ba
s
ic_map
_
read_from_
s
t
r
:
add
m
e
mory ma
n
ag
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Ver
d
oolaege
isl_set_read
_
from_st
r
:
a
d
d
memory
m
an
a
g
e
ment annotatio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
erdoolaege
isl_map_dup: add memory ma
n
agement
a
n
n
otat
i
ons
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolae
g
e
isl_b
a
s
ic_set_f
i
x_si:
a
dd memory
m
an
a
gement annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verdo
o
l
a
ege
isl_vec_cow: add memo
r
y
m
anagement annotati
o
n
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdo
o
l
a
ege
isl_vec
_
copy: add
m
em
o
ry manageme
n
t
a
n
nota
t
ions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n
V
erdool
a
ege
drop spu
r
ious
isl_vec_get_element declaration
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven V
e
rdoolaege
isl_mat_a
l
loc: ad
d
memory management annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n
Ver
d
oolaege
i
sl_
b
a
s
ic_set_gist: add memor
y
managem
e
nt ann
o
tations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
i
s
l_set_product: add memory
manageme
n
t annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
ve
n
Verdoolaege
isl_set_align_
d
i
v
s: add memory manageme
n
t ann
o
ta
t
ions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven V
e
rdoolaege
isl_se
t
_
g
e
t_hash: add memory man
a
g
e
ment annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
ve
n
V
erd
o
olaeg
e
i
s
l
_vec_dump: add memory manage
m
ent
a
nnot
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
ven Ver
d
oolaege
isl_tab_from_rece
s
sion_cone: a
d
d mem
o
r
y managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
v
e
n Verdoolaege
add
m
e
m
ory manag
e
ment an
n
ot
a
tions to functi
o
n d
e
finiti
o
ns
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
S
ven V
e
rdoo
l
aege
ad
d
memory management an
n
otations to functio
n
de
f
initi
o
n
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
ad
d
memory m
a
nagement
a
nno
t
ations
t
o
f
uncti
o
n definitions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
er
d
oolaege
add memory
m
a
nagement a
n
notat
i
ons to fun
c
tion definit
i
ons
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Verdoolaege
ad
d
mem
o
ry management annot
a
tions to function definitions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
add some isl
_
u
n
i
on_pw_multi_aff_involves_nan tests
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Verdoolaege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2020-04-04
Sven Ve
r
d
o
olaege
fix t
y
po brea
k
ing
i
sl_u
n
ion_*_involves_nan
commit
|
commitdiff
|
tree
2020-03-28
Sven Verdoolaege
d
rop spurio
u
s isl_
s
et_drop_vars declarat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-28
Sven
V
e
rdoolae
g
e
drop unused i
s
l_basic_set_order_divs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-28
Sven Verdoolaege
drop unused isl_ba
s
ic_{
m
a
p,se
t
}_fix_{input
,
dim}_si
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-28
Sven Verdoolaege
drop
un
u
s
ed isl_basic_set_i
s
_
div_constra
i
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-27
Sve
n
V
e
rd
o
olaege
configure
.
ac: link i
n
l
l
v
m fron
t
endope
n
m
p comp
o
nen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-23
Sven V
e
r
doolaege
isl_m
a
p_simplify
.
c
: uset_gist_compressed: do n
o
t
mark
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-23
S
v
en Verd
o
olaege
isl_map_simpl
i
f
y
.
c: uset_gist: do not mark
input empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-23
Sven Verd
o
olaege
i
sl_
b
asic_map_set
_
to_empty: do not modify inp
u
t if
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-22
Sven Ve
r
doolaege
i
s
l_set_get_si
m
p
l
e_fixed_box_h
u
ll: do not compute integer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-22
Sven Verdoolaege
ad
d
isl_bas
i
c
_
set_drop_constraints_involving_unknown_di
v
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-21
Sven
V
erd
o
olaege
r
e
name isl_{basic
_
,}
m
ap_drop_constrain
t
_
involving_unknown_divs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-06
Sven Verdoolaege
a
dd exported
i
sl_aff_zero_on_dom
a
in_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-01
Sven Ver
d
oolaege
add isl
_
multi_*_get_list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-02-27
Sven Verdoolaege
a
d
d
exported
isl_multi_pw_aff_u
n
ion_add
commit
|
commitdiff
|
tree
2020-02-27
Sven Verdoolaege
genera
l
i
ze isl_multi_union
_
p
w
_
aff_union_add
commit
|
commitdiff
|
tree
2020-02-25
Sve
n
Verdoolaege
isl_
u
nion_set_coefficients: rena
m
e "
d
im" va
r
iable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-02-25
Sven Verdool
a
eg
e
isl_uni
o
n_map
.
c: plain_injec
t
ive_on_r
a
nge:
r
ename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-02-25
S
v
en Verdoolaeg
e
i
s
l_uni
o
n_map
.
c: is_subset_of_identity: ren
a
m
e "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-02-25
Sven V
e
rdoolae
g
e
isl
_
uni
o
n_map
_
from
_
map: rename "dim
"
vari
a
ble t
o
"
spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next