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
iscc: support application of piecewise quasipolynomial (fold) on set
2011-01-16
Sven Ver
d
oolaege
i
s
c
c: support applicati
o
n
of pie
c
ewise quas
i
polyn
o
m
ial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
doc
:
f
i
x documentation of jo
i
n of maps and fo
l
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
add isl_union_set_apply_u
n
ion_pw_
q
polynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
update
i
sl fo
r
export of isl_union_map_from_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoo
l
aege
i
scc
:
ad
d
write operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: optionally disable read operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven Ver
d
oolaege
doc:
explain com
m
a
operator
i
n
a set descri
p
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doo
l
aege
i
s
cc: add
t
y
p
eof operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
o
o
l
aege
add isl_str_from_string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
iscc
.
c
:
u
se C99 design
a
ted
initia
l
i
z
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoolaege
iscc: minor i
m
p
r
o
v
e
m
e
nt in
er
r
or message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verdoola
e
ge
iscc: add dom
a
in_map and range_map oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Verdoolaege
iscc:
add "doma
i
n" and "r
a
nge"
synonyms for "do
m
" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoolaege
u
pdate is
l
to version 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Verdoolaege
i
scc: don't allow code generation on union sets
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Ver
d
oolaege
update isl to ver
s
ion 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
v
en Verdoolaege
avoid u
s
e of isl_s
e
t and isl_map
i
nter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaeg
e
separa
t
e out is
l
interfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven
V
e
r
d
oolaege
configure
.
in
:
propagate absolute
i
sl builddir t
o
submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolae
g
e
updat
e
isl for rename of head
e
r files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
evalue_floor2
f
rac: don't assum
e
coefficient
s
of
f
loo
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
e
rdoolaege
test_bound: stop testing after predetermi
n
ed number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoola
e
ge
barvin
o
k_bou
n
d
: rewrite in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en
Verdoolaege
b
a
rvino
k
_{sum
m
ate,bound}: take isl
i
np
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolae
g
e
test_boun
d
:
swi
t
ch to isl representation even earli
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolae
g
e
test_bound: switch to isl repr
e
sent
a
tion earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
is
c
c: ad
d
polynomia
l
app
r
oximat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
ve
n
V
erdoolaege
barvinok_summate: rew
r
ite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en
V
e
r
d
oolae
g
e
barvinok_summate: use isl
i
n
t
erface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Ver
d
oo
l
aege
bo
u
nd
.
c
c:
d
ro
p
dea
d
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
S
ven Verdoolaege
doc: more inf
o
r
mation abou
t
using sets
a
nd maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
Verdoolaeg
e
do
c
: u
p
date some r
e
f
e
rences
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verd
o
o
l
aege
i
scc:
a
dd poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verd
o
o
l
aege
is
c
c: add scan operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sve
n
V
e
rdoolaege
isl_pw_qpolynomial_sum: handle existentials in wra
p
ped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Ver
d
ool
a
ege
u
p
da
t
e i
s
l
f
or renaming o
f
isl
_
m
a
p_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoo
l
a
e
ge
versi
o
n
.
c:
s
h
ow
u
se of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
o
la
e
ge
doc: a bit more
info on isc
c
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaege
iscc: a
d
d
b
efore a
n
d after
opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdo
o
laege
iscc:
a
dd
i
dentity op
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdool
a
e
g
e
isc
c
:
brea
k
out off main loo
p
when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
a
e
ge
iscc: support ext
e
nded PolyLib o
u
tput format
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdool
a
ege
configure
.
i
n
:
perform check for GM
P
support
i
n NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
d
oola
e
g
e
isl_Polyh
e
dron_Sample:
a
dd missin
g
initi
a
lization
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
d
oolaege
is
c
c: add compositio
n
operation on piecew
i
s
e quasipol
y
nomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Ver
d
ool
a
ege
iscc: add d
e
p
e
ndence ana
l
ysis oper
a
tions
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
sc
c
: re
g
i
s
ter extra key
w
ords in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
use
isl
to perform "manual_
c
ount
"
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
allow buil
d
ing without
pipl
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoola
e
ge
Polyhed
r
on
_
Reduced_Ba
s
is
:
optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Verdoolaeg
e
f
ix depen
d
e
nce on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
isl
_
map_card: use isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven V
e
rdoo
l
aege
isl_map_card: split dimension fiddling fro
m
conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_map_ca
r
d: use isl_
p
w_qp
o
lynomial_su
m
i
f
requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoola
e
ge
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
o
olaege
u
pdate isl for fix in p
a
ramete
r
alig
n
ment
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoola
e
g
e
barvi
n
ok
0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Ve
r
doo
l
ae
g
e
iscc: add lexicographic o
p
erators
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verd
o
o
l
aege
upda
t
e isl to
v
ersion
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
iscc: add "
s
ource" opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoola
e
ge
iscc: add support fo
r
strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoolaege
iscc: pri
n
t error me
s
sa
g
e on use o
f
unkn
o
wn identif
i
e
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
iscc: support un
i
on
sets in vertices
o
pe
r
a
t
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add
i
sl_list_
c
oncat
commit
|
commitdiff
|
tree
2010-09-05
Sven Ver
d
o
o
l
aeg
e
barvin
o
k
_
bound: use
isl to
split per
i
ods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdo
o
laege
updat
e
i
s
l
f
o
r isl_
p
w_qpoly
n
o
m
i
a
l_split_
p
er
i
od
s
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n
V
e
r
d
ool
a
ege
doc: mark
Poly
L
ib interface
obs
o
lescent
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Ve
r
do
o
laege
Makefile
.
am: drop refe
r
ences to o
b
s
ol
e
t
e
@
b
v_ba
r
vinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n
Verdoo
l
aege
evalue_c
o
n
ve
r
t
.
cc:
eva
l
ue_print_isl: print end-of-lin
e
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
isc
c
: allow coercion of bin
a
r
y
lis
t
into first eleme
n
t
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolae
g
e
barvino
k
_bound: conv
e
rt
t
o
i
s
l
_pw
_
qpolynomial onc
e
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oolaege
barv
i
nok_b
o
und: use isl to
s
plit on domain
s
ize
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoolaege
set
sensible defa
u
lts wit
h
-
-pol
y
nomial-approximatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_p
w
_qpo
l
ynomial_sum: reuse ba
r
vinok_options if avai
l
a
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl_map_car
d
: reu
s
e
b
arvinok_o
p
tions if a
v
ailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
e
r
d
oolaege
update
isl f
o
r aligning parameters of un
i
on
a
rg
u
ments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join" ope
r
ation
o
n
f
old
s
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verd
o
olaege
i
s
cc: add "join"
opera
t
i
on on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoo
l
aege
is
c
c: sup
p
ort addition
o
n a pair of a fol
d
and a q
u
asipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ve
r
d
o
olaege
update isl for adding types to i
s
l_{union_,}pw_qpolyn
o
mial_fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
allow
c
odegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
iscc
:
co
d
egen: detect str
i
des
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
la
e
ge
iscc: u
s
e simplified CLooG i
n
terface
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Verd
o
olaege
u
pdate
isl for rename of isl_pw_qpolynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
iscc
.
c: union_pw_qpolynomial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoo
l
aeg
e
s
ummat
e
.
c:
f
i
x ty
p
o in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Ve
r
doolaege
isl_map_
a
pply_pw_qpolyn
o
m
i
al:
fi
x
typ
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update isl from isl_
u
n
i
o
n_m
a
p fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdool
a
ege
iscc: allow inverse o
n
non-union m
a
ps
a
gain
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaeg
e
iscc: add wr
a
p and unwrap
o
p
erations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aeg
e
a
d
d isl_union_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
isl_
p
w_qpol
y
nomi
a
l_s
u
m: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
u
p
d
a
te isl for nest
e
d dimension specificat
i
o
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
isl_map_
c
a
rd: postpone shuf
f
ling around
of dim
e
nsions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update i
s
l for isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoo
l
aege
isl
_
pw_qpo
l
ynomial_sum
:
push conversion
t
o P
o
lyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaege
isl_pw_qpolynomial_s
u
m:
c
heck f
o
r u
n
bounded dom
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolae
g
e
a
v
oi
d
u
s
e
of isl_
d
im
i
ntern
a
ls
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ve
r
doolaege
i
s
cc: support codeg
e
n operat
i
on if
CLooG is a
v
ailable
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
o
laege
iscc: switch to using uni
o
ns
commit
|
commitdiff
|
tree
next