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_convex_hull.c: uset_is_bound: return isl_bool
2018-09-02
Sven
Verdoolaeg
e
i
sl_convex_
h
u
l
l
.
c: uset_
i
s_
b
ound: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
ege
isl_transitive_closure
.
c:
c
h
ec
k
_exactness_omega
:
return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
ege
isl_transitive
_
cl
o
s
u
re
.
c: is_acyc
l
ic: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_sched
u
le_band
.
c: has_*:
return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_
a
st_bu
i
l
d
_need_
s
c
hedule_map: retur
n
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_mor
p
h
.
c: identity_on_parameters: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoo
l
ae
g
e
isl_ma
t
_i
s
_scaled
_
identity: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl
_
r
ange
.
c: p
r
opagate_on_domain: return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
is
l
_pw_qpolynom
i
al_fold_covers:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_vertices
.
c
:
ca
n
_select: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_v
e
rtices
.
c:
is
_
independent: r
e
turn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
s
l
_
a
s
t
_
codegen
.
c
:
af
t
e
r_in_*: r
e
t
u
rn
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ve
r
d
o
o
l
a
e
ge
isl_input
.
c: t
u
ple_has
_
e
x
p
r: re
t
urn is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_schedule_node
.
c: loc
a
l
l
y_c
o
ve
r
ed_by_doma
i
n: retur
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
laege
i
s
l_transitive_closur
e
.
c
:
incr
e
mental_on_
e
n
t
i
r
e_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
i
sl_transitive_
c
losure
.
c: has
_
spuriou
s
_
elements:
return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl_tr
a
nsitive_
c
losure
.
c
: empty_path
_
i
s_
i
d
e
ntity
:
return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_constrain
t
_
is_
d
iv
_
constrai
n
t: return
i
sl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
l
a
ege
isl
_
schedule_nod
e
.
c
:
h
a
s_ance
s
t
o
r
s
: retu
r
n i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
i
s
l_poly_is_cst: re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaeg
e
isl_poly
n
omial
.
c: set
_
ac
t
ive: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
a
ege
i
sl
_
poly_is_{neg,}o
n
e: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aege
isl_qpol
y
nomial
_
is_{affine,cst}:
r
eturn is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Ve
r
doolaege
isl_poly_is_{neg,}infty: retur
n
i
sl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_poly
_
is_nan: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
olaege
is
l
_
po
l
y
_
i
s
_ze
r
o: retur
n
isl_boo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ven
Verdool
a
ege
isl_qpolynomial_get_den: improve
e
rror handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdo
o
laege
isl_qpolynomi
a
l_get_den: re
t
urn isl_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en V
e
rdoolaege
rename isl_upoly to isl_
p
oly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
olaege
in
t
r
o
d
uce
e
xplic
i
t isl
_
dim_map_fr
e
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoo
l
ae
g
e
isl_multi_*
_
f
actor_range: use corr
e
ct d
i
mension type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoo
l
aege
isl_basic_map_insert_dims:
c
reate e
m
pty basic map
d
irectly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdo
o
laege
pip
.
c: extract out move_param
e
t
e
rs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n Verdoolaege
expose
i
s
l
_union_s
e
t
_proj
e
ct_o
u
t_a
l
l_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n
V
erdoolaege
ext
r
act out shared isl_space_drop_all_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
is
l
_
a
st_build_g
e
t_space: reuse isl_ast
_
build_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaege
i
s
l_ast_b
u
ild_product: reuse isl_ast_
b
uild
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ver
d
oolaege
i
s
l
_ast_build_get_schedule_map_multi_aff: re
u
se isl
_
ast_
b
uil
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdo
o
laege
isl_ast_build_need_sc
h
e
d
ul
e
_map
:
reuse is
l
_ast_build_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdo
o
laege
isl_ast
_
b
u
ild_set_iterator
s
: re
u
se isl
_
ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolae
g
e
extract out shared isl_basic_set_check_no_local
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdoolaege
extr
a
c
t out shar
e
d
isl_basic_set_ch
e
c
k_no_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
e
x
t
r
a
c
t out
shared isl
_
point_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
extract out shared
i
sl_po
i
n
t
_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolaege
extr
a
ct ou
t
sh
a
red
i
sl_point_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract o
u
t shared isl_pw_multi_aff
_
ch
e
ck_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_aff_invol
v
e
s_dims: extract out
i
sl_aff_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ve
r
doolaege
ex
t
ract out shar
e
d
isl_set_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
e
x
tract out shared
isl_basic_set_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
er
d
oolaege
e
x
tract out
shared isl_q
p
olyno
m
ial_
c
h
e
ck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
extract out shared isl_term_chec
k
_
ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolae
g
e
extract ou
t
shared isl_
m
ulti_*_check_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoola
e
ge
isl_l
o
cal_
c
hec
k
_pos:
extract
o
u
t i
s
l_local_che
c
k
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
ex
t
ract out sha
r
ed isl_
c
o
nst
r
aint_check_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
ex
t
ract ou
t
s
hared isl_lo
c
a
l
_
sp
a
ce_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
extra
c
t out shared is
l
_s
p
ace_c
h
eck_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
m
e
rg
e
isl*ma
p
_check_r
a
nge implementat
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_basic
_
map_plain_get_v
a
l_if
_
f
i
xed:
r
e
u
s
e
i
s
l_m
a
p_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
is
l
_map_fix
:
reuse is
l
_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_
m
ap_fix_si: re
u
se isl_m
a
p_check_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_oppose: reuse isl
_
map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolae
g
e
isl_m
a
p
.
c: ma
p
_bound_s
i
: reuse isl_
m
ap_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdool
a
e
g
e
isl_
m
a
p
.
c
:
map_bound: reuse isl_map_check_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
i
sl_ma
p
_fix_val: reuse isl_map_
c
heck_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l
_basic_ma
p
_s
w
ap_vars: reus
e
isl
_
ba
s
i
c
_
m
a
p
_
che
c
k_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_bas
i
c_map_preima
g
e
_
var
s
: reus
e
is
l
_basic_map_ch
e
ck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_
b
asic
_
ma
p
_elimi
n
ate: reus
e
isl_
b
a
s
ic_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_b
a
si
c
_map_transfor
m
_dims: reuse is
l
_basic_map_chec
k
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
e
rdoolaege
i
s
l
_
b
asic_map_dr
o
p_core: r
e
use is
l
_basic_m
a
p
_c
h
eck_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
dool
a
ege
isl_basic_map_ha
s
_
defining_equality: r
e
use isl_basic_ma
p
_che
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
lae
g
e
priva
t
ely expose isl_basic_m
a
p_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_
b
asic_map_
d
rop_div:
i
mpleme
n
t
i
n
te
r
ms of isl
_
basic_m
a
p_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_drop: ext
r
act out isl_basic_map_drop_core
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erd
o
olaege
is
l
_basic_ma
p
_drop: dro
p
error label
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
ola
e
ge
isl
_
b
asic_
m
ap_drop_div: drop removal of
constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_map_
s
impli
f
y
.
c: remove_redundant_divs: drop div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolaege
privat
e
ly export isl_basic_map_drop_
c
onstraint
s
_inv
o
l
ving
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_b
a
sic_m
a
p_drop_constraints_involving: move out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_ma
p
_offset: extract out isl_basic_map_
v
ar
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
e
rdoo
l
aege
isl_basic_map_off
s
et:
u
se isl
_
basic
_
m
a
p
_peek_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_bas
i
c
_
m
ap_o
f
fset: use isl_space_offse
t
and
i
sl_space_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_basic_
m
ap_cont
a
ins_point: u
s
e isl_local_extend_point_vec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
Ver
d
o
olaeg
e
privat
e
ly e
x
p
o
rt isl_local_all
o
c_from_ma
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoola
e
ge
exp
o
se isl_
l
oca
l
_free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl
_
m
a
p
.
c: ad
d
_
constraints: use isl
_
basic_map_a
d
d_constra
i
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdool
a
ege
isl_schedule_no
d
e
_
ha
s
_parent: reuse isl_schedule_no
d
e
_get
_
t
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_qp
o
lynomi
a
l_cst_on
_
domai
n
: reuse isl_qpolynomial_
z
ero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_qpol
y
nomial_val_
o
n_domain: reuse
isl_qpolynomial_zero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_qpolynomial_rat_cst_on_domain:
r
e
use isl
_
qpolynomial_
z
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
oo
l
ae
g
e
i
sl_polynomial
.
c: extract
o
u
t
shared d
o
main_type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl
_
test
.
c:
r
emove some code duplication
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdo
o
laege
isl_b
a
sic
_
s
e
t_opt: reuse isl_b
a
si
c
_set
_
g
e
t
_
divs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_tab_pip
.
c: implement split in term
s
o
f split_domain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
erdoolaege
isl_basic_set_tot
a
l_dim: implem
e
nt in terms o
f
i
sl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
r
doo
l
a
eg
e
isl_constraint
.
c
:
use is
l
_ba
s
ic_set_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_constrai
n
t
.
c: use isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
oolae
g
e
dr
o
p is
l
_ba
s
ic_set_extend
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdool
a
ege
dro
p
i
s
l
_
basic_set_a
d
d
_
e
q
u
ality duplicate
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_basic_map_a
d
d_eq: special
ca
s
e empty
i
nput
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next