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_dim_set_name: don't accept names that look like numbers
2010-07-14
Sven Ver
d
oola
e
ge
isl_
d
im_set_name: don't acce
p
t names that look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Gro
s
ser
R
e
mov
e
comma
at the end of enume
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
S
v
en Verdoolaege
i
s
l
_co
n
vex_hull
.
c
:
avoid side-effects in
c
a
lls
to
i
sl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verd
o
olaege
a
d
d isl_hash_b
u
iltin
commit
|
commitdiff
|
tree
2010-07-04
S
v
en Verdoolaege
add
isl_int_g
e
t_st
r
commit
|
commitdiff
|
tree
2010-07-02
S
v
e
n
Ve
r
doo
l
aege
do
c
: fix some
typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
Makefil
e
.
am:
r
eally i
n
clude
i
nclude/isl_vertice
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
add isl_map_
i
s_bij
e
c
t
ive
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aeg
e
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaege
doc: drop d
u
plicat
e
booktitle from Kelly1996clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaeg
e
doc: use
more explicit n
o
tat
i
on to av
o
id
c
onfusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
a
d
d
isl_constraint
_
is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
isl_m
a
p
_simplif
y
.
c
:
s
e
parate out is
l
_basic
_
map_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
is
l
_basic_map_from
_
c
o
ns
t
raint: keep
all d
i
v
s, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
isl_ba
s
ic_map_from_c
o
ns
t
raint:
o
nly return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl_constraint_add_d
i
v: c
o
r
r
e
c
tly se
t
lin
e
to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Ve
r
doolaeg
e
isl
_
pip: rename pip_options to avoid confli
c
t with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_convex_hu
l
l
.
c
: initial_fa
c
et_con
s
t
raint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
doc:
d
esc
r
ibe bac
k
w
a
r
d
incompatible ch
a
nge
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
do
c
: mention
d
iscussion gr
o
up
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
rena
m
e isl_basic_map_convex_
h
u
l
l
t
o isl_basic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl_affine_hull
.
c: out
s
id
e
_p
o
int
:
fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
a
ege
isl_tab_rollback: avoid doub
l
e
free
o
n error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
eg
e
isl_tab
.
c: tab_mat_
p
rodu
c
t
: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolae
g
e
isl_tab
_
extend_c
o
ns: avoid NUL
L
pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
implement a
n
t
i
quated
isl_basic_s
e
t
_
n
_* in te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
isl_map
_
convex_hu
l
l: avoid NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_
t
a
b
_add_valid
_
eq
:
return in
t
i
nst
e
a
d
of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_affine_hull
.
c: affine
_
hull_with_cone: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_equali
t
ies
.
c: parameter_compression_
m
ulti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
la
e
ge
i
sl_basic
_
m
a
p_projec
t
_
o
ut: avoid
N
ULL poin
t
er de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl_coales
c
e
.
c
:
co
a
lesce_
p
air:
avoid NULL poin
t
er
d
e
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_convex_
h
ull
.
c: ex
t
e
n
d: fix
e
rro
r
h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
i
m
plem
e
nt antiquated i
s
l_set_n
_
*
i
n terms o
f
i
s
l
_set_di
m
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_map_sim
p
lify
.
c: normal
i
ze_divs:
a
v
oid
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaeg
e
i
s
l
_
in
p
ut
.
c: vars_
d
rop: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l
_convex_hu
l
l
.
c: uset_convex_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_set_wrap_facet: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tab_
m
in: av
o
id NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_affine_h
u
ll
.
c: e
x
tend_affine_hull: avo
i
d
NU
L
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
asic_map_extend
:
plug memory
lea
k
on err
o
r
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
l
a
ege
isl_affine_hu
l
l
.
c: equalities_in_underlyin
g
_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
is
l
_basic_
s
et_preim
a
ge: avoid
NUL
L
p
ointer d
e
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
s
l_tab_pip
.
c
:
no_sol_in_strict: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_
a
ffine_hull
.
c: e
q
ualities_i
n
_unde
r
lying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_aff
i
ne_hul
l
.
c
:
aff
i
ne_hull: fi
x
erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
is
l
_
m
a
p_project_out:
f
ix err
o
r retur
n
v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
b
asi
c
_map_intersec
t
_r
a
nge: avoi
d
NU
L
L
poi
n
te
r
derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_tab_pip
.
c: find
_
s
o
lutions
:
fix
err
o
r
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
isl_
b
a
s
i
c_map_allo
c
_dim: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_ma
p
_i
n
t
e
rsect: avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
is
l
_t
a
b_pip
.
c
:
sol_map_init: avoid NU
L
L
p
oin
t
er derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_bas
i
c_
m
ap_
i
ntersect_
d
omain: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_flow
.
c: co
m
pu
t
e
_val_base
d
_depende
n
ces: fix
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow_allo
c
: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_access_info_
c
ompu
t
e_f
l
ow: fix
err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_{set,map}_fa
s
t
_
i
s_em
p
ty: avoid NULL point
e
r de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
isl_flow
.
c: av
o
id a
c
cessing dim
fiel
d
direc
t
ly
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
is
l
_
access_info_compute_flow: av
o
id NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c:
o
b
j_rea
d
: avoid
N
ULL po
i
nter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_
m
ap_subtract
.
c: tab_a
d
d_constraints: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_t
a
b
.
c: close_r
o
w:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
ool
a
e
g
e
i
s
l_map_simplify
.
c: remove_duplicate_
d
ivs:
avo
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
eg
e
isl_basic_m
a
p_
a
ffine
_
hull: avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_add_
e
q: return
i
nt ins
t
e
ad of is
l
_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_map
_
simplify
.
c: remo
v
e
_
d
uplicate_constraints: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
m
a
p_simp
l
ify
.
c
:
eli
m
ina
t
e_divs_in
e
q: a
v
oid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_b
a
sic_map_el
i
min
a
te_vars:
a
void NULL p
o
inter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_sample
.
c: inter
v
a
l
_
sampl
e
: avoid NULL po
i
nter d
e
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
i
sl_sample
.
c: drop_cons
t
r
aints_inv
o
l
v
i
n
g: avo
i
d NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_stream_n
e
w
: read_
d
e
fined_
v
ar_list:
avoi
d
doubl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
r
d
o
olaege
i
sl_bas
i
c_map_
i
ntersect
:
a
v
oid NULL p
o
inter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
d
o
olaege
isl_sampl
e
.
c:
g
br_sam
p
le: avo
i
d NULL p
o
inte
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolae
g
e
isl
_
te
s
t
.
c: avoi
d
N
ULL point
e
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_test
:
avoid accessing b
a
sic set interna
l
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
is
l
_input
.
c: read_d
e
fined_var_li
s
t: a
v
o
i
d doub
l
e free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaeg
e
isl_map_convex_hull:
a
void NULL pointe
r
d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic_map_nor
m
alize_constraints: avoid
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
lae
g
e
is
l
_
b
as
i
c_map_tota
l
_dim
:
a
void NULL poi
n
ter dere
f
e
r
enc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_basic_ma
p
_order_divs
:
av
o
id NULL pointer deref
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_convex_hull
.
c
: isl_basic_se
t
_add_e
q
uality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_convex_h
u
l
l
.
c: co
m
p
u
te_facet: av
o
id
N
ULL
p
oin
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
t
e
st
.
c: map_is_
e
qual: check i
n
put
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_dim
.
c: copy_names
:
check i
n
put di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim_dup: chec
k
input dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doola
e
ge
isl_ba
s
ic_map_cow: check result
o
f
allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_str
e
am_new_str
:
c
heck resu
l
t of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaeg
e
i
sl_
s
tream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab_pip
.
c
:
fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verd
o
olaege
isl_tab
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
i
s
l_p
o
lyn
o
mial
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_ve
r
tices
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
r
doolaege
isl
_
morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
V
erdoolaege
isl
_
map
.
c
:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
V
er
d
o
o
l
a
ege
isl_input
.
c:
accept more g
e
neral affine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
doolaege
add isl_v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
V
erdoolaege
add isl_ve
c
_
scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
dd isl_set_is_
b
ox
commit
|
commitdiff
|
tree
next