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_tab_add_valid_eq: return int instead of isl_tab *
2010-06-26
Sven Verdoolaege
isl_tab_add_
v
alid_eq
:
retur
n
int instead
of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
is
l
_affine_hull
.
c
: affi
n
e_hull_wi
t
h_cone
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_equalities
.
c: param
e
te
r
_co
m
pressio
n
_mul
t
i: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
is
l
_basic_m
a
p_project_out: a
v
oid
NULL pointer dere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_
c
oalesce
.
c
:
coal
e
sce_pair
:
a
void N
U
LL poi
n
t
e
r der
e
f
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c: extend: fi
x
error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
implement antiq
u
a
ted is
l
_set_n_* in terms of
i
sl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
i
sl_map_simp
l
i
fy
.
c
:
norma
l
ize_divs:
a
v
oid
N
ULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_input
.
c: vars_
d
rop
:
fix er
r
or
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
convex_hull
.
c
:
u
s
et_con
v
e
x
_hull_wrap_bounded: f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
isl_set_wra
p
_
facet: fix
e
r
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
isl_tab_min: avoid NUL
L
pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l
_
aff
i
ne_hu
l
l
.
c
:
extend_a
f
f
i
n
e
_hull: avoid
NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
sl_
b
asic_m
a
p_e
x
tend:
p
lug mem
o
ry le
a
k on error
p
ath
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
i
s
l
_a
f
f
i
ne_hull
.
c
: equalit
i
e
s_in_
u
nd
e
r
l
ying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
g
e
isl_basic_set_pre
i
m
a
ge: av
o
id NULL poi
n
ter der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
r
doolaege
isl_tab_p
i
p
.
c: no_sol_in_strict: fi
x
e
r
r
or
h
andli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l
_affi
n
e
_hu
l
l
.
c
:
e
q
u
alities_in_u
n
derly
i
ng_s
e
t: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_affine
_
hull
.
c: affin
e
_hull: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
do
o
la
e
ge
i
sl_map
_
project_
o
ut: fix error return
v
a
lu
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_basic_map
_
int
e
rsect_r
a
n
ge:
a
void NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_ta
b
_
p
i
p
.
c:
f
ind_solu
t
ions
:
fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic_m
a
p_alloc_dim:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
ap_inter
s
ect: avoid N
U
LL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Ver
d
oolaege
is
l
_tab_
p
ip
.
c: sol
_
map_init: avoid
NULL pointer dere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
is
l
_basic_map_
i
n
t
er
s
ect_domain: av
o
i
d
NU
L
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_f
l
o
w
.
c:
c
ompute_val_base
d
_dependences:
f
ix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_
f
low_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_access_info_c
o
mpute
_
f
l
ow: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_{set,
m
ap}_fast_
i
s_empty
:
a
v
oi
d
NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oola
e
ge
isl_flo
w
.
c:
avoid acces
s
i
ng
d
i
m
field direct
l
y
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_
a
c
cess_in
f
o_compute_flow
:
a
v
o
i
d NUL
L
po
i
nter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_input
.
c: obj_read:
avoid NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_map_s
u
b
t
ra
c
t
.
c: tab_add_c
o
n
straints: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
isl_tab
.
c: close_row:
fix err
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_m
a
p
_simplif
y
.
c:
remove
_
d
upli
c
at
e
_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_
a
ffi
n
e_h
u
ll: avoid N
U
L
L
pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_eq: return int in
s
t
ead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erd
o
olaege
isl_ma
p
_simplify
.
c: rem
o
ve_duplicate_c
o
ns
t
r
a
ints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: eliminate_divs_in
e
q: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_b
a
sic_map_eliminate_v
a
rs: avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_sample
.
c: interv
a
l_sample: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_sampl
e
.
c: drop_constr
a
int
s
_involvi
n
g: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdo
o
laeg
e
isl_str
e
a
m
_new:
read_defined_var_list: avoi
d
do
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
basic_map_inte
r
sect: avoid NULL poi
n
ter
d
erefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
i
sl_sam
p
le
.
c
:
gbr_sample: a
v
oid NULL pointer de
r
efere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c
:
avoid NUL
L
poin
t
e
r
der
e
fere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoo
l
aeg
e
i
s
l
_
test: avoid acces
s
ing ba
s
ic set intern
a
ls
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_input
.
c: read
_
defined_var_list:
avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
map_c
o
nvex_hull
:
avoid N
U
LL poin
t
er dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdo
o
laege
isl_basic_map_normalize_constraint
s
:
avoid NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
i
sl_basic_map_tota
l
_dim: avoid
N
ULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
i
s
l
_
basic
_
m
ap_ord
e
r_di
v
s: avoid NUL
L
pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_convex_hull
.
c: isl_basi
c
_
s
et_add_equali
t
y
:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
is
l
_
c
onvex_hull
.
c: compute_facet:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_test
.
c: map
_
is
_
e
q
ual: c
h
eck input
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
isl_di
m
.
c: copy_nam
e
s: check input dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
l
a
eg
e
isl_dim_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_
b
a
sic
_
m
ap_cow: c
h
eck res
u
lt of
a
l
loc
a
t
i
on
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_stream_
n
ew_str
:
c
heck r
e
sult of al
l
o
c
ation
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoola
e
g
e
i
sl_strea
m
.
c
:
fix
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Ve
r
d
oolaege
is
l
_tab_p
i
p
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab
.
c: fi
x
typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
d
o
olaege
isl_polynomi
a
l
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_vertic
e
s
.
c: fix t
y
po
s
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
is
l
_
morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
o
o
l
aeg
e
i
sl_map
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_m
a
p
_simplify
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_input
.
c:
a
ccep
t
mor
e
general affine
expre
s
sions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olae
g
e
add is
l
_
v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_ve
c
_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
ad
d
isl_s
e
t_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Ve
r
do
o
l
aege
a
d
d isl_map_i
s
_t
r
anslation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdo
o
laege
export isl_
q
polynomial_involves_di
m
s
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
isl_
p
olynomial
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
isl_map
_
transitive
_
closure: check
w
hether
d
e
composition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
V
e
rdoolae
g
e
add i
s
l_stream_flush_t
o
kens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ve
r
d
oolaege
add isl_stream_skip_
l
ine
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
add ru
d
ime
n
tary error
r
eporti
n
g m
e
chanism
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
a
d
d isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdool
a
e
ge
isl_point_allo
c
: avoid pote
n
tial
memory le
a
k on
e
r
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
e
n Verdo
o
laeg
e
doc: document is
l
_map_de
l
tas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_
t
ab_
p
ip
.
c
: co
m
pare all
c
oefficient
s
when
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
doolaege
isl_p
w
_
qpolynomial{,
_
fold}
_
gist: use simple hull ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
d
d
isl
_
set_s
e
t_di
m
_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_
s
tream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoola
e
ge
doc:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
isl_qpolynomial_lift
:
f
i
x
lif
t
ing in absence
o
f divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
o
p
ti
o
nal
l
y (and by default) use
bernstein
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
privately export isl
_
qpolyno
m
ial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aeg
e
add isl_pw_qpolynomial_fold_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
a
dd parametric vertex
e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_morp
h
_
d
om_dim and isl_morph_ran
_
di
m
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_bas
i
c
_
map
_
i
s
_rat
i
onal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priva
t
ely export is
l
_basi
c
_set_sort_c
o
nstrai
n
ts
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_t
a
b_detect_implicit_
e
qu
a
lit
i
es:
a
lso det
e
ct manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ta
b
: optio
n
all
y
only mark s
t
rictly redundant r
o
ws
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
gene
r
alize isl_p
w
_qpolyno
m
ial_bound to isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdool
a
ege
extract ou
t
generic part of isl
_
p
w_qpo
l
ynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl
_
pw_q
p
olynomial_bound_range: also s
e
t exactness
.
.
.
commit
|
commitdiff
|
tree
next