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_set_flatten
2010-06-26
Sv
e
n Verdo
o
lae
g
e
isl_tab_pip
.
c:
no
_
s
o
l
_in
_
s
trict: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_h
u
ll
.
c: e
q
ualities_in_underlyi
n
g_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: affin
e
_h
u
ll: fix erro
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_map_project_out: fix erro
r
return v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
er
d
oolaege
isl_
b
asic_map_
i
n
t
e
rs
e
ct_r
a
n
g
e
: avoid
N
U
LL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
i
s
l_t
a
b
_
pip
.
c
: find_solution
s
: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_map_
a
lloc_
d
im: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_
b
asic_ma
p
_intersect: avo
i
d
N
U
LL
p
ointer de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: s
o
l_m
a
p_
i
nit: a
v
oid NULL po
i
n
t
e
r de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_basic_map_intersect_domain: avoid
NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_flow
.
c: c
o
mpute_val
_
b
a
sed_depe
n
d
ences: f
i
x e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl
_
flow_alloc: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
sl_access_info_comput
e
_flow: fix e
r
ror hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_{se
t
,
m
ap}
_
fas
t
_is_empt
y
:
a
void NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl_f
l
ow
.
c: av
o
id a
c
cessing dim fiel
d
dir
e
ctly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_a
c
c
e
ss_info_com
p
ute_flow: avoid NULL
poi
n
ter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_in
p
ut
.
c
:
o
bj_read: avoid NUL
L
pointe
r
dere
f
e
r
enc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_map_su
b
t
r
act
.
c: tab
_
add_constrai
n
ts: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
e
g
e
i
s
l_ta
b
.
c: close_row: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
o
laege
i
s
l_map
_
simplify
.
c
: remo
v
e_dupli
c
ate_divs: av
o
i
d N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_basi
c
_map_
a
ffine_h
u
ll: a
v
oid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n V
e
rdoolaege
isl_ta
b
_
a
dd_e
q
: return int inst
e
ad of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
i
s
l
_
map_simplify
.
c: rem
o
v
e
_duplica
t
e
_con
s
t
r
ain
t
s: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rd
o
olaege
isl_map_simplify
.
c: eliminate_divs_ineq: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
is
l
_basic_ma
p
_
eliminate_var
s
: avoi
d
NU
L
L pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
i
s
l_
s
ample
.
c: int
e
rva
l
_samp
l
e: avoid NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
i
s
l_sample
.
c
: drop_constraints_involving
:
avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doo
l
aege
isl_stream_new:
r
ead_defined_va
r
_list:
a
void double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_ma
p
_in
t
ersect
:
avoid NULL p
o
inter
d
eref
e
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_sample
.
c:
gbr_sampl
e
: avoi
d
N
ULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_te
s
t
.
c: avoid NULL p
o
int
e
r dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_tes
t
: avoi
d
acce
s
sing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_input
.
c: read_defined_var_list:
avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
dool
a
ege
isl_map_
c
onvex_hull: avoid NULL
pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
o
olaege
isl_b
a
sic_map_no
r
malize_c
o
nstra
i
n
t
s
:
avoid NULL poi
n
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
o
olaege
isl_ba
s
i
c
_
map_
t
otal_dim
:
avoi
d
NULL pointer
d
e
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_basic_ma
p
_order_divs
:
a
void NULL pointer d
e
r
e
f
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_c
o
nvex
_
hull
.
c
: isl_basic_set_ad
d
_
e
qua
l
ity: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
isl
_
convex_hull
.
c: com
p
u
t
e_face
t
: av
o
i
d NU
L
L po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolae
g
e
isl_test
.
c
:
map_is_equal: chec
k
in
p
ut
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_dim
.
c: copy_
n
ames: che
c
k i
n
p
ut d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim_dup: check i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_basic_map_
c
ow: check result
of
a
l
l
ocation
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_st
r
eam_new_str: che
c
k resul
t
of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolae
g
e
isl_stream
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl
_
tab_pip
.
c:
f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdo
o
laege
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoola
e
g
e
i
sl_polynomial
.
c
:
fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
i
sl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
isl_morph
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaeg
e
isl
_
map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_
m
ap_simplify
.
c: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_i
n
put
.
c: accept more
g
eneral affi
n
e expr
e
ssions
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolae
g
e
add isl_vec
_
sc
a
le
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven
Verdoolaege
a
dd isl_map_is_tra
n
slation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdool
a
ege
expo
r
t isl_qpolyn
o
mia
l
_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolae
g
e
isl_polynomial
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdo
o
laege
isl_m
a
p_t
r
an
s
itive_closu
r
e: check whether decomposit
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
rdoolae
g
e
add isl_st
r
e
a
m_f
l
us
h
_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verd
o
olaeg
e
add isl_stream_skip_li
n
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
add rud
i
mentary error reporting
m
echanism
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n
Verdoolaege
add is
l
_
version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
isl
_
p
o
int_a
l
loc: av
o
id potential memory
leak on err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sv
e
n
V
e
rdoolaege
d
oc: document isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolae
g
e
isl_tab
_
pip
.
c: compar
e
all coefficients w
h
en checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ven Verdoolaege
isl_p
w
_
q
pol
y
n
o
mial{,_fold}_g
i
st: use simple hull
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdool
a
ege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
v
en
Ve
r
doolaege
a
d
d
i
sl_stream_
r
ead_s
e
t
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
Verd
o
o
l
aege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
isl_qpolyn
o
mial_lift: fix
l
iftin
g
in a
b
sence of di
v
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
o
ptional
l
y (and b
y
default)
u
se bernstein expan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
p
r
i
vat
e
ly
e
xpo
r
t isl_q
p
olynomi
a
l_fold_
f
old_on_d
o
m
a
in
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
a
dd
isl_pw
_
qpo
l
yn
o
mial
_
fold_fo
r
e
a
ch_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add pa
r
am
e
tric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_morph_
d
om_
d
im
and i
s
l_morph_ra
n
_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
add isl_basic_map_
i
s_rat
i
on
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaeg
e
pr
i
vate
l
y exp
o
rt isl_basic_set_sort_constrai
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
tab_detect_implicit_e
q
ualities:
also de
t
ect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaeg
e
isl_t
a
b: optionally o
n
l
y mark strictly
r
edunda
n
t r
o
ws
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
general
i
ze isl_pw_qpolynomial_bound to
i
sl_pw_qpolynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract out
generic p
a
rt of isl_pw_qpolyn
o
mial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_pw_qpolynomial_bound_range:
also set
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_basic_set
_
fa
c
tor
i
zer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port
isl_pw_qpolynomia
l
_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpolynomial_is
_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doo
l
aege
a
dd
i
s
l_qpolyno
m
ial_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
add isl_qpolynomial
_
f
r
o
m
_affine
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
expo
r
t isl_qpolyn
o
mial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_qpolynomial_homoge
n
ize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_qpolyno
m
ial
_
degr
e
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_qpolynom
i
a
l
_ins
e
rt_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynom
i
a
l_
d
im
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
isl_tab_detec
t
_
i
m
plicit_equ
a
lit
i
es: return intege
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_t
a
b_select
_
f
acet:
r
e
turn i
n
t
i
n
ste
a
d of
isl_
t
ab
*
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoola
e
ge
add isl_b
a
s
i
c
_
set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
privately expo
r
t isl_pw_qpolynomial_mor
p
h
commit
|
commitdiff
|
tree
next