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
test_bound.cc: avoid loss of precision caused by conversion from double to int
2007-10-20
Sven
V
er
d
oolaege
remove_all_
e
qualities: keep remov
i
ng eq
u
alities
un
t
il
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
e
move_al
l
_equ
a
lities:
h
andle empty p
o
lyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdo
o
laege
rem
o
v
e_all
_
equalitie
s
:
m
i
nor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoola
e
g
e
expor
t
P
o
lyhedron_Matr
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
S
v
en Verdoolaege
polar_
s
igned
_
con
e
_consumer: clean
u
p memory
on inappropr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ver
d
o
olaege
Param_Inn
e
r_P
r
o
d
uct: fix use of
v
alue_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven V
e
rdoolaeg
e
doc: fix t
y
po in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
V
erdoo
l
aeg
e
Add missing files from po
l
ymake client
to distrib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolae
g
e
Us
e
gmp's gcd
rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
V
e
rdoolaege
p
o
lymake/READ
M
E:
m
entio
n
-
-
wit
h
-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
polymake/Makefi
l
e
.
in:
a
d
d work-around for po
l
y
m
ake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
Verd
o
olaege
e
v
alue
.
c: print_evalue: a
l
ways
print newline at th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ven Verdoolaege
options
.
c: fix typo
i
n --approxi
m
a
t
ion-method d
e
scription
commit
|
commitdiff
|
tree
2007-09-15
S
v
en
Verdoolaege
topco
m
: fi
x
heur
i
stic
f
or select
i
n
g
rows
t
o use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Ver
d
o
o
laege
Merge
b
ranch 'topco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
Docu
m
ent TOPCOM based ch
a
mber decompo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verd
o
olaege
test TOP
C
OM chamber dec
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoola
e
ge
Optionally use TOPCOM t
o
compute chamber
d
ecompos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
l
exmin:
add (prot
e
c
te
d
) m
i
ssing algorit
h
m
i
n
clude
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Makefile
.
am: add targ
e
t
f
or
c
re
a
ting dist with g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
doc: updat
e
voting the
o
ry reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document bar
v
inok_summate and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
consist
e
nt use o
f
Barvin
o
k's initials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Ve
r
doolaege
barvinok_s
u
m
m
ate: correct
o
p
tions description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
D
o
cument Euler-Maclaurin
b
ased
s
ummation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: change exampl
e
environmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
add som
e
h
idden sections t
o
table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
oola
e
ge
d
oc: anothe
r
docume
n
t
referin
g
to the li
b
rary
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
add so
m
e tests for
Euler-Maclaurin based
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
Euler-
M
aclauri
n
based summ
a
tio
n
for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
doolaege
Euler-Maclaurin based summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
deco
m
poser
.
cc: av
o
id use of
h
alf-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
barvi
n
ok
_
su
m
mate: veri
f
y solution o
v
er
w
hole parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
introduce
barvin
o
k_su
m
mate as a wra
p
p
e
r fo
r
evalu
e
_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add eva
l
ue_mul_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
aege
evalue_{
d
iv,mul}: han
d
l
e
s
ome trivia
l
c
a
ses more
efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
lattic
e
_
p
oi
n
t: expor
t
fraction
a
l_pa
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
eva
l
ue
.
c: extract
common code for con
s
truction base
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdo
o
laege
vol
u
me
.
c: export Param_
P
olyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
a
dd ev
a
l
ue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
g
e
f
i
x type
o
f evalue_polynomi
a
l argum
e
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
o
l
a
e
ge
support comput
a
tion
o
f Bernoull
i
pol
y
nom
i
als
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
separate comp
u
tation of Bernou
l
li co
e
ff
i
cients a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point:
u
se Par
a
m_V
e
rtex_Common_Denomina
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
ool
a
ege
make
d
ecomposer
.
h self
-
contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
r
e
duce_doma
i
n: avoid use of macro par
a
me
t
er with n
a
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
e
x
p
ort evalue_du
p
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdoolaege
Use
piplib during basi
s
reduction if
n
o
o
th
e
r
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oolaege
Use bundled piplib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled
P
olyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add polyli
b
submo
d
ul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
la
e
ge
ber
n
stein: all
o
w li
n
kin
g
again
s
t unins
t
a
lled,
b
u
t built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven Ve
r
doolaege
a
d
d
m
ore miss
i
ng ass
e
r
t
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sv
e
n Verdoolaege
add d
u
mmy imp
l
ementations of fu
n
c
t
i
ons that
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaege
upd
a
te "Counting
with rat
i
ona
l
g
enerating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
a
rvinok
.
cc: sp
l
it off part
constru
c
ting generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdoolaege
barvin
o
k
.
cc: sp
l
it off part dealing with exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoo
l
a
e
g
e
*
c
o
unter: av
o
id
recomput
a
tion of denominators whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
olaege
counter: re
m
o
ve redu
n
dan
t
member
commit
|
commitdiff
|
tree
2007-08-16
S
ven Ver
d
oolaege
c
h
a
nge t
y
pe
of some "s
i
g
n"s
t
o int as
t
hey
can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven
V
erdoo
l
aeg
e
doc: u
p
dat
e
Algorith
m
ica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoola
e
g
e
evalue
.
c:
m
a
ke parameter
nam
e
s of type const
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoo
l
aege
sample
.
c:
P
olyhedr
o
n_Remo
v
eFixedCo
l
umns
:
correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
en Verdoolaege
util
.
c: re
m
o
ve
_
e
q
ualities: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_
P
olyhedron_Print: p
r
int
e
v
e
r
ything to
given
file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
bar
v
inok_enumerate_with_optio
n
s: don't add c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven
V
e
rdo
o
laege
barv
i
nok
.
cc: don
'
t
f
r
ee P
argument
in enum
e
rate
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
remove_all_equal
i
t
i
es: also remove
e
qualities
in
context
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoolaege
v
olume
.
c
:
avoid warn
i
n
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n Verdoo
l
a
e
ge
export Param_Inner_Produc
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
b
arvinok_enumerate
.
cc:
a
dd minimal
c
heck on input
commit
|
commitdiff
|
tree
2007-07-20
Sven Verdoolaege
par
s
er
.
l: remove definit
i
o
n of yylineno
commit
|
commitdiff
|
tree
2007-07-20
Sven V
e
rdoolaege
r
e
m
ove (re
c
u
r
si
v
e)
dependency on isa projec
t
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verdoo
l
aege
more prototype changes t
o
const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
eva
l
u
e: pr
i
nt_evalue: make parameter names con
s
t
c
har*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Ver
d
o
olaege
Always compile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
S
ven
V
erdoolaege
polytope_
s
c
a
n: use argp for argum
e
nt parsing
commit
|
commitdiff
|
tree
2007-07-05
Sve
n
Verd
o
olaege
doc:
fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n
V
erdoolaege
c
o
nf
i
gu
r
e
.
i
n
:
allow spec
i
fication of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdoolaege
co
n
s
o
l
i
dat
e
calls to Po
l
yhe
d
ron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdool
a
ege
volume
.
c: fix
t
ypo in
comm
e
nt
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
dool
a
ege
Makefil
e
.
am: ad
d
$(EXEEXT)
f
or
cygwi
n
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
V
e
rdoolaege
Makefile
.
a
m
: force rebuild li
b
raries
i
n subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
olaege
only test bar
v
i
no
k
_max
i
m
i
ze if it has
b
e
e
n
/
c
an be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
d
o
olaege
barvino
k
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
t
e
s
t
lib
.
cc: work aroun
d
incomplete n
a
mespac
e
support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
sc
a
le
.
c: enume
r
ate_nar
r
ow_flate
d
:
d
o
n't
simplify constr
a
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
decl
a
r
e
variabl
e
s at start
o
f
c
ode bloc
k
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolae
g
e
d
o
c:
upda
t
e documentatio
n
of o
p
tions a
n
d so
m
e functions
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoola
e
ge
Polyhedron
_
Sample: factor
p
olyhedron if po
s
sible
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
Po
l
yhedron_
S
ample: comput
e
vertices of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedro
n
_Sample: re
m
ove all equalities fro
m
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add possib
i
lity to use GLPK as LP
s
olver
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
Polyhedron_Sample: postp
o
ne removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ver
d
oolaege
Polyhedro
n
_Samp
l
e
: us
e
lp solver for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verd
o
olaege
l
e
xmi
n
:
mov
e
choice of lp solver to use outs
i
de b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
po
l
ysign
.
h: use correct name of PL_polyhedron
_
a
ffine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
barvinok_enu
m
erate: plug memo
r
y
lea
k
in Bernoulli approximati
o
n
commit
|
commitdiff
|
tree
next