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 polyhedron_range
2011-01-16
S
ven Verdool
a
ege
remove
p
olyhedron_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
r
e
move polyto
p
e_minimize app
l
ication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
rdoolaege
Polyhedron_Sample:
use isl u
n
conditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
rem
o
ve combine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
b
u
i
l
d
libisl and
l
ibpolylibgm
p
before l
i
bisl-po
l
ylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
is
c
c: support
a
pplication of pi
e
cewise quasipoly
n
omia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
e
rdoolaege
doc: fix documentation o
f
join of maps and f
o
lds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verdoo
l
aege
add
isl_
u
nion_set_apply_union_pw_qpolyno
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
update isl for
e
xport of is
l
_uni
o
n_map_
f
ro
m
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
V
erdoolaege
iscc: a
d
d wri
t
e operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
doolaege
iscc:
o
ptional
l
y di
s
able read operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven
Verdoolaege
d
o
c: explain
co
m
m
a opera
t
or
in a set description
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n
V
erdool
a
ege
iscc: add
t
ypeof opera
t
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoola
e
ge
add isl_str_
f
rom
_
string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oolaege
iscc
.
c:
use C99 desi
g
nat
e
d
initia
l
izer
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
iscc: mi
n
or
i
mprovement in
error
m
e
ssage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
v
e
n
Verdo
o
laege
is
c
c: add domain_map and ra
n
ge_map oper
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verd
o
olaeg
e
i
scc: add "domain" and "ra
n
ge" synony
m
s for
"
dom" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Ve
r
do
o
laege
upd
a
te isl to version 0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ver
d
o
o
laege
i
scc: don't al
l
ow
c
o
de generation o
n
union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaeg
e
up
d
ate isl
t
o versio
n
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdool
a
ege
avoid use of isl_set
a
nd isl_map
i
nte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven
Verdoolaeg
e
separ
a
te out isl in
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
ven Verdoola
e
ge
configure
.
in: propagate abso
l
ute isl bui
l
d
d
ir t
o
submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
S
v
en V
e
r
doo
l
aege
u
pdate
isl fo
r
r
e
name
of heade
r
files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
r
d
o
o
la
e
g
e
evalue_floor2fra
c
: don't assume coefficie
n
t
s
of floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
test_bound: stop testing after
p
rede
t
e
r
m
i
n
e
d n
u
m
ber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
bar
v
inok_bou
n
d:
r
e
write in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
barvin
o
k_{summate
,
bound}:
take isl
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaege
test_boun
d
:
switch
to isl representation even earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
erdoolaege
test_bound: switch to isl rep
r
esen
t
ation ea
r
lier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ver
d
oolaege
iscc: a
d
d p
o
l
y
nomial a
p
proximatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sv
e
n Verd
o
o
laege
barvi
n
ok_summate: r
e
wri
t
e i
n
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Ve
r
d
o
o
l
aeg
e
b
a
rvi
n
o
k_summate
:
use isl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en Verdoolaege
bound
.
c
c: drop dead cod
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
doc: more inf
o
rmation
a
b
out u
s
ing se
t
s and m
a
ps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
doc
:
upda
t
e
s
ome r
e
ferences
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
v
e
n Verdoo
l
aege
iscc
:
add po
l
y op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
S
v
en
V
erdoolaege
is
c
c:
a
dd scan
operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
S
v
en
Verd
o
ol
a
e
g
e
isl_pw_q
p
olynomial_sum: handle exis
t
e
n
tials i
n
wrap
p
ed
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sv
e
n Verdoolaege
updat
e
i
sl
for renaming
o
f
isl_map_remove
commit
|
commitdiff
|
tree
2010-10-20
Sv
e
n Ve
r
doo
l
a
e
g
e
v
ers
i
on
.
c: show u
s
e
of C
L
ooG
commit
|
commitdiff
|
tree
2010-10-18
S
ven V
e
r
d
oola
e
g
e
doc: a
bit more info on is
c
c
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
i
scc: add before and after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
isc
c
:
a
d
d
identi
t
y ope
r
a
t
i
on
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
laege
iscc: break out
off
main loop when prin
t
er
no lo
n
ger
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
olaege
i
s
c
c:
suppo
r
t extended PolyLib
output
format
commit
|
commitdiff
|
tree
2010-10-18
Sven Verd
o
o
l
aege
configure
.
in:
perform check for GMP support in NTL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add c
o
m
p
osition opera
t
ion on piec
e
w
i
se quasipolynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
iscc: add
d
ep
e
ndence analysis operat
i
ons
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n
Verdoola
e
g
e
iscc: regis
t
er extra
k
e
ywords in g
e
neric way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
u
se isl to per
f
or
m
"manual_co
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
Sven Ver
d
oolaege
allow building without p
i
plib
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n Verdoolaege
Polyhedron_Reduced_B
a
sis: o
p
tional
l
y use is
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix
dependence on build i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
isl_map_card:
u
s
e
isl for facto
r
iza
t
ion
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
isl_map_car
d
:
s
p
l
it dim
e
nsion fidd
l
ing from
c
on
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoo
l
aege
isl_map_card: use isl_pw
_
qpolynomial_sum if requeste
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Ver
d
o
o
laege
barv
i
n
ok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
update isl for fix
in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Ver
d
oola
e
g
e
barvi
n
ok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add lexicogr
a
phi
c
operato
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n
Verdoolaege
update isl to
ve
r
sion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
ven Verdoolaege
iscc: add "source" ope
r
ation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
s
cc: ad
d
support for strin
g
s
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoola
e
ge
iscc: p
r
in
t
error mes
s
age on u
s
e of unknow
n
identifie
r
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n Verdoolaege
iscc: su
p
port union
sets in v
e
rtices ope
r
atio
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add isl_list_
c
oncat
commit
|
commitdiff
|
tree
2010-09-05
S
v
en
Ve
r
do
o
la
e
ge
b
arvinok_bound:
use isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verd
o
olaege
update i
s
l
for is
l
_pw_qpolynomial_split
_
periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
laege
doc: mark PolyLib i
n
terface
o
bsoles
c
ent
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoola
e
ge
Makefile
.
a
m
:
dr
o
p
references to obsolete @bv_barvin
o
k_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoo
l
ae
g
e
e
v
a
l
ue_convert
.
cc: evalue
_
print_isl:
print end-of-lin
e
commit
|
commitdiff
|
tree
2010-08-30
Sv
e
n Verdoola
e
ge
iscc:
allo
w
co
e
rc
i
on
o
f
b
i
nary list into first element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdo
o
laege
barvinok_b
o
und: convert to i
s
l_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
S
ven Verdo
o
lae
g
e
barvinok_bound:
us
e
isl to spli
t
on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sensible defaults with --polynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Ver
d
oolaege
is
l
_pw_
q
polynomial_sum: reuse barvinok_opti
o
ns if avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
isl_map_card: reuse barvi
n
o
k_op
t
ions
if ava
i
lable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
u
p
d
ate isl for alig
n
i
ng param
e
t
e
r
s
o
f
uni
o
n arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
dool
a
e
ge
iscc: add "jo
i
n" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc: add "join"
oper
a
tion on maps a
n
d folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
isc
c
:
suppor
t
addition on a
pair
o
f
a
fold and a qu
a
sipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoo
l
ae
g
e
upda
t
e is
l
for adding types to isl_{unio
n
_,}pw_qpo
l
yno
m
ial_
f
o
ld
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
doo
l
aege
allow cod
e
gen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ve
r
doolaege
iscc:
co
d
egen: de
t
ect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
doolaege
i
s
cc: use sim
p
l
ified C
L
ooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
e
r
doolaege
update
isl
f
o
r
rename of
i
sl_pw_
q
polyno
m
i
a
l
_
f
o
ld_add
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
i
sc
c
.
c: union_
p
w_qpolynomial_
u
pper_b
o
und:
f
ix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
summate
.
c:
f
i
x
typo in co
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
is
l
_map_
a
pply_pw_qpolynomi
a
l: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n
V
erdoola
e
g
e
update isl f
r
om is
l
_uni
o
n_
m
ap fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven V
e
rdoolaege
iscc: all
o
w inv
e
r
s
e o
n
non-union maps agai
n
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
i
scc
:
add wr
a
p and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_u
n
ion
_
m
a
p_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
erd
o
olaege
isl_pw_qpolynomial_sum: han
d
le isl_
p
w_qpolyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl for nested dime
n
si
o
n specifi
c
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
ol
a
ege
i
s
l
_map_
c
ard: pos
t
pone
s
huffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
V
e
r
doolaege
update isl for isl_basic_
m
ap_mo
v
e
_
dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoolaege
isl
_
pw
_
qpo
l
ynomial_sum: push co
n
versi
o
n to Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
next