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 polyhedron_range
2011-01-16
Sv
e
n
V
e
r
d
oola
e
ge
remov
e
po
l
yhedr
o
n_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
remov
e
poly
t
ope_mi
n
imiz
e
applicatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
Polyh
e
dron_Sa
m
ple: use isl unconditional
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
remo
v
e com
b
ine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
Verdoolaeg
e
build libisl
and libpo
l
y
li
b
gmp before li
b
isl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
iscc
:
su
p
port ap
p
li
c
ation of pie
c
ewise quasipolynomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
doc: fix do
c
umentation
o
f
join of
maps and folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoo
l
ae
g
e
add isl_union_se
t
_apply_u
n
i
o
n_pw_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olae
g
e
u
p
d
ate
i
sl for expo
r
t of isl_
u
ni
o
n_map_
f
r
o
m_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
i
scc
:
add write operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: o
p
tionally
d
isable read operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Verdoolae
g
e
doc: explain
comm
a
op
e
rator in a set
description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoolaege
iscc: add typeof op
e
rator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
add isl_str_fro
m
_str
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
iscc
.
c:
u
se C99
designated in
i
tializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
ol
a
ege
is
c
c: mino
r
improvement in error
mess
a
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
oolaege
is
c
c
:
add domain_map and range_map oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
Verdoola
e
g
e
iscc: add "domai
n
"
and "range" syn
o
nyms
for
"dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdo
o
laege
u
p
date
i
sl to version
0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
is
c
c
:
don't allow cod
e
generation on union sets
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
update
isl to version
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ve
r
doolaege
avoid use
o
f
isl
_
set
a
nd
isl_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdo
o
la
e
ge
separate out isl
i
nterface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sve
n
Verdoo
l
aege
configure
.
in
:
p
ropa
g
ate a
b
s
o
lu
t
e i
s
l
buil
d
d
i
r to
su
b
module
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoola
e
ge
u
p
d
ate isl for rename o
f
hea
d
er files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ve
n
Ve
r
doolaege
evalue_floor2frac: d
o
n
'
t ass
u
m
e coeffic
i
ents o
f
floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
test_bou
n
d: stop testi
n
g after predete
r
min
e
d number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaege
b
arvi
n
ok_bound: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvinok_{summate,bound}: take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
test_b
o
u
n
d: switch
t
o isl repr
e
sentation ev
e
n ear
l
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
Verdoolaege
t
e
st_bound: switch to isl representati
o
n
e
arlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
iscc: add poly
n
omial approximations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Verd
o
olaege
barvinok_summate: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdo
o
lae
g
e
ba
r
v
i
nok_summate: u
s
e isl
i
n
terface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en V
e
rdoo
l
aege
bound
.
cc:
dr
o
p dead c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Ver
d
oolae
g
e
doc
:
mor
e
in
f
ormation about using set
s
a
n
d maps
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sv
e
n Verdoolaege
doc: upda
t
e some
r
e
fere
n
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoola
e
ge
is
c
c: add poly o
p
era
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
S
v
en Verdoolae
g
e
iscc:
add scan operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Ve
r
doolaege
isl_
p
w
_qpolynomia
l
_
sum
:
handle e
x
isten
t
ials in
wrap
p
ed
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoo
l
aege
u
pdate is
l
for renaming
o
f isl_map_
r
emove
commit
|
commitdiff
|
tree
2010-10-20
Sve
n
Verdoolaeg
e
version
.
c: sho
w
use of
C
L
o
o
G
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
a
ege
doc: a bit
more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
scc: add
b
efo
r
e
a
n
d aft
e
r operations
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n V
e
rdoolaeg
e
iscc: add identit
y
operati
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: break out off ma
i
n loo
p
when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolaege
iscc: support extended Poly
L
ib ou
t
put format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
config
u
re
.
i
n
: perform check for GMP s
u
pport in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
a
e
ge
isl_Polyhedron_S
a
m
p
l
e
: add missing initi
a
lization
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laege
iscc: add c
o
mpositio
n
ope
r
ation on pi
e
cewise
q
u
asipoly
n
omia
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
iscc:
a
dd dependence
analy
s
is operations
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
i
s
cc:
re
g
ister extra
keywords
i
n
generic
w
ay
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdool
a
e
ge
use isl to perform
"manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
laeg
e
a
llow
b
u
ilding without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
P
olyh
e
dron
_
Reduced
_
Basis: opt
i
o
nally use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix dependen
c
e on build isl
commit
|
commitdiff
|
tree
2010-10-11
S
ven Ver
d
oolaege
isl_map_card
:
use is
l
for factoriz
a
t
i
on
commit
|
commitdiff
|
tree
2010-09-14
Sv
e
n Verdoolaege
isl_map_card: split dimension fi
d
dling
f
rom conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoolaege
isl_m
a
p_card: use isl_p
w
_qpolynomial
_
sum if r
e
q
u
e
s
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doo
l
a
ege
barvi
n
ok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
oolaege
upda
t
e isl for fix
in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verd
o
o
laeg
e
iscc:
a
dd lexicographic operator
s
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
d
o
o
l
aege
update isl to
version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ver
d
oolaege
iscc: add "s
o
urce" op
e
ration
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoola
e
ge
i
s
c
c:
a
dd support for
strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
is
c
c
: print error
m
essage o
n
u
s
e o
f
unknown iden
t
ifie
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaeg
e
is
c
c: support union sets in vertices
operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
a
d
d isl_list_conc
a
t
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdoolaege
barvinok_bound: use
isl
t
o
split perio
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
v
e
n
V
e
r
d
oolaege
update isl for i
s
l_pw_
q
poly
n
omial_split
_
periods
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Ver
d
oolaege
doc
:
mark Po
l
yL
i
b interface o
b
s
o
l
e
scent
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdool
a
e
g
e
Makefi
l
e
.
am: drop ref
e
rences
to obsolete
@bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdool
a
ege
evalue_
c
onv
e
rt
.
cc:
e
v
alu
e
_print_isl:
p
rint end-o
f
-li
n
e
commit
|
commitdiff
|
tree
2010-08-30
S
ve
n
Ve
r
doolaege
i
scc: allow coercion of
bi
n
ary li
s
t i
n
to first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_boun
d
:
convert to
i
s
l_pw_qpol
y
n
o
mial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verd
o
olaege
b
a
rvinok_
b
ound: use i
s
l to
s
p
lit on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
set sensible defau
l
ts w
i
th --polynomial
-
app
r
oximatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en V
e
rdoolaege
isl_pw_qpolyno
m
ial_su
m
:
r
e
use barvi
n
o
k_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_map_card: reuse
barvinok
_
optio
n
s
i
f available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
update isl
for alignin
g
p
arameters of
union argume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verd
o
o
laege
iscc: add
"
join"
o
p
e
ration
o
n folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
Ver
d
o
o
l
a
e
ge
iscc: ad
d
"join" o
p
eration on m
a
ps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ver
d
oola
e
ge
i
s
cc: support additi
o
n on a pair of a
f
old and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
ool
a
eg
e
update
i
s
l
for adding types to isl_{union_,}pw_qpolynom
i
al_fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
lae
g
e
allow
c
odegen on
sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
o
o
laege
iscc: codegen: d
e
te
c
t strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: u
s
e simp
l
ified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl for
r
e
n
ame of isl_pw_qpolyno
m
i
al_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
iscc
.
c: union_pw_qpo
l
y
nomial_upper_bound:
fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
su
m
mat
e
.
c:
fix typo
in
comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdool
a
ege
i
sl_ma
p
_apply_p
w
_qpolynomia
l
: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdoolae
g
e
update isl
f
r
om i
s
l
_
u
nion_map
f
ix
e
s
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdoolaege
iscc:
a
llow inve
r
se on non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc:
a
dd wrap
and unwrap operation
s
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
er
d
oo
l
aege
add
i
s
l_uni
o
n_map_a
p
ply_uni
o
n
_
pw_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
isl
_
p
w
_qpolynomial_sum
:
h
andle
i
sl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
u
p
d
a
t
e
i
s
l fo
r
nested dimen
s
ion s
p
ecifica
t
ions
commit
|
commitdiff
|
tree
2010-08-05
S
ven
Verdo
o
laege
i
sl_map_card: postpo
n
e shufflin
g
aroun
d
of di
m
ension
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl for isl
_
basic_map_move_dims
commit
|
commitdiff
|
tree
next