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_basic_map_drop_div: drop removal of constraints involving div
2018-08-28
Sve
n
Ver
d
oolaege
i
s
l_basic_map
_
drop_
d
iv: drop rem
o
val
o
f c
o
nstra
i
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verd
o
olaege
isl_map_simplify
.
c: r
e
move_redundant_divs
:
drop div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
privately e
x
port isl_basic_map_drop
_
c
onstraints
_
involv
i
ng
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_basic_map_drop_constraints
_
involving: move out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_basi
c
_map_offset: extract out isl_bas
i
c
_map_v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_b
a
sic_map_offset: use i
s
l_ba
s
ic_map_peek
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_offset:
u
se isl_space_offset
a
n
d
isl_space
_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_ba
s
i
c
_
map_contai
n
s_p
o
i
n
t: u
s
e
isl_local_exten
d
_point_vec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
a
ege
privately export isl_local_allo
c
_f
r
om_mat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
expose isl
_
local_free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Ver
d
o
o
laege
i
sl_map
.
c: add
_
co
n
straints
:
u
se
i
s
l
_
b
asic_map_add_cons
t
raint
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdoola
e
ge
isl_sc
h
ed
u
le_node_has_parent: reuse isl_sc
h
edu
l
e
_node_get_
t
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
Verd
o
olae
g
e
isl_qpolynomial_cst_
o
n_doma
i
n: reu
s
e
isl_qpolynomial_zero_
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolae
g
e
isl_qpolyn
o
mi
a
l_val_on_domain: reuse isl_qpoly
n
omial_z
e
r
o_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_qpolynomial_
r
at_cst_on_do
m
ain: reuse isl_q
p
olynomi
a
l_zer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_po
l
yn
o
mial
.
c: extract out
s
har
e
d domain_typ
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
er
d
oolaege
isl
_
t
es
t
.
c:
r
emove some code duplicat
i
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basi
c
_
set_opt: reuse
i
sl_basic_set_get_di
v
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoo
l
aege
isl_
t
a
b_pip
.
c:
im
p
lemen
t
split i
n
terms o
f
split_domain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdo
o
l
a
e
g
e
isl_basic_set
_
total_dim: imple
m
ent in
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 Ve
r
d
o
ol
a
ege
isl_c
o
nstraint
.
c: use isl_
b
asic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl
_
constraint
.
c: use isl_
b
asic_map_off
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
Me
r
g
e
branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2018-08-25
S
v
e
n
Verdo
o
lae
g
e
drop isl_
b
asic_set_extend
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdoolae
g
e
d
rop
isl_basi
c
_
set_add_
e
quality duplicate
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
oolaeg
e
is
l
_
b
asi
c
_map
_
add_eq: speci
a
l cas
e
e
m
pty input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoolaege
i
s
l_basic_map_add_{eq,ineq}: only m
o
dify single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_qpolynomia
l
_
a
s_polynomi
a
l_on_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_qpoly
n
omi
a
l_gist: use
i
sl_local_space
_
lift_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n
V
e
r
do
o
laeg
e
add isl_loca
l
_
space_lift
_
bas
i
c_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdoolaeg
e
isl
_
aff_gist: extract
out isl_local_space_l
i
ft_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
add isl
_
set_p
e
e
k
_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
olae
g
e
isl_printe
r
_
p
r
int_sc
h
ed
u
le_tr
e
e_mark: use isl
_
schedu
l
e_t
r
ee_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaeg
e
isl_sched
u
le_tree
.
c:
i
nitia
l
_domain_from
_
c
h
ildren:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdool
a
ege
i
s
l
_schedule_
t
re
e
.
c:
.
.
.
_
extend_f
r
om_ch
i
l
dren: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdool
a
ege
isl_schedule_tree_dro
p
_chil
d
:
us
e
i
sl_schedule_tree_n
_
child
r
en
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdoolaege
isl_s
c
hed
u
le_tree_upd
a
te_anchored: use isl_sched
u
le_
t
r
ee_n_
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdoolaege
isl_schedu
l
e_n
o
de_has_
n
ext_sibling:
use i
s
l_sc
h
edu
l
e_tree
_
n
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdoolaege
isl_
s
chedule_tre
e
_
n
_ch
i
ldren: e
x
plicitly handl
e
missing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
S
v
e
n
Verdoolaege
i
sl_val_ch
e
ck_match_doma
i
n_
s
pace: upd
a
te documenta
t
ion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
drop unus
e
d isl_basic_
s
et_
s
wap_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ve
r
doolaege
isl
_
affine_hull
.
c: isl_b
a
s
i
c_map_make_strid
e
s_explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven V
e
rdoolaege
i
s
l_sc
h
e
dule_node
.
c: collect_
f
i
lter_prefix_u
p
date:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven
V
erdoolaege
isl_
s
ched
u
le_t
r
ee
.
c:
print_tree_band: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_sch
e
dule
_
node_ba
n
d_sink: u
s
e isl_bool for lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
is
l
_test
.
c: before_
f
or: use i
s
l
_bool for loca
l
variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_
b
a
s
ic
_
m
a
p
_
align_divs:
use isl
_
b
o
ol for local variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tra
n
sitive_c
l
osur
e
.
c
:
check_exactness_omega: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_tran
s
itive_closur
e
.
c: is_acy
c
lic: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl
_
ast_build_expr
.
c: isl_ast_b
u
ild_from_mult
i
_
pw_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_schedule_tree
.
c:
subtree_schedule
_
ex
t
e
nd
_
f
rom_childr
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaege
is
l
_convex_hull
.
c: convex_
h
ull_pai
r
:
u
s
e
isl_bool
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_ast_co
d
egen
.
c: compute_domains:
u
s
e
i
sl_bool
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
d
o
ol
a
ege
isl
_
test
.
c
: test_affi
n
e_hull:
use isl_bool for lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
sl_p
w
_qpolynomial_fold_c
o
vers: us
e
isl_bool for l
o
cal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_schedu
l
e_
n
o
d
e
.
c: extensio
n
_from_do
m
ain:
u
se isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_schedule_node
.
c: isl
_
schedule_node_group: use isl_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
sl_
s
ched
u
le_node
.
c: locally_covered_by_domain: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaeg
e
isl_schedule
_
node
.
c: group_band: use isl_bool f
o
r local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_
s
c
hedule_n
o
de_has_parent
:
use
i
sl
_
bool for l
o
c
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
isl_sche
d
u
le_node
.
c
:
extend_ex
t
ensi
o
n: us
e
isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
sl_ast_codegen
.
c:
a
fter_in_tree: use isl_bool fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_c
o
degen
.
c: after_in_seq
u
ence: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_ast_co
d
eg
e
n
.
c: after_in_ba
n
d: us
e
isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
is
l
_sc
h
e
dule_node
.
c: gr
o
up_do
m
ain: use
isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
sl_
s
chedule_no
d
e
.
c: group_con
t
ext: use i
s
l_b
o
ol for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
is
l
_q
p
ol
y
nomial_pro
j
ect
_
domain_on_params
:
use i
s
l_b
o
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_
t
est
.
c: test_
g
ist: use
i
s
l_bool for lo
c
al varia
b
le
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedul
e
_node_order_before_or_after:
use isl
_
bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
isl_coalesce
.
c: check_coalesce_int
o
_eq: use isl_bo
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolae
g
e
isl_schedule_
n
ode
.
c: gi
s
t_
l
eave: use isl_bool for loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node
.
c: gist_enter:
us
e
isl_
b
oo
l
f
o
r
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
sl_a
s
t_codegen
.
c
:
comp
u
te_u
n
roll_domains: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_
m
ap_get_co
n
str
a
i
n
t
_list: use
is
l
_bool f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_ast
_
build
.
c: update_value
s
:
u
s
e isl_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
laege
isl_multi_unio
n
_pw_aff_a
p
p
ly_multi_aff: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
multi_union_p
w
_aff_apply_aff
:
use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_
mu
l
ti_union_
p
w_
a
ff_apply_pw_multi_aff: use i
s
l_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
isl_multi_union_pw_aff_appl
y
_pw_aff
:
use
i
sl_b
o
o
l
f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
i
sl_ast_build_expr
.
c:
t
ry_extract_mod: use isl
_
stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_as
t
_gra
f
t
.
c:
equa
l
_
i
n
de
p
en
d
ent_guar
d
s
:
return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_val_get_abs_nu
m
_chunks: return isl_s
t
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_basic_
m
ap_id
e
ntity:
inlin
e
basic_map_identi
t
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
i
sl_basic_map_identity:
u
s
e
isl_spa
c
e_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaeg
e
isl_map
.
c: basi
c
_m
a
p
_identi
t
y: reuse isl_basic_map_equal
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpolynomial_
v
ar_on_do
m
ain: impose stricter check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_constraint_get_boun
d
: impose
s
t
ricte
r
chec
k
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_set_fro
m
_c
o
nstr
a
in
t
: imp
o
se stricter c
h
eck
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
i
sl_set_alloc_spac
e
: impose s
t
r
i
cter c
h
e
c
k f
o
r set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
o
o
lae
g
e
isl_spa
c
e_underl
y
ing: ret
u
rn
s
et s
p
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
basic_set_
p
reimag
e
: us
e
isl
_
b
a
sic_set_ad
d
_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_union_*_
s
et_has_dim
:
rename to i
s
l
_
u
nio
n
_*_set_
h
a
s
_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdool
a
ege
isl
_
union_*_set_has_dim: re
n
ame "dim" variabl
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
laege
isl_aff
.
c: p
w
_aff_gte_
s
e
t
:
rename "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
is
l
_set_fl
a
t
te
n
_
m
ap: rename "dim" variables t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closur
e
.
c: union_floyd_w
a
rshall_on_l
i
st
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
isl_sp
a
c
e_lif
t
: re
n
a
me "dim" va
r
iable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
V
e
r
d
o
ola
e
ge
i
sl_space_
j
oin
:
r
e
name
"
dim" variable t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_space_
a
l
lo
c
:
ren
a
me
"di
m
" va
r
iable to "sp
a
c
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoo
l
ae
g
e
isl_loc
a
l_space_offset: rename "dim"
variable to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next