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_set_reduced_basis: add memory management annotations
2017-04-24
Sven Verdo
o
laege
isl_bas
i
c
_set
_
r
e
d
u
ced_basis: a
d
d me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
dool
a
eg
e
isl_
b
asic_set
_
samp
l
e_bounded: a
d
d memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
a
e
ge
isl_basic_set_solve_ilp: add
m
emory
m
anagement annot
a
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laeg
e
i
s
l_bas
i
c
_set_
l
ineality_spac
e
:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
aege
i
sl_basic_set_total_dim: add
m
emory
manag
e
ment an
n
ot
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaege
i
s
l_ta
b
_pip
.
c
: context_tab_for_lexmin: add memory m
a
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoolaege
isl_tab
_
pip
.
c: ine
q
_
for_div:
add memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoo
l
a
e
g
e
isl_tab_pip
.
c: align_context_divs: add memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_t
a
b_pip
.
c: tab_for_lexmi
n
:
add me
m
ory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaeg
e
isl_ta
b
_
p
ip
.
c:
d
r
op_constant_terms:
a
dd memor
y
manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaege
isl_samp
l
e
.
c: vec
_
con
c
a
t: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_s
a
mple
.
c: shi
f
t
_
cone: add memory manage
m
ent annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaeg
e
isl_sampl
e
.
c: round_up_in_cone:
a
d
d
m
emory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoola
e
g
e
isl_s
a
mpl
e
.
c
: rational_sample: a
d
d memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_
s
ample
.
c: plug_in: add memo
r
y manage
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_sample
.
c
: gbr_sam
p
l
e: add mem
o
ry management
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdool
a
e
ge
isl_sample
.
c: samp
l
e_b
o
un
d
ed:
add memory
manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
d
oolaege
isl_sample
.
c
: i
n
ter
v
al_samp
l
e: add
mem
o
ry m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl
_
sample
.
c: zero_sample: add memo
r
y
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
d
oolae
g
e
isl_sample
.
c: sample_eq:
a
dd memor
y
man
a
gement anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
i
s
l_
s
a
m
ple
.
c:
em
p
ty_
s
ample: add memory
m
anag
e
ment annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
i
sl_s
a
mple
.
c: basi
c
_set_sa
m
ple: add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
is
l
_ou
t
put
.
c: print_half_constraint: add memor
y
manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_output
.
c:
print
_
con
s
t
r
aint: a
d
d
m
e
m
o
r
y m
a
nageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_map_simplify
.
c
: coale
s
ce_or_dr
o
p_more
_
r
e
du
n
dant_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaeg
e
isl_map_
s
im
p
l
ify
.
c:
coalesce_divs: add
m
emory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
o
o
laege
isl_map_simplify
.
c: remove
_
dep
e
ndent_vars: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
is
l
_map_
s
implify
.
c: remov
e
_
d
up
l
icate_d
i
vs: add
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_
m
a
p
_simplify
.
c: div_i
s
_re
d
u
ndant: a
d
d m
e
m
o
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoolaege
isl_map_sim
p
lify
.
c: remove_redund
a
nt_divs: ad
d
memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_si
m
plify
.
c: ok_to_eliminate_
d
iv: add mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
i
s
l_
m
ap
_
s
implify
.
c: elimin
a
te_divs_eq:
a
dd memory
m
an
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdo
o
laege
isl_map_sim
p
l
i
fy
.
c: d
r
op_more_redundant_divs: a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
is
l
_map_simplify
.
c: no
r
m
a
lize_
d
ivs: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
r
d
o
ola
e
g
e
isl_map_si
m
plif
y
.
c: eliminate_div
s
_ine
q
: ad
d
me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
map_simplif
y
.
c
:
set_com
p
ute_elimination_index:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
map_sim
p
lify
.
c: compute_eli
m
ination_index:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erd
o
olaege
isl_map
_
simpli
f
y
.
c: set_reduc
e
d_using
_
e
qua
l
iti
e
s
: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
i
s
l_map_simplify
.
c:
r
educ
e
d_u
s
ing_equalities: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_m
a
p_simplify
.
c:
i
sl
_
basic
_
s
e
t_reduce_using_equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olaege
i
s
l_map_simplify
.
c: check
_
f
o
r_
d
iv_constraints: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_s
i
mplify
.
c: set_div_from_lower_b
o
und
:
add
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map_simplif
y
.
c: ok_to_set_div_fro
m
_
b
o
u
n
d
: ad
d
mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_map_simplify
.
c: set_hash_in
d
ex: add
memory ma
n
a
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simp
l
if
y
.
c: rem
o
ve_shifted_
c
onstraints: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaeg
e
i
sl_m
a
p
.
c: map_offset: add memory management annota
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
m
ap
.
c:
f
ind
_
div: add m
e
mory managemen
t
annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_m
a
p
.
c: var_more: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoola
e
ge
isl_map
.
c:
var_less: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olaege
isl_map
.
c
: var_e
q
ua
l
: add me
m
o
ry
m
an
a
g
emen
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map
.
c
: ba
s
i
c_
s
et_append_equalities: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
o
l
aege
isl_map
.
c: ba
s
i
c
_set_p
a
r
ameter_preimage: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoolaege
isl_map
.
c: add
_
constraints:
a
dd
m
emory mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoola
e
ge
isl_lp
.
c
: isl_tab_solve_lp: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
isl_ilp
.
c: add_bounds: add memory manag
e
m
e
n
t annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolae
g
e
is
l
_ilp
.
c: unit_box_base_points: add memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c: solve_il
p
_search
:
add memory m
a
n
a
g
e
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdo
o
la
e
ge
isl_ilp
.
c: in
i
tial
_
solu
t
ion: add m
e
mory manag
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_ilp
.
c: solve_i
l
p:
ad
d
memory ma
n
agement
anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_
i
l
p
.
c: s
o
lv
e
_
ilp_wit
h
_eq: add memo
r
y m
a
nageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c:
is_bou
n
d: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c: add_bou
n
d: add
m
em
o
ry ma
n
ag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
aege
is
l
_convex_hull
.
c: add
_
bounds:
a
dd memory manage
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Ve
r
doola
e
ge
i
s
l_convex_hull
.
c: has
h
_
bas
i
c_set: add
memory ma
n
age
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
isl_convex_hull
.
c: sh_data_
a
llo
c
: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
doo
l
aeg
e
i
sl_convex_hull
.
c
:
uset_convex_hull_wrap_bound
e
d:
a
d
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
is
l
_convex_hull
.
c: comp
u
te_facet: a
d
d memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
ge
isl_convex_hull
.
c: wrap_constraints:
a
dd
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
e
ge
isl_
c
onvex_hull
.
c: isl_
s
et_add_bas
i
c_set_equality:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaeg
e
isl
_
conv
e
x_hull
.
c: us
e
t_is_bou
n
d:
a
dd memo
r
y managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_c
o
nve
x
_
hul
l
.
c: extend: add
memory managemen
t
annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_convex_hull
.
c: common_constraints
:
add
m
emory ma
n
age
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_co
n
v
ex_hull
.
c: proto_hull: a
d
d memory m
a
na
g
e
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c
: initial_hull: add memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
s
l
_co
n
v
e
x_hull
.
c: induced_lineali
t
y_s
p
ace: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_c
o
nv
e
x
_
hull
.
c: modulo_lineality:
a
dd memory m
a
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_co
n
v
e
x_hull
.
c: conv
e
x_hull_1d: add memor
y
mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
dool
a
ege
isl_convex_hull
.
c
:
c
onvex_hull_0d: a
d
d memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaege
isl_
c
onvex_hull
.
c:
u
set
_
con
v
ex_hull: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aeg
e
isl_conve
x
_
h
u
ll
.
c:
h
om
o
g
eneous_map: ad
d
m
emory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_convex_hull
.
c: valid
_
dir
e
ction_lp: add memory
m
anageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
doolaege
isl_convex_hull
.
c: v
a
lid_direction: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
doolaege
isl_convex_hull
.
c: convex_hull_pair_
p
oint
e
d: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_convex_hull
.
c: uset_convex
_
hull_
w
rap: a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c:
c
o
n
vex_hu
l
l_p
a
ir_elim: add m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
convex_hull
.
c: con
v
ex_hull_
p
ai
r
: add memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoolaege
isl_convex_hull
.
c: modulo_affine_hul
l
:
a
dd me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
i
s
l_
c
o
nvex_hu
l
l
.
c: uset_combine
d
_lineality_space: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olaege
isl_c
o
nvex_hull
.
c
:
uset_com
b
ined_linealit
y
_sp
a
ce: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
dool
a
ege
isl_s
p
a
ce
_
get_tuple_name: add memory m
a
nag
e
ment annotatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
isl_multi_pw_a
f
f_lex_{lt,gt}
_
map_on
_
spa
c
e: fi
x
mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Ve
r
doolaeg
e
Merge bra
n
ch '
m
aint'
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ma
p
_move_di
m
s: reset spac
e
s ev
e
n if number of varia
b
l
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
l
aege
isl_
b
a
s
i
c_map_
m
ove_dims: r
e
s
e
t spaces ev
e
n if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
privately export i
s
l_
b
a
sic_
m
a
p
_re
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-13
Sven
V
e
rdoolaege
isl_basic_map_fr
o
m_
a
ff:
c
all gauss on constructed basic map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-10
Sven Verdoolaege
isl
_
basic_map_
d
r
op_r
e
dundan
t
_
divs: dro
p
explicit
representat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoo
l
a
e
g
e
isl_t
r
ansiti
v
e
_
cl
o
sure
.
c: move
i
s_e
q
_stride to is
l
_m
a
p
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sv
e
n Verdoolaege
isl_map_simpli
f
y
.
c: move some
f
u
n
ctions
t
o isl
_
map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ve
r
dool
a
ege
isl
_
vertices
.
c: move isl_bas
i
c_set
_
s
e
t_in
t
e
g
r
a
l to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next