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
options.c: fix typo in --approximation-method description
2007-09-20
Sven Verdoolaege
o
ptions
.
c
:
fix typo in --approximation-method descrip
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n Verdoo
l
a
e
g
e
topcom: fix heur
i
stic for selecting
rows to u
s
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Ver
d
o
o
l
aege
barvin
o
k 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
ve
n
V
e
rdoolaege
Merg
e
branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
D
o
cument T
O
PC
O
M based chamber deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
l
a
ege
test
TOP
C
OM chamb
e
r decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oo
l
aege
O
p
tionally use TOPCO
M
t
o compu
t
e
chamber decomp
o
sitions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
lexmin
:
add (protected) missing al
g
or
i
thm
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Makef
i
l
e
.
am: add target fo
r
c
r
eating
d
ist with g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc: update voting
t
h
e
ory re
f
eren
c
e
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
d
o
cument barvinok_su
m
mate
a
nd barvinok_maxi
m
ize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
doc: consiste
n
t use of Barvinok's
i
nitials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oolaege
barvi
n
ok_
s
ummate:
correct op
t
ions des
c
ription
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rd
o
olaege
Docume
n
t
E
ul
e
r-Macl
a
urin based summat
i
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolae
g
e
d
oc: change examp
l
e env
i
ronment
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaeg
e
doc: a
d
d
s
ome hidden sections to
table of
contents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc: an
o
ther docum
e
nt refering
t
o
the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
lae
g
e
a
d
d some
t
ests
for Euler-Mac
l
au
r
in
b
a
s
e
d
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
Euler-Maclauri
n
b
ased summat
i
o
n
f
or 1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
erdool
a
ege
Euler-Maclaurin based summation for 2D proble
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
de
c
omposer
.
cc: avo
i
d us
e
of ha
l
f
-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erd
o
olaege
barvinok_summate: ve
r
ify solu
t
io
n
over w
h
ole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
i
n
tro
d
uce barvinok
_
summat
e
as
a wrapp
e
r
for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
add evalue
_
mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
value_{d
i
v,mul}:
hand
l
e some trivial
cas
e
s more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
l
a
t
tice_point: expor
t
fractional_par
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
eva
l
ue
.
c: extract comm
o
n
code for
c
onstruction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
l
a
e
g
e
v
o
lume
.
c
: export Param_Polyhedr
o
n_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
add ev
a
l
u
e_m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of evalue
_
polynomial
arg
u
ment
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ola
e
ge
supp
o
rt
c
omputat
i
on of
B
ernoull
i
polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
sep
a
r
ate
computation of
Bernoulli coe
f
ficie
n
ts an
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
lattice_poi
n
t
:
use P
a
ram_Vert
e
x_Common_De
n
ominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make dec
o
m
p
oser
.
h
s
e
l
f-cont
a
in
e
d
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
reduce_dom
a
in
:
avoid use of macro para
m
e
t
e
r wi
t
h
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
export
e
v
alue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
la
e
ge
Use piplib during
b
a
sis red
u
ction
i
f
no other L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
oolaege
Us
e
bundled piplib by defaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdo
o
laeg
e
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
Use bundled PolyL
i
b by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
g
e
add polyli
b
submodu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
bernstein: allo
w
linking a
g
ainst
uninsta
l
l
e
d, but
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven Ver
d
oolaege
a
dd
m
ore missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven
V
erdoolaege
add dumm
y
i
m
plem
e
n
t
ations of function
s
that depen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdo
o
laege
upd
a
te "
C
ounting with rational generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Ve
r
doolae
g
e
barvinok
.
cc: sp
l
it off part con
s
t
ructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
laege
barvinok
.
cc: s
p
lit off part dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*coun
t
er: avoid recomputati
o
n
of den
o
minators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Ver
d
o
o
laege
counter: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
S
ve
n
Verdoo
l
aeg
e
c
h
ange
t
ype o
f
some "sign"s to int
a
s the
y
can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolae
g
e
d
oc: updat
e
Algorithmica p
u
blicati
o
n
commit
|
commitdiff
|
tree
2007-08-10
Sv
e
n V
e
rdoolaege
evalue
.
c: make para
m
eter
n
a
mes of type
const ch
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c: Po
l
yhedron_Rem
o
v
e
FixedColumns:
c
orrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
e
n
Verdoola
e
ge
util
.
c: remove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoola
e
g
e
Param_Polyhedr
o
n_Pr
i
nt: pr
i
nt ev
e
ry
t
hing to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
e
n Verdoo
l
aege
b
a
rvi
n
ok_enu
m
erate
_
with_
o
ptions: don't add co
n
t
e
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolaege
barvinok
.
cc: don't free P
a
rgument
i
n
enumera
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_al
l
_equaliti
e
s: a
l
so remove
equalities in co
n
t
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c
: av
o
i
d warnin
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven
V
erd
o
olaege
ex
p
ort Param_In
n
er
_
Pr
o
duct
commit
|
commitdiff
|
tree
2007-07-25
Sven Ve
r
doola
e
ge
barvinok_enumerate
.
cc: add minim
a
l check
on
i
nput
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verdoolaege
more
p
ro
t
otype
c
h
a
nges to c
o
nst
c
h
a
r *
commit
|
commitdiff
|
tree
2007-07-19
Sven Ve
r
dool
a
ege
evalue: print_evalue: make parame
t
er names
c
o
n
s
t cha
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Verdoolae
g
e
Al
w
ays comp
i
le polytope
_
s
c
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Verdo
o
l
aege
polyt
o
pe_scan:
u
s
e argp for argument pars
i
ng
commit
|
commitdiff
|
tree
2007-07-05
Sven Ve
r
doolaege
do
c
: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
erdoolaege
c
o
nfigure
.
in: a
l
low s
p
ecification of defa
u
lt prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ver
d
oolaege
consolidate calls
t
o Polyhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
r
doolaege
volume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
olaege
Make
f
ile
.
am: add $
(
EXEEXT) for
cyg
w
in
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoolaege
Ma
k
efile
.
am:
force rebuild lib
r
aries in
subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdool
a
ege
on
l
y test barvin
o
k_maximize if
it has been/
c
an be
created
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoolaege
ba
r
v
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testli
b
.
cc: work
around
i
n
complet
e
n
amespace suppo
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
scale
.
c
: enumera
t
e_narro
w
_flated: don't simpl
i
fy c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
decl
a
re variables a
t
start
of code
bl
o
ck
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
er
d
oo
l
aege
doc: update documen
t
a
t
i
on of op
t
ions
and some
funct
i
ons
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
d
ool
a
ege
Polyhedron_Sample: factor p
o
l
yhedron i
f
possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: compute vertices of
1
D
po
l
yhe
d
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
Pol
y
hedro
n
_
S
a
m
ple:
r
e
move all equalit
i
es
f
r
o
m
po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
add possib
i
lity to us
e
GLPK a
s
LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
olyhedron_Sample: postpone remov
a
l of r
a
ys unt
i
l we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yh
e
d
r
on_Sample:
u
se
l
p
s
o
lver for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
lex
m
in: move choice of lp sol
v
er to u
s
e
outside
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verd
o
ola
e
ge
polysign
.
h:
u
se correc
t
name of
P
L
_
polyhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
barvinok_enumerate:
p
lu
g
m
e
mo
r
y leak
in Bern
o
ul
l
i app
r
o
x
imation
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdo
o
laege
barvinok_en
u
m
er
a
te_e_r: don't
a
ssume AddCo
n
str
a
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
evalue_frac2polynomial
:
recheck
evalu
e
aft
e
r
e
value_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
util
.
c: Line_L
e
ngth: don't ge
t
confused by pos
i
tivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
Makefile
.
am:
stop
afte
r
first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
b
e
rn
s
t
ein: carry through var
i
abl
e
rena
m
ing to debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ve
n
Verdoolaege
b
e
r
nstein: don'
t
assume input polyno
m
i
a
l has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
e
v
alue_r
e
ad
.
c
:
c
orre
c
t constness of name i
n
parameter_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n
V
e
rdo
o
laege
evalue_re
a
d
: acc
e
pt constant mu
l
tiple of variable w
i
tho
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven
V
er
d
oolaege
evalue
.
c: evalue_sum: bette
r
handling of
n
egati
v
e values
commit
|
commitdiff
|
tree
2007-06-15
Sven
V
e
r
doolae
g
e
e
v
alue
.
c: reorder_
t
e
r
ms: f
i
x typo
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdoolaege
e
v
a
lue: declare f
i
rst a
r
gument of emul
c
onst
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Ver
d
oolaege
evalue
.
c: emul: do
n
't use
ex
p
lici
t
_compleme
n
t on argumen
t
s
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoola
e
ge
a
dd a te
s
t for evalue_split_per
i
ods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
De
v
o
s@elis
.
.
.
find_f
r
acti
o
n
al_wit
h
_m
a
x_periods: in
i
t
i
a
lize l
o
ca
l
.
.
.
commit
|
commitdiff
|
tree
next