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_simplify.c: remove_duplicate_divs: avoid NULL pointer dereference
2010-06-26
Sv
e
n Ver
d
oolaege
isl_map
_
simplify
.
c
:
remov
e
_
duplicate_
d
ivs: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
is
l
_
basi
c
_
map_af
f
ine_hull:
a
void NULL
poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_tab_add_
e
q:
return int instead of
i
s
l
_tab
*
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
d
oolaege
isl
_
m
ap_simplify
.
c: remove_d
u
p
l
icate_co
n
stra
i
nts:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
o
l
aege
isl_map_sim
p
lify
.
c:
elimi
n
ate_divs
_
i
n
eq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoola
e
ge
isl
_
basic_map_elimina
t
e
_
va
r
s: avo
i
d NULL
pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
s
a
m
ple
.
c:
interval_sa
m
ple: avoid NUL
L
poi
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
s
ample
.
c: drop_constraints_involving: avoid N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_
s
tream_
n
ew: read_defined_var_
l
ist: avo
i
d do
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaeg
e
i
sl_basic_map
_
intersect:
a
void NULL
p
o
i
n
ter der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
g
e
is
l
_sample
.
c: g
b
r
_sample: avoid NULL point
e
r der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tes
t
.
c: avoid NULL
po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test:
avoid accessing basic
set i
n
ter
n
als
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
lae
g
e
isl_inp
u
t
.
c:
read_defined_var_l
i
st: a
v
oid doub
l
e fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_c
o
nvex_hull:
a
void NU
L
L
p
o
inter der
e
fer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_bas
i
c
_map_normalize_const
r
aints: avoid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_basic_map_
t
otal_dim: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
e
ge
isl_basic_map_order_d
i
vs:
avoid NULL pointer dere
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erd
o
o
l
aege
isl_convex_hull
.
c: isl_ba
s
ic_set_add_equality:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_co
n
vex_hull
.
c:
c
o
m
put
e
_facet:
a
void NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tes
t
.
c
:
map_is_equal: che
c
k input
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
i
sl_dim
.
c: copy_names: check i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaeg
e
isl
_
dim_dup: chec
k
inpu
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_basic_map_cow: c
h
eck result
of al
l
ocation
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
lae
g
e
isl_stream_new_str: check resu
l
t
of alloca
t
ion
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdool
a
ege
isl_
s
tream
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_tab_pi
p
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
do
o
laege
isl_tab
.
c
:
fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
ol
a
e
g
e
isl_polyno
m
ial
.
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
v
er
t
ices
.
c: fix
typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doola
e
ge
isl_morph
.
c
:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ve
r
doolaege
isl
_
map
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verd
o
o
l
aege
isl
_
m
ap
_
s
i
m
p
lify
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
sl_i
n
put
.
c: accept more gener
a
l affine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
o
olaeg
e
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verd
o
o
l
aeg
e
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaeg
e
add is
l
_set_is_
b
ox
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add isl_map_is_tr
a
n
slation
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
rdoolaege
export isl_qpolynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_polynomial
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaeg
e
isl_map_tr
a
nsiti
v
e_closure: c
h
ec
k
whether
d
ec
o
mposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doo
l
a
ege
add isl_stream
_
flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verd
o
olaege
add isl_stream
_
skip_
l
ine
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
add rudi
m
entary e
r
ror reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
add isl_versio
n
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
isl_
p
oi
n
t_al
l
oc: avoid
p
o
tential memory lea
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven V
e
rdoola
e
ge
doc: do
c
ument isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
ve
n
Verdoolaege
i
s
l
_tab_pip
.
c: compar
e
a
ll coefficients whe
n
c
h
eck
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ven Verdoolaege
isl_pw_qpolynomial{,_fold
}
_
g
ist: use simple
hu
l
l
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolae
g
e
a
dd isl_set_se
t
_di
m
_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
o
laege
ad
d
isl
_
stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
e
rdoolaege
d
oc: fix typ
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
lae
g
e
isl_qpolynomial_lift: fix li
f
ting in
a
bsenc
e
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally (and by default) use
b
ernstei
n
e
xpan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
pr
i
v
a
tely export is
l
_qpol
y
n
o
mi
a
l
_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
a
dd isl
_
p
w
_
q
polynomial_fold_for
e
ach_piec
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
ad
d
parame
t
ric
v
ert
e
x e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_morph_dom_d
i
m
and
isl_morph
_
ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_basi
c
_map_is_r
a
tional
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
p
rivat
e
ly
e
x
port isl_basic_set_sor
t
_co
n
strain
t
s
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
i
s
l_tab
_
de
t
ect
_
implic
i
t_equa
l
i
t
ies: also d
e
tec
t
manif
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_tab: optio
n
al
l
y
only m
a
rk s
t
rictly redundan
t
rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
generalize isl_p
w
_qpoly
n
omia
l
_bound to isl_p
w
_
qpolynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
extract
out
gener
i
c par
t
of isl_pw_q
p
oly
n
o
m
i
al_
b
ound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_pw_q
p
o
lynomia
l
_bound_range: a
l
so set
e
xa
c
tne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_ba
s
ic
_
set_factorize
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_q
p
oly
n
omial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
e
x
port isl
_
q
polynomial_is
_
z
e
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd
i
sl
_
qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d i
s
l_qpolyn
o
mial_from_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaeg
e
export isl_qpoly
n
omial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
add isl_qpoly
n
o
m
ial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_qpolyn
o
mial_degr
e
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
add isl_qp
o
lynomial_inser
t
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add
isl_qp
o
lynomial_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
c
t
x
: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_tab_detect_implicit_equali
t
i
e
s
:
return
i
nte
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_tab_
s
ign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_tab_select_facet: return
in
t
i
ns
t
ead of
isl_
t
a
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set_full_com
p
ression
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
priva
t
e
l
y ex
p
ort isl_pw_
q
po
l
ynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
add isl_qpolynomial_fold_foreac
h
_
q
p
o
ly
n
o
m
i
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl
_
pw_qpoly
n
omial_fo
l
d
_f
o
r
e
a
c
h_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
export
i
sl_
p
w_qpolyno
m
ial_fold_is
_
ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
pri
v
ately export
is
l
_
m
orph_alloc and is
l
_
morp
h
_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add is
l
_
q
po
l
ynomia
l
_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
export i
s
l_pw
_
qpolynomi
a
l_get_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
add isl_ctx_peek_op
t
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_ra
n
ge
.
c
: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
ex
p
ort i
s
l
_
set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
isl_bound: plug m
e
mory
l
eak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fi
x
isl_qpo
l
yn
o
mi
a
l_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_pw_qpo
l
ynomial_bound_ra
n
ge:
f
ix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
d
d
boun
d
_
test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven
Verdoola
e
ge
doc
:
documen
t
gist operations
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n Verdoolaege
doc: d
o
cumen
t
isl_const
r
aint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_map_is_singl
e
_
valued
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
er
d
o
olaege
isl_basic_m
a
p_foreach
_
cons
t
raint: make
s
ure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven
Verdo
o
l
aege
is
l
_ba
s
ic_map_copy:
mark dup
l
icated
c
opy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
i
s
l_basi
c
_set_l
i
ft: finalize result
commit
|
commitdiff
|
tree
next