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
test_bound: switch to isl representation even earlier
2010-11-12
Sven Verdoolaege
test_b
o
und: swit
c
h
to isl represe
n
tation eve
n
e
arlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
do
o
l
aeg
e
test_bound: switch to isl r
e
presenta
t
ion earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
iscc: add polynomial a
p
prox
i
mations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven
Verdoola
e
g
e
barvi
n
ok_s
u
mmate: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven
Verdoolaege
barvinok_sum
m
ate: use
i
sl
inter
f
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
S
ven Verdoolaege
bound
.
cc: drop de
a
d code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
S
ven Verdoolaege
doc: mo
r
e informat
i
o
n
abo
u
t
usi
n
g sets and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
er
d
oolaege
do
c
: update some refere
n
ce
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven V
e
rdoolaege
i
s
cc: add poly op
e
rat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven V
e
r
doolaege
iscc: add s
c
an op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdo
o
laege
isl_pw_qpolynomial_sum: handle ex
i
stentials
in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sv
e
n
V
erdoolaeg
e
u
p
d
at
e
isl fo
r
renaming
o
f isl_m
a
p_
r
em
o
ve
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdool
a
e
g
e
v
ersion
.
c: sho
w
use of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
d
o
c: a b
i
t more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaeg
e
iscc: a
d
d
b
e
fore
and after o
p
erations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: add identity op
e
rat
i
on
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
i
s
cc: brea
k
out off main
l
oo
p
when print
e
r no long
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
s
cc: s
u
pport extended PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
configure
.
i
n: perform check for G
M
P
s
up
p
ort in N
T
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolae
g
e
is
l
_
Polyhedr
o
n_Sample: ad
d
m
i
ssing initial
i
zatio
n
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdool
a
ege
is
c
c: add compo
s
ition operation on piecewise qu
a
s
ipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolae
g
e
iscc: add depen
d
ence analysis operations
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdool
a
ege
iscc: regi
s
ter ex
t
ra keywo
r
ds in generic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
do
o
laege
use
i
sl to perform "manua
l
_coun
t
"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
allow buildin
g
without pip
l
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaeg
e
Po
l
yhedron_Red
u
ced_B
a
sis: opti
o
n
a
lly use is
l
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
doolaege
fix
d
e
p
e
ndence on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_ma
p
_card: use isl for facto
r
ization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_ca
r
d: split d
i
m
e
n
sion fi
d
dling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoolaege
isl_map_ca
r
d
:
use is
l
_pw_qpolynomial_sum if
requ
e
sted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
Verdoolaege
up
d
ate i
s
l
f
or fix in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
S
ven
Ver
d
oolaege
b
arvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add lex
i
cographic
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
update isl
t
o version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sve
n
Verd
o
ola
e
ge
iscc:
add
"
s
our
c
e" operation
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
iscc: a
d
d sup
p
o
r
t for strin
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
isc
c
: print err
o
r mes
s
age on us
e
of u
n
k
n
own iden
t
if
i
e
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
scc: su
p
port union sets in ve
r
tices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
add isl_
l
ist_concat
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Verdoo
l
aege
barvinok_bound: us
e
isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ver
d
oolaege
update
isl
for isl_
p
w_qpolyno
m
ial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: mar
k
PolyLib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoo
l
aege
Makefile
.
am: drop
r
e
f
erences to obsolete @bv_bar
v
inok_b
o
un
d
@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaeg
e
evalue_convert
.
cc: evalue_p
r
int_isl: print end-o
f
-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolae
g
e
iscc: allow
c
oer
c
i
o
n
of binary list into first element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n
Ve
r
doolae
g
e
barvinok
_
bound: convert to isl_
p
w_qpolyn
o
mial once
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Ver
d
oo
l
a
e
ge
b
arvinok_boun
d
: use isl to split
on
d
om
a
in size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
se
t
s
ensible defaults with --polynom
i
al-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
sl_pw_qpoly
n
omial_
s
um: reuse b
a
rvinok_optio
n
s if availa
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n
Ver
d
oolae
g
e
isl_map_car
d
: reus
e
b
a
rvinok_option
s
if a
v
ailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
update isl fo
r
a
ligning p
a
r
a
me
t
ers of un
i
on argum
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Ve
r
doolaeg
e
i
scc: add
"join" operat
i
on on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join" operati
o
n
o
n maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoola
e
g
e
iscc: support ad
d
ition on a
pair of
a
fol
d
a
n
d a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
up
d
ate
isl
for ad
d
ing type
s
to isl_{union_
,
}pw_qpo
l
yn
o
mial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoola
e
ge
allo
w
co
d
egen o
n
sets
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ve
r
doolaege
iscc: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
la
e
ge
iscc:
u
se simplifie
d
CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
upda
t
e i
s
l
for
rename
of
isl_pw
_
qpolynomial_fold_ad
d
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoola
e
ge
i
scc
.
c: union_pw_
q
p
olynomial_
u
p
per_bound
:
fix m
e
mor
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-08-17
Sve
n
Verd
o
olaege
i
s
l_map_a
p
ply_pw_qpol
y
nomia
l
: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
o
ol
a
ege
update isl from isl_union_map fi
x
es
commit
|
commitdiff
|
tree
2010-08-10
Sven V
e
rdoolaege
i
scc
:
a
l
low
i
nv
e
rse
o
n non-u
n
i
o
n
m
a
ps ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
ool
a
ege
isc
c
: add
w
r
a
p and
u
n
wrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
V
e
r
doolaege
add i
s
l_union
_
m
ap_
a
pply_
u
n
i
on_p
w
_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
isl_pw_qpoly
n
omial_sum: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl
f
o
r
n
e
sted dim
e
nsion spec
i
fic
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
i
sl_map_c
a
rd: postpone shufflin
g
around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
update is
l
fo
r
isl_basic_map_move_di
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_p
w
_qpolynomial_
s
um: push conversi
o
n to Po
l
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
isl_
p
w_qpolynomial
_
sum: check
f
or unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
e
rd
o
ola
e
ge
avoid u
s
e
of isl_dim inte
r
nals
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verd
o
olaege
is
c
c: support codegen operation if CLo
o
G is
available
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
iscc: switch t
o
using unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaeg
e
add isl_un
i
on_pw_qp
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verd
o
olaege
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoo
l
aege
isl
_
pw_qp
o
lynomial_su
m
: t
a
ke tuple nam
e
s into a
c
coun
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
i
sl_map
_
ca
r
d:
p
r
e
serve ful
l
domain dimen
s
ion information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
update isl for change in isl_hash
_
table_for
e
ach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
l
a
ege
b
a
rvin
o
k_enumerate
.
cc:
f
i
x pr
i
ntf for
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc: add some more papers ref
e
ring to the library
commit
|
commitdiff
|
tree
2010-06-29
S
ven
Verdoolaeg
e
barvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ver
d
oolaege
update isl to ver
s
ion 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
conf
i
gure
.
i
n
:
p
rop
e
rly add isl flags and libs
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
con
f
igure
.
i
n: dr
o
p call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erd
o
olaege
g
enfun
.
cc: f
i
x printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
test_approx
.
c
: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
test
_
bound
.
c: fix print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verd
o
olaege
c
o
n
f
igure
.
in: stop compil
i
ng
O
mega
by def
a
u
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
l
ae
g
e
verify_lexs
m
aller
.
c: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoola
e
ge
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_
i
sl
.
c:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoo
l
a
e
g
e
iscc:
r
e
c
over fro
m
e
r
r
ors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
upda
t
e
i
sl
for
i
mproved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ver
d
oolaege
iscc
.
c:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Ve
r
do
o
laege
doc
:
iscc: update documentation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: include cty
p
e
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
test_a
p
prox: include config
.
h for H
A
VE_SYS_
T
I
MES
_
H
commit
|
commitdiff
|
tree
next