repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
separate out isl interface
2010-11-28
Sven Verdoolaege
s
e
parate o
u
t
i
s
l interf
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
co
n
fi
g
ure
.
in:
propag
a
te
absolute isl
b
u
ilddir to submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
update isl for r
e
n
a
me of he
a
der files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
ev
a
l
u
e_floor2
f
r
ac:
don't as
s
ume coefficients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
test
_
bound: stop t
e
sting
a
fter pr
e
determine
d
n
umber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
bar
v
in
o
k_b
o
und: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ve
n
Verdoolaege
bar
v
ino
k
_{summate
,
b
ound}: ta
k
e isl inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
erd
o
olaeg
e
test_bound: switch to is
l
representatio
n
e
ven ear
l
i
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
t
est_bo
u
nd: switch
to is
l
r
epresentation earli
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
iscc:
a
dd pol
y
nomial appr
o
ximations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolae
g
e
barvinok_summate: rewr
i
t
e
in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaeg
e
barvinok
_
summate: use is
l
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
ven Verdoolaege
b
o
und
.
c
c: drop dead cod
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
doc: more
i
nfo
r
m
ation about using sets and maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
erdoolaege
d
oc: upd
a
t
e some
references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Ver
d
ool
a
ege
iscc: add poly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sve
n
V
erdoolaege
iscc:
add scan operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdool
a
ege
isl_pw_
q
pol
y
nomial_sum: h
a
n
dle existentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven
Verdoola
e
g
e
updat
e
i
s
l for
r
enaming of isl_map
_
rem
o
ve
commit
|
commitdiff
|
tree
2010-10-20
Sven V
e
rdoolaege
v
e
rsion
.
c
:
show use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
v
en V
e
rd
o
ola
e
ge
d
o
c
: a bit more
in
f
o on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
Ver
d
oolaege
i
scc: ad
d
before and after oper
a
tions
commit
|
commitdiff
|
tree
2010-10-18
S
ven
Verdoo
l
aeg
e
iscc: add ide
n
tity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
iscc: break
out
off main loo
p
when printer
no
l
onger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
s
cc
:
s
upp
o
rt extended
PolyLib
output format
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
config
u
re
.
in: perfor
m
check for GMP support in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
iscc: add
c
o
m
position operation on
p
ie
c
ew
i
se quasi
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erd
o
olae
g
e
is
c
c
:
ad
d
depe
n
d
en
c
e analy
s
is operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: regis
t
e
r
extra
k
e
y
words in ge
n
er
i
c
w
a
y
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
use isl to perform "
m
anual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
allow build
i
n
g wit
h
out pi
p
lib
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
Polyhedron_Redu
c
ed_Basis: opt
i
onally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ve
r
d
o
olaege
f
i
x
dep
e
ndence on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
isl_map_card: u
s
e isl fo
r
f
a
ctorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
i
s
l_map_
c
ard: split dimension
f
iddling fro
m
conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
olaege
isl_map_c
a
rd: use
i
s
l_pw_qpolynomial_s
u
m
if request
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
e
n Ve
r
dool
a
ege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoo
l
aege
updat
e
isl for
f
ix in param
e
t
er al
i
gnment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add lexicographic
o
perators
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdool
a
ege
upd
a
t
e
isl t
o
version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
ven
V
erd
o
olaege
i
scc:
a
dd "
s
ou
r
c
e
"
oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doo
l
a
ege
i
scc: add supp
o
r
t
f
or strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc:
p
rint erro
r
m
e
ssage
o
n use of unkno
w
n identif
i
e
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
iscc
:
suppor
t
unio
n
set
s
i
n
vertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
a
dd isl
_
lis
t
_concat
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n
Verdoo
l
a
e
ge
b
arv
i
no
k
_bound: use isl
t
o split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
e
r
d
oolaege
u
pdat
e
isl for isl_pw_qpo
l
ynomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdoola
e
ge
d
o
c: mar
k
PolyLib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefile
.
a
m
:
dro
p
refer
e
nce
s
to obsolete @
b
v_barvin
o
k_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaege
ev
a
l
u
e_co
n
vert
.
cc:
e
value_print_
i
sl:
p
rint end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven V
e
r
d
oolaege
is
c
c
:
a
ll
o
w
c
oercion o
f
binar
y
li
s
t into first element
commit
|
commitdiff
|
tree
2010-08-28
Sven V
e
rdoolaege
b
a
rvinok_
b
o
u
nd:
convert to isl_p
w
_q
p
olynomial
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Ve
r
dool
a
ege
b
arvinok_bound: use isl
to split on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
se
t
sensi
b
l
e defaults with --polynomial-appr
o
ximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
olaege
i
sl_pw_qpoly
n
omial_sum: reuse barvin
o
k_
o
ptions if availa
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolaege
isl_map_card: reuse barv
i
no
k
_options if
a
vailabl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaeg
e
update i
s
l for
a
lign
i
ng parameters of union
arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
is
c
c:
a
dd
"join
"
operation
o
n folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
l
aege
iscc: add "join" operat
i
on on maps and
f
o
ld
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
is
c
c: support addition on a p
a
ir of
a fold and
a
quasipolyn
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven
V
er
d
oolaege
upda
t
e isl for adding
t
ypes
to
isl_{union_,}pw_qpolynomia
l
_fold
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoo
l
aege
allow c
o
degen on sets
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdool
a
ege
iscc: codegen: dete
c
t strides
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoo
l
aeg
e
iscc: use simp
l
ified
CLooG int
e
rfac
e
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
up
d
ate isl for rena
m
e of i
s
l_pw_qpo
l
ynomial_fo
l
d
_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
isc
c
.
c:
union_pw_qpolynom
i
al_upp
e
r_boun
d
: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoola
e
ge
summate
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoola
e
ge
isl_map
_
apply_pw_
q
polyn
o
mial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verdo
o
laege
up
d
ate
i
s
l f
r
om i
s
l_union_map
f
ixe
s
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdoolaege
iscc:
a
l
low inver
s
e on non-union
map
s
aga
i
n
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
e
rdoolaege
i
scc: add wrap and un
w
rap op
e
rations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_uni
o
n_map_app
l
y_union
_
p
w
_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoo
l
aege
isl_p
w
_qpolyn
o
m
i
a
l_sum: han
d
l
e
isl_pw_q
p
olynomial
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
l
a
ege
update isl for nested
dimension
s
pecifica
t
i
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
l
aeg
e
isl_map_card: postpone shuffling
around of dimens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdo
o
lae
g
e
u
pdate isl for isl_basic
_
map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
isl_pw_qpolyn
o
m
i
al_sum: push conve
r
sion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
i
s
l
_pw_
q
polynom
i
al_s
u
m
: che
c
k
for unboun
d
ed
domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olaege
avoid use of isl_dim inte
r
nals
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n V
e
rd
o
olaege
i
scc:
s
u
pport
c
odegen op
e
ratio
n
if CLooG
is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
is
c
c: switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verd
o
ol
a
ege
a
dd isl
_
union_pw_qpolynom
i
al_
s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Ve
r
doolaege
add isl_uni
o
n_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
isl_
p
w_qpolynomia
l
_sum
:
take tuple names into accou
n
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card:
preserve full domain dim
e
nsion
i
nformation
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
u
p
d
at
e
isl for cha
n
ge in
i
s
l
_hash_t
a
ble_
f
o
r
each
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
barvinok
_
enumera
t
e
.
cc: fix print
f
format
commit
|
commitdiff
|
tree
2010-07-03
S
v
e
n
Verdoolaege
doc
:
add so
m
e more papers re
f
ering to
the library
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdool
a
eg
e
barv
i
nok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
update isl t
o
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
con
f
igure
.
in: properly add
i
s
l
flags and libs t
o
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
conf
i
gure
.
in: dro
p
ca
l
l to gl_E
A
RLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
genf
u
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_ap
p
rox
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
la
e
ge
test_bound
.
c:
fix pr
i
ntf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
configur
e
.
in
:
stop c
o
mpiling
Omega b
y
default
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaege
verif
y
_
l
exsmaller
.
c
:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verd
o
olaege
e
val
u
e
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
eval
u
e_isl
.
c: fix t
y
po
commit
|
commitdiff
|
tree
next