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
configure.ac: use non-deprecated form of AM_INIT_AUTOMAKE
2010-11-12
Sve
n
Ve
r
doolaege
i
scc: add poly
n
omial approxim
a
t
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoo
l
aege
barvinok_summate: rewrite
i
n
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdo
o
la
e
ge
barvinok_summate: use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
b
ound
.
cc: drop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
S
ven Verdool
a
eg
e
d
o
c: mo
r
e
i
nf
o
rmation a
b
out u
s
ing
s
ets
an
d
m
aps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: update s
o
me references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolae
g
e
iscc:
add poly oper
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sve
n
V
e
rdoolaege
i
s
cc: add
scan operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sv
e
n
V
erd
o
ola
e
ge
i
sl
_
p
w
_qpolyno
m
ia
l
_sum: handle existen
t
ials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sv
e
n V
e
rdoola
e
ge
update isl fo
r
r
e
nam
i
n
g
of isl_
m
ap
_
remo
v
e
commit
|
commitdiff
|
tree
2010-10-20
Sven Verd
o
olaege
version
.
c: show use
o
f C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolaege
doc: a b
i
t more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: ad
d
before and afte
r
operations
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Ve
r
doolaege
i
scc
:
add identity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
o
laege
isc
c
:
break out off main l
o
op when printer
n
o
l
ong
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: support e
x
tended PolyLib
o
utput forma
t
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n V
e
rdoolaege
confi
g
u
r
e
.
in: perform check for
GMP
s
uppo
r
t
i
n
NT
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
l
aege
isl_Poly
h
edron_Samp
l
e: add
m
issing
i
n
i
tial
i
zation
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdool
a
ege
iscc:
add com
p
o
sit
i
on operatio
n
on piecewise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add depend
e
nc
e
analysis operati
o
ns
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
V
er
d
oolaeg
e
isc
c
: regis
t
er extra ke
y
words in ge
n
e
ric way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
use isl to perform "manual_coun
t
"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
allow buildin
g
without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyhe
d
ron_Reduced_Basis: optiona
l
ly use
isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
fix de
p
endence on b
u
ild isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
Verdoolaege
isl_map_card: use is
l
for f
a
ctorization
commit
|
commitdiff
|
tree
2010-09-14
Sve
n
Verdoo
l
aege
isl_map_card: split di
m
ensi
o
n fiddling fr
o
m
c
onv
e
rsio
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
r
doolaege
isl_map_card: use
is
l
_
p
w_qpolynomial_sum
if requ
e
sted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doola
e
ge
update isl
f
or fix in
p
ara
m
eter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erd
o
o
l
aege
b
arvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdoolaege
iscc: add
l
exicographic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
u
p
date isl
t
o v
e
rsion
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
do
o
laege
iscc: ad
d
"s
o
ur
c
e" op
e
r
ation
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
i
scc: ad
d
s
u
ppor
t
for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aege
iscc: p
r
int er
r
o
r messag
e
on use of unkno
w
n identifie
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
is
c
c: su
p
port union set
s
in vert
i
ces operation
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
r
doo
l
a
e
ge
add isl_li
s
t_concat
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdoolaege
barvinok_bou
n
d
:
us
e
is
l
to sp
l
it per
i
o
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
ven Verdoolae
g
e
up
d
ate isl
for isl_pw_
q
p
o
l
y
n
omial_split
_
perio
d
s
commit
|
commitdiff
|
tree
2010-08-31
S
ven
V
erdoolaege
d
oc: mark
PolyLib interface obsolescen
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoola
e
ge
Mak
e
fi
l
e
.
a
m
:
drop referenc
e
s to obs
o
lete @bv_
b
arvinok_b
o
und@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
e
v
alue
_
co
n
v
ert
.
cc: evalue_pri
n
t_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Ver
d
oolae
g
e
iscc: allow coercion
of binary list int
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n V
e
r
do
o
la
e
ge
barvinok_bound: convert
to isl_pw_qpolynomial o
n
ce
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_bound: use isl to sp
l
it o
n
doma
i
n size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set
s
ensible defaults with
--pol
y
nomial-appro
x
i
mation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verd
o
olaege
isl_pw
_
qpolynomial_sum: reu
s
e ba
r
v
i
nok_op
t
ions if av
a
ilab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
o
l
aege
is
l
_map
_
card: reuse bar
v
inok_options if
avail
a
b
l
e i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
upd
a
te isl for al
i
gning
p
a
ram
e
t
ers of
u
nion arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
is
c
c
: add "join" op
e
ration o
n
fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
erdoolaege
i
sc
c
: add "
j
oin" operation on maps
a
nd folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaeg
e
iscc: support addi
t
ion on a pair of a fold
and a quasi
p
o
l
yno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
updat
e
isl for adding
t
ype
s
to isl_{u
n
ion_,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
e
r
doolaege
allow codegen
on sets
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdo
o
laege
iscc: cod
e
gen: detect str
i
d
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
er
d
oo
l
aege
iscc:
u
se simplif
i
ed CLooG in
t
er
f
a
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
upda
t
e i
s
l
for
r
ename of
isl_pw_qpolynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: uni
o
n_p
w
_qpolyno
m
ial_upp
e
r_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdool
a
ege
i
s
l_map_apply_pw_qpolynom
i
al:
fix
typo
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdoolaege
upda
t
e is
l
from i
s
l_union_
m
ap fixes
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verdoolaege
i
s
cc:
allow
in
v
erse on non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: add wrap a
n
d
unw
r
ap operatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verd
o
olaege
ad
d
isl_union_map_
a
pply_uni
o
n_pw_qpoly
n
o
m
ia
l
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
isl_p
w
_qpolynomial_sum:
handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl
for
nested dimension spe
c
i
fic
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
d
o
olaege
isl_map_card: po
s
tpone s
h
uff
l
ing arou
n
d of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
updat
e
isl f
o
r isl_ba
s
ic_map_m
o
ve_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpolynomial_sum: pu
s
h conve
r
s
i
on to P
o
lyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
V
erd
o
o
l
aege
isl_pw_qpolynomial
_
su
m
: c
h
e
c
k
f
or unbou
n
d
ed domains
commit
|
commitdiff
|
tree
2010-08-02
S
ve
n
V
erdoolaege
avo
i
d use of isl_
d
im inter
n
als
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
r
d
ool
a
ege
iscc: support c
o
degen opera
t
i
on if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
iscc
:
swi
t
ch to
using unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
Verdoolae
g
e
add isl_uni
o
n_pw_qpolynomial_
s
um
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
add isl_u
n
i
on
_
map_card
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdo
o
laege
isl_
p
w_
q
p
o
lynomial_s
u
m: tak
e
tup
l
e names i
n
to account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card: preserve
full domain dimension info
r
ma
t
i
on
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erd
o
olaege
update isl for
c
hange i
n
isl_
h
as
h
_table_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdoolaeg
e
barvinok_en
u
mer
a
t
e
.
cc: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-07-03
S
v
en Verd
o
o
l
aege
doc:
a
dd so
m
e more pap
e
rs referin
g
t
o the
library
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erdoolaeg
e
barv
i
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoolaege
update isl to ve
r
sion 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaege
co
n
f
i
gure
.
in: properly
a
dd isl flag
s
and libs t
o
pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
config
u
re
.
in
:
drop
c
all to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ver
d
o
olaege
genfun
.
cc: fi
x
pr
i
ntf f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaeg
e
test_appr
o
x
.
c:
fix
print
f
forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_boun
d
.
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
o
o
laege
configure
.
i
n: s
t
o
p
com
p
il
i
ng Omega b
y
defa
u
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verif
y
_lexsmaller
.
c: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
do
o
l
a
ege
e
v
alue
.
c: avoi
d
use of
al
l
oca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
e
value_isl
.
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-20
S
v
e
n
Verdoolae
g
e
iscc
:
reco
v
er from errors
commit
|
commitdiff
|
tree
2010-06-20
S
ven
Verdoo
l
a
e
ge
update isl for improved er
r
o
r
handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
iscc
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc:
iscc: upd
a
te do
c
u
m
entation o
f
"ub" operat
o
r
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
t
e
st_approx:
i
nclude ct
y
pe
.
h
f
or isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
test_a
p
prox: include co
n
f
i
g
.
h for
H
A
V
E
_SYS_T
I
MES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
test_
b
ound: incl
u
de config
.
h for HAV
E
_
S
YS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
iscc:
a
dd vertices
o
perations
commit
|
commitdiff
|
tree
next