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_transitive_closure.c: anonymize input map during incremental computation
2010-06-26
Sven Verd
o
olaege
isl_map
_
simplify
.
c: remove_d
u
plica
t
e_c
o
n
s
traints:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_map_simplify
.
c: elim
i
nate_divs
_
in
e
q:
a
vo
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic
_
ma
p
_eliminate_vars: avoid NULL po
i
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
sample
.
c: inter
v
al_s
a
mple: avoi
d
NULL
pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
e
g
e
i
sl_
s
a
m
p
l
e
.
c
:
d
rop_constraints_i
n
volvin
g
: avoi
d
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl_s
t
ream
_
new: read_defi
n
ed_v
a
r_list: avoid do
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_basic_ma
p
_i
n
terse
c
t: avo
i
d N
U
LL
p
ointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoola
e
ge
isl_sample
.
c: gbr
_
sample
:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
is
l
_
test
.
c:
avoid
N
ULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
isl_test: avoid acc
e
ssing
basic set int
e
rnals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl_
i
np
u
t
.
c: read
_
defin
e
d_v
a
r
_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verd
o
olaege
isl_m
a
p_
c
onvex_hull: avoid NULL p
o
inte
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_b
a
si
c
_map_normalize_
c
ons
t
r
ai
n
ts: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoola
e
ge
isl_b
a
sic_map_total_dim: avoid NULL pointer derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_map_order_di
v
s: avoid NUL
L
p
o
i
n
t
er de
r
efe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oola
e
ge
isl_
c
o
nvex_hull
.
c: isl_
b
asic_set_add
_
equa
l
ity:
a
v
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
c
o
n
v
ex_hull
.
c: compute_
f
acet: avo
i
d
NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_te
s
t
.
c
: ma
p
_is_equ
a
l: c
h
eck input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
sl_d
i
m
.
c
:
copy_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_dim_dup: check input d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_basic_map_c
o
w: check result of all
o
cation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
sl_stre
a
m_new_str: check result
o
f al
l
ocation
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaeg
e
isl_stream
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_tab_pip
.
c: fix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_t
a
b
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoola
e
ge
is
l
_
p
o
lynomial
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oo
l
aege
isl_verti
c
es
.
c:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_morph
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
doolaege
isl_m
a
p
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_map_
s
i
m
plif
y
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
V
erdoolaege
isl_input
.
c: accept m
o
re general affine
expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
add isl
_
vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
add
i
s
l_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
S
ven Verdoolaege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdoolaege
export isl
_
qpolynomial
_
in
v
olves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdoolaege
i
sl_polyno
m
ial
.
c
: add mis
s
ing include
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdoolaege
isl_map
_
t
ransi
t
ive_closure:
check whether
decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
ad
d
ru
d
i
m
e
ntary er
r
o
r
re
p
orting mech
a
ni
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
Verdoolaege
isl
_
p
o
int_alloc:
avoid pote
n
tial memor
y
l
eak on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sv
e
n Verdoolae
g
e
doc: d
o
cumen
t
isl_
m
ap_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven
Verdoolaege
isl_tab_pip
.
c: c
o
m
p
ar
e
all
c
oeffici
e
n
ts when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
o
o
laege
isl_pw_qpol
y
nomial{,_fold}_gi
s
t: use s
i
mpl
e
hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoo
l
ae
g
e
a
dd
isl_set_set_dim_n
a
m
e
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdo
o
laege
a
d
d isl_stre
a
m_read_se
t
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
olaege
doc: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
do
o
l
a
ege
isl_qpolyn
o
m
i
al_
l
ift: fix lifting
i
n absence
of
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
optiona
l
l
y
(
and
b
y def
a
ult) use berns
t
ein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
private
l
y export isl_qpolynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_pw
_
qpolyn
o
mial_fold_foreach_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add
parametric ver
t
ex enum
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
o
laege
add
i
sl_morph_
d
om_dim and isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
add
i
sl_ba
s
ic_map
_
is_rational
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
privately export isl_basic
_
set
_
sort
_
const
r
aints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_tab_d
e
tect_implic
i
t_equaliti
e
s: also detect manif
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b: optionally only ma
r
k strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaeg
e
gene
r
alize isl_pw_qpolynomial_bou
n
d
t
o isl_pw_qp
o
lynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
t
r
a
ct out gen
e
ric part of isl_pw_qpolynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_
pw_qpol
y
nomia
l
_bound_
r
an
g
e
:
also se
t
e
x
actness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
a
d
d
isl
_
basi
c
_set
_
factorize
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
e
ge
export isl_
p
w_qp
o
l
ynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
export
isl_qpolynomia
l
_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
r
doolaege
add isl_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_qpolynom
i
al_fr
o
m_
a
ffin
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
export isl_qpolynomi
a
l_add_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_qpolynomial_homog
e
nize
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add
i
sl
_
qpolynomial_deg
r
ee
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
d
d
i
s
l_qpolynomial
_
in
s
ert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
eg
e
a
dd
i
s
l_
q
polynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
o
o
laege
i
s
l_
t
ab_d
e
tect_impli
c
i
t
_
equ
a
lities: return
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_
t
ab_
s
ign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
is
l
_tab_se
l
e
c
t_facet:
r
et
u
rn int i
n
stead
o
f isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
add isl
_
basic_se
t
_full_compres
s
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
privately
e
x
po
r
t isl_pw
_
q
polynom
i
al_mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
isl_qp
o
lyno
m
ial
_
fold_foreach_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
add isl_pw_qpolynomial_fold_fore
a
c
h
_lift
e
d_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
e
x
port isl_pw_qpolynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
privately export i
s
l_morph
_
alloc a
n
d
isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
a
d
d isl_qpolyno
m
i
a
l_fold_get_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laeg
e
export
i
s
l_pw_qpolynomial_ge
t
_ct
x
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doola
e
g
e
add
is
l
_c
t
x_peek_options
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
isl_rang
e
.
c: fi
x
typ
o
in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
export isl_set
_
is_
b
ounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
i
s
l_bound: pl
u
g memory le
a
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
fix
i
sl_q
p
olynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolynomial_bound_range: fi
x
removal of d
i
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
o
l
a
ege
add boun
d
_test
.
sh to
distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Ver
d
oolaege
doc: document gist operation
s
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n
V
erdoolaege
d
o
c:
document isl_
c
onstraint
_
is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n
Verdoola
e
ge
add isl_
m
ap_
i
s_singl
e
_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Ve
r
doolaege
is
l
_basic_map_foreach_cons
t
raint:
make s
u
re input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic
_
m
a
p_cop
y
:
ma
r
k
duplicated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_set_lift: finalize
r
esul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oo
l
aeg
e
isl_basic_map_move_dims: alway
s
finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_ba
s
ic
_
map_from_constraint:
f
inal
i
z
e result
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ver
d
o
o
laege
isl
_
access_inf
o
_com
p
ute_f
l
ow: ha
n
dle may ac
c
esse
s
commit
|
commitdiff
|
tree
next