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
add isl_basic_map_image_is_bounded
2010-08-04
Sven Verdoo
l
aege
ad
d
isl_basic
_
ma
p
_imag
e
_is_boun
d
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
a
v
oid NU
L
L poin
t
er exception i
n
isl_
b
as
i
c_map_n_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
fix isl_pw_qpolynomi
a
l
_r
e
set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add i
s
l_m
a
t_a
d
d_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ver
d
oolae
g
e
add isl_ma
t
_add
_
zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven
Verdoolaege
export i
s
l_basi
c
_map_m
o
ve
_
dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdool
a
ege
h
ide isl_dim internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
aege
a
dd isl_d
i
m_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl
_
b
a
sic_m
a
p_
r
ese
t
_dim: f
i
nalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
Verdool
a
e
g
e
i
s
l_transiti
v
e_closu
r
e
.
c: anonymize inpu
t
map during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
i
s
l_trans
i
t
i
ve_closure
.
c
:
keep tr
a
ck of d
o
main
s
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_dim
_
drop: always remove
t
upl
e
name, e
v
en if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
g
e
isl_dim_set_t
u
p
l
e_name
:
allo
w
e
xplicit rem
o
val of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
eg
e
a
dd support for
union sets and relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolae
g
e
isl_transitive_c
l
osure
.
c: extract out
s
o
me
r
e
usable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_pw_qp
o
l
ynom
i
al_reset_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
add isl_map_has
_
equal_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
a
dd isl_dim_get_h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ver
d
oolaege
isl_dim:
a
llow specification of
tuple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_m
a
p_fr
o
m_domain_an
d
_rang
e
: im
p
l
e
m
ent in terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdool
a
ege
isl_basi
c
_
map
_
domain:
p
r
operly se
t
d
i
mensi
o
n of res
u
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdool
a
ege
privately export isl_set_reset_dim and is
l
_m
a
p_reset
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
erdoolaege
isl_map_read: extract o
u
t rea
d
_
v
a
r
_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
i
sl_hash_ta
b
le_
f
o
r
e
ach: pass pointer to entry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_hash_ta
b
le
_
foreach: add user ar
g
ument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolae
g
e
is
l
_transitiv
e
_closur
e
.
c: fix double
fre
e
o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Ver
d
oolaege
isl_map_gist:
use simpl
e
hull instead of c
o
nvex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdo
o
laege
isl_map
.
c: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolae
g
e
isl_cat: read gene
r
ic obje
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoo
l
aege
isl_print
e
r:
a
dd N
U
LL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
r
doolaege
make isl_obj_none a
constant expre
s
sion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
add i
s
l_m
a
p_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
isl_map
_
fast_is
_
universe: also detect r
e
dundant representati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdool
a
ege
add isl_map_reach
i
ng_path_length
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoolaege
isl_map
_
power: delay equ
a
ting path
l
engths to
po
w
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
o
o
laege
isl_map_pow
e
r: app
l
y Fl
o
yd-Warshall
t
o com
p
u
te powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verd
o
olae
g
e
isl_map_lexmax: produce less
c
ryptic e
r
r
o
r
m
essage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoo
l
a
e
ge
fix isl_bas
i
c_map_move_d
i
ms in presence of existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n V
e
rd
o
olaege
i
sl_tes
t
:
d
r
o
p
d
eb
u
g
gin
g
o
u
tpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
d
oolaege
i
s
l_transi
t
i
v
e
_
c
l
o
s
ur
e
.
c:
fix typo
i
n c
o
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
Verdoolaege
fix isl_map_le
x
_g
e
an
d
i
s
l_map_
l
ex_le i
n
the zero-dimension
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolaege
isl
_
p
r
inte
r
_print_ma
p
: replac
e
v
a
riable by its
d
efin
i
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
p
r
ivately export is
l
_ba
s
ic
_
m
a
p_fast_cmp and isl_b
a
sic_map_
f
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdool
a
ege
isl_
d
im_s
e
t_nam
e
: don't accept
n
a
m
e
s
th
a
t
look
like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobi
a
s Gross
e
r
R
e
move comma at the
e
nd of enumeration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
i
s
l
_conve
x
_hull
.
c: avoid
side-effects
i
n
calls to i
s
l_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n Verdoolaege
a
dd isl_hash_buil
t
i
n
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
Verdoola
e
ge
add isl_in
t
_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolae
g
e
do
c
: fix some t
y
po
s
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ve
r
doola
e
ge
isl
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Makefile
.
am:
r
eally include include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
add isl_map_i
s
_b
i
jecti
v
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
l
a
ege
do
c
: fix
typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
a
e
ge
d
o
c
: drop duplicate
bo
o
kti
t
le from Ke
l
ly1
9
96closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
doc: u
s
e more expl
i
cit notation
t
o
av
o
id
c
o
nfusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdo
o
laege
add isl_c
o
n
s
traint_is_div_cons
t
raint
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdo
o
laege
isl_map_simplify
.
c
:
s
ep
a
rate out is
l
_
b
asi
c
_map_is
_
div_constrai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
ae
g
e
isl_basi
c
_
m
ap
_
from_
c
ons
t
raint: keep all
d
i
v
s, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdool
a
e
g
e
isl_basi
c
_
map_from_c
o
nstraint: only ret
u
rn cop
y
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ver
d
oolaege
isl_con
s
traint_add_div: correctly set line to f
i
rst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
V
erd
o
olae
g
e
isl_pip: rename pip_options to a
v
oid conflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
la
e
ge
isl_c
o
nvex_hu
l
l
.
c: initial_facet_constr
a
i
n
t: f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc:
d
escr
i
be backward incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
do
c
: mention
d
i
scuss
i
on group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
renam
e
isl_
b
as
i
c_map_convex_hull to isl
_
basic_map_remov
e
_
r
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaeg
e
isl_affine_hu
l
l
.
c
:
o
u
tside_point:
fi
x
e
rror han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_tab_r
o
llbac
k
: avoid double free on er
r
or path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
i
s
l_tab
.
c: ta
b
_mat_product: avoid NULL point
e
r dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_e
x
te
n
d_cons
:
avo
i
d
NULL poin
t
er der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement antiquated is
l
_basic
_
set_n_
*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_map_convex_hull
:
a
v
oid NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_tab_add_
v
alid
_
e
q: retur
n
int inste
a
d of isl_
t
a
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_affine_hull
.
c
: affine_hu
l
l_with_cone: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
rd
o
olaege
isl_
e
quali
t
ies
.
c
:
parameter_compres
s
ion_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
is
l
_b
a
sic_map_pr
o
ject_out: avo
i
d NULL pointer derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Ve
r
d
o
o
laege
isl_c
o
alesce
.
c: coalesc
e
_pair: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aeg
e
isl_convex_hull
.
c: extend: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
imple
m
ent antiquated isl_set
_
n_* in
t
e
rms of isl_s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
i
s
l_map_simplify
.
c
: nor
m
alize_divs: avoid NUL
L
po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl_
i
npu
t
.
c: v
a
rs_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_co
n
v
e
x
_
h
ull
.
c: u
s
et_convex_hull_wrap_bounded
:
fi
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_s
e
t_wrap_facet: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab_min: avoid NULL po
i
nter dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_affine_hull
.
c
:
exte
n
d_affin
e
_hull: avo
i
d NULL po
i
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_map_extend:
p
lug memory l
e
ak o
n
error path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_affin
e
_hull
.
c: equalities_in_underlying_s
e
t: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic
_
s
e
t_p
r
e
imag
e
: a
v
oid
NULL pointer dere
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
er
d
oolaege
isl_tab_pip
.
c: no_sol_in_strict: fi
x
e
rro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_affine_hull
.
c: equa
l
i
t
ies
_
in_underlying_se
t
: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_affine
_
hul
l
.
c: affine_hull
:
fix erro
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_map_project_out: fi
x
e
rror return val
u
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_basic_m
a
p_intersect_
r
ang
e
:
a
void NULL
p
ointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
is
l
_tab_
p
ip
.
c: find_solutions: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
do
o
lae
g
e
i
s
l_basic_map_alloc_dim: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_
basi
c
_
map_intersect: avoi
d
NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_tab_p
i
p
.
c:
s
ol_
m
ap_
i
nit: avoid NU
L
L pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_map_inters
e
ct_domain: avoid
N
ULL poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
i
s
l_
f
low
.
c
:
compute_
v
al
_
based_
d
ependenc
e
s: fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_flow_
a
lloc: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_access_info_compute_flow: fix error ha
n
dling
commit
|
commitdiff
|
tree
next