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
clean up isl_pw_qpolynomial_neg
2010-08-26
S
ven Verdoola
e
ge
clean u
p
i
s
l
_pw_qpolynomial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
isl_un
i
on_templ
.
c: minor cle
a
n
-
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Ve
r
doolaege
add
i
sl
_
mat_insert
_
zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
add isl_basic_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-24
Sven
Ver
d
oo
l
aege
isl_map_read_from_
s
tr: pars
e
t
u
ple entries with lea
d
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoola
e
g
e
add isl_map_apply_
p
w_qp
o
lynomial_f
o
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ver
d
oolaege
add
isl_un
i
o
n
_pw_qpolynomial_fol
d
_get_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
add isl_pw_
q
pol
y
nomial_fol
d
_
i
n
s
er
t
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
a
d
d
i
sl_union_pw_qpolyno
m
ial_fold_add_union_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoola
e
ge
a
dd type to isl_{union_,}
p
w_
q
p
olynomial_
f
old
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n V
e
rdoolaege
fix isl_qpol
y
nomial_fold
_
reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
erdoolaege
isl_i
n
put
.
c: read
_
t
e
rm
:
a
llow
terms starting
w
ith
n
egative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
V
erdo
o
laege
isl_union_pw
_
qpoly
n
o
m
ial
_
add_pw_q
p
oly
n
om
i
al:
d
on't
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isl_stream_read_ob
j
: read r
e
ducti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
isl_input
.
c
:
read_
f
act
o
r: fix read after free in error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
V
erd
o
olaege
is
l
_
stream_error: print unexpe
c
ted identifier name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdool
a
e
ge
rename isl_pw_qpolynomial
_
f
o
ld_
a
dd to
i
sl_
p
w_qpolynomial
_
fol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
doc: m
i
no
r
clarifi
c
a
tion on operat
i
ons o
n
uni
o
n sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
add isl_union_set_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-11
Sven
V
erdoolae
g
e
isl_ma
p
_gist:
a
l
so
p
erform gist in universe
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
e
r
doolae
g
e
isl_u
n
ion_map: construct new isl_
u
nion_m
a
p
o
n o
p
erations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oo
l
a
e
ge
isl_union_map_is
_
empty: fix ty
p
o
t
hat resulted in me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
add is
l
_basic_map_
h
as_defining_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven V
e
rd
o
olaege
add
isl_set
_
get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-07
S
v
en Ver
d
ool
a
ege
isl_
p
rin
t
er_pr
i
nt_map: fix print
i
ng
in
latex format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en
Verdo
o
la
e
ge
isl_set_wrap_facet: nor
m
alize resulti
n
g
facet const
r
aint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolae
g
e
i
sl
_
coa
l
esce
.
c: f
i
x
typo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven V
e
rdoolaege
isl_
p
w_qpolynomial_intersect_do
m
a
in: sim
p
lify poly
n
omials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
ven Verdo
o
laeg
e
isl_qpolynomial_
m
o
ve_dims: plug memory leak a
n
d f
i
x
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
ven
Verdoolaege
add is
l
_
p
w_qpolynomial_re
a
d_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en Verdo
o
laege
a
d
d
i
s
l_qpolyn
o
mial_fold_substitut
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
i
s
l_pw_q
p
oly
n
omial_intersect_domain:
dro
p
piec
e
s t
h
at
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdool
a
ege
isl_map_product:
used ne
s
ted spaces in r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n Ve
r
doolaege
isl_pw_qpolynomial_bo
u
nd: handle i
s
l_pw_qpolynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
s
u
pport nested isl_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ve
r
d
ool
a
e
g
e
expo
r
t
isl_d
i
m_tu
p
le_match
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl
_
output
.
c: extra
c
t out common p
r
int_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
dool
a
e
ge
isl_in
p
ut
.
c: re
a
d_tuple: construct isl_dim instea
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
do
c
: r
e
move
d
escription of
h
ow
t
o get
the piplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_printer_pri
n
t_pw_qpolynomi
a
l
_fo
l
d
:
print dim as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
a
dd
i
sl
_
pw_qpoly
n
omia
l
_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
ad
d
isl_set_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add
i
sl_basi
c
_map_i
m
age_i
s
_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoola
e
ge
avoi
d
NULL
p
oint
e
r excepti
o
n in
isl_basic_m
a
p_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
fix
isl_pw_qpolynomial_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
r
doolaege
add
i
sl_mat_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
add isl_mat_add_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
S
ven
Verdoolaege
export
i
s
l
_bas
i
c_map_m
o
ve_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoolaege
hide is
l
_dim internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
add isl_dim_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
o
laege
i
s
l_basi
c
_map_reset_dim: fin
a
lize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdo
o
la
e
ge
i
sl_transi
t
ive_closure
.
c: anony
m
ize
i
n
p
ut
m
ap duri
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
isl_transitive_closure
.
c
:
keep track
o
f domains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
e
n
Ver
d
o
olae
g
e
isl_d
i
m_drop: alway
s
r
emo
v
e tuple
n
ame
,
even if numb
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
isl_dim_s
e
t_tuple
_
n
a
me: allow explicit re
m
oval of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
l
aege
add supp
o
rt for unio
n
sets and relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
g
e
isl_t
r
ansitive_closure
.
c: extract out some
r
e
u
sable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
add
isl_pw
_
qpolynomial_reset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ver
d
o
o
lae
g
e
add i
s
l_m
a
p
_
h
as_
e
qu
a
l_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n V
e
rdoo
l
aege
add i
s
l_di
m
_ge
t
_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
l
a
e
ge
i
s
l_dim: a
l
low
s
pecificat
i
o
n
o
f
tu
p
l
e nam
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
i
s
l
_ma
p
_from_domai
n
_
a
n
d_range:
im
p
lem
e
nt
in t
e
rms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
i
sl_ba
s
i
c_map
_
domain:
properly
s
et dim
e
nsion of
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
privately
e
xport is
l
_set_reset_dim and
isl_map_r
e
set_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_map_read:
e
xtra
c
t out read
_
var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_has
h
_table_foreach: pass po
i
nter t
o
e
ntry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_hash_tab
l
e
_
f
o
reach: add user argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
i
s
l_transitiv
e
_closure
.
c
:
f
ix double free on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_gis
t
: us
e
simple
h
u
l
l in
s
tead of conv
e
x hul
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oola
e
g
e
is
l
_map
.
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_
c
at: r
e
ad
g
eneri
c
object
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl_printer: add NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
a
e
ge
make isl_obj
_
none a constant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
add isl_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
is
l
_map_fas
t
_is_uni
v
erse: also detect red
u
n
d
ant rep
r
es
e
ntati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n Verdoo
l
aeg
e
a
dd isl
_
map_r
e
aching_path_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n Verdoolaege
isl_
m
a
p_power: delay equat
i
ng path l
e
ngth
s
to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
e
n Verdoolaege
isl_map_p
o
w
er: apply Floyd-War
s
h
a
ll to compute pow
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdo
o
laege
isl_map
_
lexmax:
p
r
o
d
uce
less cr
y
pt
i
c e
r
ror m
e
ssage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
Verdoolaege
fix isl_
b
asic_
m
ap_move_dims
i
n presence of existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoola
e
g
e
i
sl_test:
d
rop
d
ebugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoolaege
isl_transiti
v
e_closure
.
c
: fix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdoolaege
fix
i
sl_map_lex_ge and
i
s
l_map_l
e
x_l
e
in the zero-di
m
ensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sv
e
n Verdoolae
g
e
isl_pr
i
nter
_
print_map: replace variab
l
e by it
s
definitio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
V
e
rdoo
l
aege
p
r
iva
t
e
ly expor
t
isl_basic_
m
ap_fast
_
cmp and isl_basic_m
a
p_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Verdoolaege
isl_dim_set_
n
ame: don'
t
a
ccept na
m
es that look l
i
ke
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaeg
e
isl_convex_hull
.
c: av
o
i
d
s
i
d
e
-
effects in c
a
lls to is
l
_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verd
o
o
l
aege
add
isl_ha
s
h_builtin
commit
|
commitdiff
|
tree
2010-07-04
S
ven Verdoolaege
add isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
S
ven Verdoo
l
aege
doc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
er
d
oola
e
g
e
Mak
e
file
.
am: really include include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
ad
d
isl_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoolaege
doc
:
dro
p
duplic
a
t
e book
t
itle
f
rom
K
elly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolae
g
e
doc: use more explicit notation to
a
v
oid confu
s
ion
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
add
isl_constr
a
int_is_d
i
v
_c
o
nstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
i
s
l_map_
s
implify
.
c: separ
a
te o
u
t isl_basic_map_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
ven Ve
r
doolae
g
e
i
s
l_basic
_
map_from_c
o
nstraint: keep
a
ll d
i
vs,
even
.
.
.
commit
|
commitdiff
|
tree
next