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_transitive_closure.c: incremental_on_entire_domain: return isl_bool
2018-09-02
Sven Ver
d
oolaeg
e
i
sl_transit
i
ve_cl
o
s
u
r
e
.
c
: incremental_on_en
t
i
r
e_doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
i
sl_tra
n
s
i
t
ive_clos
u
r
e
.
c: has_spu
r
ious_elem
e
nts:
r
eturn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolae
g
e
isl_transitive_closure
.
c:
e
m
p
ty_pat
h
_
i
s_identit
y
: ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_constraint_is_div_co
n
str
a
i
n
t
: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_
s
c
hedule_node
.
c: has_ancestors: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
aege
is
l
_poly_is_cst: return isl
_
b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomial
.
c: set_ac
t
iv
e
:
r
e
turn isl_
s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
isl_poly_is_{neg,}one: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
ege
isl_qpo
l
y
n
omia
l
_is_{affin
e
,cst}: re
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdo
o
laege
i
s
l_pol
y
_is_{
n
e
g,}infty: ret
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ver
d
oolaege
isl_poly_i
s
_
n
an: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaeg
e
isl_poly_is_zero:
return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven
V
erdoolaeg
e
i
sl
_
qpoly
n
omi
a
l
_
get_den: impr
o
ve er
r
o
r
h
andli
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Ver
d
oolaege
isl_qpolynomia
l
_get_den: return isl_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
r
e
n
a
m
e isl_upoly to is
l
_
poly
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
i
n
troduce explicit
is
l
_dim_m
a
p
_
free
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoola
e
g
e
isl_multi_*_factor_range: use correct dimension type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoola
e
g
e
isl_basic_
m
ap_insert_dim
s
:
create em
p
ty
ba
s
ic map directly
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
olaege
pip
.
c: extract out move_pa
r
ameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdoolaeg
e
expose isl_unio
n
_
s
et_pro
j
ect_out_all_param
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaege
ext
r
a
c
t out shared isl_space_dro
p
_all_
p
arams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n Verdoolaege
i
s
l_ast_
b
uild
_
get_space: reuse isl_
a
s
t_build_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoola
e
g
e
i
sl_ast_bu
i
ld_product
:
reuse isl_ast_build_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoo
l
a
e
g
e
isl_ast_build_get_sche
d
u
l
e_
m
a
p
_multi_aff:
r
euse
i
sl_ast_buil
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaege
isl_ast_build_ne
e
d_schedule_map
:
reuse
isl_a
s
t_build_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Ve
r
doolaege
isl_ast_bui
l
d
_set_
i
ter
a
to
r
s: reuse
i
sl_as
t
_build
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
olae
g
e
ext
r
act out
s
hared isl_basic_set_check_no_locals
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
e
n Verdoolaege
e
x
trac
t
out shar
e
d
isl_ba
s
ic_set_check_no_
p
arams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
Tobia
s
Grosser
isl_space_ca
n
_uncurr
y
: implement with i
s
l_space_r
a
nge_is
_
wra
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
To
b
ias G
r
osser
i
s
l_space_
c
a
n
_
c
urr
y
: imple
m
e
nt with isl_space_d
o
main_is_
w
rap
p
ing
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
To
b
ias Grosser
i
s
l_space
_
is_wrapping: ad
d
missing comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out
shared i
s
l_point_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
extract out shared
isl_point_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
extract o
u
t
s
hared is
l
_p
o
int_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdool
a
ege
extract
out sh
a
red isl
_
p
w
_multi_aff_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n V
e
r
d
oolaege
i
s
l_aff_invo
l
v
e
s_dims: ex
t
ract out isl_aff_check_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
extrac
t
o
ut shared isl_set_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
ext
r
ac
t
out shared isl
_
ba
s
ic_set_check_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laeg
e
extract out shared isl_qpo
l
yn
o
mial
_
check
_
range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doola
e
ge
extr
a
ct o
u
t
shared is
l
_
t
erm_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out
s
hared isl_multi_*_c
h
eck_
r
a
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_loca
l
_che
c
k_pos: extract out isl_local_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
extract out share
d
i
sl_cons
t
raint_check_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
ola
e
ge
e
xtract out shared isl_lo
c
a
l_space_che
c
k
_
range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
extr
a
ct out
s
har
e
d
is
l
_space_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
merge isl*
m
ap_
c
heck_range impl
e
men
t
a
t
ions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl
_
basic_
m
a
p_pla
i
n_get_val_if_fixed: reuse
isl_map_
c
h
eck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
erdool
a
eg
e
isl
_
map_fix:
reus
e
isl
_
map_check_r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ve
r
doolaege
is
l
_ma
p
_fix_si: r
e
use isl_ma
p
_chec
k
_r
a
n
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
e
rdoola
e
ge
isl_map_oppose: reuse isl_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
i
sl_ma
p
.
c: map_bound
_
si: re
u
se isl_map_ch
e
ck_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_
m
ap
.
c: ma
p
_bou
n
d: reuse isl_map
_
c
h
eck_
r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_ma
p
_fix_val: reuse isl_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ver
d
oolaege
isl_basic_m
a
p_swap_vars: reuse isl
_
basic_map_check_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_basic_map_preim
a
ge_vars: reuse isl_b
a
sic_map_chec
k
_
rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_ba
s
ic_map_eliminate: reuse isl_ba
s
ic
_
map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdo
o
la
e
ge
isl_ba
s
i
c_map_tra
n
s
fo
r
m_dims
:
reu
s
e
i
sl_basic_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolaege
i
s
l_basic_map
_
drop_c
o
re: re
u
s
e
i
s
l_basic_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_basic_map
_
has_defining_e
q
uality: r
e
use isl
_
basic_ma
p
_ch
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ve
r
doo
l
aeg
e
privately expose i
s
l_basic_map_check_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_b
a
s
ic_map_drop_div: i
m
plement
i
n terms o
f
i
s
l
_
ba
s
ic_ma
p
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_d
r
op: ext
r
ac
t
o
u
t
isl_ba
s
ic_map_
d
rop_core
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoo
l
aege
i
sl_basic_map_drop: dro
p
er
r
o
r
labe
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_drop_div: drop removal
o
f
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_map_simplify
.
c: remove_redundant_divs: drop div
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
er
d
oolaege
private
l
y expo
r
t isl
_
b
asic_map_drop_constraints_invo
l
vin
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
e
g
e
is
l
_basic
_
map
_
drop_co
n
straints_
i
n
v
olving
:
m
o
v
e
o
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoo
l
ae
g
e
isl_b
a
sic_map_o
f
fset: ex
t
ract out i
s
l
_
basic_map_var_
o
f
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
dool
a
ege
isl_basi
c
_
m
ap_offset: use isl_b
a
sic
_
map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ve
r
doolaege
isl_basic_ma
p
_
offset: use
i
s
l_
s
pac
e
_o
f
f
s
et and isl_space_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
is
l
_b
a
sic_m
a
p_con
t
ains_point: use
i
sl_local_extend_point
_
vec
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
pr
i
vately exp
o
r
t
isl_loca
l
_alloc_f
r
om
_
m
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
a
ege
e
x
p
ose isl
_
l
o
cal
_
free
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
T
obia
s
Grosser
isl_union_map_involves_dims: use is
l
_
bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
To
b
ias Grosser
is
l
_
u
nion_ma
p
.
c:map_excl
u
des:
u
se isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bi
a
s
G
r
osser
isl_unio
n
_ma
p
_is_strict
_
su
b
set: use isl_
b
ool_n
o
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
G
rosser
schedule
r
.
c:graph_has_edge
:
use isl_boo
l
_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gr
o
ss
e
r
isl_map_is_st
r
ict_subset: use isl_b
o
ol
_
not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as Grosse
r
i
s
l
_basic_map_is_stric
t
_subse
t
: use isl_bool_no
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s G
r
o
sser
b
asic_ma
p
_follows: use isl
_
bo
o
l_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl
_
map
.
c: add_co
n
straints: us
e
isl_basic_map_add_constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_sche
d
ule_nod
e
_ha
s
_pa
r
ent: reuse
i
sl_schedul
e
_node
_
get_tr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
oo
l
a
ege
isl
_
qp
o
lynomia
l
_
cst_on_d
o
m
a
in: reuse
i
s
l
_qpoly
n
omial_zero_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
i
s
l
_
qpolynomial_val
_
on_dom
a
i
n: reuse isl_qpolynomial_zero_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_qpolynomia
l
_rat_c
s
t
_on_domai
n
: r
e
use is
l
_qpol
y
nomia
l
_zer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
aege
i
sl_polyno
m
ial
.
c: extr
a
ct out sh
a
re
d
domain_t
y
pe
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl
_
t
e
s
t
.
c: re
m
ov
e
some code duplic
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdool
a
eg
e
isl_basic
_
set_opt: reuse isl_
b
asi
c
_set_get_divs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaeg
e
i
sl_tab_pip
.
c: imp
l
ement split in t
e
rms
o
f
s
p
lit_
d
o
m
ain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdool
a
ege
is
l
_bas
i
c_
s
et_total_d
i
m: im
p
lement in terms of isl_basic_ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_
c
onstr
a
int
.
c
: use isl_basic_set_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_constraint
.
c
:
use isl_basic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoolae
g
e
drop isl_ba
s
ic_set_
e
xtend
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
drop
isl_basic_set_
a
dd_
e
qua
l
ity d
u
plicate
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_basic_map_add_e
q
: spe
c
i
a
l case empty input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
i
sl_basic
_
map_add_{eq,ineq}: only modify single
c
opy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
do
o
laege
isl_qpolynomi
a
l_as_polynomial_o
n
_domain: use isl_local
_
space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
doolaege
isl_qpolynomial_gi
s
t: use isl_local_space_lift
_
se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven
V
erdoolaege
add isl_local_sp
a
c
e
_lift_basic_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next