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
doc: drop duplicate booktitle from Kelly1996closure bib entry
2010-06-28
Sven Verd
o
olaege
do
c
: d
r
op duplica
t
e book
t
itle fro
m
K
ell
y
1996closu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdo
o
laeg
e
do
c
:
use
m
ore e
x
plicit notati
o
n to avoid confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erd
o
olaege
add i
s
l_co
n
straint_i
s
_
div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_map_simplify
.
c:
s
eparate o
u
t isl_basic_map
_
is_d
i
v_const
r
aint
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolae
g
e
i
sl_basi
c
_
map_from_constraint: keep all divs
,
eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
isl_basic_ma
p
_fro
m
_cons
t
rai
n
t: only
return co
p
y
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
i
s
l_constraint_add_d
i
v: correctl
y
set line to f
i
r
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aege
i
sl_pi
p
: r
e
name pip_options to
a
void conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
i
s
l_co
n
vex_hul
l
.
c
: initia
l
_facet_c
o
n
straint: fix
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
doc: describe b
a
ckward incompat
i
ble changes
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
doc: men
t
i
on
discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
rename isl_b
a
sic_ma
p
_
c
onvex_hull to isl_b
a
sic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
affine
_
hul
l
.
c: outside_point: fi
x
e
r
ror
h
andl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_tab_
r
ollback: avoid dou
b
le
f
ree on e
r
ror path
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Ve
r
d
ool
a
ege
i
sl_tab
.
c: tab_mat_product
:
avo
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab
_
e
x
te
n
d_
c
ons: avoid NULL pointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
implement
antiquated
isl_basi
c
_
s
et_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_conv
e
x_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
t
a
b_add_valid_eq: return int
i
nstead of isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_aff
i
ne_hull
.
c: affine_
h
ull
_
with_cone: avoid N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
d
o
o
laege
isl_equalitie
s
.
c: parame
t
er_compression_multi
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic
_
map_project_o
u
t
:
av
o
i
d
NULL pointer der
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaeg
e
isl_coalesce
.
c:
c
oalesce_p
a
ir
:
a
v
oid NULL
p
oi
n
t
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
i
s
l_c
o
nve
x
_hu
l
l
.
c: exten
d
:
fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
d
o
olaege
i
m
plement anti
q
u
a
ted isl_set_n_*
i
n te
r
ms
of isl_s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_simplify
.
c: norm
a
lize_divs: avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
er
d
oolaeg
e
isl_
i
nput
.
c
:
vars
_
d
r
op:
f
ix error
h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_convex_hull
.
c: uset_convex_hull_wrap_
b
ounde
d
: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_set_wrap_fac
e
t: f
i
x
error ha
n
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_tab_min: av
o
id NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
i
s
l_affine_hull
.
c: ext
e
nd_af
f
ine_hull: avoid
N
U
LL po
i
n
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
do
o
laege
isl_basic
_
map
_
e
xt
e
nd
:
plu
g
m
emory leak
o
n
error
path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_aff
i
n
e
_hull
.
c: eq
u
alities_in_
u
n
d
erlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_ba
s
ic_set_p
r
e
i
m
age
:
avoid N
U
LL poin
t
er derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_pip
.
c
:
no_sol_in_strict:
fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_aff
i
ne_h
u
l
l
.
c: equalities_
i
n_u
n
d
e
r
l
y
ing_
s
et: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_
a
ffine_hull
.
c: affine_hu
l
l
:
fix erro han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_
p
r
o
j
ect_out: fix e
r
ror
re
t
urn
value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_bas
i
c
_map_intersect_range:
avoid NULL pointer de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_tab
_
p
i
p
.
c: fin
d
_solutio
n
s
:
fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_b
a
sic_m
a
p_alloc_dim: fix
e
r
ror ha
n
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_basic_ma
p
_int
e
rsect:
a
void NUL
L
p
o
inter d
e
refe
r
en
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_tab_pip
.
c: sol_map_init: avoid
N
UL
L
po
i
nt
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_basic_map_in
t
e
r
sect_domain: av
o
id NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_
f
low
.
c: compute_val_ba
s
ed_dep
e
ndenc
e
s
: fix e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
i
s
l_flow_alloc:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_access
_
info_compute_fl
o
w:
fi
x
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_{set,map}_
f
ast_is_empt
y
: a
v
oid NULL point
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
f
low
.
c: avoid access
i
n
g
d
im fie
l
d directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
acc
e
ss
_
info_
c
omp
u
te_
f
lo
w
: avo
i
d NULL pointe
r
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c
:
obj_
r
e
ad: avoid NULL pointer de
r
efer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_map_subtract
.
c: tab_add_constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab
.
c: clos
e
_row: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_map_simplify
.
c:
remove_du
p
licat
e
_
d
ivs: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic_map_affine_hu
l
l: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
isl_tab_ad
d
_eq: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
i
sl_map_simplify
.
c
:
remove_duplicate_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n V
e
rdoolae
g
e
isl_map_simpli
f
y
.
c: eliminate_divs
_
ineq:
a
v
oid
N
UL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_basic_ma
p
_elimin
a
te_vars: avoid NULL poi
n
t
e
r
d
eref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_s
a
mple
.
c: interv
a
l_sample: av
o
i
d
NULL p
o
inter der
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_s
a
m
ple
.
c: drop_c
o
nstraints_involving: av
o
id
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_stream_new:
read_defined_var_list: avoid d
o
ubl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoola
e
ge
isl_ba
s
ic_map_intersect
:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoo
l
a
ege
i
sl_sample
.
c: gbr_samp
l
e: a
v
oid
N
ULL poi
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_test
.
c: avoid
N
U
L
L
p
ointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_test: avoid accessi
n
g b
a
sic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_input
.
c: r
e
ad_de
f
ined_va
r
_list: a
v
oid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
map_con
v
ex_hul
l
:
avoid
NULL po
i
nte
r
deref
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
i
s
l_bas
i
c_map
_
normalize_c
o
ns
t
ra
i
nts: a
v
oid NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basi
c
_map
_
t
o
tal_dim: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl_basic_map_order
_
divs: avoi
d
N
U
LL point
e
r
d
e
re
f
er
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
is
l
_convex_hull
.
c: isl_
b
asic_set_
a
dd_equalit
y
:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_c
o
n
v
ex_hull
.
c: compu
t
e
_facet: avoid
NULL poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_test
.
c:
m
ap_is_equal: check input
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
r
d
oolae
g
e
is
l
_dim
.
c: cop
y
_
names: ch
e
ck input
d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_dim_dup: check
i
nput dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basi
c
_
map_c
o
w: check result of al
l
ocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream
_
new_
s
tr:
c
h
eck result
o
f all
o
c
ation
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
o
o
laege
isl_s
t
r
e
am
.
c:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_tab_pip
.
c: fix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolaege
isl_polynomial
.
c:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
sl_v
e
rtices
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_mor
p
h
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
isl
_
map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_map
_
si
m
plify
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolae
g
e
isl_input
.
c:
accept more
ge
n
e
ral affine ex
p
ressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl
_
vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdo
o
l
aege
a
d
d isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
ad
d
isl_map_is_tra
n
slation
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaeg
e
export isl_qpolynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaeg
e
isl_polynomial
.
c
: add missing in
c
l
ude
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
i
sl_map_transitive
_
closure: check whether dec
o
mposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaeg
e
add isl_s
t
r
eam_f
l
ush_
t
okens
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
o
olaege
add isl_stre
a
m_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rd
o
ola
e
ge
add rudime
n
t
a
ry erro
r
repor
t
ing mec
h
anism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
i
s
l_point_a
l
loc: a
v
o
id potentia
l
memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven V
e
rd
o
olae
g
e
do
c
:
document
i
sl_m
a
p_delta
s
commit
|
commitdiff
|
tree
next