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_qpolynomial_move_dims: plug memory leak and fix reordering of divs
2010-08-06
Sven
V
e
rdoolaege
isl_qp
o
lynomi
a
l_
m
ove_dims: plug memory le
a
k and
f
ix
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
add
i
sl_pw_qpolynomia
l
_
read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
v
e
n Verdoolaege
add isl_qpo
l
ynomial_fold_substitut
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
ol
a
ege
isl_pw_qpo
l
ynomi
a
l_i
n
ter
s
ect_domain: dr
o
p
p
i
e
c
es that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
isl_map_p
r
odu
c
t: used nested spaces in result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n V
e
rdoolaege
isl_pw_qpolyno
m
i
a
l_bound: handle isl_pw_qpolynomi
a
l
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoo
l
aege
suppor
t
nested
isl_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
o
o
laege
d
o
c: fix
t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
l
aege
e
xport isl_dim_tu
p
le_ma
t
ch
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
isl_outp
u
t
.
c: ext
r
act out co
m
m
o
n pr
i
nt_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaeg
e
isl_input
.
c: read_tuple: construct isl_dim instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n Verdo
o
lae
g
e
doc:
remove description of how to get th
e
p
ipl
i
b s
u
bmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
isl_printer_pri
n
t
_
pw_
q
po
l
ynomial_fold:
p
rint
d
im
a
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
add isl_pw_qpoly
n
omial_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
a
d
d isl_set
_
insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
d
o
olaege
a
d
d isl_basic_ma
p
_image
_
is_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verd
o
olaege
av
o
id
N
U
LL pointer exception
i
n i
s
l_
b
asic_map
_
n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolae
g
e
f
i
x is
l
_pw_qpolyno
m
i
al_reset_
d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
ola
e
ge
add
i
sl_mat_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
ad
d
isl_mat_ad
d
_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verdoo
l
ae
g
e
e
x
port isl_
b
asic_map_move
_
d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
g
e
hide isl_dim internal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
add isl_dim_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
V
e
r
d
oo
l
aege
isl_basic_map_rese
t
_
dim:
f
inalize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
er
d
oolaege
isl_transitive_closure
.
c: anonymize in
p
u
t map duri
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en
V
erdoolaege
isl_t
r
a
n
sitiv
e
_closure
.
c: keep track of
d
omains f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
isl_di
m
_dro
p
: always remo
v
e tuple name, even
i
f number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdoolaege
i
s
l_di
m
_set_tuple
_
nam
e
: al
l
ow explicit remov
a
l of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Ve
r
doolae
g
e
add suppo
r
t
for union
sets a
n
d relatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
ool
a
e
g
e
isl_t
r
ansitive_cl
o
sure
.
c
:
extract out s
o
me r
e
usable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erd
o
olaege
add isl_pw_qpolynomial
_
reset_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
add isl_map_has_equal_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add i
s
l_dim_get_
h
ash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoo
l
aege
isl_
d
im: allow specif
i
cation of tupl
e
name
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_map_
f
rom_domain_a
n
d_range:
im
p
lem
e
nt i
n
terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n
Verd
o
olaeg
e
isl
_
bas
i
c_
m
ap_dom
a
in:
p
roperly set dimension of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
privat
e
ly e
x
port
isl_se
t
_reset_dim
a
n
d i
s
l_
m
ap
_
r
e
set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
g
e
isl_map_read: ext
r
ac
t
o
ut read_
v
a
r_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
Verdoolaege
isl_hash_table_foreach: pass pointer to entry dat
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_hash_table_foreach: add
user argume
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_
t
r
a
nsitiv
e
_closure
.
c:
fix
d
ouble fre
e
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_map_gist: use simple
hull in
s
tead of convex
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_
m
ap
.
c
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
e
g
e
isl_cat
:
read generi
c
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n Verdoolaege
isl_printer: add NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
ma
k
e
is
l
_obj_none a constant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
r
dool
a
ege
add isl
_
m
a
p_get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdo
o
l
aeg
e
i
s
l_ma
p
_
fast
_
is_universe
:
also detect redundan
t
representati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
a
d
d
i
s
l
_map_rea
c
hing_p
a
th_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_ma
p
_power: de
l
ay equating pa
t
h lengths to powe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
e
n
Verdoolaege
is
l
_map_power: apply Floyd-Wa
r
shal
l
t
o
compu
t
e powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
d
o
olae
g
e
isl_map_lexmax: produce less cryptic error messa
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_basic
_
map
_
mo
v
e_dims
i
n
pr
e
sence of
e
xistentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
is
l
_test:
drop debugg
i
ng o
u
tpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
lae
g
e
isl_transitive_clo
s
u
r
e
.
c:
f
ix typo
i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verdoolaege
fix i
s
l_
m
a
p_lex_ge and i
s
l_map_lex_le
i
n the zero-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolae
g
e
isl_printer_print_map: replace variable by its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
e
n Verd
o
olaege
privately
e
xp
o
rt isl_b
a
si
c
_map_fast_cmp and isl_bas
i
c_m
a
p_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n
Verdoola
e
ge
isl_d
i
m_set_na
m
e: do
n
't accept name
s
that
look
l
ike
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
R
emove comma
a
t
the
e
nd
of
enumerat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
S
v
en Verdoolae
g
e
isl_
c
onvex_hull
.
c: avoid
s
ide-
e
ffects in
calls to isl_
i
nt_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
ven Verd
o
ol
a
ege
add is
l
_hash_bui
l
tin
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
Ve
r
doolaege
a
d
d
isl
_
i
n
t_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verd
o
olae
g
e
do
c
: fix som
e
typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
M
a
kefile
.
am:
r
ea
l
ly in
c
lude
includ
e
/isl_v
e
rtices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add
i
sl_map_
i
s_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdoolae
g
e
d
o
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
o
l
aege
doc: drop duplic
a
te bookti
t
l
e from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: use more expli
c
it no
t
ation
t
o avo
i
d co
n
fusion
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
erdoo
l
aeg
e
add isl_constrai
n
t_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
ae
g
e
isl_map_
s
implify
.
c
: s
e
parate out isl
_
basic_map_is
_
div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
i
sl_basi
c
_
m
a
p_from
_
c
onstraint: keep
a
ll d
i
vs, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
isl_basic_map
_
from_co
n
straint: only ret
u
r
n copy o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_
c
onstraint_ad
d
_div: c
o
rrectly set
l
i
n
e t
o
f
i
rst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
er
d
o
o
laege
isl_pip: re
n
am
e
pip
_
options to avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_convex_hull
.
c: i
n
itial_fa
c
et_constraint: f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
ae
g
e
doc: describe backw
a
rd incom
p
a
t
ible chang
e
s
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
doc: mention discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
ren
a
me isl
_
b
a
s
i
c_ma
p
_con
v
ex
_
hull t
o
isl_basic_map
_
remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: out
s
ide_poi
n
t: fix
e
rror
ha
n
dlin
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl_tab_rollba
c
k: avoid dou
b
le free on err
o
r pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_tab
.
c
: tab_mat_pro
d
uct: avoid
N
ULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_tab_extend_cons: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
implement antiqua
t
ed
isl_
b
asic_set_n_* in
t
e
rms
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rd
o
o
l
a
e
ge
isl_ma
p
_convex_hull: avoi
d
N
ULL pointer
d
er
e
fe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
laege
isl_tab_add_v
a
lid_e
q
: return int instea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_affine_hull
.
c: affine_
h
ul
l
_
w
ith_cone: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_eq
u
alities
.
c
:
p
a
rameter_com
p
r
e
ssion_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
l
aege
isl_basi
c
_map_projec
t
_o
u
t
:
avoi
d
NULL pointer derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
isl_coales
c
e
.
c: coale
s
ce_pair: avoid NULL
p
o
inter
d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_conv
e
x_hull
.
c: extend: fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
implement
antiqua
t
ed is
l
_set
_
n
_* in t
e
rms of isl_set
_
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l_m
a
p
_
s
i
mpl
i
fy
.
c
:
nor
m
alize_divs: avoi
d
NULL
p
o
inte
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl
_
inp
u
t
.
c: var
s
_
drop: fi
x
e
r
r
or hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_convex_hull
.
c: use
t
_convex_hull_wra
p
_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
s
et
_
wrap
_
facet: fi
x
error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
isl_tab_min: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolae
g
e
isl_affine_hull
.
c: extend_aff
i
ne_hull
:
avoid
N
ULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_b
a
s
i
c_
m
a
p_ex
t
en
d
: plug memory
l
eak on error path
commit
|
commitdiff
|
tree
next