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
Sven Verdoo
l
aege
r
e
m
o
v
e po
l
yhed
r
on_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoola
e
ge
remove polytope_
m
inimize app
l
ication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verd
o
o
l
a
e
ge
Polyhe
d
ron_Sa
m
p
l
e
: use isl un
c
onditiona
l
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
erdoolaege
remo
v
e
c
o
mbine
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolae
g
e
build libisl and
lib
p
oly
l
ibgm
p
bef
o
re libi
s
l-poly
l
ib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verd
o
olaege
iscc: s
u
pport ap
p
lic
a
tio
n
o
f piecewis
e
quasi
p
o
l
y
n
omi
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
doc: f
i
x documen
t
ation of
j
oin of maps and folds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Ve
r
doolaege
add
isl_u
n
i
on
_
s
et_apply_
u
n
i
on_pw_qpo
l
ynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ver
d
o
o
laege
update isl fo
r
export of
isl_un
i
on_map_from_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Ver
d
o
o
laege
iscc:
a
dd write oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
o
o
laege
iscc: optionally di
s
able read operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
S
ven Ver
d
oolaege
doc: explain
comma operator i
n
a set
description
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oolaege
iscc
:
ad
d
t
y
peof operat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
l
a
ege
add isl_
s
tr_fr
o
m_str
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolae
g
e
i
scc
.
c: use C99 d
e
s
ignated initializers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
Verdoolaege
iscc: minor im
p
rov
e
ment in er
r
o
r
m
e
s
s
ag
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sv
e
n Verdoolaege
iscc: add domain_map and r
a
nge_map operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
oolaege
i
s
cc: add
"domain
"
and "range
"
synonym
s
for "dom" and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n Verdoolaege
update isl to ve
r
s
i
on 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
is
c
c: don't all
o
w code generat
i
o
n on union sets of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdool
a
eg
e
up
d
ate isl
t
o
ve
r
sion 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
v
en Verdoolaege
a
void u
s
e
of isl_set and isl_map
i
nternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
separ
a
te out isl int
e
rfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sven Verdoolaege
configure
.
i
n
: pr
o
p
a
ga
t
e ab
s
olute
i
sl builddir to submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sv
e
n Verdoolaege
update isl for ren
a
me
o
f header file
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdool
a
e
g
e
evalue_f
l
oor2frac
:
don't assume coefficients of f
l
oo
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Ve
r
doolaeg
e
tes
t
_bound: stop testing a
f
ter pred
e
termined number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
barvino
k
_boun
d
: rewrite
in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ver
d
ool
a
ege
ba
r
v
inok_{sum
m
ate,boun
d
}:
take i
s
l input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
test
_
bound: switch to i
s
l representa
t
i
on eve
n
ear
l
i
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaeg
e
test_boun
d
:
switch
t
o
isl repr
e
sen
t
ation earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
Verdoolaege
iscc: add polynomial approxi
m
atio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven
Ver
d
oolaege
barvinok
_
sum
m
ate: rewrite
i
n C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoolaeg
e
b
a
r
vinok_summ
a
t
e: use
i
sl interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdool
a
ege
bou
n
d
.
cc: drop dea
d
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sve
n
Verdoolaege
doc: more informati
o
n about us
i
ng sets and maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
v
e
n Verdoolaege
doc: update
s
o
me references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
V
erdo
o
laege
iscc: ad
d
poly operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
S
ve
n
Verdoolaege
iscc: ad
d
s
c
a
n oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoola
e
ge
is
l
_
p
w_qpolynomial_su
m
:
handle existentials in wr
a
pped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update isl f
o
r
r
e
na
m
ing of isl_map
_
remove
commit
|
commitdiff
|
tree
2010-10-20
Sven Verdoolaege
version
.
c: sho
w
use of
CLooG
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
doc: a
b
it mor
e
i
n
fo
o
n
iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
i
s
cc: add
befo
r
e and after operations
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc:
a
d
d
identit
y
operati
o
n
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaeg
e
iscc: b
r
eak
o
ut off main loop whe
n
printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdo
o
laeg
e
i
s
cc: s
u
pport
e
xtended Po
l
y
L
i
b
o
utpu
t
form
a
t
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ve
r
d
o
ol
a
ege
c
onfi
g
ure
.
in: perfor
m
check for GMP su
p
port in N
T
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
S
ven
Ve
r
d
oolaege
i
s
cc: add
c
o
mposit
i
on operation
on piec
e
wise quasipo
l
ynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolae
g
e
isc
c
: add dependen
c
e analysis operations
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Ve
r
doo
l
aege
iscc: register extra k
e
yword
s
in
gener
i
c way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
use isl to perform "manual_coun
t
"
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
allow
building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyhedron_Re
d
uced_Bas
i
s
: optional
l
y use is
l
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
fix dependence on build is
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_map_ca
r
d:
u
s
e
isl
for f
a
c
t
orization
commit
|
commitdiff
|
tree
2010-09-14
Sv
e
n Verdoolaege
isl_map_ca
r
d: s
p
lit
d
i
m
ension fiddling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_
m
ap_
c
ard: use isl_p
w
_qpolynomial_sum if
requ
e
sted
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolae
g
e
b
arvi
n
ok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdo
o
l
aege
u
pdate i
s
l for fix in p
a
rameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add
lexicographic operators
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdo
o
laege
update
isl to version
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoolae
g
e
iscc: add "source" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoo
l
aege
iscc: add support
for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: print
error mess
a
ge on use of unknown identi
f
ier
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolae
g
e
iscc: support union sets
i
n
ver
t
i
ces operation
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoo
l
aege
add
i
sl_list_co
n
cat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoola
e
g
e
bar
v
inok_bound:
u
se i
s
l to split pe
r
iod
s
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Ve
r
doolae
g
e
update
i
sl for isl_
p
w_qpolynomial_split_period
s
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaege
doc: mark P
o
lyLib
inter
f
ac
e
obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
r
d
oo
l
aege
M
a
kefile
.
am: drop refe
r
ences
to
o
bsolete @bv
_
barvinok_bo
u
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdoolaege
evalue_convert
.
cc: evalue_pr
i
nt_isl: p
r
i
nt end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
erdoolaege
iscc: allow coercion of binary
l
i
st into first elemen
t
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoola
e
g
e
b
a
rvinok_bound:
c
onvert t
o
isl_pw_qpolynomial
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
laege
barv
i
nok_bound: use
i
s
l
to
spli
t
on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaege
set se
n
sible
d
efault
s
with --po
l
ynomial-approxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_qpolynomial_sum
:
reuse barvinok
_
o
ptions if avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_map_card
:
reuse ba
r
v
inok_options if
a
vailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolae
g
e
u
pdate isl for al
i
gning parameter
s
o
f
u
nion arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
iscc: add "j
o
i
n" o
p
eration on fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc: ad
d
"join
"
operation on maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc: support ad
d
ition on a pair of a
f
o
ld and a qu
a
sipol
y
no
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoo
l
aege
update isl f
o
r
a
dding types to isl_{union_,}pw_
q
polynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
oolaege
all
o
w codegen on
se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoo
l
aege
iscc:
codegen: detect st
r
ide
s
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
r
d
oolaeg
e
iscc: u
s
e
s
implifi
e
d CLooG inte
r
face
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolae
g
e
update isl f
o
r
rename of isl_pw_qp
o
lynomial_f
o
ld_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
e
g
e
is
c
c
.
c: union_pw_qpol
y
no
m
ial_upper
_
bound: fix
m
emory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
s
u
mmate
.
c: fix
t
y
po in com
m
ent
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolae
g
e
isl_map
_
app
l
y
_
pw_qpolynomial:
fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
upda
t
e isl from
i
sl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdool
a
e
ge
iscc: allow inv
e
rse on non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc:
a
dd wrap and unwra
p
opera
t
ions
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
a
d
d
is
l
_union_ma
p
_
a
pply_union_pw_qpo
l
ynomi
a
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
o
olaege
is
l
_pw_qpolynomial
_
sum: hand
l
e
i
s
l_pw_qpol
y
nomial
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
r
dool
a
ege
update isl fo
r
ne
s
t
ed dim
e
n
s
ion sp
e
cifications
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Ver
d
o
o
laege
isl_map_c
a
rd:
postpone shufflin
g
aroun
d
of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdo
o
laege
update is
l
f
o
r isl_
b
a
s
ic_map_move_
d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl
_
pw
_
qpolynomial_s
u
m: pus
h
conversio
n
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
next