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_map_lexmax: produce less cryptic error message when result is unbounded
2010-07-24
Sven Verdoolaege
isl_map_le
x
max: produce l
e
ss
c
ryp
t
ic error messa
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
laege
fix isl_basic_map_move_dims in p
r
e
s
ence of existenti
a
l
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
is
l
_
test: drop debugging o
u
tput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n
Verdoo
l
aege
isl_tr
a
ns
i
ti
v
e_cl
o
su
r
e
.
c:
fix typo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_m
a
p_lex_ge and isl_map_lex_
l
e in
th
e
zero-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoola
e
g
e
i
s
l_printer_prin
t
_ma
p
:
repla
c
e v
a
ria
b
le b
y
it
s
d
e
f
i
n
i
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdool
a
e
g
e
priva
t
ely export is
l
_basic_map_fast_cmp and isl_basic_map_
f
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Verdo
o
l
a
ege
isl_
d
im_set_name: don't
accept names that look li
k
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remov
e
co
m
ma
at the end of
e
num
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven
V
erdoolaege
isl_con
v
ex_hull
.
c: avoid side-effects
i
n
c
a
lls to
i
sl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaeg
e
add
i
sl_has
h
_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Ver
d
oolaege
add isl_int_ge
t
_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
doc: fix some typo
s
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
isl
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ve
r
doo
l
ae
g
e
Makefile
.
am: r
e
ally include in
c
lu
d
e/i
s
l_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
ad
d
is
l
_
m
ap_is_bij
e
ctive
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdo
o
la
e
ge
doc: drop duplicate booktitle fro
m
Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolae
g
e
doc: use more
e
xplicit notation to a
v
oid co
n
fusio
n
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoola
e
ge
add isl_constrai
n
t_is_div
_
const
r
aint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
l
a
ege
isl_map_simplify
.
c: separ
a
te out isl_
b
asi
c
_map_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoola
e
g
e
isl_b
a
sic_map
_
fr
o
m_constraint: k
e
ep al
l
divs,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
isl_basi
c
_
m
ap_from_constraint: only return co
p
y of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdool
a
ege
isl_constrain
t
_add_div: correctly set line to
first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
isl_pip: rename pip_options to avoid
c
onf
l
ict
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_con
v
ex
_
hull
.
c: initial_facet
_
const
r
aint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
g
e
d
o
c: describe ba
c
kward in
c
ompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
do
c
: mention discus
s
ion grou
p
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
rename isl_basic_ma
p
_
c
onvex_h
u
l
l to isl_basic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aeg
e
isl
_
affine_hull
.
c: outsid
e
_point: fix error
h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
l
a
ege
i
sl_tab_rollba
c
k
:
avo
i
d double free on error
path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c: tab_mat_product: avoid NULL
po
i
nter
d
er
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_tab
_
ext
e
nd_con
s
: a
v
oid NU
L
L point
e
r derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
m
p
lem
e
nt antiquated isl_basic
_
set_n_
*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_map_con
v
ex_hull: avoid NU
L
L pointer
d
eref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl_ta
b
_add_v
a
li
d
_eq: r
e
t
u
r
n
int inste
a
d o
f
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_
a
f
fine_hull
.
c:
a
ffine_hull
_
with_cone: a
v
o
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_equalities
.
c:
par
a
meter_compress
i
on_m
u
lti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_ba
s
ic_map_project_out: a
v
o
id NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolae
g
e
isl_coalesce
.
c: coal
e
sce_pa
i
r:
avoid NU
L
L poin
t
er derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_convex_hull
.
c: ext
e
nd
:
fi
x
e
r
r
or
h
an
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
la
e
ge
i
m
plement a
n
tiquated isl_set_n_* in
terms
o
f isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doo
l
aege
isl_map_simplify
.
c: normalize_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
inpu
t
.
c: vars_drop: fix er
r
or
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_h
u
ll
.
c
: uset_
c
onvex_hull_w
r
ap_bound
e
d: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_set_w
r
ap_facet:
fix er
r
or
ha
n
dl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_tab_min: avoid
N
ULL pointer deref
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_affine
_
h
ull
.
c: extend_aff
i
ne_hull: avo
i
d NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_ba
s
ic
_
map_e
x
te
n
d: pl
u
g memory leak on err
o
r
pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_affine_h
u
ll
.
c
: equal
i
ties_in
_
u
nderlying_set:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
is
l
_
b
asic
_
set_preimage: avoid
N
U
LL
p
oint
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
i
sl_
t
ab_pip
.
c:
no_so
l
_in_
s
trict: fix error handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c
:
eq
u
aliti
e
s_in_under
l
ying_se
t
: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_affi
n
e_hull
.
c
:
affine
_
hull: f
i
x
erro
h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_map_p
r
oject_out: f
i
x
e
rror ret
u
r
n value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl_basic_map_intersect_ran
g
e: av
o
id
NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_tab_pip
.
c:
find_s
o
luti
o
n
s
: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
is
l
_basic_map_
a
lloc_d
i
m: fix error ha
n
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
l
ae
g
e
isl_basic_
m
ap_in
t
ersect:
a
void NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: sol_map_
i
n
i
t
:
avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_basic_
m
a
p_interse
c
t
_
d
omain: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
sl_flow
.
c: c
o
mput
e
_
v
a
l_based_depe
n
den
c
e
s: fix
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_
f
lo
w
_a
l
loc: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
doola
e
g
e
isl
_
acces
s
_info_compute_f
l
ow: fix erro
r
han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_
{
set
,
m
ap}_fast_is_empty: avoid NU
L
L poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
f
low
.
c:
avoid accessing di
m
field
directly
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_access_in
f
o_compute_flow
:
avoid
N
ULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
ool
a
ege
isl_input
.
c: obj_rea
d
: avoid NULL poin
t
e
r deref
e
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_map_subtract
.
c: tab_add_constrai
n
ts: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_
t
ab
.
c
: close_row: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
dool
a
eg
e
isl_map_simpli
f
y
.
c
:
remove_dupl
i
cate_div
s
: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl
_
basic_map_affine_hull:
a
void N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
i
sl_tab_add_eq: ret
u
rn
i
nt instead of is
l
_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl
_
map_simpl
i
fy
.
c: remove_dup
l
i
c
ate_constrai
n
ts: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_map_simplify
.
c: eliminate
_
di
v
s
_
in
e
q: a
v
oi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic_
m
ap
_
eliminate_
v
a
r
s: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaeg
e
isl_sa
m
pl
e
.
c: interval_
s
a
mple: avoi
d
NULL point
e
r
d
er
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doo
l
aege
i
sl_sample
.
c:
d
rop_
c
onstraints_involving:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
o
o
laege
i
s
l
_
s
t
ream_new:
r
ead_defined_v
a
r_l
i
st: avoid d
o
uble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_basic_map_interse
c
t:
a
void NULL p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_s
a
mp
l
e
.
c
:
gbr_sample: avoid
N
ULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
do
o
l
aege
i
sl_tes
t
.
c: avoid NULL p
o
inte
r
d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
i
s
l_test: avoid
a
cc
e
ssi
n
g basic set internals
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_input
.
c:
r
ead_defined_var_li
s
t: avo
i
d
double
f
ree
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_map_convex_hull: avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_ma
p
_normal
i
ze_constraints:
a
void NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_basi
c
_map_t
o
tal_dim:
avo
i
d NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_b
a
sic_map_order_divs: avoid NULL
point
e
r derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
i
sl_conve
x
_
h
ull
.
c: isl
_
basic_set
_
add_equality: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_c
o
n
v
e
x
_hull
.
c:
c
o
mpute_facet:
a
v
o
id NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c: ma
p
_
i
s
_equal: check
i
nput
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_dim
.
c: copy_names:
c
heck in
p
ut di
m
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_dim_dup: ch
e
ck input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic_map_cow: check result
of alloca
t
ion
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_stream_new_
s
tr:
check resu
l
t
o
f allo
c
ation
commit
|
commitdiff
|
tree
2010-06-25
S
ven V
e
rdool
a
ege
isl_stream
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verdoolaege
isl_t
a
b_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_tab
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
i
s
l
_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ve
r
doolaege
isl
_
vert
i
ces
.
c
:
fix ty
p
os
commit
|
commitdiff
|
tree
next