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
barvinok 0.32
2010-09-10
Sven Verdool
a
ege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolaege
iscc: add lexi
c
ographic ope
r
ators
commit
|
commitdiff
|
tree
2010-09-10
S
ven
V
erd
o
olaege
update isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven
Ver
d
oolaege
is
c
c:
add
"source"
o
perat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
is
c
c: add
support f
o
r str
i
ngs
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoo
l
aege
is
c
c: pri
n
t error message on use of
u
nkno
w
n identifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoolaege
iscc:
s
upport
union sets in vertices oper
a
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdo
o
l
a
ege
add isl_l
i
st_concat
commit
|
commitdiff
|
tree
2010-09-05
Sve
n
Ve
r
doola
e
ge
barvinok_bound: use isl to sp
l
it per
i
o
d
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
d
oolaege
update isl
f
or is
l
_pw_
q
p
o
lynomia
l
_split_per
i
ods
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaege
doc: mark PolyLib interface
o
bsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoolaege
Makefile
.
am: drop
references to obso
l
ete @bv_barvinok
_
bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
er
d
oolaege
e
v
alue_convert
.
cc: evalue_print_isl: print e
n
d-
o
f-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoola
e
ge
iscc: all
o
w
c
oercion of binary list into firs
t
eleme
n
t
commit
|
commitdiff
|
tree
2010-08-28
Sven Verd
o
olaege
ba
r
vinok_b
o
und: c
o
nvert to
i
sl_p
w
_qp
o
lyn
o
mial
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdool
a
ege
barvinok_bound:
use isl to split
o
n domain
s
ize
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoo
l
aege
s
e
t s
e
nsible defaul
t
s with -
-
polynomial-approximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
s
l_pw_qpoly
n
omial_sum: r
e
use bar
v
inok_options
i
f
av
a
ilable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolaege
isl_map_card: reuse
b
arvino
k
_
o
p
tions i
f
avail
a
ble
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdo
o
laege
updat
e
isl
f
or
a
ligning p
a
ramete
r
s of union argume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n V
e
r
doolaeg
e
iscc:
a
d
d "join" ope
r
ation o
n
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc: add "join
"
operation on
maps and folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verd
o
ol
a
ege
iscc: suppo
r
t addition on a pair of a fold and a q
u
asipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
updat
e
isl for
adding types to
isl_{union_,
}
pw_
q
p
o
lynom
i
al_folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Verdoola
e
ge
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
i
s
cc
:
co
d
egen
:
de
t
ect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
:
use simplified C
L
ooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoo
l
aege
u
p
date isl fo
r
r
ename of isl_pw
_
q
pol
y
nomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c: uni
o
n_pw_qpolynomi
a
l_upper_bound: fix mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
summate
.
c
:
fix t
y
po in c
o
mme
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoo
l
aeg
e
i
sl_ma
p
_apply_pw_qpolynomia
l
: fi
x
typo
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
erdoolaege
u
p
date isl from
i
sl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Ve
r
doolaege
iscc: a
l
low
inverse
o
n non-u
n
ion maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
iscc:
a
dd wrap an
d
u
nwrap operation
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
add isl_union_map_apply_uni
o
n_pw_q
p
olynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoola
e
ge
i
s
l_
p
w_qpol
y
nomial_sum
:
handle
isl_pw_qpolynomial
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdool
a
ege
u
p
date isl
f
or nested dime
n
si
o
n spec
i
fications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
isl_ma
p
_car
d
: postpone shufflin
g
a
r
ound of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verd
o
olaege
u
p
date isl for isl_bas
i
c_m
a
p_move_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoolaeg
e
isl_pw_qpolynomial_sum:
p
us
h
c
onv
e
rsion to PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdo
o
l
a
ege
i
sl_pw_qpolyno
m
i
a
l_sum:
c
heck for unbounded doma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Ver
d
o
olaege
avoid use of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
erdo
o
laege
iscc: sup
p
ort codegen operatio
n
if
CLooG
i
s available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
iscc: switch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdo
o
laege
add isl_union_pw_qpolynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
erdoolaege
add i
s
l_u
n
ion_
m
ap_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
is
l
_
pw_qpolynomial_sum: take
tup
l
e na
m
es i
n
to account
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
rdoolaege
isl_map_card: preserv
e
fu
l
l domain dime
n
s
i
on inf
o
rmation
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
l
a
ege
up
d
a
te isl
for
c
han
g
e in isl_hash_ta
b
l
e_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaeg
e
b
a
rv
i
nok_enumerate
.
cc: fix p
r
intf forma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Ve
r
doolaege
doc: add some more pap
e
r
s r
e
fering to the library
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
barvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
upd
a
t
e
isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdool
a
ege
co
n
f
i
gure
.
in: prop
e
rly
a
dd i
s
l flags and
l
ibs
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
configure
.
in: drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
ola
e
g
e
ge
n
f
u
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_ap
p
rox
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolae
g
e
tes
t
_b
o
und
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
c
o
nfigure
.
in: stop compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
S
ven V
e
rdo
o
laeg
e
v
erify_
l
exsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
evalue
.
c: avoid use o
f
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
evalue
_
isl
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Ve
r
doola
e
ge
i
scc:
r
ecover from
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolaege
upda
t
e isl fo
r
improved error hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isc
c
.
c
: fix typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
V
erdoolaege
doc
:
iscc: u
p
d
a
te documen
t
at
i
on of "ub" op
e
rator
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
test_appro
x
: inc
l
ude ct
y
pe
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
tes
t
_approx:
i
nclude c
o
nfig
.
h for HAVE_SYS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olae
g
e
t
est_boun
d
: include co
n
f
i
g
.
h
f
or HAVE
_
SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
is
c
c: add vert
i
ces operation
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
optional
l
y us
e
isl to pe
r
form parametric
v
ertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
ae
g
e
update
i
sl-po
l
yl
i
b
f
or ha
n
dling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
d
r
op di
s
ti
n
cti
o
n between barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
r
em
o
ve be
r
nstein
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
update isl for generic isl_pw_
q
polynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
c
on
f
i
g
u
re
.
in: drop bv_
o
me
g
a_progr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_ctx
_
peek
_
barvinok_option
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
isc
c
:
parse barvin
o
k options
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
e
xport isl
_
qpoly
n
o
mial
_
from_
e
va
l
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
doolaege
Makefile
.
am: drop dependence on
d
oc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
update isl
for
r
enam
e
of isl_
p
w_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
verif_e
h
rh
a
rt
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdo
o
l
a
ege
configure
.
in: fix typ
o
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdool
a
e
ge
u
se
isl for argumen
t
parsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verdoolaege
u
p
d
ate isl
f
or
kee
p
ing track
o
f u
s
er o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdo
o
laege
t
est_bound: rewrit
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
ge
update isl f
o
r
help me
s
sage printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
ool
a
ege
remove evalue
_
optimu
m
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
remove evalue_range
_
propagati
o
n
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verd
o
olaege
tes
t
_b
o
und: use
i
sl interf
a
ce for
computing
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
ae
g
e
barvinok_bound:
u
se isl in
t
erface for co
m
puting bounds
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ve
r
doolaege
iscc: s
u
p
p
or
t
ub even
i
f
GiNaC suppor
t
was not compi
l
ed in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add ge
n
eric isl_pw_q
p
olynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
update i
s
l for isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
t
e
st_bound:
u
se isl duri
n
g ve
r
ificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoola
e
g
e
barvinok_bound: use is
l
during verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ve
r
doolaeg
e
verify
.
c:
e
xtract some helper
f
unctio
n
s for
i
s
l based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
intr
o
d
uce
"
bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
options
.
c: fix prin
t
f forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verd
o
olaege
iscc: add applicati
o
n op
e
ratio
n
s
commit
|
commitdiff
|
tree
next