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_output.c: next_is_opposite: return isl_stat
2018-09-02
Sven Verdool
a
e
ge
i
s
l_output
.
c
:
ne
x
t_i
s
_opposite: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
isl_c
o
alesc
e
.
c: ad
d
_subs: return i
s
l_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
sl_conv
e
x_hull
.
c
: uset_is_bound
:
ret
u
rn i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaeg
e
isl_transitive_clo
s
ure
.
c: check_e
x
actness
_
omeg
a
: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
o
o
l
aege
isl_transi
t
ive_closure
.
c
:
i
s
_a
c
yclic
:
re
t
u
rn i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolaege
isl_schedule_band
.
c:
h
a
s
_*
:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doola
e
ge
isl_ast_build_need
_
schedule_ma
p
:
retu
r
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ve
r
doolaege
isl_morph
.
c: identity_on_parameters: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
is
l
_m
a
t
_is_scaled_i
d
en
t
ity: return
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
isl
_
range
.
c: propaga
t
e_on_dom
a
in: ret
u
rn isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_pw_q
p
olyn
o
mial_fold_covers: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_vertices
.
c:
ca
n
_s
e
lect: return
i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
o
laege
isl_vertices
.
c: is_independent: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
isl_ast_code
g
e
n
.
c
:
a
f
ter_in_*: ret
u
rn i
s
l
_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
isl_inp
u
t
.
c
:
t
u
ple_h
a
s_expr: r
e
t
u
rn isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
s
c
hedu
l
e_node
.
c: locally_covered_by_domain: re
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolae
g
e
isl
_
tr
a
nsitive
_
cl
o
sure
.
c: increme
n
tal_on
_
e
nti
r
e_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
isl_transitive_closure
.
c
:
has_spurious_el
e
ments: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaeg
e
isl_transitive_closure
.
c: empty
_
path_is
_
identity: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
i
sl_constraint_is_div_constraint: re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ver
d
o
o
laege
i
s
l
_schedule_node
.
c: has_ancestors: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_poly_i
s
_cst: re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomial
.
c: set_active
:
return isl_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
a
e
ge
isl_p
o
ly
_
is_{n
e
g,
}
one: re
t
urn isl_
b
o
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl
_
qpolynomial_is_{affine,cst}: retu
r
n isl_b
o
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdoolaege
isl_poly_is_{neg,}in
f
ty: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Ve
r
doolaege
is
l
_p
o
ly_is_nan: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdool
a
e
ge
isl
_
po
l
y_is
_
zero: re
t
u
r
n isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_
q
po
l
ynomial_get_
d
en: improve error handlin
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdoolaege
isl_qpolyno
m
ial_ge
t
_
den: return isl_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
rename isl_upoly to isl_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Ver
d
oo
l
aege
int
r
o
duce
explicit isl_dim_map_free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_multi_*_fact
o
r_range:
u
se correct di
m
ension type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_bas
i
c_map_insert_dim
s
:
c
reate empty bas
i
c map dir
e
ctly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdool
a
ege
p
i
p
.
c: extract o
u
t
m
ove_para
m
eters
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdoolaege
expose isl_
u
nion_set_pr
o
ject_
o
ut_
a
ll_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolaege
e
x
tract out sh
a
red
isl_space
_
drop
_
all_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolaege
isl_ast_buil
d
_get_
s
pace: reuse i
s
l_
a
st_build
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolaege
isl
_
ast_build_product: reu
s
e isl_
a
st_build
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdool
a
e
g
e
i
s
l
_
a
st_bu
i
l
d
_get_schedul
e
_map_multi_aff: reuse isl_a
s
t
_
buil
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Ver
d
oolaege
isl
_
ast_build_need_
s
chedule_map:
r
eus
e
isl_ast_bu
i
ld_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
i
s
l_ast_buil
d
_se
t
_iterat
o
r
s
: reuse is
l
_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
extr
a
c
t out
s
hared
i
sl_ba
s
i
c
_
set_check_no
_
locals
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
extract out share
d
isl_basic_set_check_no
_
params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
ext
r
a
c
t
out sh
a
red isl_
p
oint_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
r
doolaege
extract out
s
hared
isl_point_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolae
g
e
ex
t
r
a
ct out share
d
i
s
l_point_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
e
x
tract out shared isl_p
w
_mul
t
i_aff_c
h
eck_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
e
rdoolaege
isl_
a
ff_involve
s
_
di
m
s: extra
c
t out isl_a
f
f_check
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaeg
e
extract out shared isl_set_ch
e
ck
_
ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
dool
a
e
ge
ext
r
a
c
t
o
ut sh
a
red
i
sl_basic_set_chec
k
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
extract out shared
isl_qpoly
n
omial_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoo
l
aeg
e
ex
t
rac
t
out shar
e
d isl
_
term_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
doolaege
ex
t
rac
t
ou
t
shared i
s
l
_
multi_*_c
h
e
c
k_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_lo
c
al_check
_
pos: ex
t
ract out isl
_
local_
c
heck_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
extract
o
ut s
h
ared isl
_
constraint_ch
e
c
k_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n V
e
r
d
oo
l
aege
extract
o
ut sh
a
red is
l
_
local_space_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
extract out shared isl_space_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoola
e
ge
me
r
ge isl*map_
c
heck_range i
m
plementat
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ver
d
oolaege
isl_ba
s
ic_map_plain_get_val
_
i
f_fixed: reuse isl_
m
a
p
_check_r
a
n
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdoola
e
ge
isl_map_fix: reus
e
isl_map
_
check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_map_fix_si: reuse
i
sl_map_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_map_oppose: reuse is
l
_map_c
h
eck_rang
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_map
.
c: map_bound_si: reuse isl_map_ch
e
ck_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaeg
e
isl_map
.
c: map_bo
u
nd: reuse isl_map
_
check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ver
d
oolaege
i
s
l_map_
f
ix
_
val: reuse
isl_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdoolaege
isl
_
basic_map_swap_var
s
: re
u
se i
s
l_basic
_
map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_basic_map
_
prei
m
age_vars: r
e
u
s
e isl_basic_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdoolaege
isl
_
basi
c
_map_eliminate: reuse isl_
b
asic_ma
p
_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
ol
a
e
ge
i
s
l_basic_
m
ap_trans
f
orm_d
i
m
s
: reus
e
isl_basic_map
_
check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_basic
_
map_
d
rop_
c
ore: reuse
isl_basic_map_che
c
k
_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdo
o
l
aege
isl_basic_map_has_d
e
f
i
n
i
n
g_eq
u
ality: reuse isl_basic_map_che
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdoolaege
privately ex
p
ose isl_basic_map_ch
e
c
k
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_basic_map_dro
p
_div: impl
e
ment in ter
m
s
of
i
sl
_
ba
s
i
c
_
map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
e
rdoolaege
isl_basic_
m
a
p
_dro
p
: extract out
i
sl_basic_map_drop_co
r
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_b
a
sic_ma
p
_drop: dro
p
error
l
a
b
e
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
aege
i
s
l_basi
c
_ma
p
_d
r
o
p
_div: drop rem
o
val of con
s
traints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_map
_
simplify
.
c: remove_redundant_d
i
vs: drop div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Ver
d
oolaege
p
r
ivately export
isl_basic_map_
d
rop_constraint
s
_i
n
volving
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoo
l
aeg
e
i
sl_basic_map_drop_
c
ons
t
raints_inv
o
lving: move out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdo
o
la
e
ge
is
l
_basic
_
map_offset: e
x
tract out is
l
_
basic_m
a
p_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_b
a
sic
_
m
ap_offset: use i
s
l_basic_map_peek_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdool
a
ege
isl_bas
i
c_
m
ap_off
s
e
t
: u
s
e isl
_
space_offset a
n
d i
s
l_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_ma
p
_
c
ontai
n
s_point: use isl_local_
e
xtend_p
o
int_vec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
privately
e
xpo
r
t isl_
l
ocal_alloc_from_m
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
a
ege
e
x
pose isl_l
o
cal_
f
ree
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
m
ap
.
c: add_
c
o
n
s
tra
i
nts
:
use
i
sl_basic_map
_
add_constra
i
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ve
r
d
oolaege
isl_sched
u
le_node_has
_
parent: reuse i
s
l
_
schedule_node_
g
e
t_tr
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
e
ge
isl_
q
p
o
lynom
i
al_cst_
o
n_domai
n
: reuse isl_qpolynomial_zero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_qpolynomia
l
_val_on_domain: reuse isl_qpo
l
ynomial_
z
ero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdool
a
e
ge
isl
_
qpol
y
n
o
mial_rat
_
cst_on_domain: re
u
se is
l
_qpolynomial_zer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
is
l
_po
l
ynomial
.
c: extract out
shared
doma
i
n_t
y
pe
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_test
.
c:
remo
v
e some code duplicat
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdool
a
ege
isl_bas
i
c_set_opt: reuse is
l
_basic_se
t
_get_divs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdoolae
g
e
isl_
t
a
b_pip
.
c
:
implement spl
i
t in terms of
split_do
m
ain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
r
d
o
o
laege
isl_basic_s
e
t_tot
a
l_dim: im
p
lement in terms of isl_b
a
s
ic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
o
laege
isl
_
constraint
.
c: us
e
isl_
b
asic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
i
sl_const
r
aint
.
c: use
isl_
b
asic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2018-08-25
S
ven
V
erdoolaege
d
r
op
i
sl_b
a
si
c
_se
t
_
extend
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next