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-08-02
Sven Verdoolaege
isl_basic_map_reset_dim: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olaege
isl
_
transit
i
v
e
_clos
u
re
.
c: anonymize input m
a
p
during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
i
s
l_transiti
v
e_clo
s
ure
.
c:
k
e
ep track
o
f domains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
isl_dim_drop: alwa
y
s remove tuple name, even
i
f number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoolaeg
e
isl_di
m
_
set_tuple_name: allow e
x
p
l
ic
i
t rem
o
val of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdoolae
g
e
a
d
d
suppo
r
t f
o
r
union sets and re
l
a
t
io
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verd
o
o
l
aege
i
s
l_
t
rans
i
tive
_
closure
.
c: extract
o
ut s
o
me reusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rdoolaege
a
d
d isl_pw_qpolynomial_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdo
o
laege
add i
s
l_map
_
h
a
s
_equal_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoola
e
g
e
add is
l
_
dim_
g
et
_
ha
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
isl_dim: all
o
w specification o
f
t
u
ple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
d
oolaege
isl_map_fro
m
_domain_and
_
range:
i
mplement in t
e
rms o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoo
l
aege
isl_basic_map_domain:
p
ro
p
erl
y
set dimension of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
privately
ex
p
o
rt isl_set_rese
t
_dim and
i
sl_map_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdool
a
ege
i
s
l_ma
p
_read: extract out read_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
e
rdoolaeg
e
isl_hash_table_fo
r
e
ach: p
a
s
s
pointer
to entry d
a
ta
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
o
olaege
is
l
_has
h
_table_foreach: add user argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl
_
transitive_closure
.
c:
f
i
x
doubl
e
f
ree
o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
isl_map_gist: u
s
e simple hull in
s
t
ead
of convex
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_map
.
c:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
o
o
laege
isl_ca
t
: read gene
r
ic
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_printer: add NUL
L
checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
ma
k
e isl_
o
b
j
_none a con
s
tant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
add isl_
m
ap_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
isl_
m
ap_
f
ast_is_universe: a
l
s
o detect redundant representati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
e
rdoo
l
aege
add isl_map_reaching_path_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
is
l
_map_power: delay eq
u
ati
n
g path
le
n
gt
h
s
to
po
w
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_po
w
er: app
l
y
Floyd-Warshall to compute
powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
e
n
V
e
rdoo
l
aege
isl_map
_
lexmax: produce less crypt
i
c erro
r
me
s
sage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
o
olaege
fix isl
_
basi
c
_map_mo
v
e
_
dims in pres
e
nce of existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Ver
d
oolaeg
e
isl
_
test: drop
debu
g
gi
n
g
output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
e
r
doola
e
ge
isl_tra
n
sitiv
e
_cl
o
sure
.
c:
f
i
x
ty
p
o i
n
c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_map_l
e
x_ge and isl_m
a
p_lex_le in the zero-dimensi
o
na
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
S
v
e
n
V
e
rdool
a
eg
e
isl_printer_print_map
:
r
e
pla
c
e
variable by it
s
definit
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
V
erdoolaege
privately export isl_
b
a
sic_map_fast_cmp a
n
d
isl_basi
c
_map_
f
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdool
a
ege
isl_dim_set_nam
e
: do
n
't acce
p
t names t
h
at look l
i
ke
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaeg
e
i
s
l_
c
onv
e
x_hull
.
c: avoid side-effects in c
a
lls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n
V
e
rdoolaege
a
d
d
isl_ha
s
h_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven V
e
r
doolaege
a
d
d
isl
_
int_
g
et_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
do
c
: fix so
m
e
typos
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaeg
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
rdoolae
g
e
Makefile
.
a
m
: really include in
c
lude/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
add isl_
m
ap_is
_
bij
e
ctive
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: drop dupl
i
cate
b
ookti
t
le
from Ke
l
ly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaege
do
c
: u
s
e m
o
re e
x
plicit notation to avo
i
d confusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
add isl_constraint_is
_
d
iv_con
s
trai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
V
erdo
o
laege
isl_m
a
p
_si
m
plify
.
c
:
se
p
arate out is
l
_basic_map_is
_
div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
Verdool
a
ege
isl_basic
_
map_from_constrain
t
: k
e
e
p
a
ll divs
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
isl_basic_map_from
_
con
s
t
r
aint
:
only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
V
erdoo
l
aege
is
l
_cons
t
raint_add_div: corre
c
tly set li
n
e to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl_pi
p
: rename pip_options t
o
avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
isl_c
o
nvex_hul
l
.
c: initial_facet_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
doc: de
s
cri
b
e backw
a
rd incompa
t
i
b
l
e
changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc:
m
e
ntion discussion g
r
oup
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
rename isl_basic
_
m
ap_convex_hull to
i
sl_b
a
s
ic_m
a
p
_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
oo
l
aege
i
s
l_affin
e
_hull
.
c
: ou
t
side_point: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_rol
l
back: avoid
dou
b
l
e
free on err
o
r pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c
: tab_mat_pr
o
duct: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdo
o
l
aege
i
sl_tab_e
x
t
e
nd_cons:
avoid
N
ULL pointer
d
ere
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
eg
e
im
p
lement antiquated isl_basi
c
_set_n_*
i
n
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_map_con
v
ex
_
hul
l
:
a
voi
d
NULL p
o
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_tab_add_v
a
li
d
_eq:
r
et
u
rn i
n
t instead o
f
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_affine_hu
l
l
.
c: affine
_
hull
_
wi
t
h_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdool
a
e
g
e
isl_equalities
.
c: paramete
r
_compression_mul
t
i: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_basic_m
a
p_project
_
o
u
t: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdo
o
laege
is
l
_coal
e
sce
.
c: coalesc
e
_
p
air: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_convex_hull
.
c:
extend
:
fix err
o
r
h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
imp
l
emen
t
antiquated isl_s
e
t
_
n_* in ter
m
s of
i
sl_set_di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_map_simpli
f
y
.
c: nor
m
alize_divs: a
v
oi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
is
l
_input
.
c: vars_drop
:
fix
er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
g
e
i
sl_conv
e
x_hull
.
c: use
t
_conv
e
x_hull_w
r
ap_boun
d
ed
:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_se
t
_wrap_facet: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
_
min: avo
i
d NULL point
e
r
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_affine_hull
.
c: extend_affine_hull: a
v
oi
d
N
ULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
is
l
_basic_map_ex
t
end: plug
m
e
m
or
y
leak on erro
r
path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_affin
e
_hull
.
c
: eq
u
a
l
ities_in_underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
ge
isl_
b
a
s
i
c
_set_pre
i
mag
e
: avo
i
d
NULL poi
n
ter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_
t
ab_pip
.
c: no
_
sol_in_strict: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine
_
hul
l
.
c:
e
qualities_
i
n_und
e
rlying_set:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n V
e
rdool
a
ege
isl_affine_hull
.
c
: aff
i
ne
_
h
u
ll: fi
x
erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
s
l_map_project_out
:
fi
x
erro
r
ret
u
rn va
l
ue
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
isl_bas
i
c_map_
i
n
t
ersect_rang
e
:
a
voi
d
NULL p
o
i
nter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_tab_pip
.
c: find_
s
olutions: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl
_
basic_map_alloc_dim: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
i
sl_bas
i
c_map_intersect: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_
p
ip
.
c: sol_map_init
:
avoid NU
L
L po
i
nt
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_basic_
m
a
p
_intersect_domai
n
: avoid
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_flow
.
c: comp
u
te_val_based_dependenc
e
s: fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
isl_fl
o
w_all
o
c: fix erro
r
h
a
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoola
e
ge
isl_acc
e
ss_
i
n
f
o_comput
e
_flow: fix
e
rror han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdo
o
laege
isl_{set,map}_fast_is_
e
mpty: avoi
d
NU
L
L pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_f
l
ow
.
c: avoid accessing dim field directly
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoo
l
aege
i
sl_acce
s
s_in
f
o_comp
u
te_flow
:
avoid NULL
p
ointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: obj_read: avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
sl_map
_
subtract
.
c
: tab_add_constrai
n
ts:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab
.
c
:
close_row:
f
ix er
r
or hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolaege
i
s
l_map_si
m
plify
.
c: remove_dup
l
ic
a
te_divs: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_affine_hu
l
l: avoid NULL p
o
inter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_tab_a
d
d_eq: return int instead of
i
s
l_tab *
commit
|
commitdiff
|
tree
next