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_sample.c: drop_constraints_involving: avoid NULL pointer dereference
2010-06-26
Sven
Verdoolae
g
e
isl_sample
.
c: dro
p
_constraints_involving: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_stream_new: rea
d
_de
f
ined_var_l
i
st:
a
v
oid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_b
a
sic_m
a
p_int
e
rsect: avoid
N
ULL pointer d
e
re
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
r
doolaege
i
s
l_sample
.
c: gbr_sample: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
i
s
l_
t
e
st
.
c
:
a
void NULL pointe
r
de
r
efer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_
t
est: avoid accessing
b
a
s
i
c set internals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
is
l
_input
.
c: read_d
e
f
i
ned_var_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_con
v
ex_hull:
av
o
id N
U
LL point
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_map_normalize_c
o
nstra
i
nts: av
o
id NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_
b
asic_map
_
total_dim:
a
void NULL pointe
r
d
e
ref
e
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
isl_basic_map_ord
e
r
_
divs: avoi
d
NU
L
L
p
ointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_convex_hull
.
c
: isl_bas
i
c
_s
e
t
_
a
d
d_equ
a
lity: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_convex_hul
l
.
c: co
m
p
u
t
e_fac
e
t:
avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoo
l
aege
isl_test
.
c
:
map_is_equal
:
check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl_dim
.
c: copy_names:
ch
e
ck input di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim_dup:
check input dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
is
l
_basic_map_co
w
: c
h
e
ck result of
a
llocation
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_stream_new
_
str: check result of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl
_
s
t
ream
.
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab_pip
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_tab
.
c
: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_polyno
m
ial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_verti
c
e
s
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verd
o
ola
e
g
e
is
l
_mor
p
h
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
sl_map
.
c
: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_map_simplif
y
.
c: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
ege
isl_
i
n
p
u
t
.
c:
a
c
cept mor
e
gen
e
ral af
f
i
n
e ex
p
ressions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
ad
d
i
s
l_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
add isl_vec_
s
cale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
a
d
d i
s
l
_se
t
_i
s
_box
commit
|
commitdiff
|
tree
2010-06-24
S
ven Verdoolaege
add
isl_
m
ap_is_t
r
ansla
t
ion
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoo
l
aege
export isl
_
qpolynomial
_
i
n
v
o
lves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_polynomial
.
c:
a
dd mis
s
ing
in
c
lud
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_
m
ap
_
transiti
v
e
_closure: ch
e
c
k
wh
e
ther decom
p
o
s
itio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaege
add
isl
_
stream_flush
_
to
k
ens
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdool
a
ege
add isl
_
stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
g
e
add rudimenta
r
y error r
e
p
o
rting m
e
chanism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoo
l
aege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
isl_point_
a
l
l
oc:
a
vo
i
d pote
n
ti
a
l m
e
m
ory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven V
e
rdoolaege
do
c
: doc
u
m
e
n
t isl_m
a
p_del
t
as
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
i
s
l_
t
ab_
p
ip
.
c: c
o
mpare all
c
oefficients when ch
e
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
oolaege
isl_pw
_
qp
o
lynomial{,_fo
l
d}_gist: use si
m
ple
hull ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
dd isl_set_set_dim
_
name
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
doola
e
ge
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
S
ven Verdoolaege
d
oc: fix
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_qpolyn
o
mial_lift
:
fix lifting i
n
a
bsence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
optionally (and by
d
efault) use be
r
n
stein expan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
l
a
e
ge
privatel
y
export
isl_qpolyn
o
m
ial_
f
old_fold_
o
n_domain
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
eg
e
add isl_p
w
_qpo
l
ynomial_
f
ol
d
_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
d
d p
a
r
a
met
r
i
c
vertex enu
m
erat
i
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_m
o
rph_dom_d
i
m and isl_m
o
rph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add i
s
l_basi
c
_map_i
s
_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
pr
i
vat
e
ly
ex
p
ort isl
_
b
a
sic_se
t
_sort_constraint
s
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
isl_tab_detect_imp
l
icit_equa
l
ities:
also
detec
t
ma
n
ife
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
is
l
_tab:
op
t
ionally
only mark stri
c
tl
y
redundant ro
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
g
eneralize isl_pw_qpolynomial_bou
n
d to i
s
l_pw_qpo
l
y
nomia
l
_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
ex
t
ract ou
t
generic
part of i
s
l
_
pw_qpo
l
ynom
i
al_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
isl_pw_qpolynom
i
al_bound_ra
n
g
e
: also set exact
n
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
la
e
ge
a
dd isl_basic_
s
et_fac
t
orizer
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
export isl_pw_qpolynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
ad
d
is
l
_qpo
l
y
nomi
a
l
_co
e
ff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_qpolynomial_f
r
om_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
export
i
sl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdo
o
laege
ad
d
i
s
l_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl
_
q
polynomial_degre
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_qpolynomial_insert_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_c
t
x: a
d
d
two
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
isl_tab_detec
t
_implicit_equalitie
s
: return int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_t
a
b_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_tab_s
e
lect_
f
acet
:
return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_basic_set
_
full_
c
ompression
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
pr
i
v
ately export isl_
p
w_qpolynomi
a
l
_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
g
e
a
d
d
i
sl_qpolyno
m
ial_fold_fo
r
each_qpolyno
m
ial
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add is
l
_pw_qpolynomial_fol
d
_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
export is
l
_pw
_
qpolyn
o
mia
l
_f
o
ld_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
privately
e
xpor
t
i
sl_mo
r
ph_alloc and
i
s
l
_morph_i
d
entity
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
o
laege
add is
l
_qpolynomial_
f
old_get_type
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaeg
e
export isl_pw_
q
pol
y
nomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
add i
s
l
_
ctx_p
e
e
k
_options
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
isl_ran
g
e
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
export is
l
_se
t
_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
do
o
laeg
e
isl
_
b
o
und: plu
g
m
emory leak
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
oolaege
f
i
x
i
s
l_qpolynom
i
al_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolae
g
e
isl_pw_q
p
oly
n
om
i
a
l_bound_ran
g
e
:
f
i
x
r
emoval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound_test
.
sh t
o
d
ist
r
ib
u
t
ion
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
do
c
:
d
ocument gis
t
ope
r
at
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaeg
e
doc: do
c
u
ment i
s
l_co
n
s
tra
i
nt_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_
m
ap_is_si
n
gle_val
u
ed
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n
Ve
r
doolaege
isl_basic_map_foreach_constraint: mak
e
sur
e
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
ge
isl_basic_map_copy:
m
ark duplicated copy as
finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_set_lift
:
f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
i
s
l_
b
asic
_
map_move_dims: alw
a
y
s finali
z
e res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Ve
r
doolaeg
e
i
s
l
_
basic
_
map_from_constra
i
nt: fina
l
i
ze result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
isl_ac
c
es
s
_info_comp
u
te_flow
:
handle may a
c
c
esse
s
commit
|
commitdiff
|
tree
2010-05-31
S
v
e
n Verdoo
l
aege
isl_access_info_
c
ompute_flow: handle
m
u
lti-valued si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
r
emove
s
ome un
u
sed variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
fix so
m
e i
c
c
warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
r
d
o
olaege
rename
isl_pw_qpo
l
yno
m
ial
_
move and
add isl_pw_qpo
l
y
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
next