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
barvinok 0.36
2011-01-16
Sven Verdoolaeg
e
isc
c
: support application of piecewise quasipolynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
d
o
c: fix documentation of join of maps and fol
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
add isl_union_set_
a
ppl
y
_union
_
pw_qpoly
n
omial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
update isl for
export o
f
isl_union_map_from_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoola
e
g
e
iscc:
add wri
t
e
o
p
erati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
iscc: optio
n
a
lly disa
b
le read
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sv
e
n Verdoolaege
doc: explain comma
o
pera
t
or in a set descrip
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolae
g
e
iscc:
add typ
e
of operator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven V
e
rdoola
e
ge
add isl_str_
f
r
o
m_str
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoo
l
a
ege
iscc
.
c: u
s
e
C99 designated initializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oolaege
iscc: mi
n
or impro
v
ement
in e
r
ror message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc: add
d
o
m
a
i
n_map an
d
ran
g
e_ma
p
operatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Verd
o
olae
g
e
iscc: add "domain" and
"
r
a
n
g
e" sy
n
ony
m
s
for "dom" a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
update isl
t
o ve
r
sion 0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
V
e
r
do
o
laege
iscc: d
o
n't
a
llow code generation on union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven
Verdoolaege
up
d
ate isl to versio
n
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaeg
e
avoi
d
use of
i
s
l_set and
is
l
_map int
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoola
e
ge
s
e
p
a
ra
t
e out isl in
t
er
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
ven
V
erdoolaege
co
n
fig
u
re
.
in: propa
g
ate ab
s
olut
e
i
sl
b
ui
l
ddir
to s
u
bm
o
dule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdool
a
ege
upda
t
e
i
sl for rename of
h
ea
d
e
r
fil
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdool
a
ege
evalue_floor2
f
rac: do
n
't assume coefficie
n
t
s
o
f
floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
e
rd
o
o
l
aege
t
est_boun
d
: sto
p
testin
g
after pr
e
determ
i
ned n
u
mber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verd
o
o
l
aege
b
arvin
o
k_boun
d
: rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
b
arvino
k
_{s
u
m
m
a
t
e
,bound}: take is
l
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
test_bound:
s
witc
h
to isl
re
p
r
e
sentation even
e
arlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_bound: switch to i
s
l
r
e
presentati
o
n earlie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolae
g
e
iscc: ad
d
polynomial approxi
m
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barv
i
nok_summate
:
r
e
write in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok
_
summate
:
use isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en Verd
o
olaege
b
o
und
.
c
c
: dr
o
p dead
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
doc: more
in
f
ormation about using set
s
and map
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
e
rdoolaege
doc: update some
r
eferences
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
Ve
r
doolaege
iscc:
add poly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
S
v
en Verdoolaege
iscc:
add
s
can ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Ver
d
oolae
g
e
isl
_
pw_qpoly
n
omial
_
s
u
m: handle existentials in w
r
apped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verd
o
olaege
update isl for renaming of isl_map
_
remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
version
.
c: show use of
CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
v
en
V
erdoolaege
d
oc
:
a bit
m
ore info
on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
e
rdoolaege
iscc: add be
f
ore and
a
fter operatio
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
i
scc:
add i
d
entity
o
pera
t
ion
commit
|
commitdiff
|
tree
2010-10-18
S
v
e
n V
e
r
d
oolaeg
e
iscc: break out of
f
ma
i
n loop when
printe
r
n
o
lo
n
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
do
o
lae
g
e
is
c
c: support
e
xtend
e
d PolyLib output format
commit
|
commitdiff
|
tree
2010-10-18
Sven
V
er
d
oolae
g
e
configure
.
in: perform check for GMP su
p
port in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
iscc: add com
p
os
i
tion op
e
ration on piecew
i
se quasi
p
olynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
iscc: add depen
d
ence an
a
lysis opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verd
o
olaege
iscc:
regi
s
ter ex
t
ra keyword
s
i
n
generic way
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdo
o
laege
use isl
to perform "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
V
erdoo
l
ae
g
e
allow building
w
ithout
p
i
plib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyhe
d
ro
n
_R
e
duc
e
d_Basis:
optionall
y
use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fi
x
depe
n
dence o
n
build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaege
is
l
_map_card: us
e
is
l
for
f
actorizat
i
on
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl
_
map_c
a
rd: sp
l
it dimension fid
d
lin
g
from convers
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
V
e
r
d
oolaege
i
sl
_
map_
c
ard
:
use isl_pw
_
qpolyn
o
mial_sum if
requ
e
sted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
ven Verdoolaege
barvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doolaege
up
d
ate isl for fix in pa
r
ame
t
e
r alignm
e
nt
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
oolaege
barvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n Ver
d
o
olaege
iscc: add lexicograp
h
ic ope
r
a
t
ors
commit
|
commitdiff
|
tree
2010-09-10
Sven
Ver
d
oolaege
update
isl to version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolaege
i
scc:
a
dd "source
"
oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
isc
c
: add
support f
o
r strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
rdoolaege
iscc: print error mess
a
ge
o
n
use of unknow
n
identif
i
er
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
s
c
c
:
support union s
e
ts in
v
ertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
a
e
ge
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barv
i
nok_bound: use
i
s
l
to split perio
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Verdoolaege
update i
s
l for
isl_pw_qpolynomial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc:
m
ark P
o
l
yLib interface
o
bsolesce
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefi
l
e
.
am: drop references to obsolete @bv_barvino
k
_bo
u
nd@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_convert
.
cc: evalu
e
_pri
n
t_
i
sl:
p
r
int end-of
-
line
commit
|
commitdiff
|
tree
2010-08-30
Sv
e
n Verdoo
l
aeg
e
isc
c
: allow coerc
i
on of bin
a
ry list
i
nto first
element
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erdoolaege
barvi
n
ok_bound:
c
o
n
ver
t
to isl
_
pw_qpolynomia
l
once
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n V
e
rdool
a
e
ge
barvinok_bound: use isl to split on dom
a
i
n size
commit
|
commitdiff
|
tree
2010-08-26
S
ven
Verdoolae
g
e
se
t
sensible defaul
t
s with --polynomial-
a
pp
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Ve
r
dool
a
ege
isl_pw_qpolynomi
a
l_su
m
:
r
e
u
se barvin
o
k_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
aege
isl_map_
c
ard: reuse
b
arv
i
n
o
k
_
o
ptions if available
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
laege
up
d
ate isl fo
r
a
ligning par
a
meters
of union
a
rguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
e
rdoolaeg
e
is
c
c: add "join"
o
p
e
ration on
fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
erd
o
ol
a
e
g
e
isc
c
:
add "j
o
in" operation on m
a
ps and
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
iscc:
supp
o
rt addition on a pair of a fold and a quasi
p
o
l
yn
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl for
a
dd
i
ng
types to isl_{
u
n
i
on
_
,
}p
w
_qpoly
n
omial_folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdo
o
laege
allow co
d
eg
e
n on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolae
g
e
iscc: codegen: detect str
i
des
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
iscc: us
e
si
m
plified CLooG i
n
terfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
S
ven V
e
rdool
a
ege
update isl for
r
ename of isl_pw_qpolynomial_fold_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
c
c
.
c
:
unio
n
_pw_qpolynomial_u
p
per_bound: fix mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
su
m
mate
.
c: fi
x
typo i
n
comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Ve
r
doolaege
i
s
l_m
a
p_app
l
y_pw_qpolynomial: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Ve
r
doolaege
u
pdate i
s
l from isl_u
n
i
o
n_map f
i
xes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: allow inve
r
se o
n
non-union
m
aps again
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
rdoolaege
i
s
cc: add w
r
ap
a
n
d unwra
p
operati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoola
e
ge
add i
s
l_union_m
a
p_apply_union_pw_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
isl
_
p
w_qpo
l
yno
m
ial_sum: handle isl_pw
_
qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
u
pdate isl f
o
r nested dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n Ve
r
d
o
olaeg
e
i
sl_m
a
p
_car
d
:
postp
o
ne shuffling a
r
ound of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
g
e
u
p
date isl for isl
_
basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
isl_pw_qpolyn
o
mial_sum: push co
n
vers
i
o
n
to
Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_
p
w_qpol
y
nomia
l
_sum: check for unbounded
d
omains
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoolae
g
e
avoid use of
i
s
l
_d
i
m in
t
ernals
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoo
l
aege
i
scc: support cod
e
gen operati
o
n if CL
o
oG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
scc: swit
c
h
t
o usin
g
unio
n
s
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ve
r
d
oolae
g
e
add isl_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
next