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_basic_map_reset_dim: finalize result
2010-06-26
S
v
e
n Verdoolaege
i
sl_m
a
p_simpli
f
y
.
c:
remove_du
p
l
icate_constrain
t
s: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_map_simplify
.
c: eliminate_divs_ineq:
a
void NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_m
a
p_eli
m
inate_vars
:
avoid NU
L
L poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
sa
m
p
le
.
c: interval_sample: a
v
oid NUL
L
poin
t
er
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
i
s
l_s
a
m
pl
e
.
c: drop_con
s
traints_inv
o
l
ving:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_st
r
eam_new:
re
a
d_define
d
_var_list: avoid doubl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_basic_map_intersect: a
v
o
id NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_sample
.
c: gbr_sa
m
p
l
e:
a
void
NULL pointer
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
is
l
_
t
est
.
c: avoi
d
NULL
p
ointer der
e
feren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl
_
test: avoid accessing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
o
laege
isl
_
in
p
u
t
.
c:
read_defin
e
d
_
v
a
r_list: a
v
oid do
u
ble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolae
g
e
is
l
_map
_
convex_hull: avoid NULL pointe
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
do
o
l
a
ege
isl_
b
asic_m
a
p_normalize_constraint
s
:
av
o
id NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl
_
basic_map_tota
l
_dim: avoid
N
ULL
p
ointer
d
e
refer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
i
s
l_b
a
sic
_
map_order_divs
:
avoid N
U
LL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
conv
e
x_hull
.
c
: isl_bas
i
c
_
set_add_equal
i
t
y
:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olaeg
e
is
l
_c
o
n
v
e
x
_
hull
.
c
:
compute_fa
c
et: a
v
oid NULL
p
oi
n
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_test
.
c
:
ma
p
_
is_equal:
check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_d
i
m
.
c: copy_names: ch
e
ck input
dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
ae
g
e
isl_di
m
_dup: c
h
eck i
n
pu
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
b
a
si
c
_
map_cow: che
c
k result of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_stream_new_str: check re
s
ul
t
o
f
allocation
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_st
r
eam
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab_pip
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl_tab
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdool
a
e
ge
i
s
l_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertice
s
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en V
e
rdoo
l
aege
i
s
l_
m
orph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
a
ege
isl_ma
p
.
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdo
o
laege
isl_map_si
m
plify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ve
n
Verdoolaege
i
sl_i
n
p
u
t
.
c: a
c
cept more
g
eneral
a
ff
i
ne expressions
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
add isl_vec
_
add
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdo
o
laege
a
d
d i
s
l_vec_
s
c
a
le
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_s
e
t_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sve
n
Verdoo
l
aege
a
d
d isl_ma
p
_i
s
_tran
s
lation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
olaege
export isl
_
q
p
olynomial_involve
s
_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoola
e
ge
i
s
l
_
polynomial
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoola
e
ge
isl_map_
t
ransitive_closure
:
check whethe
r
decom
p
ositi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaeg
e
a
dd isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ver
d
oola
e
ge
a
dd
isl_stream_skip_lin
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
add rudi
m
entary error reporting mech
a
nism
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
a
d
d isl_version
commit
|
commitdiff
|
tree
2010-06-19
S
ven Ver
d
oolaege
isl_point_alloc: a
v
oid potential memory leak on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven V
e
rdool
a
eg
e
doc: d
o
cument isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
i
s
l_ta
b
_pip
.
c: comp
a
re all coef
f
i
cients w
h
e
n
chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_p
w
_qpolynomial{,_f
o
l
d}_gist: use
simple hull
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolae
g
e
add isl_set_se
t
_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdool
a
ege
add
isl_strea
m
_r
e
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdool
a
ege
do
c
: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_qpolynomial_lift:
f
i
x
lifting in absence of
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
optionall
y
(and by d
e
fault) use bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
p
riv
a
te
l
y exp
o
rt is
l
_qpolynomial_f
o
ld_fol
d
_on_domai
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
add
isl_pw_qpolyno
m
ial_fold_foreach_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
eg
e
a
d
d parametric
vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
add
i
sl_mor
p
h_dom_dim
a
nd isl
_
morph_ra
n
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
add isl_
b
asic_map_
i
s_rational
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
p
rivately e
x
port i
s
l
_basic
_
set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
i
s
l_tab_det
e
ct_implicit_equalities:
al
s
o detect
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab: opti
o
na
l
ly
o
nly ma
r
k strictly redundant
rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
generalize i
s
l_pw_qpol
y
nom
i
al_bound to isl_pw
_
q
polynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
la
e
ge
e
x
tract o
u
t gen
e
ric part of isl_p
w
_qpolynomial_boun
d
_range
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_pw_
q
polyno
m
ial_bound_range
:
al
s
o set e
x
actness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
isl_basic_se
t
_factoriz
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export isl_pw_
q
poly
n
omial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpo
l
ynomi
a
l
_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_qpolynomial
_
c
oeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add
i
sl_
q
p
olyno
m
ial_f
r
o
m
_
aff
i
ne
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expor
t
isl_qpol
y
nomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
add
i
sl
_
qp
o
lynomial_h
o
mogenize
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
add isl_qpolynomial
_
degree
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl
_
qpo
l
ynomia
l
_insert_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
add
i
sl_qpolynomi
a
l_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_tab_det
e
c
t
_
implicit_equalities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
do
o
laege
a
d
d isl_tab_sign_of_ma
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
ta
b
_
sele
c
t
_facet
:
r
eturn int instead of
i
sl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
l
a
e
g
e
add isl_basic_set_ful
l
_compression
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdool
a
ege
privately export is
l
_pw_q
p
olynomial_mo
r
ph
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
add isl_qpolynomial_fold_foreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
r
doo
l
aeg
e
add isl_pw_qpolynomia
l
_fold_foreac
h
_lif
t
ed_
p
ie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
export is
l
_pw_
q
polynomi
a
l_fold_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
ri
v
a
tel
y
exp
o
rt isl_morph
_
alloc and
i
sl
_
morph_iden
t
ity
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aeg
e
add isl_q
p
olynomia
l
_fo
l
d_get_ty
p
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
export isl_pw_qpolynomial_ge
t
_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
add
isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
isl_range
.
c
:
fix typo
i
n
comment
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
e
x
port isl_set_is_bou
n
de
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_b
o
u
nd: plug memory lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
f
i
x isl_q
p
olynomia
l
_fold_
d
up
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_pw_qpolynomial_bo
u
nd_r
a
nge: fix removal of di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
add bound_
t
est
.
sh to distri
b
ution
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verdoolaege
doc
:
document gist
o
p
erations
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaege
doc: d
o
cument isl_co
n
straint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaege
add isl_map_is_
s
ingle_value
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doolaege
isl_basic_map_foreach_const
r
aint: make sure in
p
ut has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
basic_map_copy: mar
k
duplicated c
o
py as fina
l
i
zed
commit
|
commitdiff
|
tree
2010-06-03
S
ve
n
Verdoolaege
isl_basic_
s
e
t
_li
f
t:
f
inalize
result
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Ver
d
oolaege
i
sl_bas
i
c
_map_mov
e
_dims:
always final
i
ze
r
es
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_basic
_
map
_
from
_
co
n
str
a
int: f
i
na
l
i
ze
r
esult
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
ola
e
ge
isl_access_i
n
f
o
_compu
t
e_flow: h
a
ndle
m
ay accesses
commit
|
commitdiff
|
tree
next