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_stream_read_obj: read reductions
2010-08-18
Sv
e
n Verdoolaege
isl_st
r
eam
_
read_obj
:
r
e
a
d
re
d
uctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
e
rdoolaeg
e
i
sl_input
.
c
:
re
a
d_f
a
cto
r
: fix read
after free
in error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoo
l
aege
isl_stream_err
o
r: print unexp
e
cted identifier name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
S
ven V
e
rdoolaege
re
n
ame isl_pw_qpolynomial_fold_add to is
l
_pw_qpo
l
ynomial_fol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
rdoolaege
doc
:
minor clarification on op
e
rati
o
ns
on u
n
ion sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
add isl
_
union_set_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-11
Sv
e
n
V
erdoolaeg
e
isl_map_gist: also pe
r
form gist in univers
e
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
er
d
oolaege
isl_union_map: constru
c
t
n
e
w
isl_union_map on operations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
i
s
l_u
n
ion_
m
a
p
_is_empt
y
: fix t
y
po t
h
a
t
res
u
lted i
n
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verd
o
olae
g
e
ad
d
i
sl_basic_ma
p
_has_defi
n
i
n
g_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
add
isl_set
_
ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-07
Sven
V
e
rdool
a
ege
i
s
l_printer
_
prin
t
_map
:
fix printing in
lat
e
x
format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
isl_set
_
w
r
ap_facet:
norm
a
lize resulting facet constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verd
o
ol
a
ege
i
s
l_coalesce
.
c: fix typo
i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sv
e
n Ver
d
oo
l
a
ege
isl_pw_qpol
y
nomia
l
_inters
e
ct_domai
n
: s
i
mp
l
ify polynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
is
l
_qpolynomial_m
o
ve_di
m
s:
p
lug mem
o
r
y leak
a
nd fix
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
add isl_pw_qpolynomial_rea
d
_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
erd
o
olaege
add isl_qpo
l
ynomial_fold_subst
i
tute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l_pw_qp
o
lynomi
a
l_intersect
_
d
omain: dr
o
p
p
ieces that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Verdoolae
g
e
isl_m
a
p
_
pro
d
u
ct:
u
s
e
d nested space
s
in
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_
p
w_qpol
y
nomial_bo
u
nd: handle isl_pw_qpoly
n
om
i
als
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
o
o
lae
g
e
supp
o
rt nested isl_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
doc
:
fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ver
d
o
olaege
exp
o
rt isl_
d
im_
t
uple
_
match
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
e
g
e
isl_output
.
c:
e
xtra
c
t
out
c
om
m
o
n
print_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolae
g
e
isl_input
.
c: rea
d
_tu
p
le: const
r
u
c
t isl_dim instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
d
oolaege
doc: remove description of h
o
w
to get the piplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolaege
isl_prin
t
er_print_pw_qpoly
n
omial_fold: print di
m
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
ad
d
isl_pw_qpo
l
ynomial_insert_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Verdoolaege
add isl_set
_
insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
a
dd
i
sl_basic_map_image_is_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
a
void NULL
p
oint
e
r exc
e
ption in isl_basic_map_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verd
o
olaege
fix isl_pw_qp
o
lynom
i
al_
r
e
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_mat_ad
d
_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
a
d
d isl_mat_add_
z
ero_c
o
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sve
n
Verdoolaege
export isl_basic_map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoolaege
hide i
s
l
_
d
im internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
a
dd isl_dim_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoolaege
isl_
b
asic_ma
p
_reset_dim: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
r
doolaege
isl_transitive_closu
r
e
.
c
:
anonymi
z
e input m
a
p
during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_transitive_cl
o
sure
.
c: keep track of doma
i
n
s
f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verd
o
ol
a
ege
is
l
_dim_drop
:
alw
a
ys r
e
move
tu
p
l
e
nam
e
, even if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oola
e
ge
isl_dim_set_tuple_
n
ame:
allow explic
i
t
r
emoval
o
f tu
p
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
add supp
o
rt fo
r
uni
o
n sets and rela
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
isl_tran
s
itive_closure
.
c: extract ou
t
some reusa
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oola
e
ge
a
dd isl_
p
w_qpolynomial_reset_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
r
doola
e
ge
add isl_map_ha
s
_
e
qual_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
ad
d
isl_dim
_
get_h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
isl_dim: allow spe
c
ification of tuple
na
m
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven
Verdoolaeg
e
isl_map_from
_
dom
a
i
n_and_range: impl
e
ment
i
n terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
Verdoola
e
ge
i
s
l_basic_map
_
doma
i
n: pro
p
e
r
ly set dimensi
o
n of resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
privat
e
ly export i
s
l_
s
et_reset_dim a
n
d
i
s
l
_m
a
p
_
reset_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdo
o
laege
i
sl_
m
ap_r
e
ad:
e
xtr
a
ct out read_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_hash_table_foreach: pass
p
oi
n
ter t
o
entry d
a
ta
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
isl_h
a
s
h
_table_
f
oreach: add u
s
er
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
sl_transiti
v
e_closure
.
c: fix double free on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
sl_map_gist
:
use simple hull inst
e
ad of
convex hu
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl_ma
p
.
c
:
fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
isl_cat: read gener
i
c ob
j
ect
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
isl_prin
t
er: add NULL che
c
ks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
make isl_obj_n
o
n
e
a constant
e
xpression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
add isl_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_fast_i
s
_un
i
verse: also detect
redundant represe
n
t
at
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoo
l
aege
add is
l
_map_re
a
ching_path_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verd
o
ola
e
ge
isl_map_power: delay equa
t
ing path leng
t
hs to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Verdoolaege
isl_m
a
p_power: a
p
ply Fl
o
y
d
-Warshall to comput
e
powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Verd
o
o
l
aege
isl_
m
ap_l
e
xm
a
x
:
produce less c
r
y
p
tic
er
r
or
message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoola
e
ge
fix isl_basi
c
_map_move_dims
i
n presence of existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en
V
e
rd
o
olaege
isl_test
:
dr
o
p debuggin
g
o
utput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
erd
o
olaege
isl_t
r
ansitiv
e
_closure
.
c: fix ty
p
o in
co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoolaege
f
ix isl_ma
p
_lex_
g
e and isl_map_l
e
x_
l
e in
the zero-d
i
mensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoola
e
ge
isl_printer_print_ma
p
: replace
variable by i
t
s definiti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
V
e
rdool
a
ege
private
l
y export isl_b
a
s
i
c_map_fast_c
m
p and
isl_bas
i
c_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ve
r
d
o
olaege
i
s
l_
d
im
_
s
et_name
:
do
n
't accept names t
h
at loo
k
like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Ver
d
oolaeg
e
is
l
_
convex
_
hul
l
.
c: avoid side-effects in calls to is
l
_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
e
n
Verdo
o
la
e
g
e
add isl_has
h
_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
V
e
rdoo
l
aege
add isl_int_g
e
t_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Ver
d
oo
l
aege
doc:
f
ix
som
e
typos
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
Makefil
e
.
am: really in
c
lud
e
incl
u
de/i
s
l_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
a
dd isl_
m
ap_
i
s_bij
e
cti
v
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoolaege
doc:
d
rop dupl
i
cate booktitle from Kel
l
y1996clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Ver
d
oolaege
doc: use m
o
r
e
expl
i
cit notation
t
o
avoid
confus
i
on
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
e
ge
a
dd isl_constraint_is_
d
iv_const
r
aint
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdo
o
lae
g
e
isl_map_simpl
i
fy
.
c:
separa
t
e out isl
_
ba
s
ic_map_
i
s_div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
sl_basic_map_fro
m
_cons
t
rai
n
t: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verd
o
ol
a
e
ge
i
sl_b
a
sic_map_from_constr
a
int: only return c
o
py of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl_constrain
t
_add_
d
iv: correctly se
t
l
i
ne to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
dool
a
e
g
e
isl_pip
:
rena
m
e pip_options to a
v
oid c
o
nflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex
_
hull
.
c: init
i
al_fa
c
e
t_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
doc: describe bac
k
ward i
n
compatibl
e
c
h
anges
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: mention dis
c
ussio
n
gr
o
up
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
ol
a
ege
re
n
ame
isl_basic_ma
p
_convex_hull to is
l
_basic_m
a
p_r
e
mov
e
_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_affin
e
_h
u
l
l
.
c
: o
u
t
side_p
o
int
:
fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_r
o
llback: avoid
dou
b
le free on error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
i
s
l_
t
a
b
.
c: t
a
b_m
a
t_pr
o
duct
:
avo
i
d
NULL pointer der
e
f
e
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_extend_con
s
:
a
v
oid NULL pointer dere
f
er
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
impleme
n
t a
n
tiquated is
l
_basi
c
_
s
et_n_* in
t
er
m
s of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_map_
c
onvex_hull: avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
next