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
summate.c: sum_with_equalities: extract out sum_over_polytope_0D
2011-01-16
S
v
en
Ver
d
o
olaege
remove combine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ver
d
oolaege
build
l
ibisl and li
b
polylib
g
m
p
befo
r
e l
i
bisl
-
polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
l
a
ege
is
c
c:
support a
p
plication
o
f piecewise q
u
asipolyno
m
i
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
d
oc
:
fi
x
d
o
cumentation of join of maps and folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolae
g
e
a
dd isl_union_s
e
t_apply_unio
n
_
pw_qpolynom
i
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
u
p
date i
s
l fo
r
export of isl_un
i
o
n_
m
ap_fr
o
m_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verdoolaege
is
c
c: add write operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ver
d
oolaege
isc
c
:
optiona
l
ly
d
isa
b
l
e re
a
d operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven V
e
rdo
o
laege
do
c
: explain
c
omma operator in
a
set descri
p
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaeg
e
iscc:
a
d
d
typeo
f
operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
aege
add isl_
s
tr
_
from_st
r
in
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoolae
g
e
iscc
.
c: use C99 design
a
ted
i
nitiali
z
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Ver
d
oolae
g
e
iscc: minor im
p
rovement in
error messa
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolae
g
e
i
s
cc: add dom
a
in_map and
range_map operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdo
o
laege
iscc: add "
d
o
main
"
and "range" synonyms for "dom" and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
upda
t
e isl to
v
ers
i
o
n 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoola
e
ge
iscc
:
don
'
t a
l
l
o
w code gen
e
ration on union sets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoo
l
a
e
ge
update isl to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven
Verdoo
l
aege
avo
i
d use of isl_set and isl_
m
ap inte
r
nals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolae
g
e
separate o
u
t
i
s
l
i
nterface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Ve
r
doolaeg
e
config
u
r
e
.
in
:
propagate absolute i
s
l
bu
i
lddir to
s
ubmodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sv
e
n
Verdoo
l
a
ege
u
pdate isl fo
r
rename of
h
e
a
d
e
r
fil
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
e
v
alue_floor2fra
c
: don't ass
u
m
e
coef
f
ic
i
ents of floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
tes
t
_bound:
s
top t
e
sting after pr
e
determined num
b
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdo
o
laege
barvin
o
k_bound: re
w
ri
t
e in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barv
i
nok_{summa
t
e,bound}: ta
k
e isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
e
rdoolaege
test
_
b
o
und: sw
i
tch to isl rep
r
es
e
n
t
ation even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Ve
r
doolaege
tes
t
_bound: switch t
o
isl representa
t
ion e
a
rlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
r
d
o
olaege
isc
c
: add polynomi
a
l approxim
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok
_
summa
t
e: re
w
rite in
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven
V
erdoolaege
barvinok_summate: use isl in
t
e
r
fa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven
Verdo
o
laege
b
o
u
n
d
.
cc: d
r
op dead
c
od
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven
V
erdoolaege
doc: more inf
o
rmation a
b
out usi
n
g sets
and maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdool
a
eg
e
doc:
update some refere
n
c
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
iscc: add poly op
e
r
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sven Ve
r
doolaege
iscc: add scan o
p
er
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_pw_
q
polynomial_s
u
m
:
handle existent
i
a
ls in
w
rap
p
ed
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update isl for renamin
g
of isl_map_r
e
mov
e
commit
|
commitdiff
|
tree
2010-10-20
Sve
n
Verdoolae
g
e
version
.
c: s
h
ow use o
f
CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
do
c
:
a
bit more info on i
s
cc
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
isc
c
: a
d
d before
and aft
e
r opera
t
ions
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc:
a
dd identity op
e
r
a
ti
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolaege
iscc: break out off main loo
p
when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
V
e
rdoola
e
ge
is
c
c: suppo
r
t extended PolyLi
b
outpu
t
format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
conf
i
g
u
re
.
i
n: perform
c
hec
k
for GMP support in
NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_Polyhedr
o
n_Sample:
add
missing i
n
itia
l
iza
t
ion
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoo
l
a
e
g
e
iscc: add c
o
m
position operation on pie
c
ewise q
u
as
i
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
iscc: add dependence anal
y
sis operations
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: register ext
r
a ke
y
wor
d
s in g
e
neric
way
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoolaeg
e
use isl to
perform "
m
anual_coun
t
"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en
Ver
d
oolaege
allo
w
b
u
il
d
ing without pipl
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoola
e
ge
Po
l
yhedron_Re
d
u
ced_Basis: optionall
y
use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolae
g
e
fix
d
epende
n
c
e on
build
i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoo
l
aege
isl
_
map_card: use
i
sl fo
r
fac
t
oriz
a
tion
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
i
s
l_map_
c
ard: spli
t
dimensio
n
fiddling from
convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
is
l
_map_card:
use isl_
p
w_q
p
olyno
m
ial_su
m
i
f
request
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
barvinok
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
Verdoolaege
u
pdate
i
s
l
f
o
r
fi
x
in parameter
a
lignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verd
o
ola
e
ge
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
ven
Verdoolaege
iscc:
a
dd lexicographic operato
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Ver
d
oolaege
upda
t
e isl to
v
er
s
ion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ver
d
oolaege
iscc: add "source" ope
r
ation
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
rdoolaege
isc
c
: add
s
upport for string
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc
:
print err
o
r message
on use of unknown id
e
ntifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
V
er
d
oo
l
aege
iscc: support union set
s
in v
e
rtices operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add i
s
l
_
list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Ve
r
d
o
o
laege
barvinok_bound: use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven
V
erdoolaege
update is
l
f
o
r
isl_pw_qpo
l
ynomial_s
p
lit_perio
d
s
commit
|
commitdiff
|
tree
2010-08-31
S
v
en
Verdoolaege
doc:
m
ark PolyLib
i
nter
f
ace obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doolaeg
e
M
akefile
.
am: drop
r
e
feren
c
es t
o
obsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doolaege
evalue_conve
r
t
.
cc: evalu
e
_print_isl
:
print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoo
l
aege
iscc:
allow coercion of
b
i
n
ary
list i
n
to first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_bound: convert to isl_pw_qpolynomial on
c
e
commit
|
commitdiff
|
tree
2010-08-28
S
v
en Verd
o
olaege
barvinok_bound: use isl to s
p
l
i
t on dom
a
in size
commit
|
commitdiff
|
tree
2010-08-26
S
ven Ve
r
doolaeg
e
set sensib
l
e defaults with
-
-polynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Ve
r
doolaege
isl_pw_qp
o
lyno
m
ial_su
m
: reu
s
e
b
a
rvinok_optio
n
s if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verdoolaege
isl_map_c
a
rd: reuse
b
arvinok_options if avai
l
a
ble in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
u
pd
a
te is
l
for
align
i
ng par
a
meter
s
of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
V
erdoolae
g
e
iscc: a
d
d "join" ope
r
ation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rd
o
ol
a
ege
iscc: add "join" operation on m
a
ps an
d
fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaeg
e
is
c
c
: support addition on a pair
o
f a
fold and a quasip
o
lyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
update
i
s
l
for adding types to
is
l
_{union
_
,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
g
e
all
o
w
c
odegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
i
scc: codegen
:
detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdo
o
laege
iscc: use
simplified CL
o
o
G interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
e
ge
u
p
date
i
sl
f
or ren
a
me
of isl_pw
_
qpol
y
nomial
_
fold_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c
:
union_pw_qpolynom
i
al_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdool
a
ege
sum
m
at
e
.
c: fix
typo
i
n c
o
mm
e
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolae
g
e
isl_map_ap
p
ly_pw_qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n
V
e
r
doolaege
u
p
date isl from
i
sl_union_map
fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
ool
a
ege
iscc:
allow in
v
er
s
e
on non-union
m
aps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
i
scc
:
add
w
rap
and unwrap op
e
r
a
tion
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
a
d
d
isl_union_map_ap
p
ly_
u
nion_pw_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ve
r
doolaege
isl_
p
w_qpolynomia
l
_sum: h
a
ndle isl_pw
_
qpolynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
u
p
date isl
f
or nested dimension s
p
ecifications
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaeg
e
i
sl_
m
a
p
_
c
ard: postp
o
ne
s
huffl
i
ng around of
d
imens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
update isl for
isl_basic_map_move_dim
s
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
isl_pw_
q
pol
y
nomial
_
sum
:
push con
v
ersion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Ve
r
doola
e
ge
i
sl_pw_
q
pol
y
nomial_
s
um: che
c
k for un
b
ounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoolaege
avoi
d
use of isl_di
m
in
t
ernals
commit
|
commitdiff
|
tree
next