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 Ve
r
d
o
o
l
aege
isc
c
: supp
o
rt
applicati
o
n of
piec
e
wise
q
u
asipolynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ver
d
oolaege
doc: f
i
x docu
m
entation of join of
maps and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
add isl_union_
s
e
t_apply_unio
n
_pw
_
qpo
l
ynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verd
o
o
l
a
ege
update
i
sl
f
o
r
e
xport of isl_uni
o
n_map_fro
m
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
iscc: add w
r
ite o
p
erat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
iscc: optio
n
ally
d
i
s
ab
l
e
rea
d
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven Ver
d
oolaege
doc: explain comma oper
a
tor i
n
a se
t
de
s
c
ription
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
aege
iscc: add
t
ypeof operator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
laege
add isl_
s
t
r
_from_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
Verdo
o
laeg
e
iscc
.
c: use
C
99
d
esignated in
i
tializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Ver
d
oo
l
ae
g
e
is
c
c: minor impro
v
ement in
error mes
s
age
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: ad
d
d
o
main_map and ra
n
ge_map operation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
e
rdool
a
eg
e
i
sc
c
:
a
dd "domain
"
and "rang
e
" synonyms for "
d
om" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven
V
erdoolaege
update isl
to vers
i
on 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
iscc
:
d
o
n't allow
co
d
e g
e
neration
o
n union sets o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
S
ve
n
Verdoola
e
g
e
update
i
s
l to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n Ve
r
doolaege
avo
i
d
use
o
f isl
_
s
e
t
a
n
d
isl_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Verdoola
e
g
e
se
p
arate ou
t
i
s
l
i
nterfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdool
a
ege
c
o
nfigure
.
in: pro
p
ag
a
te
abso
l
u
t
e i
s
l
b
uil
d
dir to submod
u
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven
V
erdoolaege
update isl for rename
of heade
r
files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
eva
l
u
e
_
fl
o
or2frac: don't
a
ssume coefficients
of flo
o
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
te
s
t_bound:
s
top testin
g
after prede
t
ermi
n
ed number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoola
e
ge
barvinok_boun
d
: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en V
e
rdoolaege
barv
i
nok
_
{s
u
mmate,bo
u
nd}: ta
k
e
isl input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test
_
bo
u
nd
:
switc
h
to isl represe
n
tation even earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
V
er
d
oolaege
t
est
_
bound
:
switch to isl represe
n
tation
earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
V
erdoolaeg
e
i
s
cc: add
p
olyn
o
mial appro
x
i
m
ati
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
v
e
n Verdoolae
g
e
barvinok_summate:
r
ewr
i
te i
n
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sve
n
Verdoolaege
barvinok_summ
a
te: use
i
sl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdo
o
lae
g
e
bound
.
cc: drop dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
doc: more i
n
formation about using sets and
m
ap
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
Ve
r
doola
e
ge
do
c
: update some
refer
e
nc
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven V
e
rdoolaege
is
c
c
: ad
d
poly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdo
o
laege
isc
c
:
add sca
n
operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
S
v
en
Verdoolaege
i
s
l_pw_qp
o
lynomial_su
m
: handle exist
e
ntials in wrap
p
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
S
ve
n
Verdo
o
lae
g
e
update isl f
o
r renaming o
f
isl
_
map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Ve
r
doola
e
g
e
version
.
c
: sho
w
use of CL
o
o
G
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
rdoolaege
doc:
a bit
m
ore info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolae
g
e
iscc: add
b
efore and
after operation
s
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erdoolaege
iscc:
a
dd identity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: break out
o
f
f main loop
when printer no lon
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
l
a
ege
i
s
cc:
s
u
p
port extended PolyLib
output for
m
at
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolaeg
e
configure
.
in: perform
c
heck for GMP support in
NT
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add
c
o
m
posi
t
ion
o
perati
o
n on
piec
e
w
i
se quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
iscc: add
d
ependence ana
l
y
s
is operati
o
ns
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
r
egis
t
e
r
e
xt
r
a keywords in gene
r
ic way
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
use isl t
o
perform "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
do
o
laege
allow b
u
ilding without pip
l
ib
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
do
o
laege
Polyhedron
_
R
educed_B
a
sis: optio
n
al
l
y
use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
fi
x
dependence on bui
l
d is
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
isl_m
a
p_card
:
use isl f
o
r factor
i
zation
commit
|
commitdiff
|
tree
2010-09-14
Sven V
e
rdoo
l
aege
i
s
l_map_card: split dimensi
o
n fiddling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoo
l
aege
isl_map_card: use isl_pw_qpolynomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdo
o
laege
barvinok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdoo
l
aege
update isl for fix in paramet
e
r alignment
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoo
l
aege
bar
v
inok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verdool
a
ege
iscc: a
d
d lex
i
cogr
a
phic
o
pe
r
ators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolae
g
e
upda
t
e isl to ve
r
s
i
on 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
v
e
n
Verdoolaege
iscc: ad
d
"sourc
e
"
o
p
e
r
ation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc:
add support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
i
scc: pr
i
n
t
error message on us
e
of unk
n
own i
d
entifier
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdo
o
laege
is
c
c: support
u
nion sets in ver
t
ice
s
operation
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
add isl_list_co
n
cat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdo
o
laege
b
arvinok_bound: use
isl
t
o spli
t
p
e
rio
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
v
e
n Verdoolaege
u
p
da
t
e is
l
fo
r
is
l
_pw_qpolyno
m
ial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolaege
doc
:
m
ark PolyLib
inter
f
ace obso
l
escent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaeg
e
M
a
ke
f
ile
.
am: drop ref
e
rences
t
o
obsolete @b
v
_barvin
o
k_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_
c
onvert
.
cc:
e
valu
e
_p
r
int_isl:
p
rin
t
end-
o
f-line
commit
|
commitdiff
|
tree
2010-08-30
Sven V
e
rdoolaege
iscc: allow coercion
o
f b
i
nary lis
t
i
nto first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvino
k
_bou
n
d:
conv
e
r
t to
i
sl_
p
w_qpolynomial o
n
ce
commit
|
commitdiff
|
tree
2010-08-28
S
ve
n
Verdoolaege
b
arvino
k
_
b
ound: us
e
isl to
s
pl
i
t
o
n
do
m
ain size
commit
|
commitdiff
|
tree
2010-08-26
S
ven V
e
rdoolaege
s
e
t
s
e
nsible defaults with --polynomial-a
p
p
rox
i
mation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en V
e
r
d
oolaege
i
s
l_pw_qpolynomial_sum: re
u
se barvinok_
o
ptions if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
isl_map_ca
r
d
:
reuse barvinok_o
p
tions if available
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoo
l
aege
upda
t
e
isl
for aligni
n
g parameters
of union
a
r
guments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
iscc: add "join" o
p
era
t
ion on fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoola
e
ge
iscc:
a
d
d "jo
i
n" operat
i
o
n
on maps an
d
folds
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
Ver
d
o
olaege
iscc: sup
p
ort addit
i
on on a p
a
ir
o
f a fold an
d
a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
l
aege
update isl for adding types
to isl_
{
union_,}pw_qpolynomial_fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
a
llow
c
odeg
e
n on
se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
oolaege
iscc
:
codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n
Verdoola
e
ge
iscc: use simpli
f
ied CL
o
o
G i
n
terface
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
update isl for rename of isl_pw_qpolynomial_f
o
ld_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
iscc
.
c: union_pw_qpolynomial_uppe
r
_bo
u
nd
:
f
i
x memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
s
u
mmat
e
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-08-17
S
ven Verdo
o
la
e
ge
isl
_
map
_
apply_p
w
_qpolynom
i
a
l: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdoolaege
up
d
ate
isl from isl_uni
o
n_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oolaege
iscc: al
l
o
w in
v
e
r
s
e on no
n
-
u
n
i
o
n
m
a
p
s again
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
i
s
cc: add wr
a
p and un
w
rap
operat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
o
olaege
add isl
_
union_map_ap
p
ly_
u
nion_pw_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
l
a
e
ge
i
s
l_pw_qpo
l
ynomial_sum
:
handle isl
_
pw_qpo
l
ynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
updat
e
is
l
for ne
s
ted dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdool
a
ege
isl_ma
p
_c
a
r
d
: postp
o
ne shuffling
a
round of
d
imens
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaeg
e
update isl for isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
isl_pw
_
qpolynomial_su
m
: push conversion
t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
isl_pw_qpolynomi
a
l_sum:
check f
o
r unb
o
unded domains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
avoid use of
i
sl_dim internal
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
scc: su
p
p
o
rt codeg
e
n
oper
a
tion if CLoo
G
is
ava
i
labl
e
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
iscc:
s
witch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add i
s
l_union_pw_qpo
l
ynomial
_
su
m
commit
|
commitdiff
|
tree
next