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
update isl to version 0.05.1
2011-01-05
Sve
n
Verdoolaege
u
pdate isl t
o
versi
o
n 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
ege
i
s
cc: don't allow code g
e
neration on union
sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven V
e
rdool
a
e
ge
up
d
ate isl to
version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n
Ve
r
d
ool
a
ege
avoid us
e
of isl_
s
et an
d
isl_m
a
p internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoo
l
a
ege
s
eparate o
u
t isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Ve
r
doolaege
confi
g
ure
.
i
n: propag
a
te absol
u
te
isl builddir
t
o submodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
S
v
en Verdo
o
l
aege
update isl for rename of h
e
a
d
er files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Ver
d
o
olaege
evalue_floo
r
2frac: d
o
n
'
t assume
c
o
e
fficients o
f
flo
o
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
test_b
o
u
n
d
: sto
p
testing after p
r
edete
r
m
in
e
d
number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
b
a
rv
i
nok_bou
n
d
: re
w
rite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n Verdoolaege
b
arvinok_{summat
e
,bo
u
nd}: take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_b
o
und: switch
t
o
isl representat
i
on even
earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
V
e
rd
o
olaege
t
est_bound: switch to isl represen
t
ation earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
iscc:
a
dd p
o
lyn
o
mial approximati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
ba
r
v
inok_sum
m
ate: re
w
r
ite
in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven V
e
r
d
o
o
laege
barvino
k
_summate: use
i
s
l
in
t
erface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en Verdool
a
ege
b
ou
n
d
.
c
c: dr
o
p dead
c
ode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven
V
e
r
d
oolaege
doc: more
i
nformation
a
bout u
s
ing sets
and
m
aps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sv
e
n Verdoolaege
d
oc
:
update so
m
e
referen
c
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ve
r
doolaeg
e
iscc
:
ad
d
poly
op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaeg
e
iscc: ad
d
scan oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verd
o
olaege
isl
_
pw_q
p
oly
n
om
i
al
_
sum: h
a
ndle existentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update i
s
l
for renaming
o
f
isl_map_remov
e
commit
|
commitdiff
|
tree
2010-10-20
Sven
V
e
r
d
oolaege
v
ersion
.
c:
show use of CLo
o
G
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
erd
o
ola
e
ge
doc: a
bit mo
r
e info o
n
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
rdoolaege
iscc: add b
e
fore and a
f
ter o
p
e
r
atio
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oola
e
ge
iscc: add ident
i
t
y
operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc
:
break
o
ut
off m
a
in loop wh
e
n
p
r
inter no lo
n
ger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: suppo
r
t extended Poly
L
ib output form
a
t
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n
V
e
rd
o
olaege
confi
g
ure
.
in
:
pe
r
fo
r
m check for GMP support in NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
l
aege
isl
_
Pol
y
he
d
ron_Sample: a
d
d missing initializat
i
on
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdo
o
lae
g
e
iscc: add composition operat
i
on on
piece
w
i
s
e
q
uasipo
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoolaege
iscc: add depend
e
nce analy
s
i
s op
e
rati
o
ns
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdo
o
laeg
e
i
scc: register extra key
w
ords i
n
gene
r
i
c
way
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
us
e
isl to perform "manu
a
l_count"
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoola
e
ge
a
l
low bui
l
d
i
ng w
i
th
o
ut
p
i
p
l
i
b
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdo
o
laege
Polyhedron
_
Red
u
c
e
d_Basis: op
t
ionall
y
u
se is
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix dependence
o
n build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdool
a
ege
isl_map_card:
u
se i
s
l fo
r
fa
c
toriz
a
tion
commit
|
commitdiff
|
tree
2010-09-14
Sve
n
Verdoolaege
i
s
l_map_card: split
dimension fiddling from conv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoolaege
is
l
_map_card: use isl_pw_qpolynomial_
s
u
m
i
f requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doo
l
a
e
ge
b
a
r
v
inok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdo
o
laege
u
p
date isl for fix in paramete
r
a
lignment
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
ven
Verd
o
olae
g
e
iscc
:
add lexicogra
p
hic operator
s
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoolaege
u
pdat
e
isl
to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verd
o
olaege
iscc: add "source" opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
Verdoo
l
aege
iscc: add support
f
or strin
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoolaege
i
scc:
p
r
i
nt
e
rror
message
on use
of un
k
nown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
i
s
cc: support union set
s
in ve
r
tices opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verd
o
ola
e
ge
add isl_
l
ist_
c
o
n
ca
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
b
arvinok_bound: use isl to s
p
lit periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update i
s
l for isl_p
w
_qpoly
n
o
m
i
al_split_pe
r
iods
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n V
e
rdoolae
g
e
doc: mark PolyLib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolaege
Makefil
e
.
a
m: drop
r
eferences to o
b
solete @bv
_
b
a
rvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n Verdoola
e
ge
ev
a
l
u
e
_convert
.
cc: evalue_print_isl:
print end-of-
l
ine
commit
|
commitdiff
|
tree
2010-08-30
Sven V
e
rdoo
l
a
e
ge
isc
c
: al
l
ow coerc
i
on of binary list
into fir
s
t
e
lem
e
nt
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
e
r
do
o
laege
ba
r
vinok_bound: conv
e
rt to
i
sl_pw_qp
o
lynomial
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Ve
r
doolaege
barvinok_bound: use isl to
split on do
m
ain
s
iz
e
commit
|
commitdiff
|
tree
2010-08-26
Sven
Ve
r
doolaeg
e
set sensible defaults
with -
-
p
olynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
isl_pw_qpol
y
nomi
a
l_sum: reuse barvinok_options if a
v
a
i
lable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolae
g
e
isl_map_
c
ard: reu
s
e barvinok_o
p
ti
o
ns if avail
a
ble in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
update isl for aligning parameters of
u
nio
n
arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
lae
g
e
iscc: add "j
o
in" o
p
er
a
tion on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join" operati
o
n o
n
maps a
n
d folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olae
g
e
iscc: support ad
d
i
t
ion
o
n a pair of a fo
l
d and a
qu
a
sipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
u
pdate isl for a
d
d
i
ng typ
e
s
t
o
i
s
l
_
{u
n
ion_,}pw_qpo
l
y
nomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow c
o
dege
n
o
n
set
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codegen:
detect strides
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
iscc: use simplified CLo
o
G interfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdo
o
laege
upda
t
e isl for r
e
name of isl_pw_qpolynomial_f
o
ld_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
oolaege
isc
c
.
c:
u
n
ion
_
pw_qpolynomial_upper_bo
u
nd: fix me
m
o
ry
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
summate
.
c:
fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sve
n
V
e
rdoolaege
isl_map_app
l
y
_
pw_
q
polyno
m
ial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
laege
update isl from isl_u
n
ion_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: a
l
l
o
w inverse on
n
on-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
iscc: add wra
p
and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
a
d
d isl_union_map_appl
y
_
union
_
pw_qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
isl
_
pw_qpolynomi
a
l_s
u
m
:
ha
n
dle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n V
e
rdoolaege
update isl f
o
r nested d
i
mension specifications
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Verdool
a
eg
e
isl_m
a
p_ca
r
d: postp
o
ne shuffling aro
u
nd of d
i
m
e
n
sions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoola
e
ge
upd
a
te isl for isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Verdo
o
laege
isl_pw_qpoly
n
omial_sum: pu
s
h
conversi
o
n to PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
Ver
d
o
o
l
aege
isl_pw_qpolynomial_sum: check for
unb
o
u
nd
e
d
dom
a
ins
commit
|
commitdiff
|
tree
2010-08-02
S
v
en
V
er
d
oolae
g
e
avoid use
o
f i
s
l_d
i
m
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
iscc: support codegen operation
i
f CLooG
is
a
vailable
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
iscc:
s
witch
t
o
us
i
ng unions
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdo
o
lae
g
e
add isl_u
n
ion_pw_qpoly
n
o
m
ial_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
a
d
d
isl
_
union_map_card
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verd
o
olaege
i
s
l
_pw_q
p
oly
n
omi
a
l_sum:
tak
e
tupl
e
names into accou
n
t
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoola
e
ge
isl_map_c
a
r
d: p
r
eserve full
d
om
a
in
d
imension information
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoo
l
a
ege
upd
a
t
e
i
s
l for
c
hange i
n
isl_hash_table
_
fo
r
eac
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erd
o
olaege
barvi
n
ok_enumer
a
t
e
.
cc: fix printf forma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Ve
r
d
ool
a
ege
doc: add some m
o
re papers ref
e
ring to the librar
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
barvino
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
update isl
t
o
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erd
o
olaege
configu
r
e
.
i
n: properly a
d
d isl flag
s
and
libs
t
o pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
con
f
igure
.
in: dro
p
call to gl_E
A
R
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
ol
a
ege
g
enfun
.
c
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
oolaege
test
_
approx
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
next