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.25
2007-09-11
Sven Ve
r
doolaege
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
en V
e
rdoolaeg
e
Merge branch
'top
c
om'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laeg
e
D
o
cu
m
e
n
t
TOPCOM based cha
m
ber decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Ve
r
doola
e
ge
test TO
P
COM chamber de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optional
l
y
u
se TO
P
COM
to compute
chamber decompositi
o
ns
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oola
e
g
e
lexmin: add
(protected)
missing a
l
gorithm includ
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
M
akefile
.
am:
add
target
for creating dist wi
t
h git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
do
c
: up
d
at
e
voting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
d
oc
u
ment barvinok_s
u
m
ma
t
e
and b
a
rv
i
nok
_
ma
x
imiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
a
ege
doc:
co
n
sisten
t
use o
f
Barvinok
'
s initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
b
a
rvinok
_
summate: corr
e
c
t
options d
e
s
cription
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
doolaege
Doc
u
ment Euler-Macl
a
urin
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n V
e
r
doolaege
doc: change exampl
e
environment
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolaege
doc: add
s
om
e
hidde
n
sections to t
a
bl
e
o
f contents
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
erd
o
o
laege
doc
:
another
document
r
ef
e
ring to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
add
some tests fo
r
E
u
ler-M
a
c
l
a
uri
n
based summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oola
e
ge
Eul
e
r-Maclaur
i
n
b
ase
d
summati
o
n
for 1D pr
o
ble
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
E
ule
r
-
M
a
claurin
based summation fo
r
2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoola
e
ge
decompose
r
.
cc: avo
i
d
use
of half-open
c
ones
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolaege
b
a
rvi
n
ok_su
m
m
a
te: verify so
l
ut
i
on
over
w
hole
parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
i
ntro
d
u
c
e barvinok_summate a
s
a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
ad
d
eva
l
ue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
ege
evalue_{div,mul}: handle
s
ome tr
i
vial c
a
ses m
o
re efficien
t
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: e
x
port frac
t
iona
l
_p
a
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
d
oola
e
ge
eva
l
ue
.
c: extract co
m
mon code for construction
b
ased
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
v
o
lume
.
c:
e
xport Param_Polyhe
d
r
on
_
Facet
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
ola
e
ge
a
d
d
e
val
u
e_mul
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdool
a
e
ge
fix type of evalue_poly
n
omial a
r
gu
m
ent
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olaege
suppor
t
computation of Bernoulli
po
l
ynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
separ
a
t
e computation of Bern
o
ulli
coeffic
i
en
t
s
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolae
g
e
lattice_point: use
Param_
V
e
rtex_Co
m
mo
n
_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolaege
m
ake decom
p
oser
.
h self-contain
e
d
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
r
e
duce_dom
a
in: avoid
u
se of ma
c
ro
p
a
rameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
expor
t
evalue
_
dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ola
e
ge
Use pipli
b
during basi
s
reduct
i
on if no other
L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoola
e
g
e
Us
e
bundl
e
d pipli
b
b
y
defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ad
d
pi
p
lib mod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
Use bu
n
dl
e
d Poly
L
i
b
by defaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oo
l
a
ege
add polyli
b
submodule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoo
l
aege
b
ernstein: allow
l
inking
a
gainst uninstalled, but buil
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add m
o
re missing a
s
sert
.
h
#includ
e
s
commit
|
commitdiff
|
tree
2007-08-29
S
ven Verdo
o
lae
g
e
add
dummy impleme
n
tations of functi
o
n
s
t
hat depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdoolaege
u
p
date "Cou
n
ting with ratio
n
al gener
a
ti
n
g
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
V
er
d
oo
l
aege
bar
v
i
n
ok
.
c
c: spl
i
t o
f
f part cons
t
ructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
e
r
do
o
laege
barvinok
.
cc: split off part dea
l
ing with e
x
is
t
e
n
ti
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
e
n Verdo
o
laege
*counter:
avoid recompu
t
ati
o
n
of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolaege
counter: rem
o
ve redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdo
o
laege
change type of so
m
e
"
sig
n
"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoolaege
doc: upd
a
te
Algorithmica
p
ubl
i
catio
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c:
m
ake paramet
e
r
n
ames
o
f type const ch
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sve
n
Verdo
o
l
a
ege
sample
.
c
: Polyhedron_RemoveFixedColu
m
ns:
corre
c
tly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
V
erdoo
l
ae
g
e
u
t
il
.
c: remove_equali
t
ies: fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-30
S
v
en Ver
d
oo
l
aege
Param_Polyh
e
dron_Pri
n
t: pri
n
t everything to given
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erd
o
olaege
barvinok_enumerat
e
_wi
t
h_
o
ptions: d
o
n
't
a
dd context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
ba
r
v
ino
k
.
cc: don't fr
e
e P argument in e
n
umerate
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Ve
r
doolaege
remo
v
e_all_equalities:
also re
m
o
ve equalities in contex
t
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolae
g
e
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
S
v
en Ve
r
doolaege
e
x
port
P
aram
_
In
n
er_Produc
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoo
l
a
e
g
e
barvinok_en
u
merat
e
.
cc:
a
d
d minimal c
h
e
ck on
input
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Ve
r
do
o
laege
m
ore prototype chan
g
es to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
e
v
alue: pr
i
n
t
_eval
u
e: make para
m
eter na
m
es const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Al
w
ays com
p
i
l
e polytope_sca
n
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verdool
a
ege
polytope_sca
n
:
u
se
a
rgp for argument p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
Sv
e
n Verdoolaege
d
o
c
:
f
i
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sve
n
Verdoo
l
a
e
ge
configure
.
in: allow
speci
f
ication of default pre
f
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
co
n
s
olida
t
e calls to
P
olyhedron2P
a
ram_Do
m
ain
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
V
erdoolaege
vol
u
me
.
c:
fix typo
i
n
c
omment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdool
a
ege
Makefile
.
am: a
d
d $
(
EX
E
EXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Make
f
ile
.
am: force rebuild libraries in subd
i
rs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoolaege
only test b
a
rvino
k
_maxi
m
ize if it has been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
barv
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
S
v
en V
e
rdoolaege
t
e
stlib
.
c
c
:
work
a
r
ound i
n
complete name
s
pace supp
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoo
l
aege
scale
.
c: enumerate_na
r
row_fl
a
t
e
d: d
o
n't
s
implify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ver
d
oolaege
decl
a
re variable
s
at star
t
of code b
l
o
c
k
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolae
g
e
d
o
c: u
p
date d
o
cumentation of opt
i
ons and some functions
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ver
d
oolaeg
e
Polyhedron
_
Sam
p
le: factor polyhedron if possi
b
l
e
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
g
e
Polyhedron_Sample:
c
o
m
pute vertices of
1
D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
Poly
h
edron_Sampl
e
: rem
o
ve
a
ll equalitie
s
fr
o
m poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoo
l
a
ege
add po
s
sibility to u
s
e GLPK as
L
P solver
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
P
olyhe
d
ron_Sam
p
l
e: postpone remo
v
al of r
a
ys un
t
il we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhe
d
r
o
n_Samp
l
e:
use lp so
l
ver for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
oolaege
lexmin:
move
c
hoice of lp
s
olver to use
o
utside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
poly
s
i
g
n
.
h: use corre
c
t name of PL_pol
y
hedron_affi
n
e_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdool
a
ege
barvinok
_
enumerate:
plug
memory leak in Bernoul
l
i appr
o
ximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
barvin
o
k_
e
n
u
merate
_
e_r: do
n
'
t ass
u
me AddCo
n
s
train
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rd
o
olaege
e
v
al
u
e_f
r
ac2polynomial: r
e
c
h
e
ck ev
a
lue aft
e
r
e
value_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdool
a
ege
util
.
c:
L
i
n
e
_
L
ength: don't
g
e
t conf
u
sed by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
ege
Makefile
.
am: st
o
p a
f
ter
f
irst failed t
e
st
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstein: car
r
y
t
hr
o
ug
h
variable ren
a
ming to debugg
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdool
a
ege
be
r
ns
t
ein: don't assume inp
u
t
p
olyn
o
mial has b
e
en expanded
commit
|
commitdiff
|
tree
2007-06-27
S
v
en
Ve
r
doolaege
evalue
_
r
e
ad
.
c: corre
c
t const
n
e
ss of
n
am
e
in par
a
meter
_
n
ew
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Ver
d
o
olae
g
e
evalue_read:
a
ccep
t
con
s
t
a
nt mul
t
ip
l
e of variabl
e
without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c:
evalue
_
s
u
m: be
t
te
r
h
a
ndli
n
g of n
e
gative val
u
es
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
evalue
.
c
:
reorder_t
e
rms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaeg
e
evalue: declare first ar
g
ume
n
t
o
f
e
mul
const
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdoo
l
aege
evalue
.
c
:
emul: don't use ex
p
licit_com
p
lement on argume
n
t
s
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oolaege
add a test for evalue_sp
l
i
t
_period
s
commit
|
commitdiff
|
tree
2007-06-13
H
a
r
ald
.
D
e
vos@elis
.
.
.
f
i
n
d_fractional_wit
h
_max_perio
d
s: in
i
tialize local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: evalue_spl
i
t_
p
e
r
iods: make sure sel
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
ev
a
l
ue
.
c: p
o
lynom
i
al
_
p
roje
c
tio
n
: us
e
ev
a
lue_ex
t
r
act_
a
ffin
e
commit
|
commitdiff
|
tree
next