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
remove polytope_minimize application
2011-01-16
Sven Verdoolaeg
e
r
emove
polyt
o
p
e
_
m
inim
i
ze app
l
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
e
g
e
Polyhedr
o
n_Sample:
u
se isl uncondit
i
onally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
remove
c
o
m
bine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ver
d
oola
e
ge
buil
d
libisl an
d
l
i
bpolylibgmp before
l
ibisl-polyl
i
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
isc
c
: su
p
p
ort app
l
ication of piecewise quas
i
poly
n
omial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdool
a
ege
doc:
fi
x
d
oc
u
mentation of
j
o
i
n of ma
p
s
a
n
d folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
add isl_
u
nion_s
e
t_apply_un
i
on
_
pw_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
update isl
for ex
p
ort of
i
sl_union_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoo
l
aege
iscc: add writ
e
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdool
a
ege
i
s
cc: optionally dis
a
bl
e
r
e
a
d o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolaege
doc: ex
p
lain c
o
mma
o
p
e
rator in a
se
t
d
e
sc
r
iption
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc:
add ty
p
e
of operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
ad
d
i
s
l_str_from_
s
tring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
ol
a
ege
is
c
c
.
c
:
use C99 designate
d
initial
i
ze
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
aege
i
s
cc: min
o
r improvement in e
r
ror me
s
s
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdoola
e
ge
iscc:
add domain_map and range_map
ope
r
a
t
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
o
o
laege
i
s
cc: add "domain" and "range" synon
y
ms
for "dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
e
r
d
oolaege
update isl to ve
r
sion 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
e
g
e
iscc: don't allow code
g
e
n
eration on union se
t
s of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Ve
r
do
o
l
aege
update isl
to ve
r
sion 0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven
V
er
d
oolaege
avoid use of
i
sl_set and
i
sl_map int
e
r
na
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdool
a
ege
sep
a
r
ate out isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdool
a
ege
configure
.
in:
p
ropa
g
ate abso
l
ute isl builddir
t
o submodul
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sve
n
V
erdool
a
ege
upd
a
te i
s
l for rename of header f
i
l
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en
V
e
r
doolaege
evalu
e
_floor2frac: don't assume coefficients of floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaeg
e
test_bound:
stop testing after prede
t
ermin
e
d number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
barvinok_bound: rewr
i
te
in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolae
g
e
b
arvinok_{summate,bound
}
: take is
l
in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
ola
e
ge
test_bou
n
d: switch to
isl
represen
t
atio
n
even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
e
rd
o
olaege
te
s
t_bound: switch to
i
sl
representation earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaeg
e
iscc: add
p
olyn
o
mial
approximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven
Ver
d
oolaege
barv
i
n
o
k_summate: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok_summate:
u
se
isl
inte
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sve
n
V
e
r
d
oolaeg
e
bound
.
cc: drop dead cod
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolae
g
e
doc:
m
ore infor
m
atio
n
about u
s
ing sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
e
r
d
o
o
laege
d
o
c
: update some references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ve
r
d
o
olaege
iscc:
a
dd pol
y
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
iscc
:
ad
d
scan operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven V
e
rdoolaege
isl_pw_qpolynomial_sum: handle exist
e
n
t
ials in wrappe
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
S
ven Verdo
o
laege
update
i
sl for re
n
a
ming of isl_map_r
e
move
commit
|
commitdiff
|
tree
2010-10-20
Sven V
e
rdool
a
ege
versio
n
.
c:
s
h
o
w use of
C
LooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
doc
:
a bit more
i
nfo on iscc
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n
Verdoo
l
aege
iscc: add bef
o
r
e
a
nd after
operations
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ver
d
oolaege
iscc: a
d
d identity operation
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
is
c
c:
b
reak o
u
t off main loop
w
hen printe
r
n
o
l
onge
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
isc
c
: support extended PolyL
i
b
output fo
r
mat
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ver
d
o
olaeg
e
configure
.
in: perform check for G
M
P support i
n
NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
isl_
P
oly
h
edro
n
_Sampl
e
: add m
i
ssing initialization
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
Verdoolaege
is
c
c: add compo
s
itio
n
operation on piecewise quasipolynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
i
scc
:
ad
d
dependence analy
s
is op
e
rat
i
on
s
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
e
rdoolaege
iscc: r
e
gi
s
ter extra
keywords in
g
eneric way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaeg
e
use
isl to
perfo
r
m "ma
n
ua
l
_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
a
l
low buildi
n
g
w
ith
o
ut piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaeg
e
Polyh
e
dron_Reduced_
B
asis: optional
l
y use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoola
e
ge
fix dependence on b
u
ild is
l
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Ver
d
o
olaege
isl_map
_
card: us
e
isl for factoriza
t
io
n
commit
|
commitdiff
|
tree
2010-09-14
Sve
n
Verdool
a
ege
isl_ma
p
_ca
r
d: spl
i
t dim
e
nsion fiddling fr
o
m conversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoo
l
aeg
e
isl_map_ca
r
d
: us
e
isl_pw_qpolyno
m
ial_sum
i
f re
q
ues
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
V
erdoolaege
update isl for
fix in parameter ali
g
nmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add lex
i
c
o
graphic
operato
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolae
g
e
update
i
sl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoola
e
ge
iscc:
a
d
d "sou
r
ce" opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: add suppor
t
for stri
n
gs
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: pr
i
nt erro
r
me
s
sage on use of unkn
o
wn identifi
e
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
l
aege
iscc:
s
uppor
t
u
nion sets in
v
ertice
s
operation
commit
|
commitdiff
|
tree
2010-09-06
S
v
en
Verd
o
ola
e
ge
add isl_li
s
t_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barv
i
no
k
_b
o
und:
u
s
e
isl to
s
plit periods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
update isl fo
r
is
l
_
p
w_qpolynomial_split_period
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc:
m
ark Poly
L
ib
inte
r
face obsolesce
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdool
a
ege
Make
f
ile
.
am:
d
rop
r
eferences to obsolete @bv
_
barvinok_b
o
und@
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoo
l
aege
evalue
_
c
on
v
ert
.
cc: evalu
e
_p
r
in
t
_
isl:
p
rint end-
o
f-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
Sven Ve
r
d
o
o
l
aege
iscc
:
allow coercion o
f
bi
n
ary list
i
nto first
element
commit
|
commitdiff
|
tree
2010-08-28
Sven Ve
r
doolaege
b
arvinok_
b
ound:
con
v
ert to isl_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
S
ven
V
e
r
dool
a
e
ge
barvinok_b
o
und: use isl to split
on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolae
g
e
set sen
s
ible defaults w
i
th -
-
polyn
o
mial-approximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n
V
erd
o
o
l
aeg
e
i
s
l_pw_qpolynomia
l
_sum:
reuse barvino
k
_optio
n
s if availab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n
V
e
rd
o
olaege
isl_
m
ap_card: reuse barvinok_options if a
v
ailab
l
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
update
i
sl for aligning pa
r
ameters of union argum
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
isc
c
:
a
d
d
"join" operati
o
n on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
i
sc
c
:
a
d
d "j
o
in" operation on
m
aps
and f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
o
o
laege
is
c
c
:
supp
o
r
t
addition
o
n a
p
air of a fold
a
nd a quas
i
polyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
up
d
a
t
e isl f
o
r addi
n
g types to
isl_{union_,}pw_qpolynomial_f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow c
o
deg
e
n
on se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
e
rdoolaege
iscc: codegen:
d
et
e
ct s
t
rides
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
iscc: u
s
e simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoo
l
aege
update isl f
o
r rename of
i
s
l
_pw_
q
poly
n
omial_fold_ad
d
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
a
ege
iscc
.
c
: un
i
o
n
_pw_qpoly
n
omial_upper_b
o
u
n
d: fix memor
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
summa
t
e
.
c:
f
ix typo
i
n
c
o
mment
commit
|
commitdiff
|
tree
2010-08-17
Sven Ver
d
oo
l
aege
isl_map
_
app
l
y_pw_qp
o
lynomia
l
: fi
x
typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdo
o
laege
u
p
date isl from
i
sl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
e
r
doola
e
ge
iscc: allo
w
inverse on
n
o
n
-
un
i
on
m
aps again
commit
|
commitdiff
|
tree
2010-08-05
S
v
en V
e
rdoolaege
iscc: add wrap and unwrap ope
r
ations
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
add isl_union_m
a
p_ap
p
ly
_
u
nion
_
pw_qpolynom
i
al
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ver
d
oolaege
isl_pw_qpolynomial_sum: handl
e
is
l
_pw_qp
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdo
o
l
a
e
ge
update isl fo
r
nested dimension spec
i
fic
a
tions
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
isl_map_card
:
po
s
tpone shuffli
n
g aro
u
nd o
f
di
m
ens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Ve
r
doolaege
u
pdate
i
sl for isl_basic_ma
p
_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
er
d
o
o
l
aege
isl_pw_q
p
olynomial
_
sum: push c
o
nvers
i
on to
Poly
L
i
b
.
.
.
commit
|
commitdiff
|
tree
next