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.1
2010-09-13
S
ven
V
erdoolaege
barvino
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdoolaege
update isl for fix in parame
t
er alig
n
ment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
barvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
e
n
Verdool
a
eg
e
isc
c
: add lexicographic opera
t
ors
commit
|
commitdiff
|
tree
2010-09-10
Sven
Ver
d
oolaege
update
i
sl t
o
version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n
V
erdoolaeg
e
iscc: a
d
d "source"
op
e
rat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven
Verdoolaege
iscc: add support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
scc: print error mes
s
age on
use
of un
k
nown
i
d
e
ntifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
laeg
e
iscc: suppo
r
t union sets in
v
ertices
o
peration
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rd
o
olaege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
S
ve
n
Verd
o
olae
g
e
barvinok_bo
u
nd: use isl to spli
t
periods
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdoo
l
a
ege
update isl f
o
r
i
sl_pw_qp
o
ly
n
omial_spli
t
_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
r
doola
e
ge
doc:
mark PolyLib interface ob
s
olescent
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
e
rdoolaege
Makefile
.
am:
d
r
op r
e
feren
c
e
s to obs
o
l
e
t
e
@bv
_
b
arvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolaege
eva
l
ue_c
o
nvert
.
cc:
e
value_p
r
in
t
_isl:
p
rint end
-
of-line
commit
|
commitdiff
|
tree
2010-08-30
Sve
n
Ve
r
doolaege
iscc: allow coercion of binary list into first element
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Ve
r
d
oolae
g
e
barvinok_
b
o
und: conver
t
to isl_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
S
ven
Ve
r
doolaege
barvinok_boun
d
:
u
s
e
isl to s
p
lit on
domain s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
set
sensible d
e
faults with
-
-polyn
o
m
ial-approxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
ool
a
ege
is
l
_pw
_
qpolynom
i
al_sum: re
u
se
bar
v
inok_opt
i
ons if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
s
l
_map_card
:
r
euse barvin
o
k_options if ava
i
lable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdoo
l
aeg
e
upda
t
e isl for aligning parame
t
ers of union
a
r
gu
m
ents
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaeg
e
iscc:
add "join" operat
i
on on folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven
Verd
o
olaege
iscc: add "j
o
in" operation on m
a
ps a
n
d folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
:
suppor
t
ad
d
ition on a pair of a fold
and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdool
a
ege
up
d
ate isl for adding types to isl
_
{
union_,}
p
w
_
q
poly
n
o
mial_folds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
iscc: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdoolaege
iscc: us
e
sim
p
lifi
e
d CL
o
oG inte
r
face
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolae
g
e
u
p
date
i
s
l
for rena
m
e of isl_pw_q
p
oly
n
o
mial_fold_a
d
d
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
r
d
oolaege
iscc
.
c: union_pw_qpolynom
i
al_upper_bou
n
d: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doo
l
ae
g
e
su
m
ma
t
e
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-08-17
S
ve
n
Verd
o
olaege
isl_map_app
l
y_p
w
_
q
polynom
i
al:
f
ix
t
y
p
o
commit
|
commitdiff
|
tree
2010-08-10
S
v
en Verdoolaege
update isl from isl_u
n
ion_map f
i
x
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven
Verdoolaege
iscc: al
l
o
w
invers
e
on non-unio
n
maps aga
i
n
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaeg
e
is
c
c: add wrap and unwrap operati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdool
a
ege
add isl_un
i
o
n
_map_ap
p
l
y_u
n
i
on_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolae
g
e
is
l
_
p
w_q
p
olyno
m
i
al_sum: handle isl
_
pw_qpoly
n
omial
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verd
o
olaege
update is
l
for nested
dimensi
o
n
specifica
t
ion
s
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
ola
e
ge
isl_m
a
p_card: postpone
s
hu
f
f
l
ing ar
o
und of dimens
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Ve
r
doolaege
update isl for i
s
l_basic_map_
m
ove
_
di
m
s
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
i
sl_pw_
q
polynomia
l
_sum: push
conversio
n
t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
laege
isl_pw_qpolynomial_sum
:
check
f
or unbound
e
d domains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdoolaege
a
vo
i
d
u
se of
is
l
_
d
im int
e
rnals
commit
|
commitdiff
|
tree
2010-07-31
S
ven
Verdoo
l
aege
iscc: support codegen opera
t
ion if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n V
e
rdoolaege
isc
c
: swit
c
h
to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
add isl_union_pw_qpolynomi
a
l
_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
add
i
sl
_
union_map_
c
ard
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
isl_p
w
_qp
o
lynomial_sum: tak
e
t
uple nam
e
s into
acc
o
u
nt
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
isl_ma
p
_card: preserve full do
m
ain dim
e
nsion i
n
fo
r
m
a
tion
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doo
l
aege
update isl for change i
n
isl_hash_table_f
o
reach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ver
d
o
o
laege
ba
r
vinok_e
n
umerate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
doc:
a
dd some
more papers refe
r
ing to the libr
a
ry
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
u
p
date isl
t
o v
e
rsion
0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
con
f
igu
r
e
.
in:
p
r
operly a
d
d i
s
l fla
g
s and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
configure
.
in: drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
o
l
aege
genfun
.
cc: f
i
x pr
i
n
t
f fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
est_approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test
_
bo
u
nd
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in
:
st
o
p compil
i
ng
Omeg
a
by
default
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
e
rdool
a
e
g
e
verif
y
_lexsmalle
r
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
V
erdoolaege
ev
a
lue
.
c
:
avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
e
v
alue_isl
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
o
l
a
ege
iscc: re
c
over from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
update
i
sl for imp
r
o
v
ed error
h
andling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
iscc
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
Sven
Verd
o
olaege
doc:
i
scc: update documen
t
at
i
on
o
f
"
u
b"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
test_approx: i
n
clude ctype
.
h for isspac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
tes
t
_app
r
ox:
i
nclude config
.
h
fo
r
HAVE_SYS_TI
M
ES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
test_bound: include config
.
h for HAVE
_
SYS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verd
o
olaege
iscc: add vertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolae
g
e
o
p
tionally use isl to perform par
a
metric vertex
e
numeratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-polylib for h
a
ndli
n
g of rati
o
nal sets
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
dr
o
p di
s
tinctio
n
b
etween barv
i
nok-cor
e
and
b
a
rvino
k
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
r
e
move
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
up
d
ate isl for
g
ener
i
c isl
_
pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
configure
.
in: d
r
o
p
bv_om
e
ga_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
ad
d
is
l
_ctx_peek
_
ba
r
vinok_
o
pt
i
ons
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
i
scc:
parse
ba
r
v
i
nok options
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaeg
e
e
xpor
t
i
sl_qpolynom
i
al_fro
m
_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
M
a
kefi
l
e
.
am: drop dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
up
d
ate i
s
l
for renam
e
o
f
isl_pw_qpol
y
nomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_ehrha
r
t
.
c: add
missing include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verd
o
olaege
c
o
nfigure
.
in: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
doo
l
aege
use isl for ar
g
ument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update i
s
l
f
or
k
eeping trac
k
of user opt
i
ons
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
test_boun
d
: rewrite i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
ge
update i
s
l for
hel
p
m
essage p
r
i
ntin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
r
e
move evalue
_
optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
remo
v
e e
v
alue
_
range_pr
o
paga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
test_bound: u
s
e isl interface
f
or computing
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
barvinok_bound: use isl interface for computing
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
iscc: support ub
ev
e
n
i
f GiNaC support wa
s
not com
p
ile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
add
g
e
n
eric is
l
_pw_qpolynomial_boun
d
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoo
l
a
ege
update isl for isl_pw_qpo
l
ynom
i
al_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
test_bou
n
d: use
is
l
during verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvi
n
ok_bound: use isl
during v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c:
e
xtract some helper
fun
c
tions
fo
r
isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaeg
e
introduce "bound" option
commit
|
commitdiff
|
tree
next