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
doc: fix typo in Michele Vergne's name
2007-09-28
Sven Verdoolaege
doc:
f
ix typo in Michele Vergne's
n
ame
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doola
e
ge
Add mi
s
si
n
g f
i
les from polyma
k
e
cl
i
ent to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven
Ver
d
oolaege
U
s
e gmp's gcd rather
t
ha
n
P
o
lyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n V
e
rdoolaege
polymak
e
/README: me
n
tion --with-barv
i
no
k
configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
poly
m
ak
e
/Ma
k
efile
.
in:
add
w
o
rk-around for
p
olymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
evalue
.
c
:
p
rint
_
evalue: always pri
n
t newlin
e
at
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verd
o
olaege
o
ptions
.
c: fix typo in --appr
o
ximation-method
d
escription
commit
|
commitdiff
|
tree
2007-09-15
S
ven
V
erdoolaeg
e
topcom: fix h
e
uristic for selectin
g
rows
to use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
d
o
olaege
barvin
o
k 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Verdoo
l
aege
Merge b
r
anch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Docu
m
ent TOPCOM
b
ased chambe
r
d
ecomposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPCOM
c
h
amber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolae
g
e
Optio
n
ally use TOPCOM to
compute ch
a
mber decomposi
t
ion
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoo
l
aege
lexmin:
a
dd (
p
r
o
t
e
c
ted) missing a
l
go
r
ithm
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
d
oolaeg
e
Mak
e
file
.
am: a
d
d target for creating
di
s
t
w
ith gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc: u
p
d
a
t
e voting theo
r
y reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaeg
e
docum
e
nt barvinok_summate and ba
r
vinok_
m
axim
i
ze
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
doc: c
o
nsis
t
e
nt
use of Barvinok's initi
a
ls
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdool
a
e
ge
barv
i
nok_summate: corr
e
ct
optio
n
s d
e
scriptio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
oolaeg
e
D
o
cument
E
uler-Maclaurin b
a
sed s
u
mmat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc
:
change ex
a
mple environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: a
d
d
s
om
e
hidden
sections to table of contents
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
do
c
:
a
noth
e
r docu
m
ent r
e
fer
i
ng to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
ad
d
some test
s
for Euler-Macla
u
rin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolaege
Euler-Ma
c
laur
i
n ba
s
ed summation for 1D probl
e
ms
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
E
uler-Maclaurin based s
u
mma
t
ion for 2D problem
s
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoo
l
aeg
e
d
ecompose
r
.
cc
:
avoi
d
u
se of
h
alf-
o
pen cones
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
o
laege
barvinok_summate: verify
sol
u
tion
o
v
er whole
p
ar
a
meter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
a
e
g
e
introduce
b
a
rvino
k
_
s
ummate as a w
r
apper for ev
a
lu
e
_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
_
{d
i
v,mul
}
: handle so
m
e
t
rivial ca
s
es more
efficiently
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdool
a
ege
l
attic
e
_po
i
nt
:
export frac
t
ional_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ev
a
l
u
e
.
c: extract common co
d
e for
c
onst
r
u
c
tion b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n V
e
rdoolaege
volume
.
c: expor
t
Param_Polyhed
r
o
n
_
F
a
cet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
add evalue
_
mu
l
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
r
doolaege
f
i
x
type of ev
a
lue_polynomial
a
rgum
e
nt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support compu
t
a
t
ion o
f
Bern
o
ulli po
l
ynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
s
eparate co
m
putati
o
n of Be
r
nou
l
li coefficien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
lattice_poi
n
t: use Param_Vertex_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
make
dec
o
mposer
.
h
self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
reduce_domain: avo
i
d use of mac
r
o parame
t
e
r
w
i
th
n
am
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
U
s
e pipl
i
b during basis redu
c
ti
o
n
i
f no other LP sol
v
ers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bun
d
led piplib by def
a
ul
t
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bund
l
ed
P
o
ly
L
i
b
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
add p
o
lylib s
u
bm
o
d
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erd
o
ola
e
ge
bernstein:
a
l
l
ow linkin
g
a
gainst unins
t
alled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven Verdoolaege
add
more missing assert
.
h
#
inc
l
u
d
es
commit
|
commitdiff
|
tree
2007-08-29
S
ven Verdoolaege
add
dummy im
p
lementations
o
f
functions that de
p
end
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verd
o
ola
e
ge
up
d
ate "Cou
n
ting
w
ith ra
t
io
n
al gene
r
a
ting fu
n
ction
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n V
e
rdoolaege
b
a
r
vinok
.
cc: split off part constructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
e
rdoolaege
barvinok
.
cc: split off part
d
e
aling with existentia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaege
*count
e
r: a
v
oid recomputation
of den
o
mi
n
a
t
ors when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
counter
:
remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdo
o
laege
change type of som
e
"
sign"
s
to int as they ca
n
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
o
l
aege
doc: up
d
a
t
e Algorithm
i
ca
p
ublication
commit
|
commitdiff
|
tree
2007-08-10
Sven Ver
d
oolaege
e
v
al
u
e
.
c: make parame
t
er names o
f
type
const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c:
P
olyhed
r
on_RemoveFixedCol
u
m
ns: co
r
rect
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sve
n
V
e
rdoo
l
aege
util
.
c: remove_equalit
i
es: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verd
o
olaege
Param_Polyhedron_Pri
n
t
:
print everything
to
given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
barvi
n
ok_enumera
t
e
_
with_op
t
ions: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rd
o
ola
e
ge
b
a
rv
i
nok
.
c
c
: do
n
'
t free P arg
u
ment in enumera
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdool
a
e
g
e
r
e
m
ove_all_equa
l
iti
e
s
: als
o
re
m
ove
eq
u
alities i
n
cont
e
x
t
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
volume
.
c: avoid warning
s
commit
|
commitdiff
|
tree
2007-07-27
S
ven
Verd
o
olaege
export Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sv
e
n Verdoola
e
ge
barvinok_e
n
umerate
.
cc: add minimal che
c
k on i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolae
g
e
mor
e
prototyp
e
changes to const
char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaeg
e
ev
a
lue: p
r
i
nt_ev
a
lue
:
m
ake
p
a
r
a
meter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoo
l
a
e
ge
Always compile polytope
_
sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n
V
e
rdoolaege
po
l
ytope_scan: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sve
n
Verdool
a
ege
doc
:
fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Verdoola
e
ge
con
f
i
gur
e
.
in: allo
w
s
p
ecification of de
f
ault
p
refix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Verdoo
l
aege
con
s
o
l
i
d
ate
c
alls to P
o
lyhedron2
P
aram_Domai
n
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Ver
d
oola
e
ge
v
o
l
u
m
e
.
c: fix
t
y
po in co
m
m
ent
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoolaege
Ma
k
e
f
ile
.
am: add
$(EXEEXT) f
o
r cygwi
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
Makefile
.
am: force rebuil
d
libr
a
ries in subdir
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
ve
n
Verdool
a
ege
only test barvinok_maximize if
i
t
has been/can
b
e created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
o
olaege
testlib
.
cc: work ar
o
u
nd incomplete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
scale
.
c: enu
m
erate
_
narrow_flated:
d
on't
s
implify
c
o
n
straints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
laege
declare
vari
a
bles at sta
r
t
of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoola
e
ge
doc: update documentation
o
f options and
some functions
commit
|
commitdiff
|
tree
2007-06-30
S
v
en V
e
rd
o
olaege
Polyhedron_Sa
m
ple: factor polyhedron
if
p
o
ss
i
ble
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doo
l
aege
Pol
y
hedron_Sample: c
o
mpute ve
r
ti
c
es of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Polyhedron_
S
ample: remove
a
l
l
equalities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
ae
g
e
a
dd
p
ossib
i
lity to use GLPK as LP
s
ol
v
er
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
aege
Polyhedron_S
a
m
ple:
p
o
stp
o
ne removal
o
f
r
ays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
a
e
ge
Polyhedron_Sam
p
le: use lp solver for
f
i
nding
r
ang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lex
m
in: m
o
ve c
h
oice of lp solver to
u
se
o
utsi
d
e basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdo
o
laege
poly
s
ign
.
h:
use correct name
o
f
PL_polyhedron_
a
ffine_si
g
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
a
e
ge
barvinok_enumerate: plug
memory
l
eak in Bernoulli
ap
p
ro
x
i
mation
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oo
l
aege
barvi
n
ok_enumera
t
e_e_r: do
n
't assume
Add
C
onstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
doolaege
evalue_f
r
ac
2
polynom
i
al
:
recheck
e
v
a
lue after
evalue_sp
l
it_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
u
t
il
.
c
: Line_Length: don't get confused
b
y
p
ositivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
Makefile
.
am: stop after
fi
r
st f
a
iled test
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoo
l
aege
bernstei
n
:
c
a
r
ry through variable rena
m
ing
t
o debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verd
o
olaeg
e
bernstei
n
: don't assume input polynomial h
a
s bee
n
expa
n
d
e
d
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
V
e
r
d
oolae
g
e
e
v
alue_read
.
c: cor
r
ect constness
o
f
name
i
n parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdool
a
ege
eva
l
ue
_
read: accept constant multiple of v
a
ria
b
le withou
t
.
.
.
commit
|
commitdiff
|
tree
next