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_convex_hull.c: isl_basic_set_add_equality: avoid NULL pointer dereference
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c: isl_ba
s
ic_set_add_equality: a
v
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoola
e
ge
isl_convex_hull
.
c: comp
u
te_facet:
a
void N
U
LL p
o
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
i
s
l_te
s
t
.
c: map_is_equal: check
input
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
g
e
isl_dim
.
c: copy_names
:
c
heck inp
u
t di
m
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
doolaeg
e
isl_dim_d
u
p
: ch
e
ck input dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
olaege
isl_basic_map_co
w
: check res
u
lt of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
ge
i
sl_stream_new_str: check result of al
l
ocati
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl_stream
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
dool
a
eg
e
isl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolae
g
e
isl_tab
.
c:
f
ix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_pol
y
nomia
l
.
c
:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
er
d
oo
l
aege
isl_morph
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
isl_ma
p
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
i
s
l_map
_
simplify
.
c:
f
ix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolae
g
e
isl_
i
nput
.
c: accept more general
affine
e
x
p
ressions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
a
dd isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdool
a
ege
add isl_vec_
s
cale
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verd
o
olaeg
e
add isl
_
s
et_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoola
e
g
e
a
d
d
isl_map_is_translatio
n
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
olaege
export
i
sl
_
qpol
y
nomial_invo
l
v
es_dims
commit
|
commitdiff
|
tree
2010-06-21
S
v
en
V
e
rdoolaege
isl_polynomial
.
c: add missing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaege
i
s
l_map_transiti
v
e_
c
l
o
sure:
c
heck w
h
ether deco
m
position
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
add
i
sl_stream_flus
h
_token
s
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add i
s
l_stream_
s
kip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
a
d
d ru
d
imenta
r
y error reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaeg
e
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_po
i
nt_allo
c
: a
v
oid
potential m
e
mory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
ven Verd
o
olaege
do
c
: document
isl_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoola
e
ge
isl_tab_pip
.
c: compare all coeffic
i
e
n
ts w
h
en chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n
Verdoolaege
i
s
l_pw_qpolynomial{,_fold
}
_gis
t
:
use simple
hull
i
ns
t
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add is
l
_set_
s
et_di
m
_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
o
l
aege
add isl
_
stream_
r
ead_set
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_qpolynomial_lift:
fix lift
i
ng
i
n absence of
divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
optionally (and by def
a
ul
t
) us
e
bernstein ex
p
ansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privat
e
ly export isl_qpolynomial_
f
o
l
d
_fold_on
_
domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_pw_qpolynomial_fol
d
_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add parametric v
e
r
tex en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
add isl_
m
orph_d
o
m_dim and i
s
l_morph
_
ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_basic_m
a
p
_is_rational
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
privatel
y
export isl_basic
_
se
t
_
so
r
t_con
s
trai
n
ts an
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_detect_
i
mplicit_equali
t
i
e
s: al
s
o detect
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_
t
a
b
: op
t
ion
a
lly on
l
y
m
ark strictly redun
d
ant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
gene
r
ali
z
e isl_
p
w_qpoly
n
o
mial_bound to isl_pw_
q
polynom
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
a
ege
ext
r
act
o
ut generi
c
pa
r
t
o
f isl_pw_qpo
l
ynomial_bound
_
range
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
isl_pw_qpolynomia
l
_
bou
n
d_rang
e
: also set exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolae
g
e
a
d
d isl_basic_se
t
_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
ort isl_
p
w_qpol
y
nomi
a
l_fold_dro
p
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
e
xport isl_qpolynomial_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
o
l
aege
add
i
sl_qpo
l
ynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
a
d
d
isl_
q
poly
n
omial_
f
rom_aff
i
ne
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export i
s
l_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
add is
l
_qpolyn
o
mial_hom
o
ge
n
ize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
add is
l
_qpolynomial_degr
e
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_qpolyn
o
mial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
o
l
aege
add isl_qpoly
n
omial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
is
l
_
c
t
x: add two
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
is
l
_tab_de
t
ect_implicit
_
e
qualitie
s
:
ret
u
rn in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
add isl_tab
_
s
ign_of_ma
x
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
ool
a
e
ge
isl_
t
a
b
_select
_
fa
c
et
:
return int
i
ns
t
e
a
d of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aeg
e
add isl_bas
i
c_set_f
u
ll_
c
ompression
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
p
r
ivately export isl_p
w
_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl_qpolynomial_fold_foreach_qp
o
ly
n
omial
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
add
isl_pw_qpolynomial
_
f
old_foreach
_
lifted_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_qpolynomial
_
fo
l
d
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
privately export isl
_
morph_alloc and is
l
_morph_iden
t
ity
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
add isl_qpolyn
o
mial_fol
d
_ge
t
_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
expor
t
isl_pw_
q
polynomial_g
e
t
_
c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
add isl_ct
x
_pe
e
k_options
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
isl_range
.
c
:
fix typo in
comm
e
nt
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_set_is_bou
n
ded
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
isl_b
o
und: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
f
i
x
isl_qpolynomi
a
l_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
eg
e
isl_pw_qpol
y
nomial_bound_ran
g
e: fix removal
o
f d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
dool
a
eg
e
a
d
d bou
n
d_test
.
sh t
o
distributio
n
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verdoo
l
ae
g
e
doc: doc
u
ment gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc:
d
ocu
m
ent isl_cons
t
r
a
in
t
_i
s
_equal
i
ty
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaege
add isl_map_is_singl
e
_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
olaege
is
l
_basic_map_foreach_constra
i
nt: make
sure inpu
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoolaege
is
l
_
b
asic_map_copy: mark d
u
plicated
copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
ge
i
s
l
_basic_s
e
t_lift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
is
l
_basic_
m
a
p
_move_dims: always finalize
result
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
is
l
_b
a
sic_map_from_co
n
strai
n
t: finalize
resul
t
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoolaege
is
l
_access_in
f
o_compute_flow: hand
l
e
m
a
y accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
erdoolaege
isl_ac
c
ess_info_compute_flo
w
:
handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
aege
rem
o
ve s
o
me unused
variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolaege
fix some icc warnin
g
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
d
ool
a
ege
rename i
s
l_pw_qp
o
lynom
i
al_
m
ove an
d
add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
isl_ctx: keep track of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
d
o
ola
e
g
e
imp
r
ov
e
d a
r
g
u
ment parsi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_
p
arse:
p
rint
h
e
l
p
message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add is
l
_
b
o
und t
e
st application
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
erdool
a
ege
add
i
sl_pw_qpolyno
m
i
al_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoolaege
add isl_pw_qp
o
lyno
m
i
a
l_fold_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rud
i
me
n
tary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoola
e
ge
add is
l
_seq_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolaege
isl_equalitie
s
.
c
:
fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Ve
r
do
o
laege
add isl
_
ma
t
_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdool
a
eg
e
add
is
l
_mat_normalize
commit
|
commitdiff
|
tree
next