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_map_product: used nested spaces in result
2010-08-05
Sven V
e
rdoo
l
a
e
ge
isl_m
a
p_product: used
nes
t
e
d
spaces in
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
isl_pw
_
q
polynomial_b
o
und: handle isl_pw_qp
o
lynomials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
sup
p
ort nested isl
_
d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Ve
r
doolaege
doc:
f
i
x
ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erd
o
olaege
export isl_dim_tuple_match
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
isl_out
p
ut
.
c: extra
c
t
o
ut comm
o
n
p
r
i
n
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ver
d
o
o
lae
g
e
isl_input
.
c:
r
ead_tuple:
constru
c
t isl
_
dim instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
doc: r
e
move
description
o
f how t
o
g
e
t the piplib submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
eg
e
isl_printer_print_pw
_
qpoly
n
om
i
a
l
_fold
:
p
r
int dim
as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaeg
e
add isl_pw_qpolynomial_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
a
d
d isl_set_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoolae
g
e
add isl_basic_map_imag
e
_is_bounde
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
a
e
ge
av
o
id
NULL
p
ointer exc
e
ption in isl_ba
s
i
c
_ma
p
_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
fix isl_pw_qpolynom
i
al_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
o
l
aege
a
dd isl_
m
at_a
d
d_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdool
a
ege
add is
l
_mat_add_z
e
r
o
_
cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
S
ven Ver
d
oolaeg
e
expor
t
i
s
l_basic
_
map_m
o
ve_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
h
i
de isl_
d
im i
n
ter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
e
rdool
a
eg
e
a
dd
i
sl_dim_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoolaege
isl_basic_m
a
p_
r
eset_dim:
f
i
n
ali
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
o
l
a
ege
isl_tr
a
n
s
iti
v
e_closure
.
c
:
anony
m
i
z
e
in
p
u
t map during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoola
e
ge
isl_trans
i
tive_closure
.
c
:
k
e
ep tra
c
k of domain
s
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdo
o
lae
g
e
isl_dim_drop:
a
lwa
y
s remove tup
l
e
n
a
m
e
, even if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl
_
dim_set
_
t
u
ple_name: allow ex
p
licit removal of tupl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoola
e
ge
add support for unio
n
sets and r
e
lations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_t
r
a
n
s
iti
v
e_closu
r
e
.
c: extract out some reusable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoo
l
a
ege
add isl_pw_qpolynomial_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
ad
d
isl
_
m
a
p_has_equal
_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verd
o
olaege
ad
d
isl
_
dim_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
laege
isl_dim
:
allow speci
f
ication of tuple na
m
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
isl_map_
f
rom_domai
n
_and_range: im
p
l
eme
n
t in
te
r
ms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
o
laege
isl_
b
a
sic_map
_
d
o
m
ain: pro
p
erly se
t
dimension of
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
privately export
i
sl
_
set_reset_dim an
d
isl_map_rese
t
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdo
o
la
e
ge
i
s
l
_map_rea
d
:
e
xtract out
read_var_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolae
g
e
isl_
h
ash_t
a
ble_foreach: pas
s
po
i
nter to entry
d
a
ta
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
isl_hash_table_foreach: a
d
d use
r
argum
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_transi
t
ive
_
closure
.
c: fix
double free on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
is
l
_m
a
p_gist:
u
se simple hull instead of convex hul
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
o
o
l
a
ege
i
sl_map
.
c: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
d
o
olaeg
e
isl_cat: read
g
en
e
ric objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
isl_print
e
r: ad
d
NU
L
L checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make isl_obj_
n
one a constant
expr
e
ssion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
r
doolaege
add isl
_
map_g
e
t_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl
_
map_fast_is_universe: also det
e
ct redundant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Verdoola
e
ge
add isl
_
map_reaching_path
_
le
n
gths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl
_
ma
p
_power:
d
e
la
y
eq
u
a
t
i
n
g path len
g
ths to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdool
a
e
ge
isl_map_power: apply Floyd-Wars
h
all to compute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Verdoolaege
i
sl_
m
ap_lexmax: produce less cryptic e
r
ror me
s
sag
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix is
l
_b
a
sic_map_mo
v
e_di
m
s in presence of exist
e
ntial
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n
Ve
r
doolaege
i
sl_test:
d
r
op de
b
ugging
o
utput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdool
a
ege
isl_transitive_clo
s
ure
.
c: fi
x
t
y
po i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_
m
ap_lex_ge
a
nd isl_map_
l
e
x
_
l
e in the ze
r
o-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdool
a
ege
isl_
p
rinter_pri
n
t_map: replace variable by
its
definit
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
ven Verdoo
l
a
ege
privately export isl_bas
i
c_m
a
p_fast_
c
mp and isl_basic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoo
l
aege
is
l
_dim_set_
n
ame: don't a
c
ce
p
t names that
look
l
ik
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl_convex_hull
.
c: avoid side
-
e
ffects in calls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Ver
d
ool
a
ege
add
isl
_
hash_bu
i
ltin
commit
|
commitdiff
|
tree
2010-07-04
Sven Ve
r
dool
a
ege
add is
l
_
i
nt_g
e
t_str
commit
|
commitdiff
|
tree
2010-07-02
Sven
V
erd
o
olae
g
e
d
o
c: f
i
x some typos
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoolaege
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
Makefile
.
am: really i
n
clu
d
e include/isl_vert
i
ces
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add isl
_
map_is_biject
i
v
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoolaege
doc:
d
rop
dupl
i
cate bookti
t
le from Kelly19
9
6closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
V
erdool
a
ege
doc: use more explicit not
a
tion
to
avo
i
d con
f
usion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
add isl_const
r
aint_
i
s
_
di
v
_
co
n
stra
i
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
isl_map_simplify
.
c: sepa
r
ate out is
l
_ba
s
ic_map_i
s
_div_constra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoo
l
aege
isl_basic_ma
p
_f
r
om_co
n
s
t
r
aint: ke
e
p all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
do
o
lae
g
e
isl_b
a
s
ic_map_from_c
o
nstrain
t
: on
l
y ret
u
rn c
o
p
y
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
s
l_con
s
tr
a
int_a
d
d_div: correc
t
ly set line to
f
irst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_pi
p
: rename pip_op
t
i
on
s
to
avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_con
v
ex_hull
.
c: initial_face
t
_const
r
aint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
o
olaege
doc: describe
b
a
ck
w
ard
i
ncompatible
c
h
anges
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
d
o
c:
men
t
i
on dis
c
ussi
o
n gro
u
p
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
rename isl_basic_ma
p
_convex_hull
to isl_basic_map_remove_r
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
isl_affine_
h
u
ll
.
c: o
u
tside
_
p
o
int: fix error
hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab_
r
ollback: avoi
d
double
free on error
p
at
h
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdool
a
ege
i
s
l_
t
ab
.
c: tab
_
ma
t
_product: avoid
N
ULL
p
o
i
nter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_tab_extend_cons: a
v
o
i
d
NULL pointer de
r
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
m
p
l
ement ant
i
quate
d
i
s
l_basi
c
_set_n_* i
n
t
e
r
m
s
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_
m
ap_
c
onvex_hu
l
l
: a
v
oid
NULL pointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab_add_
v
alid_eq: return int instea
d
o
f
i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
dool
a
ege
i
s
l_a
f
fine
_
h
u
ll
.
c:
aff
i
ne_hull_with_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_equaliti
e
s
.
c
:
p
arameter_c
o
mpre
s
sion_mul
t
i:
avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basi
c
_map_p
r
oj
e
ct_out: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
l
aege
isl_coalesce
.
c
:
co
a
les
c
e
_
pair:
a
void NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_convex_hull
.
c: extend: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
implem
e
nt anti
q
uated isl_s
e
t_n_* in ter
m
s
o
f isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
is
l
_ma
p
_simpli
f
y
.
c
: n
o
rmaliz
e
_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
a
ege
isl_
i
nput
.
c:
var
s
_drop: fi
x
error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c: uset_conve
x
_h
u
ll_w
r
a
p_bou
n
ded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_set_
w
r
ap_face
t
: fi
x
err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_tab_min:
a
v
o
id NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
affine_h
u
ll
.
c: ext
e
nd_affine_h
u
ll:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oola
e
ge
i
s
l_basic_
m
a
p_extend: plug memory leak
o
n err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_affine_hull
.
c: e
q
ua
l
ities_in_
u
nderlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolae
g
e
isl_bas
i
c
_
set_pr
e
ima
g
e: avoid NULL point
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_
t
ab_pi
p
.
c: n
o
_sol_in_strict: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_affi
n
e_hull
.
c
: equ
a
lities
_
in_underlying_set: p
l
ug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
i
sl_a
f
f
ine_hull
.
c: affine_hull: fix e
r
r
o
handlin
g
commit
|
commitdiff
|
tree
next