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
add isl_union_set_polyhedral_hull
2010-08-26
Sven Verdoolaege
argument parsin
g
: add
I
SL_ARG_USER_OPT_CHOICE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-26
S
ven Ve
r
d
o
ola
e
ge
a
l
i
g
n
p
a
r
a
meters
o
f
u
n
i
on arg
u
ments
t
o binary functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolaege
a
dd isl_dim_repl
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolae
g
e
add isl_union_*
_
dump for debugging
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolaege
clean up is
l
_pw_qp
o
lynomial_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
r
d
oolaege
isl
_
union_templ
.
c: minor
c
lean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
d
o
olaege
add isl_mat_insert_zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
add
isl
_
basic_map_get_
c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-24
Sven Verdoolaege
isl_map_read_
f
ro
m
_
str
:
p
a
r
s
e tuple entrie
s
w
ith
l
eading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
ad
d
i
s
l_m
a
p_
a
pply_pw
_
qpolynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
a
dd isl_u
n
ion_pw_qpolynomi
a
l_fold_get_
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
er
d
oolaege
add
isl_p
w
_qpolynomi
a
l_fold_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdool
a
ege
a
dd i
s
l_u
n
ion_pw_qpolynomial_fold_add_u
n
ion_pw_qpolynomia
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
add type to isl_{
u
nio
n
_,}pw_qpolynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
rdool
a
ege
fi
x
i
s
l_qpoly
n
omial_fold_reset
_
d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdool
a
ege
isl_input
.
c: read_term: allow ter
m
s starting with neg
a
tive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isl_union_pw_qpolynomial_add_pw_qpol
y
nomial: don'
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdool
a
ege
is
l
_stream
_
read_obj: read
r
eductions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
i
s
l_inpu
t
.
c: read_factor: f
i
x read
aft
e
r free in err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
ae
g
e
isl_stre
a
m_error: print
u
ne
x
p
ected ide
n
tifier nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
r
e
na
m
e i
s
l_p
w
_
qpolynomial
_
fold_add to isl_pw
_
qp
o
lynomia
l
_
fol
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
doc:
minor cla
r
i
f
icat
i
on on operations on union sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
add
i
sl_
u
nion_set_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-11
S
v
e
n Verdoolaege
isl_
m
ap_gist: also
p
erform g
i
st in
u
niverse context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
S
v
e
n
Verdoolaege
isl_un
i
on_
m
ap: construc
t
new isl_union_map
on operations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdool
a
ege
i
sl_union
_
map_is_empty: fix
t
yp
o
that r
e
sul
t
ed
in memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
a
dd isl_basic_
m
ap_
h
as_defining_equal
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sv
e
n V
e
rdoolaege
ad
d
isl_set_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-07
Sven Verdoolaege
isl_p
r
i
nter_print_map: fix printing in l
a
tex forma
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolae
g
e
i
s
l
_
set_wr
a
p_facet: normalize
resultin
g
facet constrain
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
doolaege
isl_coalesce
.
c: fix typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
isl_p
w
_qpolynomi
a
l_intersect_domain: si
m
pl
i
f
y
p
olynomials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
isl_qpolyn
o
mial_mo
v
e_dims: plu
g
m
e
mo
r
y le
a
k and
f
ix
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolae
g
e
ad
d
is
l
_pw_qpolynomial_re
a
d_from_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
erdoolaege
add isl
_
q
p
olynomi
a
l_fo
l
d
_
subst
i
tute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doola
e
ge
isl_
p
w_qpolynom
i
al_interse
c
t_dom
a
in: drop pieces that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
is
l
_map_product:
u
sed nested spaces
i
n r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
i
sl_pw_qpol
y
nomial_bound: handle isl_pw_qpolynomials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoola
e
ge
support nest
e
d isl_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
e
xport
isl_dim_tuple_
m
at
c
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_output
.
c: extrac
t
out common p
r
int_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
d
oolaege
isl_
i
nput
.
c: read_t
u
ple:
c
o
n
stru
c
t
i
s
l
_
dim instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolae
g
e
doc: remo
v
e
de
s
cr
i
pti
o
n
o
f
how
t
o
get the piplib s
u
b
m
o
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
i
s
l_p
r
i
nt
e
r_print_pw_qpolynomial_fo
l
d: print dim as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
add isl_pw_qpolynomi
a
l
_
insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
e
rdoolaege
add
i
sl_set_
i
nsert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
e
rdoolae
g
e
a
d
d isl_
b
asic_map
_
image_is_boun
d
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Ve
r
doolaege
av
o
id NULL pointer exc
e
p
t
ion in isl_b
a
sic_map
_
n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
ool
a
e
g
e
f
ix isl
_
pw_qpoly
n
omial_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
V
e
rdoolaege
add isl_mat_add_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
add isl_mat_add_zero_c
o
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verdoolaeg
e
expo
r
t
i
s
l_ba
s
ic_map_mov
e
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoo
l
aege
hide isl
_
dim internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
e
r
d
o
olaege
a
d
d is
l
_dim_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_
b
asic_map_reset
_
dim: f
i
naliz
e
resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
isl_transitive_closure
.
c: anon
y
mize
i
n
p
u
t map
dur
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoolaeg
e
isl_transiti
v
e
_closure
.
c: kee
p
track of dom
a
in
s
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdo
o
laege
i
s
l_dim
_
drop: always rem
o
ve tuple name, eve
n
if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoolaeg
e
isl_dim_set_tuple_
n
ame: all
o
w explic
i
t remov
a
l of tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add supp
o
r
t
f
or
u
nion
s
ets and
r
e
lati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_
t
ransit
i
ve_closure
.
c:
extract out some reusable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
dd isl_pw_q
p
o
l
y
n
o
m
i
al_r
e
set_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoo
l
ae
g
e
add isl_map_has_equal_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add is
l
_dim_ge
t
_has
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolae
g
e
isl_dim
:
all
o
w
s
p
ecification of tupl
e
n
a
me
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
i
sl_map_from_domain_and_range: implement i
n
terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
isl_basic_m
a
p
_
domai
n
: properl
y
set dimension of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Ve
r
d
o
olaege
privately export isl_set_
r
es
e
t_dim and isl_map_res
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aeg
e
isl_map_read:
ex
t
ract
out read_v
a
r_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n V
e
rd
o
o
l
a
ege
i
sl_hash_table_forea
c
h: pass poin
t
er
to ent
r
y data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
isl_h
a
sh_tabl
e
_foreach:
a
dd user argum
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
isl_transitive_closur
e
.
c: fix double
f
ree on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_m
a
p_
g
ist: use simple hull
i
nstead
o
f
convex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
is
l
_ma
p
.
c: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
i
sl_c
a
t
:
read gener
i
c objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoo
l
aege
is
l
_
printer: add
N
U
LL chec
k
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
make
i
sl_o
b
j_none
a constant expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
dool
a
ege
add isl_map
_
get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdo
o
la
e
g
e
isl_ma
p
_fast_is_univ
e
rse: also detect
r
edundant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
doolaege
add isl
_
map_reachin
g
_path_lengt
h
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Verdoolaege
i
s
l
_m
a
p_
p
ower: delay equating
pat
h
lengths to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verd
o
olaege
i
s
l_map_power: a
p
ply Floyd-Warsha
l
l t
o
compute
power
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_lexmax: pr
o
d
u
ce less
crypti
c
error me
s
s
age
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix
isl_
b
a
s
ic_map_mov
e
_dims in
presence of existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_tes
t
: dro
p
debuggi
n
g
o
utput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
V
e
rdoo
l
a
ege
isl_transitive_closure
.
c: fix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
olaege
fix isl_ma
p
_
l
ex_ge and isl_map_lex_le in the zero-dimension
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolae
g
e
i
s
l
_printer_p
r
int_map: replace var
i
able
by its
definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
ven
Ver
d
oolaege
pr
i
v
ate
l
y export i
s
l
_
basi
c
_map_f
a
st_c
m
p an
d
isl_
b
asi
c
_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Verdoolae
g
e
isl_dim_set_na
m
e: don't acc
e
pt names t
h
at look
l
ike
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
S
ven Verdoolaege
isl_conve
x
_hull
.
c: avoid sid
e
-effects in c
a
lls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
Verdoolaege
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n
Ve
r
doolaege
add isl_
i
nt_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Ver
d
oo
l
a
e
ge
doc: f
i
x some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolae
g
e
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oo
l
aege
Make
f
ile
.
a
m
: really i
n
clude
i
nclude/is
l
_verti
c
es
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
add isl_map_is_b
i
jective
commit
|
commitdiff
|
tree
2010-06-28
S
v
e
n
Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaeg
e
doc: drop duplicate booktitle fr
o
m Kelly19
9
6closure
.
.
.
commit
|
commitdiff
|
tree
next