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
lattice_width.c: skip directions that are identical up to sign
2007-09-28
Sven Verdoolaege
doc:
f
ix typo in Miche
l
e Ve
r
g
n
e's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
Add missing files from poly
m
ake cl
i
ent t
o
d
i
stribu
t
ion
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdo
o
laeg
e
Use gmp's
g
cd ra
t
h
er
t
h
a
n
P
o
lyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
en
V
e
r
doolaege
pol
y
make/README
:
mention --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
p
o
lyma
k
e/Makefile
.
in: a
d
d wo
r
k
-
a
roun
d
for
polymak
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Ve
r
doola
e
ge
evalue
.
c: prin
t
_ev
a
lue: always print newline
a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
rdoolaege
options
.
c: fix typ
o
in --app
r
oximation-method descripti
o
n
commit
|
commitdiff
|
tree
2007-09-15
Sve
n
Verd
o
olaege
topcom: fix heu
r
ist
i
c fo
r
sel
e
cting r
o
ws t
o
u
s
e as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
barvi
n
ok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Verdoolaege
Mer
g
e branch 'top
c
om'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Doc
u
me
n
t
TOPCOM ba
s
e
d
chamber
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
V
e
r
doolaege
t
e
st TOPC
O
M ch
a
mber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoo
l
aege
Optionall
y
use
T
OPCOM to
compute chamb
e
r dec
o
mpositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdool
a
ege
lexmin: ad
d
(p
r
o
t
ected) miss
i
ng algorithm in
c
l
u
de
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
M
a
kefi
l
e
.
a
m
:
add target f
o
r creating
dist wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: u
p
date voting
t
heory
r
efer
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
document
barvinok_summate and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ver
d
oolaege
do
c
: consiste
n
t us
e
of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_s
u
mmate:
correct options desc
r
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
Document Euler-Macl
a
ur
i
n based s
u
mmat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
dool
a
ege
doc: change example
e
n
vironment
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
d
oc: add some hidden sections to table of co
n
tents
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolae
g
e
doc: anothe
r
document
r
e
fering to the
l
ibr
a
ry
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
l
a
ege
a
dd some
t
es
t
s for Euler-Maclaurin b
a
s
e
d summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
E
u
l
er-
M
aclaurin
bas
e
d summation for
1
D
prob
l
e
ms
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Euler-Maclaurin base
d
summati
o
n for 2D pro
b
lem
s
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
dec
o
mposer
.
cc: avo
i
d use of h
a
l
f-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
barvinok_
s
umma
t
e: verify solu
t
i
o
n ove
r
w
hole
p
aramet
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doola
e
ge
introduce barvinok_
s
u
m
mate as
a
wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdo
o
l
a
eg
e
ad
d
e
va
l
ue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolae
g
e
evalue_{div,mu
l
}
:
ha
n
dle som
e
trivial cases
m
ore efficiently
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
lat
t
i
ce_point: e
x
port fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalu
e
.
c: e
x
tract common
code for construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoolaeg
e
volume
.
c: export Param_Pol
y
h
edro
n
_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
fi
x
typ
e
of evalu
e
_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
support computation of Bernoulli polyno
m
ials
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
e
rdoolaege
sepa
r
ate comput
a
tion of Bernoulli coeffici
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaeg
e
lattice_
p
o
i
nt: use Param_Verte
x
_Common
_
Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
l
a
ege
m
a
ke
d
ecomposer
.
h
self-containe
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
r
educe_d
o
main: avoid
u
s
e of macr
o
p
a
rameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
e
x
port ev
a
l
ue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
Use piplib during
ba
s
is reducti
o
n if n
o
other LP
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
Use bundled pipl
i
b
by defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add pipl
i
b
mo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
Use bundled PolyLib
by default
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoolaege
a
d
d polylib
submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
laege
b
e
rnstei
n
:
a
l
l
o
w l
i
nkin
g
against uninstalled
,
bu
t
b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en
V
erdoolaege
add
m
ore missing a
s
sert
.
h
#i
n
cludes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolae
g
e
ad
d
d
ummy implemen
t
a
t
ions
of fu
n
ctions
tha
t
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
u
p
date "Co
u
n
t
ing
w
ith rat
i
onal ge
n
erating
f
unc
t
ions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
barvinok
.
cc: s
p
lit o
f
f
part constructing gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
arvinok
.
cc:
s
p
l
it off part
dealing with exi
s
t
ential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
r
d
o
olaeg
e
*
counter: avoid recomputati
o
n of denomi
n
ator
s
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oolae
g
e
c
ounte
r
: remove redu
n
dant membe
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
ool
a
ege
cha
n
ge type of
s
ome "sign"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Ver
d
o
olaege
doc:
u
pd
a
te Alg
o
rithmica pu
b
lication
commit
|
commitdiff
|
tree
2007-08-10
S
v
en Verdoolaege
e
value
.
c: make parameter nam
e
s of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ver
d
oola
e
ge
s
ampl
e
.
c: Polyhed
r
on_RemoveFix
e
dColumn
s
: correc
t
ly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: remov
e
_equalities: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
V
e
rdoola
e
ge
Param_Polyhedr
o
n_Print: print
e
ve
r
ythi
n
g
to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoolaege
barvinok_enum
e
rate_with
_
options: don't add
c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
ola
e
g
e
barvinok
.
cc:
d
o
n't free P arg
u
ment in enum
e
r
a
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
V
erdoo
l
aege
re
m
ove_all_equalities
:
a
l
so remove equa
l
it
i
e
s
in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c:
avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n
V
erdoola
e
ge
e
xport Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Ver
d
oolaege
barvino
k
_enumerate
.
cc: add minimal check on input
commit
|
commitdiff
|
tree
2007-07-20
Sve
n
V
erdoolaege
parse
r
.
l: remove
d
efin
i
t
i
on
of yyl
i
neno
commit
|
commitdiff
|
tree
2007-07-20
S
v
en V
e
r
doolaege
r
emove (recursive) depe
n
dency on isa project
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
erdoolaege
more prototype chan
g
es to
co
n
st char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
evalue: print_evalue: make paramete
r
names const
char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verd
o
olaege
Al
w
a
y
s comp
i
le polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
polytope_sca
n
: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
S
ven Verdoolaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
Verdool
a
ege
configure
.
i
n
: a
l
low specificat
i
on of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verd
o
ol
a
ege
consolidate calls to P
o
l
y
hedron2Param
_
D
o
main
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoo
l
aege
volume
.
c: fix
typo in comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdoo
l
aege
Makefile
.
am: a
d
d $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
S
ven Ver
d
oolaege
Makefile
.
am:
f
orce reb
u
ild librar
i
es
i
n
subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only test barv
i
nok_maximize
i
f it has
b
een/
c
an b
e
c
r
eated
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
testlib
.
cc: wo
r
k around inco
m
pl
e
te names
p
ac
e
support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
scale
.
c:
e
numerate_narro
w
_flated: don't
s
imp
l
ify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
declare variables
at
start of code bloc
k
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Ve
r
doolaege
doc: u
p
date docume
n
tation of options
a
nd
some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
Polyhedr
o
n_
S
ample: factor polyhed
r
on if poss
i
ble
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
dool
a
e
g
e
P
o
lyhedron_Sample: comput
e
vertices of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdo
o
l
ae
g
e
P
olyhedr
o
n_Sa
m
ple: remove all
equaliti
e
s from po
l
yhedro
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaeg
e
add possi
b
ility to use
GLPK as
L
P
solver
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Polyhe
d
ron_Sample: postpone
remov
a
l
of ray
s
un
t
il we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
ae
g
e
Polyhe
d
ro
n
_Sample: u
s
e lp solver
for finding ra
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdool
a
ege
l
exmin: move cho
i
ce
of lp so
l
ver to use outsid
e
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
pol
y
sign
.
h
: use
c
orrect name of PL_poly
h
ed
r
on_affine_s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
a
rvinok_enumerate:
plu
g
memory leak in
B
e
rnoulli appro
x
imation
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
b
a
rvinok_
e
numera
t
e_e_r:
don't
assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
la
e
ge
evalu
e
_frac2polynomi
a
l:
r
e
c
heck evalue
a
ft
e
r
evalue_spli
t
_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoo
l
aege
u
t
il
.
c: Line
_
L
e
ngth: don't get confused b
y
positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
M
a
kefil
e
.
am: stop
after
f
irst faile
d
t
e
st
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstein: carry
t
h
r
ough var
i
able renaming to debugg
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolaege
be
r
n
s
tei
n
: don't assu
m
e i
n
put
polynomial has be
e
n expanded
commit
|
commitdiff
|
tree
next