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 polylib for speed improvement in in_domain
2009-07-11
Sven Verdoolaege
update polylib for
s
pe
e
d
improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Ve
r
d
o
olaege
u
p
d
a
te pipl
i
b for distributi
o
n i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n
V
erdo
o
laege
Poly
h
ed
r
on_
F
a
c
t
o
r: fi
x
merging o
f
groups o
f
col
u
mns
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ve
r
d
oolaege
(t)c
o
unter:
m
o
v
e
co
u
nter::reset() up to
c
ounter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n V
e
rdo
o
l
a
ege
Makefile
.
am: keep better track
of fail
e
d tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
L
i
ne
_
L
e
n
g
th: h
a
ndle 0D po
l
y
tope
in 1D sp
a
ce
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
P
o
l
yhedro
n
_Fa
c
tor: handle pol
y
h
edra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update piplib for ch
a
nge in c
o
n
f
igure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
Verdoolaege
barvin
o
k
.
c
c: remove unused
n
o
nort
h
og
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
ege
upd
a
te pi
p
lib for
M
inG
W
c
ompatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
update polylib
for Mi
n
GW compat
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoo
l
aege
evalue
.
c: in
_
domain: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
r
d
oola
e
ge
Avoid use of
s
y
s/
t
i
m
es
.
h
heade
r
when n
o
t available
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
rd
o
olaege
add g
n
u
l
i
b
g
e
tsubopt m
o
dule for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoolae
g
e
REA
D
ME: mention that GiNaC is also needed f
o
r the
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
A
l
low bu
i
ld of occ whe
n
using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolae
g
e
do
c
:
add a re
f
erence to a
m
a
ster thesis
actu
a
lly u
s
ing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olae
g
e
barvin
o
k 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README
:
fix up installation instruct
i
ons
commit
|
commitdiff
|
tree
2008-10-16
Sven
Ve
r
doolaege
Add file
s
generated by bison a
n
d flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
do
o
laege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Ve
r
d
o
olaege
update p
i
p
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
r
d
oola
e
ge
e
value
.
c: affine2e
v
a
l
ue
:
r
educe
coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
e
r
d
oolaege
eval
u
e
.
c: ev
a
lue_
l
evel_cmp: produce more consist
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
ven Verdoolaege
doc: add another paper refer
r
i
n
g to
the libr
a
ry
commit
|
commitdiff
|
tree
2008-09-16
Sven Verd
o
olaege
p
i
ecewise
_
lst
.
h
: avoid
d
uplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdool
a
ege
evalue_read
.
c: fi
x
m
i
nor bugs
i
n tokeniz
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
e
r
d
oolaege
update
o
mega for
mis
s
ing
f
i
le
s
i
n
di
s
tribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaeg
e
barvinok_enumerat
e
_e: avoid
i
nfini
t
e lo
o
p when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
move omega subdir
to omega_in
t
erface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
N
TL_
Q
Q
.
cc: add stdlib include for
a
b
o
rt hidd
e
n in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolae
g
e
remov
e
gnu
l
ib link-warning mo
d
ule completely
commit
|
commitdiff
|
tree
2008-08-24
S
ven
V
e
r
doolaege
update polylib with extra
f
ield in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
Verdoolaege
doc: fix
t
ypos
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
rdoolaege
update gnulib fun
c
tion
t
o last pre
-
GPLv3 versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumerat
o
r::ha
n
dle: re
p
lace incorre
c
t delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven
V
e
r
doolaege
up
d
ate p
i
pl
i
b fo
r
correcte
d
U
r
s_p
a
rms handling
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Verdoo
l
aege
configure: use co
r
rect h
e
ader f
i
les in case o
f
bundle
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoo
l
aege
omega/occ
:
only open debug output f
i
l
e i
f
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolaege
a
dd
editors to ITS
L
papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
bar
v
in
o
k 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoola
e
g
e
add
some test sets from
itsl
2
0
08 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: add
l
ate
s
t
(
a
c
cepted) publications
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
erdoolaege
Ma
k
efile
.
am:
a
dd section_arra
y
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Ver
d
oolaege
normalization
.
c: compute_
s
hifts: remo
v
e red
u
nda
n
t retu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaeg
e
m
ove Free_P
a
r
amNa
m
es polyl
i
b and ma
k
e p
a
ram names
c
o
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolae
g
e
o
cc: add interfac
e
to barvi
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoo
l
aege
ex_conv
e
rt
.
cc: extract
e
x2evalue from
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoola
e
ge
doc: documen
t
more --sum
m
ation methods for barvino
k
_summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ver
d
oolaege
option
s
.
c: r
e
name "barvi
n
ok" summation metho
d
to
"bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoola
e
ge
M
akefi
l
e
.
am: che
c
k-
e
u
ler: also check
lau
r
ent
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
summ
a
te
.
c: ba
r
vinok_summat
e
: handl
e
products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
eva
l
ue
.
c: export evalue
_
r
eorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
ber
n
stei
n
: num
e
ric2v
a
l
u
e:
fix ty
p
o
t
o al
l
o
w
co
r
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
util
.
c:
Factor_Co
n
text: extra
c
ted from barvin
o
k
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
summate
.
c: barvinok_summate: ignore flo
o
rs ind
e
pend
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
evalu
e
.
c: add eval
u
e_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
ol
a
ege
om
e
ga/occ: print barv
i
nok ver
s
ion number
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
ege
doc: update
s
ome refer
e
nces
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make la
u
rent based summ
a
tion the default
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verdoo
l
aege
summate
.
c
:
barvi
n
ok_summate
:
handle quasi-p
o
l
y
no
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdool
a
e
ge
reduce
_
evalue: extract
o
ut
eva
l
ue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
do
o
laege
ev
a
lue
.
c: evalue_shift_variables: allow s
h
ifting
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: h
a
ndle equa
l
iti
e
s for all summation
algorit
h
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
s
u
m
mate
.
c: barvinok_summ
a
te: mo
v
e common pa
r
ts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdo
o
laege
eval
u
e
.
c: eva
l
ue_sum: mov
e
sign handling into
e
sum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
b
arvinok_e
.
cc: enum
e
rate_sum: us
e
b
a
r
v
inok_su
m
m
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summate
.
c: ext
r
act b
a
rvinok_su
m
mate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
re
n
am
e
summate
.
cc t
o
barvinok_s
u
mmate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdo
o
laege
evalue
.
c: reduce_evalue: re
d
uce floor
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoolaege
Add La
u
ren
t
expansi
o
n
based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
d
oolaege
evalu
e
.
c: extend eequa
l
to h
a
n
dle doma
i
ns and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
binomial
.
c: extra
c
t
b
i
nomial a
n
d factorial from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rd
o
olaege
p
o
wer
.
h: extract from eu
l
er
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
introd
u
ce ev
a
lu
e
_
s
hift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
l
a
tt
i
ce_point
.
cc
:
e
x
port relative_
c
oordinate
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattic
e
_poin
t
.
h:
make sure
correc
t
e
va
l
ues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verd
o
olaege
lattice
_
p
o
i
nt
.
c
c
: add ceili
n
g function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
util
.
c: in
t
ernalize ugly bv_c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
latti
c
e
_point
.
cc
:
multi
_
monom/lattice_p
o
ints:
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdo
o
lae
g
e
doc
:
clean up "
e
xpo
n
en
t
ial subst
i
tution
"
section
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdoolaege
test_bound
.
cc: avoid loss of pre
c
ision caused
b
y conve
r
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvinok_bound: optionally take maxima
l
s
i
ze o
f
d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
barvinok_bound: add --itera
t
e options for evaluat
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
verify
.
c: export fu
n
ctions for setti
n
g and clear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
verify
.
c
:
evalue_optimum:
a
llow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoolaege
bernstein
.
cc: evalue2ex:
d
o
n't assume
a
ll periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
b
ound
.
cc: fix c
a
ll to evalue_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}
_
periodics: plug memory le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doola
e
ge
evalue_bernstein
_
coefficients
:
h
andle problem
s
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaeg
e
u
p
d
ate pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n
Verdoolaeg
e
la
t
t
ice_wid
t
h
.
c:
s
kip dire
c
tions
that a
r
e
identic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
V
erdoolaege
M
a
kefile
.
am: a
d
d
c
dd94e-test
t
o
distribut
i
on
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verd
o
olaege
omega
/
occ:
o
ptiona
l
ly use parker fo
r
computing ca
r
dinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
doo
l
aege
normalization
.
c
:
skew_to_posit
i
ve_orthant
:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
omega/
c
onvert
.
c
c: rela
t
ion2Domain: only co
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ve
n
Verdoolaege
occ
:
add dump
fo
r
dumping in barvinok_enume
r
ate_e f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvin
o
k_
e
n
u
me
r
at
e
_e:
option
a
lly u
s
e parker's m
e
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
st
a
ndard
_
cons
t
raint
s
: tak
e
cons
t
raints instead of
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
next