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
update isl for fix in parameter alignment
2010-09-13
Sven Verdool
a
e
ge
update isl f
o
r
fix i
n
parameter align
m
e
nt
commit
|
commitdiff
|
tree
2010-09-10
S
ven Ver
d
oolae
g
e
barvinok 0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add le
x
i
cogr
a
phic ope
r
ators
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
oolaege
u
pdate isl
to vers
i
o
n 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
doola
e
ge
iscc:
a
dd "source" operatio
n
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n Verdoolaeg
e
iscc: add suppor
t
f
or strings
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoolaege
iscc: p
r
int error message on us
e
of unkn
o
w
n
identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoola
e
ge
iscc: supp
o
rt
union sets in vertices
o
p
e
rati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
add
i
sl_list_c
o
ncat
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
doolaege
barvino
k
_b
o
und: use is
l
to
spli
t
period
s
commit
|
commitdiff
|
tree
2010-09-05
Sve
n
Verdoolaege
u
pdate isl for
isl_pw_qpoly
n
omial_spl
i
t_periods
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n
Verd
o
olaege
doc:
m
ark P
o
lyLib interfa
c
e obso
l
e
scen
t
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoo
l
a
ege
Ma
k
ef
i
l
e
.
am: drop re
f
eren
c
es t
o
obsolet
e
@b
v
_barvinok_boun
d
@
commit
|
commitdiff
|
tree
2010-08-31
S
ven V
e
rdoolae
g
e
eval
u
e
_
c
o
nvert
.
c
c
: evalue_
p
r
i
n
t
_
isl: print
en
d
-of-line
commit
|
commitdiff
|
tree
2010-08-30
S
ven Verd
o
o
laege
isc
c
:
allo
w
coercion
o
f binary list int
o
first el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok
_
bo
u
nd: convert
t
o isl_pw_qpoly
n
omial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoo
l
aege
barvinok_bound: use is
l
to split
o
n domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
set s
e
nsibl
e
defaults wi
t
h --pol
y
nomial-approxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw
_
qpoly
n
o
m
i
a
l_sum: r
e
use
barv
i
nok_options if
a
vailable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_map_card: reu
s
e ba
r
vinok_options if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
V
erdoolaege
update isl for aligning p
a
rameters of
union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
i
scc: a
d
d "join"
operati
o
n on
f
ol
d
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
g
e
i
s
cc: add "join
"
ope
r
ation
o
n maps and folds
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoo
l
aege
iscc: sup
p
ort addition on a p
a
ir of
a
fold
an
d
a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoo
l
aege
u
p
dat
e
isl for
adding
t
ypes to isl_
{
union_,}pw_qp
o
ly
n
omial_f
o
l
d
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdo
o
laege
al
l
ow codegen
o
n
se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codeg
e
n: detect
strides
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Ve
r
doo
l
aege
iscc:
u
s
e simplified CLoo
G
i
nterfac
e
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
up
d
ate isl for rena
m
e
of
isl
_
pw_qp
o
lynomial_f
o
ld
_
add
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
er
d
ool
a
ege
iscc
.
c: union_pw_qpolynom
i
al_upp
e
r_bou
n
d:
fix memo
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
s
um
m
ate
.
c
:
fi
x
typo in commen
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdoolaege
isl_map_apply
_
pw_qpol
y
nomial: fix
t
ypo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
laege
up
d
ate isl fro
m
isl_un
i
on_map fixe
s
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
i
s
c
c
: allo
w
inve
r
se on n
o
n-
u
nion
m
aps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
iscc:
a
dd wr
a
p and unwra
p
opera
t
ions
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
V
erdoolaege
add
isl_union_map_apply_union_
p
w
_
qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
isl_pw_qp
o
lynomial
_
sum: handle isl_
p
w_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdool
a
ege
update isl f
o
r n
e
s
ted dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
ae
g
e
isl_map
_
card: postpone shuffling ar
o
u
nd
o
f dimen
s
ions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolae
g
e
update is
l
for i
s
l_basic
_
map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Ver
d
oolaege
isl_pw
_
qpolynomial
_
su
m
: pu
s
h con
v
ersion to PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
isl_pw_qpolynomia
l
_s
u
m: check fo
r
unbounde
d
domains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
Verd
o
olae
g
e
a
void use of i
s
l_dim internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
i
scc: suppo
r
t
codeg
e
n operat
i
on if CLooG i
s
a
vailabl
e
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
s
cc: switch to using
unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_union_p
w
_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
add
i
sl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdool
a
ege
is
l
_pw_qpo
l
ynom
i
al_sum: take tuple names into
a
c
c
o
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_map_card:
preserve full
d
o
main d
i
mension information
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
update isl for c
h
a
ng
e
i
n isl_hash_
t
able_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Ver
d
oolae
g
e
barvinok_enumerate
.
cc
:
fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven
V
erdoolaeg
e
doc: add som
e
more p
a
pers r
e
f
e
ring
t
o
the
library
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdool
a
ege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
upda
t
e i
s
l to
v
ersion
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
configure
.
in: properl
y
add isl flags and l
i
bs to pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en V
e
rdo
o
lae
g
e
configure
.
i
n
:
drop call
t
o
gl_E
A
R
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
genfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
test_approx
.
c
: f
i
x
p
ri
n
tf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oo
l
aege
test_b
o
und
.
c
:
fix
pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
conf
i
g
u
r
e
.
in
:
stop compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
v
e
ri
f
y
_lexsmalle
r
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-27
S
ven V
e
rdo
o
laeg
e
e
value
.
c: avoid use
of alloca
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
evalue_isl
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
ol
a
ege
iscc: reco
v
er fro
m
errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaeg
e
u
p
dat
e
isl
f
or improved erro
r
h
an
d
li
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ve
r
doolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
ve
n
Verdool
a
ege
doc: iscc: update docu
m
ent
a
tion
o
f "
u
b"
o
perator
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
tes
t
_approx: inc
l
u
d
e
c
type
.
h
for
iss
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
tes
t
_
a
pp
r
ox: include conf
i
g
.
h
for HAVE_SYS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
test_boun
d
: i
n
c
lude
c
onfig
.
h
f
or HAVE_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: a
d
d vertices
o
p
erations
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
lae
g
e
option
a
l
ly use isl
t
o perform param
e
tri
c
vertex enumer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolae
g
e
update
isl-polylib for handling o
f
rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
drop dist
i
n
ction
between barvinok-core
a
nd bar
v
inok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
remove berns
t
e
in
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
u
p
date i
s
l for generic isl_p
w
_qp
o
lynom
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
configure
.
in: drop
b
v_omega_
p
ro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
i
sl_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
i
scc: pars
e
barvinok
op
t
io
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
export isl_qp
o
lynomi
a
l
_
from
_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
M
a
k
e
f
i
le
.
am: d
r
op
d
epend
e
nce on doc/omega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for rename of
isl_pw_qpo
l
y
n
omia
l
_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
verif_ehrh
a
r
t
.
c: a
d
d
m
i
s
si
n
g include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
c
o
nfigure
.
in: fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
use isl fo
r
argum
e
nt
pars
i
ng
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
eg
e
update isl
f
or k
e
ep
i
ng track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
Verdoolaeg
e
test_bound: rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
S
ve
n
Verdool
a
ege
update is
l
for
help
message
p
rinting
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdool
a
ege
remo
v
e
evalue_ra
n
ge_propa
g
ation
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
test_bound:
use isl interface f
o
r computin
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
ba
r
vinok_bound: use isl in
t
e
r
face for computing
b
o
u
nds
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
V
e
rdoolaege
iscc: support ub ev
e
n if GiNaC suppor
t
was not
compil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
dd generic
i
sl_pw_qpoly
n
o
m
ial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verdoo
l
a
ege
u
pdate isl for isl_pw_qpo
l
ynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_bound:
u
se isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdo
o
laege
barvinok_bound: use
i
sl during veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
v
erify
.
c:
e
x
t
ract
s
ome helper
functio
n
s for is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolae
g
e
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
optio
n
s
.
c: fix printf
format
commit
|
commitdiff
|
tree
next