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.c: use C99 designated initializers
2011-01-12
Sven Verdoolaege
iscc
.
c
:
u
se C99
des
i
gnated initiali
z
e
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
cc: m
i
nor
i
m
provement in
e
rr
o
r message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc:
add
d
omain_m
a
p and r
a
nge_map operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: add "domain" and
"ra
n
ge"
synonyms for "dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ve
r
doolaege
update isl to ve
r
sion 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaeg
e
i
s
cc:
don't
a
llow code generation on
uni
o
n s
e
t
s of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven
V
erdoolaege
u
p
date
isl
t
o vers
i
o
n
0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
ven Verdoolaege
avoid use of is
l
_
set and isl_map inter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaeg
e
sep
a
ra
t
e out isl i
n
terfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven
V
e
r
d
o
ol
a
ege
con
f
igure
.
in
:
p
r
opaga
t
e absolute isl
b
uilddi
r
to submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
update isl for
r
ename of header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoola
e
ge
evalue_floor2frac: don't assume coefficients
o
f floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
tes
t
_b
o
und
:
stop testing after pred
e
t
ermined number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvinok_b
o
un
d
: r
e
write in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdo
o
lae
g
e
barvinok_{summate,bo
u
n
d}: take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ve
r
doolaege
t
est_b
o
und:
switch to isl representation even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolaege
test_bou
n
d
:
switch to isl representation earlie
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaege
i
s
cc: add polynomial appro
x
imation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
ve
n
Verd
o
ol
a
eg
e
barvin
o
k_
s
ummate: rewr
i
te i
n
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdool
a
ege
barvin
o
k_summ
a
te: use isl in
t
e
r
fac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaeg
e
boun
d
.
c
c
:
d
rop d
e
ad code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Ve
r
do
o
l
a
ege
doc: more info
r
mation ab
o
ut using sets and maps
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
erdoolaege
doc: update som
e
re
f
erences
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
V
e
rdoolae
g
e
i
s
c
c: add poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
S
v
e
n
Ve
r
doolaege
i
scc: add
s
can operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
S
v
en Verdoolae
g
e
isl_pw_qpolynomial
_
sum: ha
n
dle existentials
in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven V
e
rdoola
e
ge
update isl for renaming of i
s
l
_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sven
V
erd
o
o
l
a
ege
ver
s
ion
.
c
:
sh
o
w use
of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
ae
g
e
doc: a bit more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoo
l
aege
iscc:
a
dd
b
efore and af
t
e
r operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
iscc:
add identi
t
y operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
iscc:
b
re
a
k out off m
a
in loop
w
he
n
printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
ven Ver
d
ool
a
eg
e
iscc
:
support exte
n
ded
P
olyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
o
o
laege
configure
.
i
n
: perform ch
e
ck for GMP sup
p
or
t
in NT
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
isl_Polyhedron_Sample: a
d
d
missing initiali
z
a
tion
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
e
rdool
a
ege
iscc: add compo
s
ition
o
peration on piecewise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
is
c
c:
ad
d
depend
e
nce analy
s
i
s operation
s
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoola
e
ge
isc
c
: r
e
gister extr
a
keywor
d
s
in gener
i
c way
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Verd
o
o
l
aege
use isl to perform
"manual_count
"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
allow
building wit
h
out piplib
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoo
l
aege
P
oly
h
edron_Reduced_Basis:
o
ptionall
y
u
s
e
isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doolaege
fix depende
n
ce on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
isl_map
_
c
a
rd: use is
l
for factorization
commit
|
commitdiff
|
tree
2010-09-14
Sv
e
n Verd
o
olae
g
e
isl_ma
p
_
c
ard
:
split dimension f
i
dd
l
ing from co
n
version
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
olaeg
e
isl_map_card: use isl_pw_qpolyno
m
ial_sum if requ
e
sted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolaege
update isl
f
or fix in p
a
rameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
b
arvin
o
k 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc:
add lexi
c
o
g
r
a
p
h
ic operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
u
pdate isl to
ve
r
sion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdool
a
e
g
e
iscc: add "source"
operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
iscc:
a
dd suppo
r
t for st
r
ings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
is
c
c: print
erro
r
me
s
s
a
ge
o
n
use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
S
ve
n
Verdoolaege
is
c
c: suppor
t
union
sets in vertices opera
t
io
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
ad
d
isl
_
lis
t
_
c
oncat
commit
|
commitdiff
|
tree
2010-09-05
Sve
n
Verdoola
e
ge
barvi
n
ok_b
o
u
n
d:
use i
s
l to split
periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
doo
l
a
ege
update isl for isl_pw_qpolynomial_split
_
periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc
:
m
a
rk
P
olyLib interface obsolescen
t
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
e
rdoola
e
ge
Makefile
.
am: dr
o
p r
e
fe
r
ences to obsolete @bv_barv
i
nok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
ae
g
e
evalue_
c
onvert
.
cc: evalue_
p
r
int_i
s
l: print e
n
d-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven
Verdoolaege
iscc: allow
coercion
o
f
b
inary list i
n
t
o first
e
lement
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_
b
ound: c
o
nvert t
o
i
s
l_pw_qpolyno
m
ial once
commit
|
commitdiff
|
tree
2010-08-28
S
v
en V
e
rdoolaege
barvinok_bound: use isl to split
o
n d
o
m
a
i
n
siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
set sensible defaults with --p
o
lynomial-appr
o
ximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
laege
isl_pw_qpolynomial_
s
um:
r
eus
e
bar
v
in
o
k_options
if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
a
e
ge
isl_map_card:
r
e
u
se barvinok_option
s
i
f
avail
a
bl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoolaege
u
pdate isl
f
o
r a
l
igning
p
aramet
e
rs of
u
nion arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
a
d
d "join" operatio
n
on
f
ol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoo
l
a
e
ge
iscc: add
"j
o
in" operation on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: support
a
d
di
t
ion on
a
pair of a fold and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
e
ge
updat
e
isl for a
d
ding types to is
l
_{union_,}pw_q
p
o
l
y
no
m
ial_folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ve
r
doolaege
allow codegen o
n
s
e
ts
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
isc
c
: codegen: de
t
ec
t
s
tride
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Ver
d
o
o
laege
iscc:
use simplifie
d
CLooG int
e
rfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Verdoo
l
aege
update is
l
for rename of isl_
p
w_
q
polynomial_f
o
ld_add
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolae
g
e
iscc
.
c
: uni
o
n_pw_qpolynomial_upper
_
bound: fix m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdo
o
laege
summate
.
c
:
fix t
y
po in co
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
i
s
l_ma
p
_apply_pw_q
p
oly
n
omial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update
i
sl from
i
s
l_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdoola
e
ge
iscc: allow inverse o
n
non-union maps a
g
ain
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n Verd
o
olaege
isc
c
:
a
dd
w
r
ap and unwrap
o
perations
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Ver
d
ool
a
ege
add isl_uni
o
n_map_a
p
ply_union_pw_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
lae
g
e
isl_
p
w_
q
p
o
lynomial_sum: h
a
nd
l
e isl_pw_qpolynomial
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
update i
s
l for neste
d
d
imension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
isl_map_car
d
: post
p
one sh
u
f
f
lin
g
ar
o
u
n
d o
f
dim
e
n
s
ions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
update isl for isl_basi
c
_map_move_d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
isl_pw_qpolynomial_sum: pu
s
h c
o
nversion
t
o
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
e
rdoolaege
i
s
l
_pw_qpolynomial
_
sum: check for unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid use of isl_dim inte
r
nals
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
iscc: suppo
r
t co
d
egen ope
r
ation
if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
s
cc: switch
t
o using unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
add isl_u
n
ion_pw_q
p
olynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
e
g
e
add isl_un
i
on_map_
c
a
r
d
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verd
o
ola
e
ge
isl_p
w
_qpolynomi
a
l
_sum: take tuple names int
o
account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card: preserve full domain dimension inf
o
rm
a
tion
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
d
o
o
l
aege
update isl f
o
r
ch
a
nge in isl
_
hash_table_fore
a
ch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
b
a
rvinok_enumerate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
S
v
en
Verdoolae
g
e
do
c
: ad
d
some more papers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
ol
a
ege
b
a
rvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
upda
t
e isl to version 0
.
03
commit
|
commitdiff
|
tree
next