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_mat_right_inverse: fix memory leak on error path
2010-08-05
Sv
e
n Verdoolaege
exp
o
rt isl
_
dim_tuple_mat
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_output
.
c:
extract out commo
n
print_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_input
.
c: read_tuple: cons
t
ruct isl
_
dim instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
l
a
ege
doc:
r
emove d
e
scrip
t
ion o
f
how
to get the piplib
submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
isl_printer_print_pw_qpoly
n
omi
a
l_fold: p
r
i
n
t
dim as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
lae
g
e
add is
l
_p
w
_qp
o
lynomial_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolae
g
e
add is
l
_set
_
insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
ad
d
isl_b
a
s
i
c
_map_image_is_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolaege
avo
i
d NULL pointer exc
e
ptio
n
i
n
isl_basic_map_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
fi
x
isl_pw_
q
polynomial_re
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ve
n
Ve
r
do
o
laege
a
dd
i
sl_mat_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdo
o
laege
add
i
sl_mat_add_zer
o
_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
S
v
en Verdoolaege
export isl_basic_map_move_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdo
o
laege
hide isl_
d
im i
n
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolae
g
e
add isl_dim_get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_basic_m
a
p_reset_di
m
:
f
inalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Ve
r
doolaege
i
sl_tr
a
nsitive_closur
e
.
c: ano
n
ymize in
p
ut map
d
uring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoola
e
g
e
isl_transitive_c
l
o
sure
.
c:
k
e
ep track of
d
oma
i
ns for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolae
g
e
is
l
_dim_d
r
op: always
remove tuple name,
e
ve
n
if nu
m
ber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoo
l
aege
isl_dim_set_tuple_name
:
a
l
low ex
p
licit remo
v
al of
t
u
p
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
d
d suppor
t
for
u
nion sets
a
nd r
e
lations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl
_
tra
n
si
t
ive_closur
e
.
c
:
e
x
tra
c
t out
some reusabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
add isl_pw_qpolynomial_reset_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
ae
g
e
add isl_map_has_
e
qual_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
a
d
d isl_dim_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
isl_dim: allo
w
speci
f
i
c
ation of tuple
nam
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_map_from_domain_and_ra
n
ge:
i
mplement in terms o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
i
s
l
_basic
_
m
a
p
_
domain: properly set dimension
o
f resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
p
r
i
vat
e
ly export is
l
_se
t
_reset
_
dim and isl_map_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoola
e
g
e
isl_map_re
a
d
: ex
t
ract out re
a
d_
v
a
r
_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl
_
hash_table_f
o
re
a
ch: pass pointer to e
n
try data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
isl_hash_tabl
e
_
f
oreach: add use
r
ar
g
u
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_transitive_closure
.
c:
fix d
o
uble
f
r
ee
o
n
e
rr
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n V
e
r
doolaege
isl_map_gist:
use s
i
mple
hull
instead of co
n
v
ex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
isl_map
.
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl
_
cat: re
a
d generic objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdool
a
ege
isl_printer: add NUL
L
che
c
ks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
make i
s
l_obj_none a con
s
ta
n
t expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
add is
l
_map_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_f
a
s
t_is_universe: also
d
ete
c
t redundant representati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
a
d
d is
l
_map_reachi
n
g_path
_
lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdo
o
l
a
e
ge
isl_ma
p
_power: delay equati
n
g
path lengths to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdoolaege
isl
_
ma
p
_powe
r
: ap
p
ly Floyd
-
W
arshall to co
m
pute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verd
o
olaege
i
sl_map_lexmax: produce less crypt
i
c
e
rr
o
r mes
s
age
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Ve
r
doolaege
fix isl_basic_map
_
move_dim
s
in
p
r
esence of exis
t
ent
i
ally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoolaege
isl_
t
est: dro
p
d
e
b
ugging ou
t
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doola
e
ge
isl_transitive
_
c
losu
r
e
.
c: fi
x
typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdool
a
ege
fix isl_map_lex_ge and
isl_map_lex_le in the zero
-
dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sv
e
n Verdoo
l
aege
i
sl_printe
r
_print_map: replace variab
l
e
b
y it
s
defi
n
iti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Verdo
o
laege
pr
i
vately exp
o
r
t
isl_basic
_
map_fast_cmp a
n
d
i
sl_basic
_
map_
f
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Verdool
a
ege
i
sl_dim_set_n
a
me: d
o
n't accep
t
n
a
m
e
s that look
l
ike
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Gro
s
ser
Remove comm
a
a
t
th
e
en
d
of enumer
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven V
e
rdoolaege
isl_convex_hull
.
c: avoid side-ef
f
ects in c
a
lls t
o
isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Ver
d
oolaege
add is
l
_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoola
e
ge
add isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
S
v
en V
e
rdoolae
g
e
doc:
f
ix som
e
t
ypos
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
i
s
l
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
ae
g
e
Makefile
.
am:
r
eally inclu
d
e incl
u
de/isl_vert
i
ces
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaeg
e
ad
d
isl_ma
p
_is_b
i
j
e
ctive
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
oc: drop
d
uplicate booktitle fr
o
m Ke
l
ly1996
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
r
doo
l
aege
doc:
u
s
e more
e
xplicit n
o
t
a
tion to avoid confusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
add i
s
l
_con
s
traint_is_div_const
r
aint
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdool
a
ege
isl_map_
s
implify
.
c: separate out isl_basic_map_is_
d
iv_c
o
nstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verd
o
olaege
isl_basic_map_from_constrain
t
: k
e
ep all divs, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_ba
s
ic_map_
f
rom_
c
ons
t
rain
t
: only
re
t
urn copy
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
is
l
_constraint_a
d
d_
d
iv:
c
o
r
rectly se
t
line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_p
i
p: re
n
a
m
e
pip_options to av
o
id conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdool
a
ege
isl_convex_hull
.
c: initial_
f
a
c
et_c
o
nstraint: f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc
:
descri
b
e backward
incomp
a
tible
c
hange
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
doc: men
t
i
o
n discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
r
e
name
isl_basic
_
m
a
p_c
o
nvex_hull to i
s
l_ba
s
ic_
m
ap_r
e
move_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
i
s
l_
a
ffine_hull
.
c
:
outsid
e
_
p
oint: fix e
r
ror
ha
n
d
li
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab_ro
l
lba
c
k
:
avo
i
d d
o
ubl
e
free on error p
a
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_ta
b
.
c:
t
ab_m
a
t_product: avoid
NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab_extend_cons: avo
i
d NULL pointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
implement antiq
u
ated isl_basic_set_n_* i
n
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_map_convex_hu
l
l: a
v
oid NU
L
L
p
oint
e
r der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
d
oolaege
isl_
t
ab_add_valid
_
eq:
r
eturn int instead
of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdo
o
laege
i
s
l
_
affine
_
hull
.
c: affine_hul
l
_with_cone: avo
i
d NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
i
sl_equal
i
ties
.
c: paramete
r
_
c
o
mp
r
ession_multi:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_map_pr
o
ject_out:
avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl
_
coalesc
e
.
c
:
coalesce_
p
air: av
o
id NU
L
L po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
i
sl_convex_hul
l
.
c
: extend: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
ge
i
m
p
lement
antiquated
is
l
_set_n_* in t
e
rms of isl_set_d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ma
p
_
s
im
p
lify
.
c: norma
l
i
ze
_
divs: avoi
d
NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_in
p
ut
.
c: vars_drop:
f
ix error hand
l
in
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolae
g
e
isl_
c
o
n
v
ex_hull
.
c: uset_convex_hul
l
_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
is
l
_set_wrap
_
face
t
: fix er
r
or
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
isl_tab_min: avo
i
d NULL pointer d
e
r
e
fere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_affine_h
u
ll
.
c: exten
d
_affi
n
e_hu
l
l: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_bas
i
c_map_exte
n
d: plug
m
emory
leak on
e
rror path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
ol
a
ege
isl_affine_hull
.
c: equali
t
ies_i
n
_
u
nderlyin
g
_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_set_preimage: a
v
oid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_tab_pip
.
c:
n
o
_
sol_in_strict: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
is
l
_affin
e
_
h
ull
.
c
: equalities_in_underlying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_
h
ull
.
c
:
affine_h
u
ll: fi
x
erro handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_m
a
p_projec
t
_ou
t
: fix
error return value
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
doolaege
i
s
l_basic_map_intersect_
r
ange: avoid NULL pointer
d
ereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
i
s
l_tab_pip
.
c: find
_
s
o
lutions: f
i
x error handling
commit
|
commitdiff
|
tree
next