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
Sven Ver
d
oolae
g
e
re
m
ove polytope_minimize app
l
icat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
P
olyhedr
o
n_Samp
l
e: use isl unconditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaeg
e
rem
o
ve combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolae
g
e
bu
i
ld l
i
bisl and libp
o
lylibgmp before libisl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdool
a
ege
iscc: suppo
r
t application
o
f
p
iecewise quasip
o
lynomial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
doc: fix documentation of join
of m
a
ps and
f
olds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
V
erdoolaege
a
d
d isl_union_s
e
t_apply_union_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verd
o
olaege
updat
e
isl f
o
r exp
o
rt
o
f isl
_
u
n
ion_m
a
p_fro
m
_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
g
e
iscc:
a
d
d
write operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
iscc: optional
l
y d
i
sable re
a
d op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
S
ve
n
Verdoolaege
doc: explai
n
comma operator in a set descrip
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
iscc
:
add ty
p
eof operat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n
Ver
d
oo
l
aeg
e
add isl_str_fro
m
_string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
is
c
c
.
c: use C99
d
esign
a
ted initi
a
l
ize
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isc
c
: m
i
n
o
r
improv
e
ment in error m
e
ssag
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdoolae
g
e
iscc: add d
o
main_map a
n
d range_m
a
p
op
e
rations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdoolaege
iscc: ad
d
"domain" and "range"
synonyms for "dom" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ve
n
Ve
r
d
oolaege
update isl to
version 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven V
e
rdoolaege
iscc: don't a
l
low code gen
e
ra
t
ion on union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
S
ven Verdo
o
laege
update isl
t
o
v
ersion
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
avoid use o
f
isl_set and isl
_
map
i
nternal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sv
e
n Verdoolaeg
e
separat
e
out is
l
int
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolae
g
e
configure
.
in: propagate ab
s
olu
t
e isl builddi
r
to submo
d
u
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
S
ven V
e
rd
o
o
l
aege
update isl for rename of header f
i
l
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
eval
u
e_floor2frac: don't
a
ssume c
o
effi
c
ients of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ve
r
do
o
laege
test_
b
oun
d
: stop testing after predetermined
n
u
mber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
laeg
e
barvinok_b
o
und: rew
r
i
te in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n Ver
d
oolaege
barvinok_{summate,b
o
und}
:
ta
k
e isl
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
t
est_bo
u
nd:
s
witch
t
o
isl representation
even
e
arlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
l
aege
test_bound: s
w
itch t
o
isl representation
e
arlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
iscc: add
poly
n
omi
a
l approximat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
S
v
en Ver
d
oolaege
barvinok_su
m
mate: re
w
rite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Ver
d
ool
a
ege
barvi
n
ok_summate: u
s
e isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven V
e
rd
o
olaege
bound
.
cc: drop dead
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
S
v
en Verdoolaege
doc: more informa
t
i
o
n about using sets and
m
aps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven
V
erdo
o
l
aeg
e
doc: u
p
d
a
te some referenc
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdool
a
ege
iscc: add
poly operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
iscc
:
add scan operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_pw_q
p
olynomial_sum
:
handle existentials in wrapp
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven V
e
rdoolaege
update
i
sl for re
n
aming of isl_map_
r
emove
commit
|
commitdiff
|
tree
2010-10-20
Sve
n
V
erdoolaege
version
.
c: sh
o
w use of
CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
l
aege
d
o
c
:
a
bit
m
ore info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n
Verdoolaege
iscc: a
d
d
b
efore and after oper
a
tion
s
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
r
doola
e
ge
iscc
:
add identity operation
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aeg
e
iscc: b
r
eak o
u
t off ma
i
n
loop when printer no lo
n
ger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
iscc: support ex
t
ende
d
P
olyLib outpu
t
form
a
t
commit
|
commitdiff
|
tree
2010-10-18
Sven V
e
r
d
oolaege
configure
.
in
:
perform check for
G
MP s
u
pport
i
n N
T
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoo
l
aege
i
s
cc: add compositio
n
operati
o
n on piecewise quasi
p
o
l
y
no
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc:
a
dd dep
e
n
d
ence analysis oper
a
tions
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
iscc: register extra
keywo
r
d
s in generic way
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
Verdoolaege
use isl
to perform "manual_count"
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdoolaege
allow building
without
piplib
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolae
g
e
Polyhedr
o
n
_
R
educed
_
Basis: o
p
tionally
u
se isl
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
r
d
oolaeg
e
f
i
x depe
n
dence on b
u
il
d
isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
isl_map
_
card: use isl for fa
c
toriz
a
t
ion
commit
|
commitdiff
|
tree
2010-09-14
Sven Ver
d
oolaege
is
l
_m
a
p
_
card: split dimen
s
ion fiddling
fr
o
m conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdoolaege
isl
_
map_c
a
r
d: use isl_pw_qpolynomial_sum
i
f r
e
quested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoo
l
ae
g
e
b
a
rvino
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doolae
g
e
update
i
sl fo
r
fix in parameter align
m
e
nt
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n Ver
d
oolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add lexicogra
p
hi
c
o
perat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
e
r
d
o
olaege
update
isl to ver
s
ion
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoo
l
a
e
g
e
i
s
c
c
: add "s
o
urce
"
opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n
Verdoolaege
iscc
:
add support
f
or
str
i
ngs
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
laege
iscc: print error message on us
e
o
f
u
n
k
nown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: support union sets in vertices operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven V
e
rdoo
l
aege
add
i
s
l
_
l
i
st_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvi
n
ok
_
bound: u
s
e isl to split
periods
commit
|
commitdiff
|
tree
2010-09-05
Sve
n
Verdoola
e
ge
update isl for isl_p
w
_
q
p
o
l
y
nomial_
s
p
l
it
_
pe
r
iods
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
doolaege
d
o
c
:
mar
k
PolyLib interface
o
b
so
l
escent
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oo
l
aege
Makefile
.
am: drop references to obsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolae
g
e
evalue_convert
.
cc
:
ev
a
lue_pr
i
nt_i
s
l: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Ve
r
doolaege
i
s
c
c: allow coercion of bina
r
y
l
ist into
fir
s
t elem
e
nt
commit
|
commitdiff
|
tree
2010-08-28
Sven Ve
r
do
o
laege
barvinok_bound: convert to isl_pw_qpol
y
nomial onc
e
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
V
erdoolaege
barvinok_bound:
use isl to sp
l
it on domai
n
size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaeg
e
se
t
sensible de
f
au
l
ts with --polynomial-a
p
pr
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_qpolynomial_sum: reuse barv
i
nok_options
if avail
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_ma
p
_card: reuse barvinok_options if a
v
ailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
upda
t
e isl for ali
g
nin
g
pa
r
amete
r
s
of
u
nion
a
r
g
um
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdool
a
e
ge
iscc:
add
"join" oper
a
tion on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc: add "j
o
in" operatio
n
on maps and
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdool
a
ege
iscc: su
p
por
t
a
d
di
t
ion on a
p
air of a f
o
l
d and a quasi
p
olyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
u
p
date isl for adding
t
y
pes
t
o isl_{un
i
o
n_,}pw
_
q
polynomial_
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
a
l
low
codegen
o
n
sets
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
i
s
c
c
: codegen: detect strid
e
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Verdoolae
g
e
iscc: use si
m
pli
f
ied CLooG i
n
terface
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
V
erdoolaege
update
isl
f
or
r
ena
m
e
o
f
isl_pw_qp
o
ly
n
omial_f
o
ld_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
S
ven V
e
rdoolaege
isc
c
.
c:
union_pw_qpo
l
y
nomial
_
upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
summat
e
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven
Ver
d
oolaeg
e
is
l
_map_
a
pply
_
pw_qpolyn
o
mi
a
l: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoola
e
ge
update i
s
l from i
s
l_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdoolaege
i
s
cc: a
l
lo
w
i
nvers
e
on non-uni
o
n ma
p
s
again
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n V
e
rdoolaege
iscc: add wrap and unwra
p
oper
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
add isl_
u
nion_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
i
sl_pw_qpolyno
m
ia
l
_sum: han
d
le
isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl f
o
r ne
s
ted dimension specific
a
tions
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Ver
d
oolae
g
e
isl
_
m
ap
_
c
a
rd: postpone s
h
uf
f
ling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdool
a
ege
up
d
ate isl
for isl_basic_map
_
move_d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdool
a
ege
isl
_
p
w_qpolynomial_s
u
m
:
push c
o
nve
r
s
i
o
n
to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpolynomial_sum:
c
heck for unboun
d
ed d
o
ma
i
ns
commit
|
commitdiff
|
tree
next