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_constraint_is_div_constraint
2010-06-27
Sven Verd
o
olaege
add isl_constraint_is_div_
c
onstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
i
s
l_map_sim
p
lify
.
c: separate out isl_basic_m
a
p_is_div_con
s
tra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
lae
g
e
isl_basic_map_from_co
n
s
t
raint: keep
all di
v
s, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
isl_basic_map_from_const
r
a
int: o
n
ly return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoo
l
aege
isl_constr
a
int_
a
dd_div: correctly s
e
t
line to
fi
r
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_pip: rename
p
ip_op
t
ions to avoi
d
confli
c
t
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
o
o
l
aeg
e
i
s
l_c
o
nvex_hull
.
c:
i
nitial_facet_constraint:
f
ix
e
r
ro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
doc: de
s
c
ribe back
w
ard
i
ncom
p
atible
c
h
anges
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
doc
:
mention discussion group
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
rename isl_basi
c
_map_convex_hul
l
to isl_b
a
sic_map_rem
o
ve_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_affine_h
u
ll
.
c
:
out
s
ide_poi
n
t: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
isl_tab_r
o
llback: avoid double f
r
ee on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
a
ege
isl_tab
.
c: tab_m
a
t_pr
o
d
u
ct: av
o
id NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_extend_cons: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
g
e
im
p
lement antiquate
d
is
l
_basic_
s
et_n_*
i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_ma
p
_convex_hull: avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoo
l
aege
isl_tab_add_valid_eq: return int instead of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_affine_hull
.
c: affine_hull_with_cone: avoid
N
UL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_e
q
ualities
.
c: parameter_comp
r
e
ssion_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_basic_map_projec
t
_out
:
avoid NUL
L
poi
n
ter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
isl_coalesc
e
.
c
:
c
o
alesc
e
_pair: avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_convex_hull
.
c: ex
t
en
d
: fix erro
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
implem
e
nt antiquated isl_set_n_* in terms
of i
s
l_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
is
l
_map_simplify
.
c: normal
i
ze
_
divs: a
v
oid
N
ULL poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_input
.
c:
v
ars_
d
rop: fix
e
r
ro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_convex_hul
l
.
c: uset_
c
onvex_h
u
ll_wrap_bound
e
d: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
dool
a
ege
isl_set_wr
a
p
_
f
a
cet: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
ol
a
ege
isl_t
a
b_m
i
n: avo
i
d
NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_affin
e
_hull
.
c: e
x
tend_affine_hull: avoid N
U
L
L
poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_
e
xtend: pl
u
g memory leak
on
e
rror p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
isl_
a
ffine_hull
.
c
: equalities_in_
u
nderlyi
n
g_se
t
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
s
ic_set_preimage: avo
i
d NULL pointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: no_sol_in_strict:
f
ix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_a
f
fine_hu
l
l
.
c: equalities_in_underlying
_
set
:
plu
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
f
fine_hull
.
c: a
f
fine_hull: fix erro han
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_map_proj
e
c
t_out: fix error
return
v
alue
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
d
oolaege
isl_basic
_
ma
p
_in
t
ersect
_
ra
n
ge: av
o
id NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_pip
.
c: f
i
nd_sol
u
tion
s
: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
sl_bas
i
c_map_alloc
_
dim: fix
e
rror handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
doo
l
aege
isl_basic_map_inters
e
ct:
a
vo
i
d
N
ULL po
i
nter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_ta
b
_pip
.
c: sol_
m
ap_init: avo
i
d NULL poi
n
te
r
derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_basic
_
map_inter
s
ect_domai
n
: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
ola
e
ge
isl_flow
.
c:
c
o
m
p
u
te_val_base
d
_dep
e
ndences
:
fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_flow_alloc:
f
ix
error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_access_info_co
m
pute
_
f
l
ow:
f
ix erro
r
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_{set,map}_fast_i
s
_empty: avoid NULL
p
ointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_flow
.
c: a
v
o
i
d
accessing di
m
field
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_access_info_compute_flow: a
v
oid NULL pointe
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c:
obj_read: av
o
id NULL p
o
i
n
ter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
doolaege
i
s
l
_map_s
u
b
tract
.
c: tab_ad
d
_constraints: avoid
N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab
.
c: clo
s
e_row: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_map_s
i
m
p
lify
.
c: re
m
ove_dupli
c
ate
_
divs: av
o
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdoolaege
isl_basic_m
a
p_affine_hu
l
l
:
avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olaege
isl_
t
a
b
_add_eq:
r
etu
r
n int inst
e
ad of
isl
_
tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
a
e
ge
isl
_
map_simpli
f
y
.
c: remove_duplic
a
te_const
r
aints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_simplify
.
c: eliminate
_
d
ivs_ineq: avoid
N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic_map
_
eli
m
inate_vars:
a
v
o
id NUL
L
pointe
r
de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_sam
p
le
.
c: interval_sampl
e
: avoi
d
NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_samp
l
e
.
c: drop_constraints_involving: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaeg
e
is
l
_
s
tream_new: read_defined_var_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
isl
_
basi
c
_map_intersect:
avoid NU
L
L poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l_sampl
e
.
c: gb
r
_sample:
avoid NULL pointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_test
.
c: avoi
d
N
U
LL po
i
nter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
i
sl_test
:
avoid accessing basic set
internals
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
input
.
c:
re
a
d_defi
n
ed_var_list: avo
i
d doub
l
e free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
laege
isl_map_convex_hull: a
v
oid N
U
LL po
i
nter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
b
asic_map_normalize_constr
a
ints
:
a
void NU
L
L poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic
_
map
_
t
otal_dim: avoid NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erd
o
ol
a
ege
i
sl_basic_map_order_
d
ivs: avoi
d
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_
h
ull
.
c: is
l
_basic_s
e
t_add_equal
i
ty: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_conv
e
x_hull
.
c
: compu
t
e_face
t
: avoid NU
L
L p
o
i
n
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
i
s
l
_
test
.
c:
m
a
p_is_equal: check input
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_dim
.
c: copy_n
a
me
s
: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_
d
im_dup: check inp
u
t
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_basic_map_cow: check resu
l
t of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
is
l
_stream_new_str:
check result of allocation
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_stream
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_
t
a
b
_pip
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_tab
.
c:
f
ix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_p
o
lynom
i
al
.
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolae
g
e
isl_vertices
.
c:
fix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verdoolaege
is
l
_mor
p
h
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ve
r
doolaege
isl_map
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolae
g
e
isl_m
a
p_si
m
p
li
f
y
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ve
r
d
o
olaege
isl_in
p
ut
.
c
: accept mor
e
ge
n
eral
affine
e
xpressions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoola
e
ge
add isl
_
vec
_
add
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ve
r
do
o
laege
add i
s
l_ve
c
_
s
cale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
ad
d
isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sv
e
n Ve
r
do
o
laege
add isl_map_is_translati
o
n
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export isl_qpolynomial_i
n
volves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n V
e
r
d
ool
a
ege
isl_po
l
y
nomia
l
.
c
: add missing in
c
lud
e
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
rdoolaege
isl_map_tra
n
sitive_
c
losure: chec
k
w
hether
decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
a
d
d
isl_stream_f
l
ush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ver
d
oolaege
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdo
o
laege
add r
u
dimentary err
o
r reporting me
c
hanism
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Ve
r
d
o
olae
g
e
add
i
sl_ve
r
sion
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaege
isl_point_alloc: avoi
d
potential memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sv
e
n Verdoolaege
doc:
d
ocumen
t
isl_map_delt
a
s
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n
V
erdoola
e
ge
i
sl_t
a
b
_
p
i
p
.
c: co
m
p
ar
e
all c
o
e
f
f
i
cien
t
s when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaeg
e
isl_p
w
_qpolynomial{,_fold}_gist: u
s
e
s
imple hu
l
l i
n
st
e
ad
.
.
.
commit
|
commitdiff
|
tree
next