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
iscc: add dependence analysis operations
2010-10-11
Sven V
e
rdoolaege
i
s
cc:
a
d
d
dep
e
nde
n
ce analysis op
e
rations
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdo
o
l
a
ege
iscc: register extra keywords in generic wa
y
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
u
se isl
t
o pe
r
form "manual_
c
ount"
commit
|
commitdiff
|
tree
2010-10-11
S
ven
V
er
d
oolaege
a
llow bui
l
ding wi
t
hout piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven
Verdoo
l
aege
Pol
y
he
d
ron_Red
u
ced_Basis: optional
l
y use isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verd
o
olaege
f
i
x dependenc
e
on build i
s
l
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
isl_ma
p
_ca
r
d
: use
isl for factorization
commit
|
commitdiff
|
tree
2010-09-14
S
v
e
n Ve
r
doolae
g
e
isl_map_card: split dimension
fiddling
f
rom conv
e
r
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolae
g
e
i
sl_map_c
a
rd: use isl_pw_
q
polynomi
a
l_
s
u
m
if r
e
quested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
barvinok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n
V
erdoo
l
aege
up
d
ate isl for fi
x
in par
a
meter
alig
n
ment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoo
l
aege
b
a
rvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdool
a
ege
i
scc:
add lexicographic opera
t
ors
commit
|
commitdiff
|
tree
2010-09-10
Sv
e
n Verd
o
olaege
update isl
to ver
s
ion
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven
V
erdoolaege
i
s
cc: add "
s
ource"
o
peration
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n Verdoolaege
iscc: add
s
upp
o
r
t f
o
r
s
tri
n
gs
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n Verdoolaege
iscc:
p
ri
n
t error message on use
o
f unk
n
own identif
i
er
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oo
l
aege
is
c
c: support union sets in vertice
s
operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oolaeg
e
add isl
_
list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvinok_bound: use isl to
split periods
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdoolae
g
e
update i
s
l for isl
_
pw
_
qpolynomial_split_
p
eriods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: mark
P
olyLib int
e
rface o
b
sol
e
s
cen
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolae
g
e
M
akefile
.
am
:
drop references
t
o
obsolete @bv_b
a
rvino
k
_bou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
o
o
laege
evalue_conver
t
.
cc: evalue_pr
i
nt_isl: print
e
n
d-of
-
line
commit
|
commitdiff
|
tree
2010-08-30
Sv
e
n V
e
rdool
a
ege
iscc: all
o
w coercion
of binary
list into first
elemen
t
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oolaege
barvinok_bound: conv
e
rt
to
is
l
_pw_
q
p
olyno
m
ial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Ve
r
d
oolaege
barvin
o
k_bound: use isl to s
p
lit on domain size
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoolaeg
e
set sensible defaults with --polynomial-ap
p
roximatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verd
o
ola
e
g
e
i
s
l
_
pw_qpo
l
y
n
o
mial_sum: reuse ba
r
vinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoolae
g
e
isl
_
m
a
p_
c
ard:
reu
s
e bar
v
i
nok_o
p
tions
i
f
availab
l
e in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoolaege
u
p
date
i
sl
f
or aligni
n
g
p
aramete
r
s of union argum
e
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc: a
d
d "join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
i
s
c
c
: add "
j
oin
"
opera
t
ion
on maps
a
nd fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
i
scc:
s
upport addition on a
p
ai
r
of
a
f
old an
d
a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
u
pda
t
e isl
fo
r
a
d
ding types
t
o
i
sl_
{
union_,}pw_qpolynomi
a
l_
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
r
d
oolaege
allow codegen
o
n sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
iscc: codegen: detect stri
d
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
iscc:
u
se simpl
i
f
i
ed CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
update isl
for rename of
i
sl_pw_qp
o
l
ynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoola
e
ge
i
s
cc
.
c: union
_
pw_qpolynomial_upp
e
r_bound: fix memo
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summate
.
c:
fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-08-17
S
ven Ve
r
doolaeg
e
i
s
l_map
_
apply
_
pw_qpolynom
i
al: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
upd
a
t
e
is
l
from
isl_
u
nion_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
i
s
cc: allo
w
inverse o
n
non-union map
s
ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
iscc:
a
d
d w
r
a
p
and unwrap operat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl
_
union_map_apply_union_
p
w_qpolyn
o
mial
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ve
r
doolaege
isl_pw_qpolynomial_sum: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verd
o
olaege
update isl fo
r
nest
e
d dim
e
nsion
spe
c
ifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oo
l
aege
isl_
m
ap_ca
r
d: postpone sh
u
fflin
g
around of di
m
en
s
ions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
upd
a
te isl for is
l
_
basic_map_move_d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoo
l
aege
i
sl_pw_qpol
y
n
omial_sum: push conversion to Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
o
ola
e
ge
isl_pw_qpo
l
ynomi
a
l_sum: check for unbound
e
d
domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaeg
e
avoid use of isl_di
m
internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: s
u
pport codegen
o
peration if
CLooG is
availa
b
le
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
isc
c
: switch to using union
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
a
d
d
is
l
_union_
p
w_qpolyno
m
ial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
a
dd isl_union_
m
ap
_
car
d
commit
|
commitdiff
|
tree
2010-07-31
S
v
en V
e
rdoolaege
isl_pw_qpo
l
ynomial_sum
:
t
a
ke
t
uple names
i
nto account
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
is
l
_ma
p
_c
a
rd: preser
v
e f
u
ll domain dimen
s
ion
i
n
f
ormation
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
update isl for
c
hange in isl_hash_ta
b
le_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
barvinok_enume
r
ate
.
cc: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoolaege
doc: add
s
ome mor
e
pa
p
er
s
r
ef
e
rin
g
to t
h
e library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aeg
e
update isl to
ver
s
io
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
oolaege
confi
g
ure
.
in: p
r
operly add isl fla
g
s and l
i
b
s
to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verd
o
ol
a
ege
configure
.
in:
drop ca
l
l to gl_EA
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
ge
n
fu
n
.
cc:
f
i
x pr
i
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
test_approx
.
c: fix printf fo
r
ma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c:
f
ix p
r
i
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
co
n
figure
.
in: st
o
p compiling O
m
eg
a
b
y d
e
fa
u
lt
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oolaeg
e
verify_lex
s
ma
l
ler
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Ve
r
d
o
olaeg
e
e
v
alue
.
c: avoid use of al
l
oca
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
iscc: rec
o
ver from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
u
p
date isl for improved err
o
r handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: is
c
c:
u
pdat
e
docum
e
nt
a
tion
of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
test_approx
:
include
ctype
.
h for i
s
space
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
o
l
aege
t
e
st_approx: i
n
clude config
.
h
for
H
AVE_
S
YS_TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
test_bound: include config
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
iscc: add vert
i
ces
o
perations
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
opti
o
na
l
ly use i
s
l
t
o perf
o
rm
parametric
v
ertex enum
e
rat
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
upd
a
te isl-po
l
ylib for handlin
g
of r
a
tional sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
drop dis
t
inction between barv
i
n
o
k
-
core
a
nd
b
arvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
r
em
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
up
d
ate isl for generic isl_pw_qpolynomia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
configu
r
e
.
i
n: drop bv_omega_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
a
d
d i
s
l
_
ctx_p
e
ek
_
barvinok_op
t
ions
commit
|
commitdiff
|
tree
2010-06-07
Sven
V
erdoolaege
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoo
l
aege
e
xport isl_qpolynomial_from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: dr
o
p dependence on
d
oc/omega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
S
ven V
e
rdool
a
e
g
e
up
d
a
te isl for
r
en
a
me of isl
_
pw
_
qpolyno
m
ial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
verif
_
ehr
h
art
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in: fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
u
s
e isl f
o
r argument p
a
rsi
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verdoolaege
upd
a
te
isl for k
e
eping tr
a
ck o
f
user optio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
oolae
g
e
t
est_
b
oun
d
: re
w
rite
in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdoo
l
ae
g
e
upda
t
e isl for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
r
dool
a
ege
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaeg
e
remove evalu
e
_range_propag
a
tio
n
commit
|
commitdiff
|
tree
next