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
implement antiquated isl_basic_set_n_* in terms of isl_basic_set_dim
2010-06-26
Sven Verdoolaege
implemen
t
antiquated
isl_ba
s
ic_s
e
t_n_* in te
r
m
s
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_map
_
co
n
vex_hull:
a
void NULL pointer de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
ool
a
e
g
e
isl_tab_add
_
val
i
d_eq: ret
u
rn int instead o
f
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
do
o
laege
is
l
_
a
ffine_hull
.
c:
affine_hull
_
with_cone: av
o
id NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_
e
qualit
i
e
s
.
c
:
p
aramet
e
r_compression
_
multi: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_
m
ap_pro
j
e
ct_out: avoid N
U
LL p
o
in
t
er der
e
fere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_co
a
lesce
.
c: coalesce_
p
air: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_
c
o
n
v
ex_hull
.
c: exte
n
d: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
i
m
p
lemen
t
antiquated isl_s
e
t_n_* in terms of
isl_s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map
_
sim
p
l
i
fy
.
c
: no
r
malize_divs: avoi
d
NU
L
L po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
i
nput
.
c: vars_drop: fix err
o
r
h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
doolaege
isl_co
n
ve
x
_hull
.
c: us
e
t_convex_hull_wrap
_
b
ounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
s
et_wra
p
_
facet: fi
x
erro
r
han
d
lin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
tab_min: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_affi
n
e_hull
.
c: ext
e
nd_affin
e
_hull: avoid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_basic_map_ext
e
nd:
plug memor
y
leak on error pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_affine_hull
.
c: equalities_in_und
e
rlying_s
e
t
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_
b
asic_set_
p
reim
a
ge: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
ta
b
_pip
.
c: no_
s
ol_in_str
i
ct:
fix e
r
ro
r
h
a
nd
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laeg
e
isl_affine_h
u
ll
.
c:
e
qualities_in_underlyi
n
g_set
:
p
l
ug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_affi
n
e_hull
.
c: affine_hul
l
: fix erro han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_map_project_out: fix error re
t
urn value
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_basic_ma
p
_
i
n
tersect_range: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_tab_p
i
p
.
c: find_s
o
l
utions: fix error
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_
b
a
s
ic_map_alloc_dim: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_
b
asic_m
a
p_intersect
:
avoid NULL p
o
i
n
ter dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoola
e
g
e
isl_tab_pip
.
c: sol_
m
ap_init: a
v
o
i
d
NULL point
e
r dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
d
oolaege
isl_basic_map_inters
e
ct_domain: avoi
d
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdool
a
e
g
e
isl_flow
.
c: co
m
p
ute
_
v
al_ba
s
e
d_de
p
en
d
ences: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow_alloc: fix erro
r
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_acc
e
ss_info_
c
o
m
pute_flow: fix erro
r
ha
n
dlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_{set,map}
_
fast_is_e
m
p
t
y: av
o
id NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
is
l
_fl
o
w
.
c
:
avoid accessing d
i
m field dire
c
tly
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
i
s
l
_a
c
cess_info_c
o
mpute_flow: avoid NULL pointe
r
d
erefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
i
nput
.
c:
o
bj_read: avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_
m
ap_subtract
.
c
: t
a
b_add_cons
t
raints: a
v
oid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_tab
.
c:
cl
o
s
e
_row: fix err
o
r handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplif
y
.
c
:
r
e
move_dupl
i
cate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_basic
_
map_affi
n
e
_hull
:
a
v
o
i
d N
U
LL pointer de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
isl_tab_a
d
d_eq: retu
r
n i
n
t i
n
s
tead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
isl_map_simplify
.
c
: remov
e
_duplic
a
te_constraints:
a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doo
l
aege
isl_ma
p
_simplify
.
c:
e
l
iminate_divs_ineq: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
isl_basic_map
_
eliminate_var
s
:
a
voi
d
NULL
poin
t
er dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
a
ege
is
l
_sampl
e
.
c
: interval_sa
m
ple
:
a
void N
U
LL p
o
inter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
samp
l
e
.
c:
d
rop_constra
i
nts_
i
nv
o
l
v
in
g
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new: read
_
defined_var_lis
t
: avoid
doub
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_basic_m
a
p_int
e
rsect: avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_sam
p
le
.
c: gbr_sample: avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_test
.
c:
a
void NULL
p
ointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_test
:
avoid accessi
n
g b
a
sic set inter
n
als
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c:
r
ead_
d
e
fined_var_list: avoid
d
o
u
ble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
m
a
p_convex_hull: avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_norma
l
ize
_
constraint
s
: avoid NULL p
o
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolae
g
e
isl_basi
c
_map_total_dim: a
v
oid NULL pointe
r
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map
_
o
rder_div
s
: avoid N
U
LL
pointer d
e
refere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
i
sl_
c
onvex_hull
.
c: isl_b
a
sic_set_add_equality:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
c
onve
x
_
h
ull
.
c: co
m
pute
_
fac
e
t: avo
i
d NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_test
.
c: map_is_equal: check
inpu
t
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_dim
.
c: copy_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doola
e
ge
isl_dim
_
dup: ch
e
ck input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
isl_ba
s
ic_map_co
w
: check result of all
o
cation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_stre
a
m_new
_
str: c
h
e
c
k res
u
lt of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_stream
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
t
ab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaeg
e
i
s
l_tab
.
c:
fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_pol
y
n
o
m
ial
.
c
: f
i
x
t
yp
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
ola
e
ge
isl_vertice
s
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_
m
orph
.
c:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
isl
_
map
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolae
g
e
isl_map_si
m
plify
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
e
ge
isl_input
.
c
:
ac
c
ept more
g
e
n
eral affi
n
e expressions
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdo
o
l
aege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
a
dd isl_vec
_
scale
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
add isl
_
set
_
is
_
bo
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoo
l
aege
add isl_map_is_trans
l
ation
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaeg
e
export
i
sl_
q
polynomial_involv
e
s_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verd
o
o
laeg
e
isl_polynomial
.
c: add missin
g
include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
ol
a
ege
i
sl_map_transitive
_
closure: chec
k
wh
e
ther decomp
o
sition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
add isl_stream_f
l
ush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
l
a
ege
add isl_strea
m
_
s
ki
p
_l
i
ne
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d
rud
i
menta
r
y
e
rror reporting
m
echanism
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
add isl_ver
s
ion
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
isl_point_all
o
c: av
o
id p
o
t
e
ntial mem
o
ry
leak
on erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: document isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_tab_pi
p
.
c:
c
ompare all coefficients when c
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
Verd
o
olaege
isl
_
pw_qpolynomial{
,
_fo
l
d}_gist:
u
se simple h
u
l
l in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoo
l
a
e
ge
add
isl_set_set_di
m
_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdo
o
la
e
ge
add i
s
l_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdool
a
e
ge
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
isl_qpolynomial_l
i
ft: fix lifting in abs
e
nce of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
o
p
t
iona
l
ly (and
b
y
de
f
ault
)
use bernstein expan
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
p
r
i
vate
l
y ex
p
o
r
t
i
s
l_q
p
olynomial_fold_f
o
ld_on_doma
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_pw_
q
p
o
ly
n
omial_fold
_
f
o
reach_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d
pa
r
ametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add
isl
_
mo
r
ph_dom_dim
a
n
d
i
s
l
_
morp
h
_ra
n
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_b
a
sic_map_is_rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
priv
a
tely
expor
t
isl
_
basic_set_sort
_
constraints
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl
_
ta
b
_detec
t
_
implici
t
_
e
qualities:
a
lso detect
m
a
n
i
fest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aeg
e
isl_
t
ab:
o
ptionally only mark
strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
gen
e
r
ali
z
e isl_pw_qpol
y
nomial_boun
d
to i
s
l_pw_qpol
y
nom
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
next