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_stream_read_obj: read reductions
2010-06-26
Sven Verdoolaege
isl
_
ta
b
_add_valid_e
q
: re
t
urn int
i
nstead of
isl
_
t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_aff
i
ne_hull
.
c:
a
ffine_hull_w
i
th_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolaege
isl_equalit
i
es
.
c:
p
arameter_comp
r
es
s
ion
_
multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
a
e
g
e
isl_basi
c
_map_project_out
:
avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_coalesce
.
c: coalesce
_
p
a
ir: avoid NU
L
L
p
ointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
i
sl_convex_hull
.
c
: e
x
tend:
fix e
r
ror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erd
o
olaege
imple
m
en
t
antiquated
isl_
s
et
_
n_* in ter
m
s of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
i
s
l_map_simplify
.
c: norm
a
lize_divs: avoid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_input
.
c
:
v
ars
_
drop: fix
e
r
ror handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
dool
a
ege
is
l
_
co
n
vex_hull
.
c
:
uset
_
convex_hu
l
l_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoola
e
ge
i
sl_set_
w
rap_facet:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_min
:
a
void NULL po
i
nte
r
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
sl
_
a
f
fi
n
e_hull
.
c: ext
e
nd_
a
ffine_hul
l
:
a
void NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
sl_basic_map_extend: p
l
ug memory leak o
n
er
r
or path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_aff
i
ne_hull
.
c
:
eq
u
alities_in
_
underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
asic_set
_
preimage: av
o
id NULL pointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_t
a
b_p
i
p
.
c: no_sol_in_st
r
ict: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
affine_
h
ull
.
c: e
q
uali
t
ies_in_unde
r
lying_
s
et: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_affine_hull
.
c: affine_hull: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_map_pr
o
je
c
t_
o
u
t
: fix er
r
or
r
e
t
urn value
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_bas
i
c
_map_i
n
tersect_range: avo
i
d NULL pointer
d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_tab_p
i
p
.
c: find
_
s
o
lutions:
f
ix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_basic_map_alloc_dim: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l
_basic
_
m
a
p_i
n
tersect: avoid NULL pointer d
e
refe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab_pip
.
c: sol_map_init: avo
i
d NULL po
i
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_basic_
m
a
p
_int
e
rsect_doma
i
n: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olae
g
e
isl_flow
.
c:
c
o
m
put
e
_
val_based_depe
n
dences: fix e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
f
l
ow_alloc: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_access_info_comput
e
_flow: fi
x
err
o
r han
d
lin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_{
s
et,map
}
_fast_is_
e
mp
t
y: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_f
l
ow
.
c: avoid a
c
cessing dim
fie
l
d
directly
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_access_
i
nfo_compute_flow: avoid NU
L
L po
i
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: obj_read: avo
i
d NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map
_
subtract
.
c: tab_add_co
n
s
train
t
s: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_ta
b
.
c
:
close_row: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_simplify
.
c: remove
_
duplicate_divs: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_basic_map_
a
ffine_hull:
avoid NULL pointer d
e
re
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_
t
a
b
_add_eq:
r
eturn i
n
t instead
o
f
is
l
_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_
m
ap_simp
l
ify
.
c
:
r
e
mov
e
_duplicate
_
co
n
s
train
t
s:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
er
d
oolaege
isl_map_simplif
y
.
c:
e
l
i
minate_divs
_
ineq: av
o
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
o
olaege
isl_basic_map_eli
m
inat
e
_vars: avoid NULL pointer de
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_sample
.
c:
interval_sample: avoid
N
U
LL
pointer dere
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
i
s
l_sample
.
c: dr
o
p_cons
t
raints_involving
:
av
o
id
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
stre
a
m_
n
e
w: read_def
i
ned_va
r
_li
s
t: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_bas
i
c_map_int
e
rs
e
ct: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_sample
.
c: gbr_sample
:
avoid NULL
p
oint
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdool
a
eg
e
is
l
_test
.
c
: av
o
id N
U
L
L p
o
inter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_test
:
avoid accessing basic
s
et
internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
i
s
l_i
n
put
.
c
:
read
_
defin
e
d_var_lis
t
:
a
void
dou
b
le f
r
ee
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_map_co
n
vex
_
hul
l
: avoid N
U
LL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl_basic
_
map_nor
m
aliz
e
_const
r
aints: avoid NUL
L
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
basic_map_total_d
i
m
:
avoid N
U
L
L
poi
n
te
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_basic_map_order_divs: a
v
o
id NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_conv
e
x_hull
.
c:
i
sl_basic_set_add_eq
u
ali
t
y:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
l
a
ege
is
l
_convex_hull
.
c
: com
p
ute_facet: avoid NULL
pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
s
l_test
.
c: map_is_eq
u
al: check inpu
t
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
d
im
.
c: copy_names: check
input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
d
im_dup: che
c
k
inpu
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
isl_basic_map_
c
o
w:
c
h
eck result of allocati
o
n
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_stream_ne
w
_st
r
: c
h
eck
r
esult of allocatio
n
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
a
ege
isl_t
a
b_p
i
p
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaeg
e
isl_tab
.
c
:
fix
t
y
p
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_polynom
i
al
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaeg
e
isl
_
ver
t
ic
e
s
.
c: fix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laeg
e
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
i
sl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaeg
e
isl_map_simplify
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oo
l
aege
isl_i
n
put
.
c: accept mo
r
e gener
a
l affin
e
exp
r
essions
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
do
o
l
a
ege
add is
l
_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
e
ge
add isl_v
e
c_sc
a
le
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
rdoo
l
aege
ad
d
isl_set_is_b
o
x
commit
|
commitdiff
|
tree
2010-06-24
S
ven Verdoo
l
a
e
ge
ad
d
isl
_
map_is_tran
s
l
a
tio
n
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoola
e
ge
e
xport is
l
_qpolynomial_involves
_
di
m
s
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rd
o
o
l
aeg
e
isl_polynomial
.
c
: add missing include
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoola
e
ge
isl_map_transitive_closu
r
e: check whether
decomposit
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
ad
d
i
s
l
_stream_flush_to
k
ens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
g
e
ad
d
isl_stream_skip
_
line
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaeg
e
add rudimenta
r
y error reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
add is
l
_versi
o
n
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
is
l
_point_alloc: avoid potential me
m
ory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoola
e
ge
doc
:
docu
m
e
n
t isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdool
a
ege
i
s
l_tab_pip
.
c: compar
e
al
l
coefficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolae
g
e
is
l
_pw_
q
polynomial{,_fold}_gist:
u
s
e simple hull ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
V
e
rdoolaeg
e
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
doolaege
add isl_
s
tream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
d
o
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_
q
polynomial_
l
ift: fix
lifting in abs
e
nce of di
v
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
optionally (and by default) use
b
ern
s
tein expan
s
io
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
dool
a
ege
pri
v
ate
l
y ex
p
ort
i
sl_qpoly
n
omial_fold_fold
_
on_
d
o
m
ain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d
isl_p
w
_qpolynom
i
al
_
fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add parametric vert
e
x
e
numera
t
ion
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erdoolaeg
e
a
dd isl_m
o
rp
h
_dom_dim
a
nd i
s
l_mor
p
h_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
i
s
l
_basic_map_is_
r
ational
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
privately expo
r
t i
s
l_basic_set_sort_constraint
s
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_tab_
d
et
e
c
t_implici
t
_equa
l
itie
s
: also
d
e
t
e
ct
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_tab: opt
i
ona
l
ly only mar
k
s
trictly redundant ro
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
gene
r
a
l
ize isl_pw_qpolynomia
l
_bound to i
s
l_pw_qpolynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
extract ou
t
generic p
a
rt
of
isl_pw_qpolynomial
_
boun
d
_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
d
o
olae
g
e
i
s
l_pw_qpoly
n
o
mial_bound_ra
n
ge: a
l
so set exac
t
ness
.
.
.
commit
|
commitdiff
|
tree
next