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
add isl_basic_map_image_is_bounded
2010-06-26
Sven V
e
rd
o
olaege
isl_{s
e
t,
m
ap}_f
a
s
t
_is_empty: avoid NULL
point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_flow
.
c
:
avoid accessi
n
g
dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_info_compute_flow: avoid NULL
p
o
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_input
.
c
:
ob
j
_re
a
d
:
avoid NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
ma
p
_
subtract
.
c: tab_add_constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
tab
.
c: close_row:
f
ix
error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
map_simplif
y
.
c: rem
o
v
e
_d
u
plic
a
t
e_divs
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basi
c
_
m
ap_affin
e
_
h
u
l
l: avoi
d
NULL point
e
r dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_a
d
d_eq: ret
u
rn i
n
t inst
e
ad of isl_
t
a
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
is
l
_map_s
i
mpli
f
y
.
c: rem
o
ve_duplicate_co
n
straints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: eliminate
_
divs_ineq: av
o
i
d
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
i
sl_
b
asi
c
_ma
p
_eliminate_
v
ars: avo
i
d NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
s
a
m
p
le
.
c
:
interval_sample: avoi
d
NULL pointer
d
er
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
oolaege
isl_
s
amp
l
e
.
c:
drop_constra
i
nts_
i
nvolvin
g
: avoid N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
isl_strea
m
_new:
read
_
define
d
_var_list: avoid dou
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_m
a
p_inters
e
c
t
: a
v
o
i
d NULL
p
o
i
n
t
er dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_s
a
mple
.
c: gbr_sam
p
le: avo
i
d NULL po
i
nte
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_test
.
c
:
a
v
oid NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test:
a
void
accessing basic set in
t
e
rnals
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_in
p
u
t
.
c: re
a
d_
d
efined_var_list: avoid dou
b
l
e
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl_map_conv
e
x_hull:
av
o
i
d
NULL po
i
nt
e
r derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
i
sl_basi
c
_
map_normalize_constraint
s
: avo
i
d N
U
LL
po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl_b
a
sic_
m
ap_total_di
m
: avo
i
d NULL
pointer
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_b
a
sic
_
map
_
order_divs
:
avoid N
U
LL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_conve
x
_hull
.
c: isl_basic_set_add_eq
u
ality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_c
o
nvex_hull
.
c: compute_facet: avoid NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
doolaege
isl_te
s
t
.
c: m
a
p_is_equal: check
i
nput
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim
.
c
:
copy_names
:
check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
eg
e
isl_
d
im_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl_
b
asic
_
map_cow: check result of
allo
c
ation
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_
s
tream_new_str: che
c
k
result of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
stre
a
m
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
i
sl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaeg
e
isl
_
t
a
b
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
p
olynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertices
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en V
e
rdoola
e
ge
isl_mo
r
p
h
.
c
: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl
_
map
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_input
.
c:
a
c
c
ept
more general
af
f
ine
expressions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
add isl_
v
ec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
add isl_se
t
_
i
s
_
b
ox
commit
|
commitdiff
|
tree
2010-06-24
S
ven Verd
o
olaeg
e
add isl_map_is_
t
ranslation
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaege
expo
r
t
i
sl_qpolyno
m
i
a
l_in
v
olves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
v
e
n Verdoolae
g
e
isl_polyno
m
i
a
l
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaege
isl_m
a
p_trans
i
t
i
ve_
c
losure: check whether decomposi
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n
V
erdoolaege
add isl_stream_flush_toke
n
s
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_sk
i
p_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
add rudimentary erro
r
r
eportin
g
m
ec
h
anism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaege
a
d
d
isl
_
vers
i
on
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_p
o
int_alloc: avoid po
t
ential memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ve
r
doolaege
doc: document isl_map_de
l
tas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_ta
b
_pip
.
c: compa
r
e all coefficient
s
when checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdoolaege
i
s
l_pw_q
p
olynomi
a
l{,_fold
}
_gis
t
: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdool
a
ege
add is
l
_set_set_d
i
m_name
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
Verdoolaege
add isl_stream
_
read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verd
o
olaege
d
o
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
i
s
l_qpo
l
yn
o
mial_lift: fix li
f
t
i
ng in absence of d
i
vs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
op
t
ional
l
y (and by defaul
t
) use bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
pr
i
vately export isl_qpo
l
ynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add
i
sl
_
pw_q
p
olyno
m
ial_fold_for
e
ach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
dd parame
t
ric vertex enume
r
ation
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_mor
p
h_dom_dim and isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
add
isl_bas
i
c_map_is_rationa
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
privately export i
s
l
_basic_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
e
ge
isl_tab_detect
_
i
mplicit_equalities: also detect
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdool
a
ege
isl_tab: optionall
y
only mark strictly re
d
undant r
o
ws
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
generalize isl_pw_qpolynomial
_
b
o
und
t
o isl_pw
_
qpoly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extrac
t
out g
e
ner
i
c part o
f
isl
_
pw_qp
o
lynomial_
b
ound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl
_
pw_qpolynomial_b
o
und_ran
g
e: also set
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_basic_set_fact
o
riz
e
r
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoo
l
a
e
g
e
export is
l
_p
w
_
q
polyno
m
ial
_
fold_drop_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
expo
r
t isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
a
dd
isl
_
qpol
y
nomial
_
c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_qpolynomial
_
from_affine
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olae
g
e
export
isl
_
qp
o
lynomial_add
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
add isl
_
qpolynomial_h
o
m
oge
n
ize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_deg
r
ee
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_qpolynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolae
g
e
add isl_
q
poly
n
omial_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
ool
a
ege
isl_ctx: add
two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_d
e
t
e
ct_implicit_eq
u
alities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
a
e
ge
a
dd
isl_tab_s
i
g
n_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_select_f
a
cet: return int
instead
o
f isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
o
olaeg
e
a
d
d isl_basic
_
set_f
u
ll_comp
r
e
s
sion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export
i
s
l
_pw_q
p
olynomial_mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
add isl_qpolynomial
_
f
o
ld_forea
c
h_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add
i
s
l
_pw_qp
o
lynomial_fold_for
e
a
c
h_l
i
fted_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
export i
s
l_pw_qpolynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
ol
a
ege
pr
i
vat
e
ly
e
xport isl_morph_alloc and
i
sl_morp
h
_
i
de
n
t
ity
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
add isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
export isl_pw_qpolynomial_get
_
ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl
_
c
t
x
_
p
eek_o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
isl_ra
n
ge
.
c: fix
t
ypo
i
n co
m
ment
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
export isl_se
t
_
is_bou
n
de
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolae
g
e
isl_boun
d
: plug m
e
mory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
o
lae
g
e
fi
x
is
l
_
qpolynomi
a
l_fol
d
_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl_pw_
q
polynomial_bou
n
d
_
r
ange:
f
ix rem
o
val of d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
ad
d
b
ound_t
e
st
.
sh to distrib
u
tion
commit
|
commitdiff
|
tree
next