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_schedule_tree_n_children: explicitly handle missing children
2018-08-25
Sven Verdoolae
g
e
isl_schedule_t
r
ee_n_children: explic
i
tly handle
missing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ve
r
doolaeg
e
isl_val_check_m
a
tch_domai
n
_s
p
ac
e
: update documentati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
Verdoolaege
drop unused isl_basic_
s
e
t_swap_div
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven V
e
rdoolae
g
e
is
l
_affine
_
h
u
ll
.
c
:
isl_basic_map_make_strides_explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
Verdoola
e
ge
i
sl_sch
e
dule_node
.
c
:
collect_filt
e
r_prefix_update:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
Verd
o
ol
a
e
g
e
isl_sched
u
l
e_tree
.
c:
p
rint
_
tree_band: us
e
isl_b
o
ol
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
ege
isl_schedule_node_band_sink: use i
s
l_bool
f
or local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
is
l
_test
.
c: before_for: use isl_bool f
o
r local variab
l
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
is
l
_basic_m
a
p_
a
lign_divs: use isl_bool
for local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_transitive_cl
o
sure
.
c: check_
e
xactness_omega: us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_tr
a
nsitive_closure
.
c: is_acyclic: use isl_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
e
ge
is
l
_ast_build_e
x
pr
.
c: isl_ast_build_f
r
om_mu
l
ti_pw_a
f
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_sch
e
dule_tree
.
c: su
b
t
r
e
e_schedul
e
_e
x
tend_from_children
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
con
v
ex_hul
l
.
c: convex_h
u
ll_pair: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
s
l_
a
st_c
o
degen
.
c
:
compute_domains: us
e
isl_bo
o
l
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_test
.
c:
t
es
t
_
a
ff
i
ne_hull: use isl_bool f
o
r local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_pw_q
p
olynomial_fold_co
v
e
r
s
:
u
se isl_bool for loc
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
s
chedule_node
.
c: extension
_
from_
d
omain: us
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
s
ched
u
le_no
d
e
.
c: isl_
s
chedule_node_group:
us
e
isl
_
boo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_schedu
l
e
_
no
d
e
.
c: l
o
c
a
lly_covered_by_domain: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
isl_schedule_node
.
c: group_band: use isl_b
o
ol for
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
ge
isl_schedule_
n
ode_has_parent:
use i
s
l
_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_schedule_node
.
c: extend_ex
t
ension
:
use isl
_
bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
a
st_codegen
.
c: after
_
i
n
_tree
:
use isl_bo
o
l
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_
a
st_codegen
.
c:
after_in_sequence: use isl_boo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
o
laege
isl_
a
st_codeg
e
n
.
c:
after_
i
n_ba
n
d: use
i
sl
_
bo
o
l for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoo
l
ae
g
e
i
sl_schedule_no
d
e
.
c: group_do
m
ain: use isl_b
o
ol
fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
is
l
_schedule_
n
o
de
.
c: group_context: use is
l
_bo
o
l fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olaege
isl_qpolynomial_proje
c
t_d
o
main_on_pa
r
ams: us
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
laege
isl_test
.
c
:
test_gi
s
t:
use isl_bool for
local v
a
riables
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl
_
sc
h
edule_node_order_befor
e
_or
_
a
f
ter:
use isl_bo
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
e
g
e
isl_c
o
alesce
.
c: check_co
a
lesce_into_eq: us
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
l
a
eg
e
isl_sch
e
du
l
e_node
.
c: gist
_
leave: use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node
.
c: gist_enter:
u
se isl_bool for
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl_ast_cod
e
ge
n
.
c
:
comp
u
te_
u
nroll
_
d
om
a
ins: use
i
sl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_basi
c
_map_get
_
c
o
ns
t
raint_list
:
use
isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_build
.
c
:
u
pdate_
v
al
u
es: us
e
isl_bool for loc
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
m
ulti_unio
n
_pw_a
f
f_apply_multi_aff: use isl_bo
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_multi_unio
n
_pw_aff_apply_aff: use
i
s
l_bool fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_multi_
u
n
i
o
n_pw
_
aff_appl
y
_
pw_mult
i
_aff: use is
l
_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doo
l
a
e
ge
isl_multi
_
union_pw_aff_apply_p
w
_
a
ff:
use
i
s
l_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl
_
ast_build_expr
.
c: try_extract_mod: use isl_
s
tat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_ast_graf
t
.
c: equ
a
l_independent_guards: return
i
sl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_val_get
_
a
bs_num_
c
hunks: retur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_bas
i
c
_map_id
e
n
t
i
t
y
: inline basic_m
a
p_identit
y
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
sl_qpolyno
m
ial_var_on_
d
o
main: impose strict
e
r ch
e
ck
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
is
l
_
constraint_get_bound: impose
s
tricte
r
check for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaeg
e
isl
_
basic_set_from_c
o
n
s
train
t
: impo
s
e stricter check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_set_alloc_
s
pace: impose stricter
check
f
o
r set
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
o
o
laege
is
l
_aff
.
c: pw_aff_gte_set: rename "dim" variable t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map_rea
c
h
i
n
g_p
a
th_lengths: rena
m
e "dim" varia
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
isl_map_power: rename "dim" variables to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
ae
g
e
isl
_
q
p
olyn
o
mial_
a
s_po
l
ynomial_on
_
domai
n
: re
n
ame "
d
i
m
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
g
e
isl_bound
.
c
:
guar
d
ed_poly_bound: r
e
name "dim" va
r
iabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_range
.
c: p
r
opagate_on_bound
_
pair: re
n
a
m
e
"
d
im"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaeg
e
i
sl_range
.
c:
m
o
no
t
oni
c
it
y
: rename "dim"
variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_range
.
c: has_sign:
r
ename
"
dim" vari
a
b
l
e
t
o "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
e
rnstein
.
c: bern
s
te
i
n
_coefficien
t
s_base: rena
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map_apply_pw_q
p
olynomi
a
l_
f
o
l
d:
rename "d
i
m" variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_map
.
c: com
p
ute_
d
ivs
:
rename "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaeg
e
is
l
_basic_m
a
p_ra
n
ge_
m
ap: rename "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolae
g
e
isl
_
flow
.
c
sched
_
i
nfo_allo
c
: ren
a
me "dim" var
i
ab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
o
o
laege
isl_fa
r
k
as
.
c
: i
s
l_space_
c
o
e
f
f
icie
n
ts: ren
a
me "dim_p
a
ram
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
isl_s
p
ace_
u
nderlying:
rename "dim" argument
t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_space_dump declaration: ren
a
me "dim"
argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl
_
printer_print_spa
c
e declaration: rename "di
m
" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_poly
n
omial
.
c: set_
d
iv_slice: renam
e
"dim" argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
q
polynomial_li
f
t:
r
e
name "dim
"
argu
m
ent to
"
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl
_
term_al
l
oc: rena
m
e "d
i
m
" argument to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
ae
g
e
is
l
_trans
i
t
i
ve_closure
.
c: co
n
s
t
ruct_projec
t
ed_
c
o
m
ponent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c:
g
et_id:
r
ename "dim" argume
n
t to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaeg
e
isl_
s
pa
c
e
.
c: se
t
_id: rename "d
i
m" argume
n
t to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verdoolaeg
e
isl_space
.
c
: exten
d
_ids
:
rename "
d
im"
a
rgumen
t
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c: g
l
obal_
p
os: rename
"dim" argu
m
ent to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdo
o
laege
isl_qpo
l
y
n
omial_a
l
l
o
c
: rename "dim" argument
to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
i
s
l_
o
utput
.
c:
prin
t
_omega
_
p
a
rame
t
ers: rename "d
i
m"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolaege
isl_output
.
c: pos2type: rename "
d
im
"
argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
d
oolaege
isl_outp
u
t
.
c: count_same_name: rena
m
e "d
i
m" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
e
g
e
isl_bernstein
.
c: vertex_c
o
ordinate: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c: prin
t
_affine
_
c: ren
a
me "
d
im"
a
rgument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_farkas
.
c: isl_spa
c
e
_s
o
l
utions: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
s
l
_farkas
.
c
:
i
sl_space_
u
nprefix: renam
e
"dim" a
r
g
ume
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_fa
r
kas
.
c:
isl_space_coefficients: rename "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_farkas
.
c: isl_
s
p
a
c
e_pref
i
x: rename "dim" ar
g
ument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
is
l
_
d
im_ma
p
_dim: rename "d
i
m" argument
t
o "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
ool
a
ege
isl_space_dim: renam
e
"dim" argumen
t
t
o "
s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_
t
ransitive
_
closure
.
c; in
c
r
e
mental_on_ent
i
re_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaeg
e
i
sl_c
o
nstraint_set_coefficie
n
t_si: r
e
mov
e
d
u
plicate
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_constraint_set_coefficient: rem
o
v
e
duplica
t
e isl_con
s
tra
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoolaege
isl_
t
a
b
.
c;
i
neq_for_div: add m
e
mory
m
anageme
n
t
a
nnotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
doola
e
ge
i
s
l
_basic_m
a
p_alloc_space: add memory manageme
n
t annot
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
oolaege
isl_map
.
c: compute_divs: add me
m
or
y
man
a
gement an
n
otations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolae
g
e
isl_
b
asic_m
a
p_
f
i
x_
p
os_si: add memory mana
g
em
e
nt annotati
o
ns
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdool
a
ege
isl_basic_map_domain: add
memory management annot
a
ti
o
n
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_cons
t
raint
_
dim: ad
d
m
em
o
ry manage
m
ent anno
t
atio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
erdoolaege
isl_tab_pip
.
c: f
i
nd_context_di
v
: add m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdool
a
ege
i
sl_
m
a
p
_
s
implify
.
c: div_fi
n
d_c
o
alesce: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basic
_
m
a
p
_
o
ffset:
add memory ma
n
a
g
e
ment annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_convex_hul
l
.
c
:
set_bounds: ad
d
m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoo
l
a
e
ge
polytop
e
_sca
n
.
c; isl_basic
_
se
t
_scan_
s
amples: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next