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
Verd
o
o
l
a
ege
isl
_
map_product: us
e
d
neste
d
s
p
aces in resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl
_
pw_
q
pol
y
nomia
l
_bound: h
a
ndle isl_pw_qpolynomials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoola
e
ge
supp
o
rt
n
e
sted isl_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
do
c
: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erd
o
ola
e
ge
ex
p
o
r
t isl
_
di
m
_tuple_match
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_ou
t
p
ut
.
c: extract
out common print_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
isl_inp
u
t
.
c: rea
d
_tuple: con
s
t
ruc
t
isl_dim instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
do
c
: remove description of how to get the pipli
b
submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pr
i
nter_print_pw_qpolynomial
_
fold: print dim
a
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdool
a
ege
add isl_pw_
q
poly
n
omial_ins
e
rt_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
a
d
d isl_set_in
s
ert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ver
d
o
ola
e
ge
add isl_b
a
sic
_
map_image_is_bounded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Ve
r
d
o
o
laege
avoid NU
L
L pointer exception i
n
isl_
b
asic_m
a
p_
n
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
fix is
l
_pw_q
p
olynomia
l
_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
ad
d
isl_mat_a
d
d
_
r
ows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_ma
t
_add_zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verdoolaege
e
xport isl_basic_map_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
hide isl_dim intern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
add i
s
l_
d
im_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doola
e
g
e
i
s
l_basic_map_r
e
set_di
m
:
f
inalize resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olaege
isl_transit
i
ve_clo
s
ure
.
c: anon
y
mize input map during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoolaege
isl_transitive
_
clo
s
ure
.
c: keep tra
c
k of domains for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Ve
r
d
o
olaege
isl
_
dim_drop:
alwa
y
s
remove tupl
e
name,
e
ven
i
f number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolae
g
e
isl_dim_s
e
t
_
t
uple_
n
ame
:
allow explic
i
t removal of
t
up
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
doola
e
ge
add suppor
t
for uni
o
n
s
e
t
s
a
n
d re
l
atio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
isl_
t
ransitive_
c
los
u
re
.
c: extra
c
t
out s
o
m
e
reus
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
e
r
d
o
olaege
add i
s
l
_
p
w
_qpolynomial_reset_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doo
l
aeg
e
add isl_ma
p
_has_equal_
d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
d
d isl_dim_
g
et_ha
s
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sl
_
dim: al
l
ow specification of tuple names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n
Verdool
a
e
ge
isl_map_from_domain_an
d
_range: implemen
t
i
n
terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl
_
basic
_
map_d
o
main: properly set dimens
i
on o
f
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
privately exp
o
r
t isl
_
s
e
t_reset_dim
a
nd is
l
_
m
ap_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolae
g
e
isl_map_read:
e
x
trac
t
o
u
t read_var_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
o
l
aege
isl
_
hash
_
t
a
b
le_foreach:
p
ass pointer to en
t
ry data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_hash_table_for
e
ac
h
: add user arg
u
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
isl_t
r
a
nsitive_cl
o
sure
.
c:
fix double free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_gist: use
s
imple hull inste
a
d o
f
convex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map
.
c
: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
o
ola
e
ge
is
l
_cat:
rea
d
generic obje
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_printer:
add NUL
L
checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
m
a
ke i
s
l_ob
j
_none a co
n
st
a
nt e
x
pression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
add isl_map
_
g
e
t_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoo
l
a
e
g
e
isl_map
_
f
a
st_is_universe: also detect re
d
undant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Verdoolaege
a
dd isl_map_reach
i
n
g
_pa
t
h
_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
V
e
r
d
ool
a
ege
i
sl
_
m
ap_power: delay equating path le
n
gths to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
doo
l
aege
i
s
l
_
ma
p
_
p
ower: apply
Floyd-Wa
r
sh
a
ll to c
o
m
p
ute pow
e
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Verdoolaege
isl_ma
p
_lexm
a
x:
produce le
s
s
c
r
y
p
tic error message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdool
a
e
g
e
fix isl
_
basi
c
_map_move_dims in prese
n
ce of
e
xist
e
nt
i
al
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdoolaege
isl_test
:
drop de
b
uggi
n
g output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
laege
is
l
_
transitive_clo
s
ure
.
c
:
f
i
x
typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_map_lex_ge and is
l
_map_lex_le in the zero
-
dimensio
n
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoola
e
ge
isl_p
r
inter
_
print_map: replace vari
a
bl
e
by its
d
efin
i
tio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ver
d
oolaege
pr
i
vately ex
p
ort is
l
_ba
s
ic
_
map_fast_cmp and
i
s
l
_basic_ma
p
_f
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
i
sl_dim_set_name: don't acc
e
pt names th
a
t look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven
Verdo
o
laege
isl_c
o
nvex_hull
.
c
: avoid side-effects in ca
l
ls to is
l
_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
ven Verdoolaege
a
dd is
l
_has
h
_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoo
l
aege
a
d
d
isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven
V
e
r
doolaege
doc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
Makefile
.
am: really include incl
u
de/i
s
l_
v
ertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add isl_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
olae
g
e
do
c
: drop du
p
licate book
t
it
l
e from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: use more
explicit no
t
at
i
o
n to avo
i
d confus
i
on
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdool
a
ege
add isl_constraint_is_div_constrai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
isl_map
_
simplify
.
c:
s
e
p
arat
e
out isl_basic_
m
ap_is_
d
iv_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl_basic_map
_
from
_
c
o
n
straint:
k
eep
all
di
v
s
,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaege
i
s
l_basic_map_from_constraint
:
only re
t
urn copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoo
l
aege
i
sl
_
cons
t
raint_add_
d
iv:
c
orrectly set lin
e
t
o fir
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
r
doolaege
i
s
l_pip: rena
m
e pip_
o
pti
o
n
s
t
o
avoid con
f
lic
t
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_con
v
e
x
_hull
.
c: initi
a
l_fa
c
et_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
doc: describe
b
ackward inco
m
patible cha
n
ges
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: me
n
tion
discussion group
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoola
e
g
e
r
e
name isl_bas
i
c_map_c
o
nvex_hull to
isl_basic
_
m
a
p_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_affine_
h
ull
.
c: o
u
tside_point:
f
ix error hand
l
in
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_tab
_
r
o
llback: avoid double f
r
ee on
e
rror path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
oolaege
isl_tab
.
c
: tab_m
a
t_produc
t
: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
l
a
ege
is
l
_tab_
e
xtend_
c
ons: a
v
oi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
im
p
l
e
ment
an
t
i
quated
i
sl_basi
c
_se
t
_
n_* in terms o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_map_conv
e
x_
h
ull: avoid NULL pointer
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b_add_
v
alid_eq
:
return int instead
o
f isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl_affi
n
e_h
u
ll
.
c: aff
i
n
e_hull_with_c
o
n
e
: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
is
l
_equalitie
s
.
c: parameter_
c
ompression_multi: av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
basic_map_pr
o
ject_out: a
v
oid N
U
L
L
pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_c
o
alesce
.
c:
c
oalesce_pair: avoid NULL pointer d
e
refer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_convex_h
u
l
l
.
c: exte
n
d: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement ant
i
quated isl_set_n_* in term
s
of is
l
_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl_map_simplify
.
c: normalize_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_in
p
ut
.
c: vars_drop:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
i
s
l
_
con
v
ex_hull
.
c
: uset_con
v
ex_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
isl_se
t
_wr
a
p_fac
e
t: fix e
r
ror
h
andli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_tab_min: avoid NUL
L
poi
n
ter de
r
efe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hu
l
l
.
c:
ex
t
end_affine_h
u
ll: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl
_
ba
s
i
c_map_extend: plu
g
memory
leak on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_
a
ffine_hull
.
c: equali
t
ies_in_underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verd
o
olaege
isl_b
a
si
c
_set_
p
reimage: avoi
d
N
U
LL p
o
i
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_
p
ip
.
c:
n
o_sol_in_str
i
ct: fix er
r
or h
a
n
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
ffine_hull
.
c
:
equalities_in_un
d
erlying_set:
p
l
u
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n V
e
r
d
oo
l
ae
g
e
isl_af
f
ine_hull
.
c:
affine_hull: fix erro
h
a
ndling
commit
|
commitdiff
|
tree
next