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_input.c: read_factor: fix read after free in error path
2010-08-18
Sve
n
Verdoolaege
isl_input
.
c: read_factor: fix read after free in error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
isl_str
e
a
m_error: print unex
p
ecte
d
ide
n
ti
f
ier n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoola
e
ge
renam
e
isl_pw_qpo
l
ynomi
a
l
_fold_add to isl_pw
_
qpolynomia
l
_fo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
doc: minor clarification on
operations on
uni
o
n sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolae
g
e
add is
l
_
u
nion_set
_
get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-11
Sven Verdoolaege
isl_map_gist: a
l
s
o perf
o
rm gis
t
in
universe
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erdoolaeg
e
isl_unio
n
_
m
ap
:
const
r
uct ne
w
isl_
u
nion_map on operations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
V
e
r
d
o
o
l
aege
isl_union_map_is_empty: fix typo that resulted in memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sv
e
n Verdo
o
laege
add i
s
l_basic_ma
p
_has_def
i
ning_equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sv
e
n Verdool
a
ege
add isl_s
e
t
_g
e
t_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-07
Sven Verdoola
e
ge
isl_print
e
r_p
r
int_map
:
fix p
r
intin
g
i
n
latex form
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
doolaege
isl_s
e
t_wrap_f
a
cet:
n
ormalize resulting
facet con
s
t
r
a
in
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
d
o
olaege
i
sl_coalesce
.
c:
fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoo
l
aege
isl_p
w
_qp
o
lynomi
a
l
_
inte
r
s
ect_
d
omain: simpli
f
y
p
o
l
y
nomials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verd
o
olaege
isl_
q
polynomial_mo
v
e_dims: plug memo
r
y leak and fix
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
dool
a
ege
a
dd isl_pw_qpolynomial_re
a
d_fr
o
m
_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
doolaege
add isl_qpolynomial
_
fo
l
d
_substi
t
ute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
i
sl_p
w
_q
p
olynomi
a
l
_inte
r
sect_domai
n
:
d
r
o
p
pie
c
es that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdo
o
l
aege
isl
_
map_product: u
s
ed n
e
sted spac
e
s in result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
la
e
ge
isl_
p
w_qpo
l
ynomial_boun
d
: han
d
l
e
i
s
l_pw_qp
o
l
ynomia
l
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doola
e
ge
support ne
s
t
e
d
isl_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
doc: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
d
o
olaege
export
isl_dim_tuple_match
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rd
o
olaeg
e
is
l
_
outp
u
t
.
c: extract out
comm
o
n print_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
isl_input
.
c:
r
ead_tuple: constru
c
t isl_d
i
m instea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoo
l
aege
doc:
r
emove descri
p
tio
n
o
f how to get
the piplib
submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
V
e
r
d
o
olaege
isl_printer_print
_
p
w_qpolynomial_fold: print dim as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaeg
e
add isl_pw
_
qpolynomial
_
in
s
ert_
d
im
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
add isl_s
e
t_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
a
dd isl_ba
s
ic_ma
p
_
i
mage_is
_
bounde
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
V
erdoola
e
ge
a
v
o
i
d NULL
p
ointer exception in isl_ba
s
ic_m
a
p_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
f
i
x isl
_
pw
_
qpolynomial_reset_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Verdoolaege
a
d
d isl_mat_
a
dd
_
r
o
w
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verd
o
olaege
add is
l
_mat_add_zer
o
_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verdoolaege
export isl_basic_map
_
move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
hide isl_dim in
t
er
n
a
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laege
add
i
sl_dim_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
o
laege
i
s
l_basic_map_re
s
et_
d
im: finalize r
e
s
u
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoolaege
isl_transiti
v
e_closure
.
c
: anonym
i
ze
inp
u
t map d
u
ring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdool
a
ege
i
s
l_
t
ra
n
s
i
tive
_
closure
.
c: kee
p
t
rac
k
of domains for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
i
sl_
d
im
_
drop: always remove tuple na
m
e, even if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
isl_dim_set_tuple_name: allow exp
l
icit removal
o
f tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
add supp
o
rt f
o
r union sets
a
nd relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
r
doola
e
g
e
isl_tran
s
iti
v
e_clo
s
u
r
e
.
c: extract out some reusable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_pw_qpolynomial_rese
t
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
er
d
oolaege
add isl_map_has_eq
u
al_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erdoolaege
add isl_dim_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sl_dim: allow spe
c
ifi
c
ation
of tuple nam
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verd
o
olaege
isl_
m
ap_from_domain_
a
n
d
_range: implement in terms
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolae
g
e
isl_basic_map_doma
i
n: p
r
operly s
e
t
dimension
of re
s
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
privatel
y
export isl_se
t
_res
e
t_dim and isl_map_res
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en V
e
rdoola
e
ge
isl
_
map_read: extr
a
ct out rea
d
_v
a
r_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doola
e
g
e
is
l
_hash
_
table
_
f
ore
a
c
h
:
pass po
i
nter to entry data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl
_
hash_
t
able_for
e
a
ch: add
user
a
rg
u
men
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_transitive_closure
.
c: fix double free o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
isl_map_gist: use
simple
hull ins
t
ead of c
o
nvex
hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
is
l
_m
a
p
.
c: f
i
x typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
i
s
l_ca
t
: rea
d
generic
o
bjects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_printer
:
add NULL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
ma
k
e
i
sl_obj_no
n
e
a
c
onstant exp
r
ession
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
add is
l
_
map_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map
_
f
a
st_i
s
_universe:
a
lso
d
etect redundant represen
t
ati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoola
e
ge
ad
d
isl
_
m
a
p_r
e
aching_p
a
th_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdo
o
laege
isl_map_power: delay equating path length
s
t
o
power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verd
o
o
l
a
ege
i
sl
_
map_p
o
w
er: appl
y
Floyd-Warshall to compute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verd
o
olaege
isl_map_lexmax: pro
d
uce less
c
r
yptic error message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
o
la
e
g
e
fix isl_basi
c
_map_move_
d
ims in
presen
c
e
o
f exi
s
tentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdoolaege
isl_test: drop
debuggi
n
g output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
Ve
r
dool
a
e
g
e
isl_transitive_closure
.
c
:
fix t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en V
e
rdoolae
g
e
fi
x
i
sl_map_lex_ge and isl_ma
p
_lex_l
e
in the zero
-
dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdool
a
ege
isl_printe
r
_print_map: replace variab
l
e b
y
its definiti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
privately expo
r
t isl_bas
i
c_
m
ap_fast_cmp an
d
i
s
l_bas
i
c_m
a
p_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
v
e
n Ve
r
doolaege
i
s
l_dim_set
_
name: don't
a
cce
p
t names that look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdool
a
ege
isl_co
n
vex
_
hull
.
c: avoid side-effects in
c
alls t
o
isl
_
int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven
V
erdoolaege
do
c
: fix
s
ome typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
Makefile
.
am: really include in
c
lude/
i
s
l_
v
e
rtices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
ad
d
isl_map
_
is_bijec
t
ive
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
o
c
:
drop duplicate book
t
i
tle f
r
om Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdo
o
laeg
e
do
c
:
use m
o
re e
x
plicit notation to avoid c
o
nfusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
add isl_constraint_is_
d
iv_c
o
n
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verd
o
olaege
isl_map_simplify
.
c
:
separa
t
e ou
t
i
sl
_
ba
s
ic_map_is_
d
iv_cons
t
r
a
int
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoo
l
aege
isl
_
b
a
s
i
c_map_from_constraint:
keep all divs,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oola
e
g
e
isl_basic_ma
p
_from_cons
t
rain
t
: on
l
y return
c
opy o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
isl_constraint_a
d
d
_
div: correctl
y
set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_pip: rename p
i
p_options to avoid confl
i
c
t
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_conv
e
x_hull
.
c: initial_facet
_
constra
i
nt: f
i
x e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
do
o
laege
d
o
c: describe backward i
n
c
o
mpatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
doc: mention di
s
cussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
rena
m
e isl_basic_m
a
p_convex_
h
ul
l
to isl_basic_m
a
p_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_aff
i
ne_hull
.
c: o
u
tside
_
point: fix error
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
ool
a
ege
is
l
_tab_r
o
llback: avoi
d
double fre
e
o
n
error
path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c: tab_mat_product: avoid NULL p
o
inter dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
ol
a
ege
i
sl_tab_extend_cons: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
m
pleme
n
t antiquated isl_bas
i
c_se
t
_n_*
i
n terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_map_conve
x
_hull:
avoid
N
ULL po
i
nter dere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
_
add_valid_
e
q
: ret
u
rn int in
s
tead of isl_tab *
commit
|
commitdiff
|
tree
next