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 0.03
2010-06-29
Sv
e
n Verd
o
olaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
M
a
k
efil
e
.
a
m
:
re
a
l
ly in
c
lude include/is
l
_
v
ertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolae
g
e
add isl_
m
a
p
_is_b
i
je
c
tive
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
olaege
doc: d
r
op duplicate
b
o
o
k
title from
K
e
l
ly19
9
6closu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
d
o
c:
use mor
e
explicit no
t
ation to a
v
oid confus
i
on
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
add isl_constr
a
int_is_div_con
s
tr
a
i
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Ve
r
doolaege
i
sl_map_si
m
plify
.
c
:
separate out isl_basic_map_is
_
d
iv_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoolaege
isl_ba
s
ic_map_from_
c
onstraint: keep al
l
divs, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdoola
e
ge
isl_basic_map_
f
rom_constraint
:
on
l
y
re
t
urn cop
y
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
i
s
l_constraint_add_div: correctly set line to fi
r
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoo
l
aege
isl_pip: rena
m
e pip_
o
p
tions to avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
is
l
_convex_hu
l
l
.
c: initial_facet_constrai
n
t:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
l
a
e
ge
doc: describe
b
ackw
a
rd in
c
o
mpatible change
s
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
doc:
m
e
n
tion d
i
scussion group
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
o
l
aege
rename isl_b
a
sic_map
_
convex_hull to
i
sl_basic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_
a
ffine_hu
l
l
.
c: outside_point: fi
x
err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_tab_rollback: avoid double free on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
t
ab
.
c: tab_m
a
t_produ
c
t: a
v
oi
d
NULL
p
ointer derefe
r
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab_
e
xtend_c
o
ns: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
implement antiquated isl_basic
_
s
e
t
_
n_* i
n
terms o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_ma
p
_co
n
vex_hull: avoid NULL pointe
r
dere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_valid_e
q
: return in
t
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
affine_hull
.
c:
a
ffine_hull_wi
t
h_cone: a
v
o
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_equali
t
ies
.
c:
par
a
meter_com
p
ression
_
multi:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaeg
e
isl_basic
_
map_
p
roject_out: avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_
c
o
alesce
.
c
:
coalesce_pai
r
:
avoid NULL pointe
r
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ver
d
oola
e
ge
is
l
_convex_hull
.
c
:
e
xtend: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
impleme
n
t
a
ntiquat
e
d isl_set_n_* in term
s
o
f
isl_set
_
dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
do
o
laege
i
s
l
_m
a
p_
s
implify
.
c: normalize
_
divs: avo
i
d
N
U
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_input
.
c
:
vars_d
r
op: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_co
n
vex_hull
.
c: us
e
t_c
o
nvex_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_se
t
_w
r
ap_facet: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_tab_min: avoid NULL poi
n
t
e
r
de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl
_
affi
n
e_
h
ul
l
.
c: extend_affine_hull:
a
v
oid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolae
g
e
isl_basic_map_extend:
p
lug memory leak o
n
erro
r
p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_
a
ffine_hull
.
c: equa
l
ities_in_und
e
rly
i
ng_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
isl_basic_set_preima
g
e: avoid NULL p
o
inte
r
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Ver
d
oolaege
isl_tab_pip
.
c: no_sol_in_strict
:
fix error ha
n
dlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl
_
affine_hu
l
l
.
c: equ
a
l
ities
_
in
_
underl
y
ing_se
t
: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_affin
e
_hull
.
c: affine_hull: fix erro handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_map_projec
t
_out: fix er
r
or return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basi
c
_map_inters
e
ct_ra
n
ge:
a
void
N
ULL poin
t
er deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_tab_pip
.
c: find_solu
t
ions: fix error h
a
n
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
a
ege
isl_basic_map_alloc_dim: fi
x
error h
a
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl_basic_ma
p
_i
n
tersect
:
avoid NULL po
i
nt
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
isl
_
t
ab_pip
.
c:
s
ol_
m
ap_i
n
i
t: avoid NULL point
e
r dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
ge
isl_basic_map_intersect_domain: avoid
N
U
L
L p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
l
a
ege
isl_flow
.
c: compute_val_based_de
p
ende
n
ces
:
fi
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_flow
_
a
ll
o
c
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
o
l
a
ege
isl_access_i
n
fo_comput
e
_flo
w
: fix error ha
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_
{
set,map}_fast_is_empty:
a
void
N
U
LL po
i
nter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_flow
.
c:
a
void accessing dim fi
e
ld
directly
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_acc
e
ss_info
_
compute_flow: avo
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_in
p
ut
.
c: obj_re
a
d: a
v
o
id
NULL point
e
r de
r
e
feren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_subtract
.
c: tab_
a
d
d_constraints
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
e
g
e
isl_tab
.
c: clo
s
e_row: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_simplify
.
c: remov
e
_duplicate_d
i
vs: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ver
d
o
olaege
isl_b
a
sic_map_aff
i
ne
_
hull: avoid NULL point
e
r dere
f
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_tab_add_eq
:
r
e
turn in
t
instead o
f
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
isl_map_s
i
m
p
l
i
fy
.
c
: remove_duplicate_co
n
straints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolae
g
e
isl_m
a
p_simpl
i
fy
.
c: eliminate_divs_ineq: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
g
e
isl_b
a
s
i
c_map_eliminate_vars: avo
i
d
N
ULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laeg
e
isl_sample
.
c: interval_s
a
mple:
a
void NULL po
i
nter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_sample
.
c: drop_constraints_inv
o
lving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rd
o
o
laege
isl_stream_new: read_def
i
ned_
v
ar_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_map
_
in
t
e
r
sect: a
v
oid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl_sample
.
c
: gbr_sam
p
le: avoid NULL p
o
inter deref
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl
_
test
.
c:
avoid NU
L
L
p
ointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
t
est: avo
i
d acc
e
ssing b
a
sic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaeg
e
isl_input
.
c
:
re
a
d_d
e
fin
e
d_
v
ar_
l
ist: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdool
a
eg
e
isl_map_convex_hu
l
l: a
v
oid NULL poin
t
er der
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
i
s
l_basic_map_nor
m
a
liz
e
_constr
a
ints:
avoid
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Ve
r
doo
l
aege
isl_basic_map_to
t
al
_
d
im:
avo
i
d NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_basi
c
_map_
o
rd
e
r_divs
:
avoid NULL point
e
r d
e
refe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_conv
e
x_hull
.
c
:
isl_
b
a
sic_set_add_equality: av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_conve
x
_hull
.
c: compute
_
f
a
cet: avo
i
d NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ve
r
doo
l
ae
g
e
isl_t
e
st
.
c: map_is_equa
l
: check
input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
d
i
m
.
c: co
p
y
_
names
:
check
i
npu
t
dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
do
o
laege
isl_d
i
m_dup: ch
e
ck input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_basic_map_cow
:
check
result
o
f allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
i
s
l
_stre
a
m_ne
w
_str
:
check res
u
l
t
of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_stream
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoola
e
ge
isl_tab_p
i
p
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab
.
c: fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_polynomial
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vert
i
ces
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdo
o
lae
g
e
isl_m
o
rph
.
c:
f
i
x t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
ve
n
Verdoolaege
i
s
l_map
.
c
: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
sl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verd
o
olaege
i
s
l_inpu
t
.
c: accept more g
e
ner
a
l affine e
x
pres
s
ions
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoola
e
ge
a
dd isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
erdoolaege
add isl_vec_sca
l
e
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verd
o
ol
a
ege
add
i
sl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
expor
t
i
sl_qpolynomial_involves_di
m
s
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolae
g
e
isl_
p
oly
n
omi
a
l
.
c: ad
d
m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Ver
d
oo
l
aege
isl
_
map_transiti
v
e_closure: check wh
e
th
e
r decompos
i
tio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
dool
a
e
g
e
a
dd
i
s
l_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaeg
e
add
i
sl_stream_ski
p
_line
commit
|
commitdiff
|
tree
next