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 Ve
r
doolaege
iscc:
add de
p
e
n
dence analysis
o
peratio
n
s
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
iscc: regis
t
er extra keyw
o
rds
i
n generic w
a
y
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Ver
d
oolae
g
e
use isl t
o
perform "manual_co
u
nt"
commit
|
commitdiff
|
tree
2010-10-11
Sven V
e
rdoolaege
a
llow
building without piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
Polyhe
d
r
on_Reduced
_
Basis: optionally use isl
commit
|
commitdiff
|
tree
2010-10-11
S
ven Verdoola
e
ge
fix de
p
endence on
buil
d
isl
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
isl_map_
c
ar
d
: use isl
f
or factorization
commit
|
commitdiff
|
tree
2010-09-14
Sven Verdoolaege
i
s
l
_map_card: sp
l
it
dimen
s
ion fi
d
dling from co
n
versi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
isl_map_card: use isl_pw_qpolynomial_sum if re
q
uested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolaege
ba
r
vinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
Ve
r
do
o
lae
g
e
updat
e
isl fo
r
fix in pa
r
am
e
t
er alignment
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoo
l
a
eg
e
barv
i
n
o
k 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
en V
e
rdoolaege
iscc:
a
dd lexicog
r
a
phic op
e
rators
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdoolaege
update isl t
o
version 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n
V
erdoolaege
iscc: ad
d
"source"
operation
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rd
o
olaege
i
s
cc: add support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
o
o
laege
iscc: print e
r
ror message on
u
se o
f
unknown iden
t
ifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoola
e
g
e
isc
c
: support u
n
ion sets in vertices operation
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Ve
r
doolaege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdoolaege
b
a
rvinok_
b
o
und
:
use isl to s
p
l
it periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
do
o
laege
updat
e
isl for isl_pw_qpolyno
m
ial_split_peri
o
d
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Ve
r
do
o
laege
doc: mark Po
l
y
L
i
b
interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdoo
l
aeg
e
Ma
k
efile
.
am:
d
rop references
to obsol
e
t
e
@bv_barv
i
nok_
b
o
u
nd@
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n
V
erd
o
olaege
evalue
_
convert
.
cc:
e
value_pr
i
nt_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sve
n
Ver
d
oolaege
iscc: allow coercion of
binary li
s
t
into first e
l
ement
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erdoo
l
aeg
e
b
a
r
vinok_bound: convert to isl_pw_q
p
olynomial o
n
ce
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oola
e
ge
b
a
rvinok_bound: us
e
isl t
o
split on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
s
e
t sen
s
i
b
le defaults with --polynomial-appr
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n
Verdo
o
laege
is
l
_pw_
q
polynomial_sum: reuse barvinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doo
l
a
ege
isl_
m
ap_card
:
reuse barvinok_options if ava
i
l
able
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Verdoolaege
u
p
date isl for aligning parameters of union argumen
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
i
s
c
c
:
add "join" o
p
e
ration o
n
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaeg
e
is
c
c: add "
j
oin" operation on map
s
an
d
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
iscc: supp
o
r
t addit
i
o
n on a pair of a fold and
a
q
u
asipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
upda
t
e isl for adding types to is
l
_{union_,}pw_qp
o
lynomial_f
o
l
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
erdoolaege
allow codegen on se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolae
g
e
isc
c
: codegen: detect stri
d
es
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
is
c
c
:
us
e
si
m
p
l
if
i
e
d CLooG in
t
e
rfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
u
p
date isl for rename of isl_pw_qp
o
lyno
m
ial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
i
s
c
c
.
c:
u
nion_pw_qpolynom
i
al_upper_boun
d
: fix
me
m
o
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
summa
t
e
.
c
:
f
ix typo in
comment
commit
|
commitdiff
|
tree
2010-08-17
Sven Verd
o
olaege
isl_map_apply_pw_qpolynomial: fi
x
typo
commit
|
commitdiff
|
tree
2010-08-10
S
ven
V
erdoo
l
aeg
e
update isl fro
m
isl_union_map
f
ixes
commit
|
commitdiff
|
tree
2010-08-10
S
ven
Ver
d
oolae
g
e
iscc:
a
llow inverse on
n
o
n-union ma
p
s
again
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ver
d
o
olaege
iscc: add wrap a
n
d
u
nwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add is
l
_union
_
map_ap
p
l
y
_union
_
pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
isl_pw_q
p
o
lynomial_sum:
h
andle isl_p
w
_qpolynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update isl for n
e
s
ted
d
i
mension specifications
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Ver
d
oolaege
isl_map_card: postpon
e
shuffli
n
g around of di
m
ensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
u
pda
t
e
i
s
l for isl_basic_map
_
move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaeg
e
isl_pw_qpolynom
i
al
_
sum: pu
s
h conver
s
ion to Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
is
l
_p
w
_qpolynomial_sum: check f
o
r u
n
bounded doma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
S
v
en V
e
rdoolaege
avoid
u
s
e of isl_dim intern
a
ls
commit
|
commitdiff
|
tree
2010-07-31
S
v
en V
e
rdoolaege
iscc: support co
d
egen operation
if CLooG is ava
i
la
b
le
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdo
o
laege
is
c
c: switch to u
s
ing union
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add is
l
_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
add is
l
_
u
nio
n
_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_p
w
_
q
polynomi
a
l_sum: take
tu
p
le names
i
nto account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
laeg
e
isl
_
map
_
card: preserve
f
ull domain di
m
ension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
upd
a
te isl for
change
i
n is
l
_ha
s
h_t
a
ble_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ver
d
oo
l
a
e
ge
bar
v
inok_
e
num
e
r
ate
.
cc: f
i
x printf
fo
r
mat
commit
|
commitdiff
|
tree
2010-07-03
Sven
V
erdoolaege
doc: add some more papers r
e
feri
n
g to the l
i
br
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
o
lae
g
e
ba
r
vinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
u
p
date isl to ve
r
sion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
er
d
oolae
g
e
configu
r
e
.
in: properly add isl flags and
l
ibs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoo
l
aege
configu
r
e
.
in
:
drop call to gl_
E
AR
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n V
e
rdoo
l
a
e
ge
genfun
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verd
o
o
la
e
ge
test_
a
pprox
.
c: f
i
x print
f
f
orm
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
t
e
s
t_bound
.
c: fix
prin
t
f
f
or
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olae
g
e
configure
.
in: sto
p
c
o
mpili
n
g Omega by
d
efault
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoolaege
verify_le
x
s
maller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Ver
d
oolaeg
e
evalue
.
c: av
o
id use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
evalue_
i
sl
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n V
e
r
d
oolaege
i
s
cc
:
rec
o
ver from
errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
olaege
update isl for
i
m
pro
v
ed
e
rror handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc:
update do
c
umentati
o
n of "ub" oper
a
to
r
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
te
s
t_approx: incl
u
d
e
c
typ
e
.
h f
o
r isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
g
e
te
s
t_
a
pprox: i
n
clud
e
c
o
nfig
.
h f
o
r
H
AVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
test_bound
:
include
config
.
h fo
r
H
A
VE_SY
S
_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
a
e
ge
i
sc
c
: add v
e
rtic
e
s o
p
er
a
t
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
p
t
i
onal
l
y u
s
e isl to perform
parametric vertex enumer
a
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
u
pdate isl
-
polylib fo
r
han
d
li
n
g of
r
ational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
drop distinctio
n
b
etween ba
r
vinok-c
o
re and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
remove ber
n
stei
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oo
l
a
ege
up
d
ate isl for
generic isl_pw_qpolynomia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
configure
.
in: drop bv
_
o
m
e
ga_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_ctx_peek_
b
arvinok_options
commit
|
commitdiff
|
tree
2010-06-07
S
v
en Verdool
a
ege
iscc: parse barvinok opti
o
ns
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
expor
t
isl_qpol
y
nomial_from_eva
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
Ma
k
efile
.
a
m
:
drop depe
n
d
ence o
n
doc
/
omega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl
f
or re
n
a
m
e of
isl_pw_qpolyn
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_eh
r
hart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
i
n: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
use isl for
argument parsin
g
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
u
pdate i
s
l for keeping tra
c
k
of
user option
s
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verd
o
ol
a
ege
test_bound: rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
olaege
update isl for
he
l
p mes
s
age p
r
int
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
remove
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
Verdoolae
g
e
remove
eva
l
ue_range_pro
p
agation
commit
|
commitdiff
|
tree
next