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
Sve
n
Verdoolaege
isl
_
mat
.
c: exchan
g
e: add memo
r
y mana
g
e
m
e
n
t an
n
ota
t
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoo
l
aeg
e
i
s
l_map_sim
p
li
f
y
.
c: n_p
u
re_div_eq:
a
dd memory
m
an
a
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolae
g
e
isl
_
map_simplify
.
c: swap
_
{
,
in}equa
l
ity: add me
m
o
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdool
a
ege
i
sl_map
.
c: paramete
r
_comp
u
te_divs:
a
dd
memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
e
n
Verdoola
e
ge
isl_map
.
c:
set_
a
ppend_equa
l
ities: add memo
r
y management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
Verdoolaege
i
sl_m
a
p
.
c:
move_divs_last: add
memo
r
y m
a
nagement ann
o
tation
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdo
o
laege
i
s
l
_
map
.
c:
room_for_ineq
:
add memory
m
anagem
e
n
t a
n
notation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
Ver
d
oolae
g
e
isl_
m
ap
.
c: room_for_con
:
add memory management
a
nnotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
erd
o
ola
e
ge
isl
_
input
.
c: map_r
e
ad_poly
l
ib: add memory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verdoolaege
i
s
l_
i
nput
.
c:
r
e
a
d_disj
u
ncts: add
me
m
ory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_equalitie
s
.
c: parameter_
c
ompression_mult
i
: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verdoolaege
isl_equa
l
ities
.
c
:
param
e
ter
_
compression_1:
a
dd
m
e
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Ve
r
doolaege
isl
_
equalities
.
c: partic
u
lar_solution:
a
dd memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en Verdoolaege
isl_a
f
fine
_
hull
.
c:
o
u
tside_
p
oint:
a
dd mem
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Verdoolaege
i
s
l
_aff
i
ne_hull
.
c:
e
qualities_in_und
e
rlyin
g
_set: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Ve
r
d
o
olaege
isl_af
f
ine_hull
.
c: delete_row:
add
m
emory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Ver
d
oolae
g
e
isl_vec_lcm: add memory management annotati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdool
a
ege
i
s
l_mat_col_mul
:
add
m
emor
y
management ann
o
tation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verd
o
olaege
i
sl_m
a
t_
c
ol_submul: add memory
management ann
o
tation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Verdoolaeg
e
isl_mat_col_c
o
mbine: add memory ma
n
agement an
n
ot
a
tion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Verdoolaege
isl_m
a
t_
c
ol_scale: add memo
r
y management annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n
Verdoo
l
aege
isl_bas
i
c_map
_
free_div: add
memory management
a
nnotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
erdoolaege
i
s
l_basic_set_alloc_div: add memo
r
y management annotatio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
ven Ve
r
do
o
l
a
ege
is
l
_basic_
m
ap_al
l
oc
_
div: a
d
d me
m
or
y
management annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verdoolaeg
e
isl_basic_map_i
n
equalit
y
_to_equal
i
ty:
a
dd
memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaeg
e
isl_ba
s
ic_map_
d
rop_in
e
quality: add
m
e
mory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_basic
_
set_drop_i
n
equality: add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en Verdoolaege
i
s
l_basic_
m
ap_
d
rop_equality: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoo
l
aege
is
l
_basic_set_all
o
c_equality: add memory m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en Ver
d
oolaeg
e
isl_basic_m
a
p_a
l
loc
_
equali
t
y: ad
d
memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
e
rdoo
l
aeg
e
is
l
_
c
ons
t
rai
n
t
.
c:
of
f
s
et: add mem
o
ry
m
anagemen
t
an
n
o
tati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en Ve
r
do
o
laege
i
s
l_constr
a
i
n
t
.
c
:
n: add
m
emory
ma
n
agem
e
nt annot
a
tion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en
V
erdool
a
ege
isl_affine_hull
.
c: uset
_
affine_h
u
l
l: add memo
r
y management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
erdoolaege
isl_affine_hull
.
c: af
f
ine_hull_with_cone: a
d
d memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_con
s
traint_i
s
_equal: add
m
e
m
or
y
management a
n
notations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Ve
r
d
o
olaege
isl_vec_dup: add memory managemen
t
a
n
not
a
tions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Verdoolaege
isl_basic_{set,map}_up
d
at
e
_fr
o
m_tab: add memory m
a
na
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en Verdoolaege
isl_tab_get_sample_valu
e
: add
m
emor
y
man
a
gem
e
nt annotati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoola
e
ge
isl_tab_sample add memory management an
n
otation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_basic_s
e
t_eliminate_vars
:
a
d
d m
e
m
o
r
y
mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
Ve
r
do
o
laege
isl_set_normalize: add
memo
r
y management
a
n
notations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoola
e
ge
is
l
_
s
et_remove_empty_par
t
s: add memory manageme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven V
e
rdoolaege
isl_set_grow: add m
e
mory m
a
n
a
g
emen
t
annotation
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
Verdoolaeg
e
i
s
l_bas
i
c_set_remove_equalities: add
m
e
mory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdo
o
laege
i
s
l_c
o
n
s
tr
a
int_cow: add mem
o
r
y
management
annota
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Ver
d
oolaege
i
sl_constraint_dup
:
add me
m
ory management annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
ven Verdoolaege
is
l
_bas
i
c_set_constraint:
add memory management annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdo
o
l
a
ege
i
s
l
_ba
s
ic_map_constrain
t
: add memory
manag
e
ment
annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en
V
e
rd
o
o
l
a
e
ge
isl_b
a
si
c
_s
e
t
_
i
mplicit_equalities
:
add
m
e
mory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
e
n
Verdoolaege
isl_v
e
c_normalize: a
d
d m
e
mo
r
y manage
m
ent
annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verdoolaege
i
s
l_set_fix_dim
_
si:
a
dd memory
m
a
nagement a
n
notations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoo
l
aege
isl_mat_extend: add memo
r
y
mana
g
ement an
n
ot
a
tions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven V
e
rdo
o
l
aege
isl
_
map_remove
_
inputs:
a
dd memory management anno
t
at
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Ver
d
oolaeg
e
isl_map_f
i
x
_
in
p
u
t_si: add m
e
mory man
a
geme
n
t a
n
n
o
tat
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verdoolaege
isl_cons
t
raint_negate: add memo
r
y
management a
n
no
t
ations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
erdoola
e
ge
i
sl_constraint_co
p
y: a
d
d me
m
ory ma
n
a
gement annot
a
tions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en Verdoola
e
ge
isl_val_read_from_str: add me
m
ory managemen
t
ann
o
t
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
erdoolae
g
e
i
s
l_set
_
s
i
m
ple_hull:
add mem
o
r
y
m
anageme
n
t an
n
o
t
at
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Ve
r
doolaege
isl_mat
_
identity
:
add memor
y
manageme
n
t an
n
o
tation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_
b
asic_map_r
e
ad_f
r
om_str: ad
d
memory
manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl
_
set
_
r
ead_from_str:
a
dd
memory manag
e
men
t
annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
V
e
rdoolaege
isl_map_dup:
add mem
o
r
y man
a
gement annotation
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en Verdo
o
laege
isl_bas
i
c_set_fix_si: add m
e
mory management anno
t
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
erdoolaeg
e
isl_vec_cow: add
m
emory management a
n
notations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl_vec_copy: ad
d
memory management
a
nnotati
o
ns
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verd
o
olaege
drop spur
i
ou
s
i
sl_vec_get_eleme
n
t declaratio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sve
n
Verdoolaege
i
sl
_
mat_a
l
loc:
a
dd memory ma
n
a
gement a
n
notation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolae
g
e
i
s
l_basic_
s
et_gist:
add memory m
a
n
age
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sv
e
n Verdoolaege
isl
_
s
e
t_product: a
d
d memory man
a
gemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoola
e
ge
isl_set_ali
g
n_divs: add memo
r
y
m
anage
m
en
t
anno
t
ations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven
V
erdoolaege
isl_set_get_hash: add
memory management ann
o
tation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
isl
_
vec_dump:
add
memory management an
n
otation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
ven V
e
rd
o
o
laege
isl_tab_from
_
recessi
o
n_cone: add memory managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
S
v
en Verdoolaeg
e
add me
m
o
r
y manageme
n
t anno
t
ations to func
t
i
o
n d
e
fin
i
tions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdo
o
lae
g
e
add
m
emo
r
y management annotations
t
o f
u
nction definitions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven V
e
rdoo
l
ae
g
e
add memory
manageme
n
t
a
nnota
t
ions to f
u
nct
i
on definitions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
add memory ma
n
agemen
t
annotations to funct
i
on definitions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
add memory m
a
nag
e
me
n
t annotations to function definitions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolaege
add
s
o
me
i
sl
_
u
n
ion_pw_multi_
a
ff_involves_nan te
s
t
s
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2020-04-04
Sven Verdoolae
g
e
Me
r
ge branch
'maint'
commit
|
commitdiff
|
tree
2020-04-04
S
ven Verdoo
l
aege
fix
t
ypo br
e
aking isl_union_*_in
v
olves_nan
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2020-03-28
S
v
en
Verdoolaege
dr
o
p spurious
isl_
s
et_drop_var
s
declaration
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-28
Sven Verdoolaege
drop
u
nused is
l
_bas
i
c_
s
et_or
d
er_divs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-28
S
v
e
n
Ver
d
oolaege
dro
p
unus
e
d is
l
_
b
a
sic_{map,se
t
}
_
fix_{input,dim}_si
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-28
Sven Verdoolaege
drop
unused isl_basic_s
e
t_is_div_constraint
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-27
Sven Verdool
a
eg
e
co
n
f
i
gure
.
ac:
l
ink in
l
lvm frontend
o
p
enmp compon
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-23
Sven
Verdoolaege
isl_m
a
p_simpl
i
fy
.
c: uset_gist_
c
ompressed
:
do not mark
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-23
Sven Verdoolaege
isl_m
a
p_
s
implify
.
c
: uset_gist: do n
o
t
mark input empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-23
S
v
e
n Verdoolaege
isl_
b
asi
c
_map_set_to_em
p
t
y
: do not modify input if
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-22
Sven Verdoolaege
isl_set_get_simple
_
fixed_box_hull: do not compu
t
e integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-22
Sven Verd
o
olaege
add isl_basic_set_dro
p
_constraints_in
v
ol
v
ing_unknown_divs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-21
Sven Verdoolaeg
e
re
n
a
me isl_{basic_,}map_drop_constra
i
nt_involving_unknown_di
v
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-14
S
ven
V
e
r
d
oolaeg
e
isl_constr
a
i
n
t_get
_
bo
u
nd: normalize
re
t
urned affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2020-03-06
Sven
V
e
rdoolaege
a
d
d
exporte
d
isl_aff_ze
r
o_on_domain_sp
a
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-05
Sven Verdoolaege
add exported is
l
_
m
u
l
ti_{val,pw_aff}_
{
min
,
max}
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2020-03-05
Sven
Verdoolaeg
e
i
sl_multi_*_bi
n
_op: p
e
rform
pa
r
ameter
a
lignment
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2020-03-01
Sven Verdoola
e
ge
a
d
d
i
s
l
_multi_*_get
_
l
ist
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2020-03-01
Sven Verd
o
olaege
isl_map
_
f
r
om_pw_multi_
a
ff: check
t
hat inpu
t
liv
e
s in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2020-02-27
Sven Verdoolaege
add
exported is
l
_m
u
lti_pw_aff_union_add
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2020-02-27
Sven
V
erdoolaeg
e
generalize isl_multi_union_
p
w_a
f
f
_
union_ad
d
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
next