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
update isl to version 0.05.1
2011-01-05
Sven
V
erdool
a
ege
update isl t
o
version 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdoolaege
iscc: don't allo
w
c
o
de generation on union se
t
s of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaeg
e
updat
e
isl
to
versi
o
n 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolae
g
e
a
v
oid use of
i
sl_set an
d
i
s
l_map internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoo
l
aege
s
e
p
ar
a
te out isl inte
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven V
e
rdoolaege
configure
.
in: propagate
a
b
s
olute isl
bui
l
ddir to submo
d
ule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdo
o
laege
up
d
ate isl for rename of header fil
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolaege
evalue_floor
2
fr
a
c
:
do
n
't as
s
u
m
e
co
e
ffici
e
nts of floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
o
olaege
test_bound
:
stop testing
af
t
er predetermin
e
d nu
m
b
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaeg
e
barvino
k
_bound: rewrite
in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoo
l
aeg
e
b
a
rvino
k
_{su
m
mate,bound}:
take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Ve
r
doolaege
test_bound
:
switch to isl representation even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
t
est_bound: switch to isl r
e
prese
n
tation earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
iscc:
a
dd p
o
lynomial approximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok_summate: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven
V
erdool
a
e
g
e
barvinok_su
m
mate:
u
se isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven V
e
rdoolaege
bou
n
d
.
cc:
d
rop
dead cod
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sv
e
n Ve
r
doolaege
doc: mor
e
information about usin
g
sets
and map
s
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdoolaege
doc: update
some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
iscc: add poly op
e
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
S
v
e
n
V
e
rd
o
o
l
aege
iscc:
add scan o
p
e
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_pw_qpo
l
ynomial_sum:
h
and
l
e
e
xistentials
i
n wrap
p
ed
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
S
ven Ve
r
d
oo
l
aege
update isl for rena
m
ing of isl_map_re
m
o
v
e
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
ver
s
ion
.
c: sho
w
u
se of CLoo
G
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
ge
doc:
a
bit more info o
n
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaeg
e
iscc: a
d
d before and after o
p
erations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
iscc: add
identity
o
p
eration
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
r
d
o
olaege
iscc
:
break
out off ma
i
n l
o
op when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: su
p
port ext
e
nded PolyLib output
fo
r
m
a
t
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
c
o
nfigure
.
i
n:
p
erfo
r
m check
for GMP support
in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdo
o
la
e
ge
i
sl_P
o
ly
h
e
dron_
S
ample: add missing
i
n
itializ
a
tion
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
e
rdoolaege
i
scc: a
d
d c
o
mposit
i
on op
e
ration on
piece
w
ise qua
s
ipolyno
m
ia
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
i
scc: a
d
d
d
epe
n
dence a
n
alysis o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
er
d
oolaege
iscc: register extra keywords
in generic
w
a
y
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoo
l
aege
us
e
isl to perform "manua
l
_count"
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verd
o
olaege
al
l
ow buil
d
i
n
g
w
ithout piplib
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
Polyhe
d
ron_Reduced_Basis: optionally
use isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
fi
x
de
p
ende
n
ce on
bui
l
d is
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
isl_m
a
p_card:
u
s
e
isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven V
e
rd
o
olaeg
e
i
s
l
_
m
a
p_card: split dimension fiddling
fro
m
convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolaege
isl_map_card: u
s
e isl
_
pw_
q
p
o
lynomial_sum if
r
e
quested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolaege
barvinok
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdool
a
ege
u
p
date isl f
o
r fix in parameter al
i
gnment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolaege
iscc: add lexicographic
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
r
d
oolae
g
e
update isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven V
e
rdo
o
la
e
ge
is
c
c: add
"
sour
c
e" operation
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoo
l
aege
iscc: a
d
d support
for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
i
s
cc: print
error mes
s
age
o
n use of unknown identif
i
er
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
iscc: support union sets
i
n ve
r
tices ope
r
ation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oo
l
a
ege
add
i
s
l_list
_
concat
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
rdoolaege
bar
v
inok_boun
d
: use isl to split p
e
ri
o
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
v
en
V
e
r
doolae
g
e
upd
a
te isl
f
or isl_pw_qpo
l
ynomial_split_period
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
lae
g
e
doc: mark PolyLib interf
a
ce
o
b
solescent
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
e
rdoolaege
Make
f
il
e
.
am: drop references to
o
bsol
e
t
e @bv_barv
i
nok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoola
e
ge
evalue_con
v
ert
.
cc: ev
a
lu
e
_print_isl: print end-
o
f
-
l
ine
commit
|
commitdiff
|
tree
2010-08-30
Sven Ve
r
d
o
o
l
aege
iscc
:
a
l
low c
o
ercion of
b
i
nary list into first
ele
m
e
nt
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
laege
barvinok_bound: c
o
nvert to isl_pw_qpoly
n
omia
l
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_bound: use isl to
s
p
l
i
t on do
m
ai
n
size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
s
e
t sensible
d
efaults w
i
t
h --
p
olynomial-appr
o
x
im
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
i
sl_
p
w_qpolynomial_
s
um:
r
euse barvino
k
_op
t
ions if av
a
il
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoo
l
aege
i
s
l_map
_
c
a
rd:
re
u
s
e
barv
i
nok_options if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erd
o
olae
g
e
update is
l
for
a
l
i
gning parameters of u
n
i
o
n arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
ol
a
ege
iscc: add
"join"
operat
i
o
n
on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoo
l
aege
i
scc: add "join" operation on maps an
d
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: support addition o
n
a
p
a
ir of a
fold and
a
quas
i
p
olyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoo
l
aege
update
isl for adding types
t
o isl_{union_,}pw_qpolynom
i
a
l_folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoo
l
aege
a
l
low codegen on set
s
commit
|
commitdiff
|
tree
2010-08-18
S
ven V
e
rd
o
olaege
iscc
:
codegen: detect
s
t
rides
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doola
e
g
e
iscc:
use
s
implified CLoo
G
i
nterface
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ve
r
doolaege
up
d
ate is
l
fo
r
r
ename of
i
sl_pw_qpolynomi
a
l_f
o
l
d
_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
Verd
o
ola
e
ge
iscc
.
c: union_pw_qpolynomia
l
_
upper_bound
:
fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
V
erdoolaege
s
u
mmate
.
c: fi
x
typo
i
n comment
commit
|
commitdiff
|
tree
2010-08-17
S
v
e
n
Ver
d
ool
a
ege
isl_m
a
p_
a
pply_pw_qpolynomia
l
: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
updat
e
isl from
i
sl_union_map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verd
o
olaege
is
c
c
: allow
i
n
v
erse on
n
on-un
i
on map
s
a
g
ain
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laeg
e
iscc: add wrap and un
w
r
ap
o
perati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_union_map
_
ap
p
ly_union_pw_qpol
y
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_q
p
olynomial_
s
u
m
:
h
a
n
d
le isl_
p
w
_
qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
update
i
sl for nested
d
i
m
ension specifica
t
io
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
isl_
m
a
p_card: postpone
shuffling around
of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
d
o
olaege
update isl for isl
_
basic_map_
m
ove_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
er
d
oo
l
aege
isl_pw_qpolynomial
_
sum: push conversion
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaeg
e
isl_
p
w_qpol
y
nomi
a
l
_
sum:
c
hec
k
fo
r
unbounded doma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
av
o
id use
o
f i
s
l_dim internals
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoola
e
ge
isc
c
:
support cod
e
g
en operation if CLoo
G
is availabl
e
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
laege
iscc: switch to u
s
ing un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolae
g
e
add isl_union_pw_qpolyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Ver
d
oolaege
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaeg
e
isl_pw_qpolynomial_
s
um: take tup
l
e names into account
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolae
g
e
isl_map_car
d
: preserve full domain dimen
s
i
on informati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
u
p
d
a
t
e
i
s
l f
o
r chang
e
in isl_hash_ta
b
le_forea
c
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdoolaege
b
arvin
o
k_e
n
umer
a
te
.
cc: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc
:
add some more papers refering
to the library
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
d
ool
a
ege
upd
a
te isl to versi
o
n 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
e
ge
configure
.
in: properly a
d
d isl flags and libs to pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
ola
e
ge
c
onfigure
.
in: drop c
a
ll
to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
genfu
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_appro
x
.
c
:
fix
printf f
o
rmat
commit
|
commitdiff
|
tree
next