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
build libisl and libpolylibgmp before libisl-polylib
2011-01-16
Sven Verdoolaege
buil
d
li
b
isl
and li
b
polylibgmp before libisl-poly
l
ib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
iscc:
s
u
p
port application
o
f
p
iecewis
e
q
uasipolynomia
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ver
d
ool
a
e
g
e
doc:
f
ix doc
u
mentat
i
on
o
f
j
o
in of m
a
ps
a
n
d folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
add i
s
l_union_set_
a
pply_union_pw_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
u
pda
t
e
isl
f
or export of isl_union_map
_
from_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ve
r
doola
e
g
e
iscc: add write operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
s
cc: optio
n
ally disable r
e
a
d
op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven V
e
rdoolaege
d
oc: ex
p
l
a
in
c
o
m
m
a ope
r
ator in a set desc
r
iption
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdo
o
lae
g
e
iscc: add typeof
o
perator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
o
o
laege
ad
d
is
l
_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oolaege
iscc
.
c: use C99 design
a
ted initializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc: minor
i
mpro
v
e
m
ent in error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
Ve
r
doolaeg
e
iscc: add
domain_map and range_map ope
r
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Ver
d
oolaege
iscc: add
"
doma
i
n"
a
nd "ra
n
ge" synony
m
s for "d
o
m" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
o
l
aege
u
pdate isl to ver
s
ion 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdoolaege
iscc: don't allow co
d
e g
e
neration o
n
union set
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
S
v
en V
e
r
d
o
olaege
update isl t
o
version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven V
e
rdoolae
g
e
avoid u
s
e
of
i
s
l_set and isl_map in
t
e
r
nals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Verdoolae
g
e
separ
a
te out isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaeg
e
c
o
n
fig
u
re
.
in: propagate
a
bsolute i
s
l builddir to
s
ubm
o
dule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
up
d
ate
isl
f
or rename of he
a
der
files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oola
e
ge
ev
a
lue_
f
loor2frac: don't a
s
sume coeffici
e
nts
of floo
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
Verdoola
e
ge
test_bound
:
s
top
testing aft
e
r
predetermined nu
m
be
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
b
a
rv
i
nok_bound
:
rewr
i
te in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
laege
barvino
k
_{su
m
mate,bound
}
:
t
ake isl
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoo
l
aege
test_boun
d
: switch
t
o isl represen
t
ation even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en
V
erdool
a
ege
test_
b
ound: switch
to isl represen
t
a
t
ion e
a
r
li
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
d
oolaege
isc
c
: add poly
n
omial approximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdool
a
ege
barvi
n
ok_summate: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven V
e
rd
o
o
laege
bar
v
inok_s
u
mmate: use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven 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 V
e
rdoolaege
doc: mo
r
e
info
r
matio
n
about
using sets
a
nd map
s
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc: upda
t
e so
m
e references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoola
e
ge
iscc: a
d
d poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sv
e
n V
e
r
doolae
g
e
iscc: add scan operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
S
v
en Verdo
o
laege
isl_pw_qpolyno
m
ial
_
sum
:
handle ex
i
stent
i
als
i
n wr
a
pped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolae
g
e
u
pdate isl for renamin
g
of isl_map_rem
o
ve
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
version
.
c: show use of C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
doc
:
a
b
it more info on
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
iscc: add
before and after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olae
g
e
iscc: add identity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
r
d
o
ola
e
ge
i
s
c
c
: b
r
eak out off main
l
oop w
h
en
pr
i
nter no
l
ong
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: suppor
t
extended P
o
lyLib outpu
t
format
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdo
o
laege
confi
g
u
r
e
.
in:
p
erf
o
rm check for
GMP s
u
p
port in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Ve
r
doolaege
isl_Polyh
e
dron_S
a
mple: add
m
issing
initial
i
zation
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
Verdool
a
eg
e
iscc: a
d
d compos
i
t
i
on
operatio
n
on piecewise q
u
asipolyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
iscc:
a
d
d dependence analysis operatio
n
s
commit
|
commitdiff
|
tree
2010-10-11
S
v
en V
e
rdoo
l
aege
iscc: register e
x
tra keywords in generic way
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Ver
d
oola
e
ge
use isl to pe
r
form
"
manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
allow building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
P
olyhedron
_
Reduced_Basis
:
op
t
i
onally use
isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoo
l
aeg
e
fix dependence on bu
i
ld isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
isl_
m
ap_
c
ard: use
isl for fa
c
torizati
o
n
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_c
a
rd: spl
i
t d
i
men
s
i
o
n fid
d
l
i
ng
f
r
o
m
c
onversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_map_c
a
r
d: u
s
e isl_p
w
_
q
polynomial_sum if reques
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaeg
e
barvi
n
ok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoola
e
g
e
update isl for fix in p
a
r
a
meter
alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
barvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoolaege
isc
c
:
a
d
d le
x
icographic operators
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n
V
erdoolaege
update isl
t
o versi
o
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven V
e
rdoolaeg
e
iscc: add
"sour
c
e" operation
commit
|
commitdiff
|
tree
2010-09-06
S
v
en
V
e
rdo
o
laege
iscc: add suppo
r
t for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdo
o
la
e
ge
i
s
cc:
p
ri
n
t error messag
e
on use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: support union sets in verti
c
es operation
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
er
d
oo
l
a
ege
add is
l
_lis
t
_concat
commit
|
commitdiff
|
tree
2010-09-05
S
ve
n
Verdoolaege
barvinok_bound: us
e
isl
to split period
s
commit
|
commitdiff
|
tree
2010-09-05
S
v
e
n V
e
r
doolaege
update
i
sl for
i
sl_pw_qpolyn
o
mial_sp
l
i
t
_periods
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdoolae
g
e
do
c
: mark P
o
l
y
Lib interface obsol
e
sc
e
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdool
a
e
g
e
Makefile
.
am:
d
ro
p
r
e
ferences to
o
b
s
olete
@bv_barvinok_b
o
und@
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdoolaeg
e
eva
l
ue_conv
e
rt
.
cc: eva
l
u
e
_
print_isl
:
pr
i
nt en
d
-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoola
e
ge
i
scc: allow coercio
n
of binary li
s
t
i
n
t
o firs
t
element
commit
|
commitdiff
|
tree
2010-08-28
S
v
en Verdool
a
e
ge
bar
v
in
o
k
_
b
ound: convert to isl_pw_q
p
olyn
o
m
i
al onc
e
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
er
d
oolaege
bar
v
ino
k
_
b
ound: u
s
e isl
t
o
split on d
o
m
ai
n
size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
set sens
i
b
le def
a
ults with --polynomial-approxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_q
p
olyno
m
ial_sum: reuse barvinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erd
o
o
l
aege
isl_
m
ap
_
card: r
e
use
b
arvin
o
k_options if
a
v
a
i
l
able in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
e
rdoolae
g
e
up
d
ate isl for aligning
parameters of un
i
o
n a
r
gument
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdool
a
ege
iscc: add
"
join" operatio
n
on fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
iscc: a
d
d "j
o
in" operation o
n
maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ver
d
oolaege
i
s
cc: suppor
t
addition on a p
a
ir of a f
o
ld
a
nd a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
update isl fo
r
adding
t
y
p
es to isl_{
u
n
i
on_,}pw
_
qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
allo
w
co
d
egen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc: codege
n
: d
e
tect stride
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaeg
e
iscc: u
s
e simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
update isl for rename of isl_pw_qpolynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc
.
c: unio
n
_
p
w_q
p
olynomial_upp
e
r_bound: fix memor
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
sum
m
a
t
e
.
c:
fix typo
i
n
c
omm
e
n
t
commit
|
commitdiff
|
tree
2010-08-17
S
v
en Ver
d
oolae
g
e
isl
_
ma
p
_apply_pw_qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdoolaege
u
pdate isl
f
rom is
l
_uni
o
n
_
map
fixes
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n V
e
rdoolaege
iscc: al
l
ow i
n
verse on non-union maps
a
g
ain
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc: a
d
d
w
ra
p
an
d
unwrap
o
p
erati
o
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_u
n
ion_ma
p
_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ver
d
ool
a
e
g
e
isl_pw_qpol
y
no
m
ia
l
_sum: han
d
le
i
sl
_
pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
a
e
ge
update is
l
for nested
d
i
mension specif
i
cations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
isl_map_card
:
postpone shu
f
fling around o
f
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Ver
d
o
o
la
e
ge
update is
l
f
or
isl_basic_map_move_
d
ims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_
p
w_qp
o
lynomial_su
m
: push conve
r
si
o
n
t
o PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
is
l
_pw
_
qpolyn
o
m
ial_s
u
m
: check
f
or unbounded
domai
n
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid
use of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaeg
e
i
scc:
su
p
port codegen operation if CLooG is
a
v
ail
a
ble
commit
|
commitdiff
|
tree
next