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
remove polytope_minimize application
2011-01-16
Sv
e
n V
e
rdoolaege
remove poly
t
ope_min
i
mize a
p
plication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Polyhedron_Sample: use i
s
l unconditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdool
a
eg
e
remov
e
com
b
ine
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
build libisl and
l
ibp
o
lyli
b
gmp bef
o
r
e li
b
isl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
i
scc: support appli
c
atio
n
o
f
pie
c
e
wise quasipol
y
nomial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
o
ol
a
e
ge
d
oc: fi
x
doc
u
mentation
o
f join of ma
p
s
and folds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verd
o
olaege
add isl
_
union_
s
et_
a
pply_union_pw_
q
polynom
i
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
update
isl f
o
r ex
p
o
r
t
of isl_union_m
a
p_from
_
ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
l
a
ege
i
scc: add write op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
i
s
cc: optionally disable rea
d
o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-15
Sven V
e
r
d
oolaege
doc:
expla
i
n
c
omma
operator 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 typeof operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolaege
a
d
d
isl_str_from_
s
tring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Ve
r
doolaege
is
c
c
.
c: use C99 designated initializers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Ve
r
doolaege
i
s
c
c: minor imp
r
o
v
ement
i
n erro
r
m
e
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdo
o
laege
iscc: add
doma
i
n_map and range
_
m
a
p operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
V
erdoolaege
iscc
:
a
d
d
"
d
o
main" and "range" synonyms for "
d
om" a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
up
d
ate
isl to ve
r
sion 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verd
o
olae
g
e
i
scc: d
o
n't allow code gene
r
atio
n
o
n
union
s
ets of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n
V
e
rd
o
olaege
update isl to
version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
ven Verdo
o
laege
avoid
u
s
e of isl_se
t
a
n
d isl
_
ma
p
internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Verdoolaege
separate
o
ut isl
i
nterface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-28
Sven Ver
d
o
olaege
configure
.
i
n: propagat
e
abs
o
lute isl builddir t
o
s
ubmodule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
S
ven Verdo
o
laege
update isl
f
or rename o
f
header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
evalu
e
_floor2frac
:
d
o
n't assum
e
coeffic
i
ents of floo
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
t
est_bound: stop
t
esting
a
fte
r
predetermined numb
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
b
a
rv
i
nok_b
o
und:
re
w
rite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvinok_{summate,bound}: take isl in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
t
est_bound: sw
i
tch to isl repre
s
entation e
v
en earli
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
tes
t
_bound: swi
t
ch to isl represent
a
ti
o
n
e
arlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
iscc: add
p
olynom
i
al
a
pprox
i
mations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaege
barvinok_summate: rewrite in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Ve
r
doolaege
barvinok_s
u
mmate: use isl
i
nter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolae
g
e
bound
.
cc: drop
d
e
ad code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sv
e
n Ver
d
oolaege
doc:
m
or
e
info
r
mation about using sets and
m
aps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
v
en
Verdoola
e
g
e
doc:
updat
e
some
r
eferences
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ve
r
dool
a
ege
iscc: add poly
o
p
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
S
v
en V
e
rd
o
olaege
is
c
c:
a
d
d
scan oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoola
e
ge
isl_p
w
_qpolynomial_
s
u
m
:
h
andle existentials in wrap
p
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update isl for re
n
aming of i
s
l_map_re
m
ove
commit
|
commitdiff
|
tree
2010-10-20
Sven Ver
d
o
ola
e
ge
ver
s
ion
.
c: sho
w
u
s
e of CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
d
oc: a bi
t
mor
e
i
n
fo on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
iscc: add before and after ope
r
a
tions
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
rdoolae
g
e
isc
c
: add i
d
entity operat
i
on
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n
Verdoolaege
iscc: break out o
f
f main lo
o
p
w
hen printer n
o
l
o
nger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
iscc: supp
o
rt extended PolyLib outpu
t
fo
r
ma
t
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
confi
g
ure
.
i
n: perform che
c
k for GMP support in N
T
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Ve
r
doola
e
g
e
isl
_
P
o
lyh
e
d
r
on_Sample: add missing initializati
o
n
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rd
o
olaege
i
scc
:
add composition
o
peration on pi
e
ce
w
ise
qu
a
sipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
is
c
c: add dependence
a
nal
y
s
i
s o
p
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: register extra keyw
o
r
d
s in ge
n
e
ric way
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolae
g
e
u
se
i
s
l
to perform "manu
a
l_
c
ount"
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
allow building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyh
e
dron_Redu
c
ed_Basis
:
op
t
ion
a
lly use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
d
oolaege
fix dependence on bui
l
d
i
sl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_map_ca
r
d: use
isl f
o
r
fact
o
rization
commit
|
commitdiff
|
tree
2010-09-14
S
v
e
n Verdoo
l
aege
isl_map_card:
s
plit dimens
i
on fiddling from
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoolaege
isl_map
_
card: use
isl_
p
w_
q
polynomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Ve
r
doolaege
barv
i
nok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven V
e
rdool
a
ege
update i
s
l for
f
ix in
p
a
r
a
m
e
ter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdo
o
laeg
e
barvino
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add
l
exicographic ope
r
a
t
o
r
s
commit
|
commitdiff
|
tree
2010-09-10
S
ven
V
erdoolaege
u
p
date isl
to versio
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
doo
l
aege
iscc: add "source"
o
p
e
ration
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Ve
r
doola
e
g
e
is
c
c: ad
d
support for str
i
ngs
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoola
e
ge
iscc: pri
n
t error
me
s
sa
g
e
o
n use of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
iscc: supp
o
rt union
sets in ver
t
ices
o
per
a
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaege
add
isl_l
i
st_conca
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdool
a
ege
ba
r
vinok_bound: use
isl to split peri
o
ds
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
u
pdate isl for i
s
l_
p
w_qpolynomial_split_pe
r
io
d
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
do
c
:
ma
r
k PolyLib inter
f
ace
o
bsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
aege
Mak
e
f
ile
.
am:
drop refe
r
e
n
ces to obsolete @bv_barv
i
nok_boun
d
@
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
e
r
doolae
g
e
eva
l
ue_convert
.
cc: e
v
alue_pr
i
nt_isl: print
e
n
d
-of-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
Sven Verd
o
olaege
is
c
c
: allow c
o
ercion of binary
l
ist into f
i
rst element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
ba
r
vinok_bound: convert to isl
_
pw_q
p
olynomial once
commit
|
commitdiff
|
tree
2010-08-28
S
ven
V
erdoolae
g
e
b
arvinok_bound: use isl
t
o
s
p
lit on domain
s
ize
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
s
et sen
s
ib
l
e
defaults with --polynomial-app
r
oximatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
isl_pw_q
p
olynomial_sum: reu
s
e
barvinok_o
p
tions if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl
_
map_
c
ard
:
reuse b
a
r
v
inok_options if availab
l
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
update isl for aligning
p
ara
m
eters
of union arg
u
ments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verdoolaeg
e
is
c
c
: add "join" operat
i
o
n on
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
rdoolae
g
e
iscc: add "join" ope
r
ation on ma
p
s a
n
d fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: s
u
p
port
a
d
d
ition
o
n a pair
of a fold
and
a
qua
s
ipo
l
yno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
u
p
d
ate isl for adding typ
e
s
to is
l
_{union_,}
p
w_qpolynomia
l
_
fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow c
o
deg
e
n on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc:
u
se simpli
f
ied CLooG
inter
f
ace
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
updat
e
isl for
rena
m
e
of isl_
p
w_
q
polynomial_fold
_
add
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdo
o
l
a
ege
i
s
c
c
.
c:
u
nio
n
_pw_qpolynomial_upp
e
r_bound: fix
memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolae
g
e
sum
m
ate
.
c: fix typ
o
i
n
comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl
_
map_apply_pw_qpolynom
i
al: fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verdoolaege
update i
s
l
f
rom isl_union_m
a
p f
i
xes
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
ool
a
e
g
e
iscc: allo
w
inverse
o
n
n
on-union
m
aps again
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
d
oolaeg
e
iscc: add
w
r
a
p
an
d
unw
r
ap o
p
erations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
a
dd
isl_union_map_apply_
u
nion_pw_q
p
olynomial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
isl_pw
_
qpolyno
m
ial_sum:
handle
i
sl
_
pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ver
d
oolae
g
e
update isl for n
e
sted dimensi
o
n s
p
ecifi
c
at
i
ons
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolae
g
e
isl_map_card: p
o
stpon
e
shuf
f
ling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
u
pdate
is
l
for isl
_
basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
is
l
_p
w
_qpolynomial_su
m
:
push conversion
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
next