repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
configure.in: propagate absolute isl builddir to submodule isl-polylib
2010-11-28
S
v
en Verd
o
o
l
aege
configure
.
in: pro
p
agate absolute is
l
buildd
i
r t
o
s
u
bmodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
S
v
en Verdoolaege
update isl for renam
e
o
f header
f
iles
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolaege
evalue_
f
loo
r
2frac
:
don't ass
u
me coef
f
i
c
ie
n
ts of floo
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_bound: stop testin
g
after p
r
edetermi
n
ed number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
ol
a
ege
barvi
n
ok_bound:
r
ewri
t
e
i
n C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdo
o
laeg
e
barv
i
no
k
_{summate
,
bound}:
take isl inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
t
e
st_bound: swit
c
h to
isl
rep
r
esentation even earl
i
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ve
n
Verdoolaege
test_bound: switch to isl representation e
a
rli
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
iscc
:
add
polynomial ap
p
roximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoola
e
g
e
b
a
r
v
inok_summate:
r
e
w
r
ite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
e
n Verdoolaege
barvinok_summate:
use is
l
interfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sve
n
Verd
o
ol
a
e
g
e
bound
.
cc: d
r
op
d
ead co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven
V
erdool
a
ege
do
c
:
m
o
r
e infor
m
ation about using se
t
s a
n
d m
a
ps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sv
e
n
V
erdoolaege
d
o
c: update some
references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
iscc: ad
d
poly
o
peration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolae
g
e
iscc: add scan operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
is
l
_pw_q
p
olynomial
_
s
u
m
:
handle exi
s
tentials in
wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoola
e
ge
update isl
for
r
enami
n
g of isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sve
n
Verd
o
olaege
version
.
c
:
show u
s
e o
f
CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolaeg
e
doc: a bi
t
m
ore info
o
n
iscc
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n Verdoola
e
g
e
isc
c
:
a
dd before and af
t
er operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
is
c
c: add
i
den
t
it
y
o
perati
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n
Verdoolaege
i
scc: break out off
main loop
w
hen printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ver
d
oolaege
isc
c
:
sup
p
ort extende
d
PolyLib o
u
tput
f
ormat
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
V
erdoolaege
con
f
igure
.
i
n
: pe
r
form check
f
or GMP support in N
T
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
e
ge
isl_Pol
y
h
e
dron_Sample:
a
dd mi
s
sin
g
initialization
commit
|
commitdiff
|
tree
2010-10-11
S
ve
n
Verdoolaege
iscc: add c
o
mposition operat
i
on on
piecewise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoola
e
ge
iscc
:
a
dd dependence analysis
o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
V
erdool
a
e
ge
iscc: re
g
ister ext
r
a keywords
in ge
n
eric way
commit
|
commitdiff
|
tree
2010-10-11
S
ven Ver
d
oolae
g
e
use isl to perform "m
a
n
u
al_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
dool
a
ege
a
l
low building
w
ithout
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyhedron_Red
u
c
ed_Basis: option
a
l
l
y use isl
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaeg
e
fi
x
dependence
on build isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoola
e
ge
isl_map_card: use isl
f
or factor
i
zation
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl
_
m
a
p_
c
ard:
split d
i
mension
fiddling
from
c
onv
e
r
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolaege
is
l
_ma
p
_card: use isl_pw_qpoly
n
omial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
b
arvin
o
k 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
upda
t
e is
l
for fi
x
in pa
r
amete
r
align
m
ent
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdo
o
laege
barvinok
0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
S
ven Ver
d
oolae
g
e
isc
c
:
a
dd
lexicogra
p
hic operat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Ve
r
doolaeg
e
updat
e
isl to vers
i
on 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven
Verdoolaege
iscc:
add "source" operation
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
Verdoola
e
ge
i
scc: add suppor
t
for stri
n
gs
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
is
c
c:
p
ri
n
t
error message on
u
s
e
of
unknow
n
id
e
nt
i
fier
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
iscc: support union sets in
vertices o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add isl_l
i
s
t
_co
n
cat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdool
a
ege
barvinok_bound: use i
s
l to spl
i
t per
i
ods
commit
|
commitdiff
|
tree
2010-09-05
S
ve
n
Verdo
o
laege
u
p
date isl for isl_pw_q
p
olynomial_
s
pli
t
_period
s
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoolaege
doc: ma
r
k
Pol
y
Lib inter
f
ace o
b
solesc
e
nt
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n V
e
rdoo
l
ae
g
e
Makefile
.
am: drop refe
r
e
n
ces to ob
s
olete @bv_barv
i
nok
_
bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oo
l
a
e
ge
ev
a
lue_con
v
e
r
t
.
cc
:
e
v
alue_print_isl: pri
n
t end
-
o
f
-
l
i
n
e
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
erdoolaege
i
scc: allow coer
c
ion
of bin
a
ry list
i
nto fi
r
st ele
m
ent
commit
|
commitdiff
|
tree
2010-08-28
Sven Ve
r
doolaege
barvinok_boun
d
: c
o
n
vert to isl_pw_qp
o
lynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verd
o
olaeg
e
barvinok_bou
n
d:
use isl to sp
l
i
t
o
n domai
n
size
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Ver
d
oola
e
ge
set s
e
nsible
defau
l
t
s with --
p
ol
y
nomia
l
-ap
p
roximatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoola
e
ge
is
l
_pw_q
p
olynom
i
a
l
_
sum: reuse barvinok_options if a
v
ailab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl_map_card
:
reuse barvin
o
k_optio
n
s
i
f available i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
upda
t
e
i
sl for
aligning paramet
e
rs of u
n
ion arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
:
add "join"
o
perat
i
on on fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
iscc:
add "j
o
in
"
operation on maps and
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolae
g
e
iscc:
s
upport addition
on a
p
air of a fold a
n
d a qua
s
i
p
olyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
do
o
laege
updat
e
i
s
l for
adding types to isl
_
{union_,}p
w
_qpol
y
nomial_folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ver
d
o
o
laege
a
llow codegen on
s
e
ts
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
iscc: codegen:
detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
is
c
c
:
u
se simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoo
l
a
e
g
e
u
p
date
i
s
l
for rename
of isl_pw_q
p
olyno
m
ial
_
fold_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
iscc
.
c: union_pw
_
qpoly
n
o
m
i
a
l
_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doola
e
ge
summate
.
c: fix t
y
po
i
n
comment
commit
|
commitdiff
|
tree
2010-08-17
S
ven Ve
r
doola
e
ge
isl_map_ap
p
ly_p
w
_qpo
l
yn
o
mial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdool
a
ege
update
isl f
r
om isl_uni
o
n
_
m
ap
f
ix
e
s
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdoolaege
iscc:
a
ll
o
w inver
s
e on
non
-
union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
iscc: add wrap and
u
n
wrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaeg
e
a
dd isl_union_map_apply_u
n
ion_p
w
_qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erd
o
olae
g
e
is
l
_p
w
_
qpolynomial_sum: handle isl_pw_qp
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
u
p
dat
e
isl
f
or nes
t
ed dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
V
e
rdoolaege
isl_map_card:
p
os
t
pone shuffling around of dimens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdo
o
laege
update
i
sl for isl_basic_map_mov
e
_dims
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ve
r
doolaege
isl_pw_qpol
y
n
o
mial_sum:
push co
n
version
to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
i
sl_p
w
_
qpolynomial_sum
:
check for unbounded domain
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oo
l
a
e
ge
av
o
id u
s
e of isl_dim interna
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
s
cc: s
u
pport codegen ope
r
a
tion if CLooG i
s
a
v
a
i
l
a
b
le
commit
|
commitdiff
|
tree
2010-07-31
S
ven
Verdoolaege
iscc:
s
witch to u
s
ing unions
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ver
d
oolae
g
e
add isl_union_pw_q
p
olynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
e
g
e
add i
s
l_union_ma
p
_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_qp
o
lynomial_sum: take tuple names into accoun
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_
m
ap_card: preserve full domain d
i
mension inf
o
rmation
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
u
pdate isl for c
h
ange in isl_
h
ash_table_foreac
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdo
o
la
e
ge
barvinok_enumerate
.
c
c
:
fix pri
n
t
f f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
d
o
c:
ad
d
some more papers refe
r
ing to t
h
e library
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
olaege
ba
r
vi
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoo
l
a
e
ge
u
pdate
isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
i
n: properly ad
d
isl f
l
ags and
l
ibs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
o
l
aege
c
o
nfigure
.
in: drop call to g
l
_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
est_
a
p
prox
.
c: f
i
x prin
t
f
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
Verdoolaege
te
s
t_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdool
a
ege
configur
e
.
in: stop compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdoolaege
v
erify_l
e
xsm
a
ller
.
c
: fi
x
typ
o
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
e
r
doolaege
evalue
.
c
:
avoid
u
se
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
evalue_isl
.
c: f
i
x typo
commit
|
commitdiff
|
tree
next