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
add isl_map_reaching_path_lengths
2010-07-24
Sven Verdoolaege
add isl_map
_
reachi
n
g_p
a
th
_
lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_ma
p
_power: delay equ
a
tin
g
pa
t
h lengths to powe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoola
e
ge
i
sl_map_power: app
l
y Floyd-Warshall t
o
c
ompute
p
owers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoo
l
aege
isl_map
_
l
ex
m
ax: produce less cryptic error
m
ess
a
ge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doo
l
aege
f
ix isl_basic_map_move_dims
i
n pr
e
s
ence of exis
t
entia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolae
g
e
isl_te
s
t: drop
d
ebugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
oolaege
is
l
_transitive_closure
.
c: fi
x
t
y
po in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_map_lex_ge and i
s
l_ma
p
_
l
ex_le in th
e
z
e
r
o-dimen
s
iona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Ve
r
doolaege
is
l
_pri
n
ter_p
r
int_map: replace var
i
a
ble by its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Verdool
a
ege
pri
v
ately expo
r
t
isl_ba
s
ic_map_f
a
st_cm
p
and
isl_basic_map_f
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
i
sl_dim_set
_
name:
don't accept
n
ames that look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remo
v
e
comma
a
t
the end o
f
e
n
umeration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven V
e
rdoo
l
aege
is
l
_con
v
e
x
_hull
.
c: avoid side-ef
f
ects
i
n
c
a
lls
t
o
isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n Ver
d
oolaege
a
d
d i
s
l_hash_builti
n
commit
|
commitdiff
|
tree
2010-07-04
S
ven Verdoolaege
add isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven V
e
rdoolaege
doc: fix
s
o
m
e t
y
pos
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
er
d
ool
a
e
g
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
olae
g
e
M
a
kefi
l
e
.
am: r
e
ally include i
n
clude/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add isl_ma
p
_
is_bi
j
ect
i
v
e
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoola
e
ge
d
o
c: f
i
x typ
o
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoolaege
doc: drop
duplicate bo
o
kt
i
tl
e
fr
o
m Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
olaege
doc: use more explicit nota
t
ion to avoid c
o
n
fusion
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
a
d
d
isl_constraint_is_div
_
constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
i
s
l_map_si
m
p
l
i
f
y
.
c:
separate out is
l
_b
a
sic_
m
ap_is_di
v
_constrain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
isl_basic_map_
f
rom_co
n
st
r
a
int:
keep all divs, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ve
r
dool
a
ege
isl_basi
c
_map_fro
m
_co
n
s
t
raint: only retur
n
c
o
py of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
isl_constrai
n
t_ad
d
_div
:
correctl
y
set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
isl_pip: ren
a
me pip_o
p
t
i
ons to avoid
con
f
lict
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
lae
g
e
isl_c
o
nvex_hull
.
c
:
initial_facet_
c
onstraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
doc:
describ
e
backward incomp
a
ti
b
le changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
d
o
c
:
mention discussion
g
roup
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
rename
i
sl_bas
i
c_map_
c
onvex_hull to isl_basic_map_rem
o
ve_re
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_aff
i
ne_hull
.
c: outside_p
o
int:
f
i
x
e
rror handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_rol
l
b
ac
k
:
a
voi
d
double f
r
ee on e
r
ror path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
ab
.
c:
tab_mat
_
product:
avoid NULL po
i
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_tab
_
exte
n
d
_
cons:
a
v
oid NUL
L
p
o
in
t
er
der
e
fer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
r
do
o
laege
implement a
n
tiq
u
ated
isl_basi
c
_
s
et_n_* in terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_map_con
v
ex_hull: avoid N
U
LL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_tab_
a
dd
_
valid_eq: r
e
turn int in
s
tead o
f
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: affi
n
e_hull_
w
ith_
c
one: av
o
id NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl
_
equalities
.
c:
p
arameter_compression_
m
ul
t
i: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_basic_map_project_out: avoid NULL
p
o
i
nter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
is
l
_coale
s
c
e
.
c: coa
l
esce_
p
air: avoid N
U
LL point
e
r der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolae
g
e
isl_conv
e
x_hull
.
c:
e
x
t
end: fix er
r
or handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oola
e
ge
i
mplement ant
i
q
u
ated isl_set_n_* in terms of isl_set_
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
isl_map_simplify
.
c: normalize_divs:
a
voi
d
NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
i
nput
.
c: vars_drop: fi
x
er
r
or handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
c
onv
e
x
_hull
.
c: uset_conve
x
_hull_wrap_bounded: f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_set_
w
r
ap_facet
:
fix e
r
ror handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
l
a
e
ge
isl_tab_min: avoid
N
ULL pointe
r
der
e
fer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affin
e
_hull
.
c:
extend_affin
e
_
hul
l
: avoid NUL
L
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
is
l
_basic
_
map_exte
n
d: plug memory leak
on error path
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
affine_hull
.
c
: equalities_in_u
n
derlying_set:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_set_preimage: avoid NULL pointer d
e
ref
e
r
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tab
_
pip
.
c: n
o
_
s
o
l
_in_str
i
ct: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_affine_
h
ull
.
c: equalities_in_underlying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_
a
ffine
_
hul
l
.
c: affine_hul
l
: fix erro
h
an
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_ma
p
_project_out:
f
i
x
e
r
r
or return
v
alue
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
is
l
_ba
s
ic_m
a
p_int
e
rsect_ran
g
e:
a
void NULL poi
n
ter dere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
tab_pip
.
c: fi
n
d_sol
u
tio
n
s
: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
isl_basic_
m
ap_alloc_dim:
fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolaeg
e
isl_basi
c
_map_
i
nterse
c
t: avo
i
d
N
U
LL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: so
l
_map_init: avo
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_basic_m
a
p_inters
e
ct_do
m
ain: avoid NU
L
L
p
oin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow
.
c: c
o
mpute_val_based_dependences
:
fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_flow_alloc: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_access_
i
n
f
o_compute_
f
low:
f
i
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_{set,map}_fast_i
s
_empty: avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_flow
.
c: avoid accessing di
m
field
directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_a
c
cess_info_com
p
ute_f
l
ow:
a
vo
i
d
NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_input
.
c
: obj_read: avoid NUL
L
p
o
i
n
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_m
a
p
_
subtrac
t
.
c: tab_add_constra
i
nts:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c: close_row: fix
e
rror
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: remove
_
duplicate_d
i
vs: a
v
oid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
is
l
_
b
asic_map_affine_hull: avoi
d
NULL p
o
int
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
t
ab_add_eq: return int in
s
tead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_map_simplify
.
c:
rem
o
ve_duplicate_c
o
nstraint
s
:
a
voi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
i
sl
_
map_simplify
.
c: eliminate_divs_ineq: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_basic_map_e
l
imina
t
e_
v
ars
:
avoid NULL pointer der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl
_
sample
.
c:
i
nter
v
al_samp
l
e: avo
i
d NUL
L
p
o
inter de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_s
a
mple
.
c
: d
r
op_con
s
t
raints_in
v
olvi
n
g: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_stream_new: read_define
d
_var_list:
a
vo
i
d double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
er
d
oolaege
isl_b
a
sic_
m
ap_intersect: avoid NUL
L
pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_sa
m
ple
.
c: gbr_sample
:
avoid NULL poi
n
te
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
test
.
c
: avoid NU
L
L poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_test: avo
i
d accessing basic set
internals
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_input
.
c: read_d
e
fined_var_list: avoi
d
dou
b
le
f
ree
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_map_convex_hull
:
avoi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
is
l
_
b
asic_map_normaliz
e
_constraints: avoid NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_basic_map_
t
otal_dim: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
i
s
l
_
basic_map_o
r
de
r
_divs
:
avoid NULL po
i
nter d
e
refe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdo
o
laeg
e
isl_
c
o
n
vex_hu
l
l
.
c
:
i
sl_basic_s
e
t_
a
d
d
_equalit
y
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
doolaege
isl_c
o
nvex_hull
.
c: compute_
f
acet: avoid NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_test
.
c:
map_is
_
equa
l
: check in
p
ut
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
i
s
l_dim
.
c: cop
y
_names: check inp
u
t dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_dim_dup: check
i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_basic_map_c
o
w: ch
e
ck res
u
lt
o
f al
l
oca
t
ion
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
rdo
o
laege
isl_stream_new_str: che
c
k
result of a
l
lo
c
ation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_stream
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
erdoolaege
isl_tab_pip
.
c
:
f
ix t
y
p
os
commit
|
commitdiff
|
tree
next