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
evalue_range_propagation: add monotonicity test
2007-09-10
Sven Verdool
a
ege
ad
d
some te
s
ts for
E
u
l
e
r-Maclaurin based sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
Euler-M
a
clauri
n
base
d
summation
f
or
1D
p
r
o
blems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Mac
l
aurin
based summa
t
ion for 2D pr
o
b
l
e
ms
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
decomposer
.
cc: a
v
o
i
d
use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
barv
i
nok_summate: verify solution
ove
r
whole par
a
meter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
i
ntroduce barvin
o
k
_
su
m
mate as
a
wrapper for e
v
alue_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
add ev
a
lue_mul_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doolaege
e
valu
e
_
{
div,mul}: handle
s
ome trivial cases more
e
fficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
g
e
lattice_
p
o
int: export
fra
c
ti
o
nal_pa
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolae
g
e
e
v
a
lue
.
c: extr
a
ct
common
c
ode for constr
u
ction base
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
volume
.
c
:
ex
p
ort Param_Polyhedr
o
n_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolae
g
e
fix type o
f
e
value_polyn
o
mial arg
u
ment
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
support
computation of Bernou
l
l
i
polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
aege
se
p
a
r
ate com
p
utation of
B
e
r
noulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: use Param_Vertex_
C
ommo
n
_Denominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
mak
e
decomposer
.
h se
l
f-contained
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
ge
reduce_domain: avoid use of
macro para
m
et
e
r
with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
e
xport evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use piplib during b
a
sis reductio
n
if
n
o
other
L
P solv
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdool
a
ege
Use bundled
p
ipl
i
b
by
d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add p
i
plib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundle
d
PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add polylib
s
ubmodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
bernstei
n
: all
o
w linking against u
n
installed, b
u
t built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
e
rdool
a
ege
add more missi
n
g as
s
ert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-08-29
S
v
en V
e
rdoolaege
a
dd dumm
y
implementations of functions t
h
at
d
epe
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
u
p
date "Counting with rational gen
e
rating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Ve
r
d
oo
l
aege
b
a
rvinok
.
cc: split off p
a
rt
constructing generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
barvinok
.
c
c
:
split
o
f
f par
t
dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verd
o
ol
a
ege
*count
e
r: avoid reco
m
p
utation o
f
denominator
s
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolaege
co
u
nter:
remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdo
o
laege
c
h
ange type of
s
o
me "sign"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc:
update Algo
r
ithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
e
value
.
c: make parameter names o
f
type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sve
n
V
erd
o
ola
e
ge
sample
.
c: Polyhedron_RemoveFixe
d
Columns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoola
e
g
e
ut
i
l
.
c: remove_equalities: fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Polyhedron_Pri
n
t: print
ev
e
r
ything to given fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoolaege
barvi
n
o
k
_enumera
t
e_wi
t
h_options: do
n
'
t
add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoolaeg
e
b
a
rvinok
.
c
c
: do
n
't free P argument in enumera
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_
a
ll_equalities:
also r
e
m
ove equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
v
o
lume
.
c: avoid w
a
rnings
commit
|
commitdiff
|
tree
2007-07-27
Sve
n
Ve
r
doolae
g
e
expo
r
t Pa
r
am_Inn
e
r
_
P
ro
d
uct
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
V
erdoolaege
barvinok_enu
m
er
a
t
e
.
cc: add minimal c
h
ec
k
on input
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Verdoolaege
more pr
o
totype ch
a
nges to
const cha
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
evalue: pri
n
t_evalue: make parameter nam
e
s const c
h
a
r
*
s
commit
|
commitdiff
|
tree
2007-07-11
Sven Ve
r
doolaege
Always co
m
p
ile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n
V
e
rdool
a
e
g
e
polytope_scan: use
a
r
g
p
fo
r
argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sve
n
Verdoolaege
d
o
c
: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n
V
erdoo
l
aege
c
o
nfigure
.
i
n: a
l
low s
p
e
c
if
i
cation of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ver
d
oolaege
cons
o
lidat
e
calls to
P
olyhed
r
on
2
P
aram_Doma
i
n
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n V
e
rdoolaege
volume
.
c:
f
i
x typo in
c
o
mment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Ma
k
e
f
i
le
.
am: ad
d
$
(
EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoola
e
g
e
Makef
i
l
e
.
am: f
o
rce
r
eb
u
ild librar
i
e
s
in su
b
dirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Ver
d
oolaege
only test
ba
r
vinok_m
a
ximize if i
t
has been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvin
o
k 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
t
e
stlib
.
cc: work
a
round incomplete nam
e
sp
a
c
e supp
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
e
rdoolaege
scale
.
c: e
n
ume
r
ate_narrow_fl
a
ted:
d
on't si
m
plify c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
d
ecla
r
e
v
a
r
iables at start of code bl
o
ck
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doola
e
ge
doc: update
d
ocumentat
i
o
n of
options and some
f
u
nc
t
io
n
s
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
V
erdool
a
ege
Polyh
e
dr
o
n
_
Sample: factor p
o
lyhedron if
p
os
s
ible
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
P
olyhedron_Sample: comp
u
te vertices of 1D
p
olyhedr
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
olyhedro
n
_Sample:
rem
o
ve all equalities
f
rom po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
a
d
d
possib
i
lity
to use GLPK as
L
P
s
olver
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdool
a
eg
e
P
o
lyhe
d
r
o
n_Sample: postpone removal
o
f ra
y
s until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
Verdoolaege
Polyhe
d
r
on_S
a
mple: use lp solver f
o
r finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
le
x
mi
n
: move choice of lp sol
v
er to us
e
outsi
d
e
b
asis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
polysign
.
h:
use corre
c
t na
m
e of PL_polyhedron_affine_s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
bar
v
inok
_
enumerate: plug memory leak in B
e
rnoull
i
approximati
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
barvi
n
ok_enumerate_
e
_r: don't assume
A
ddConstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
e
v
alue_frac2polynomial: rech
e
ck evalue after
e
value_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
u
til
.
c: Line
_
Length:
don't
get conf
u
sed by
posit
i
vi
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoola
e
g
e
Makef
i
le
.
am: st
o
p after first fa
i
led test
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoolae
g
e
bernst
e
in:
c
arry th
r
o
ug
h
variable renaming to de
b
u
gg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdool
a
ege
bernstein:
don't assume
i
nput pol
y
n
o
mial
h
as been e
x
panded
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoola
e
ge
ev
a
lu
e
_read
.
c: correct constne
s
s of name
in parame
t
er_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoo
l
a
ege
evalue_
r
ead: accept cons
t
ant multiple
of variable
w
ithout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c: e
v
alue
_
s
um: b
e
t
ter ha
n
dling of negative
v
alues
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolae
g
e
e
v
alue
.
c: re
o
rder_terms
:
fix typ
o
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Verdoo
l
aege
eva
l
u
e: declare fi
r
s
t a
r
gument of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdo
o
l
aege
evalue
.
c: emul: don't use explici
t
_complement
o
n
a
rguments
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdoola
e
ge
add a test for ev
a
lue_s
p
li
t
_perio
d
s
commit
|
commitdiff
|
tree
2007-06-12
S
ven V
e
rdoolaege
eval
u
e
.
c
: e
v
alu
e
_
spl
i
t_p
e
riods: ma
k
e sure selec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sve
n
Verdoolaege
evalue
.
c: po
l
ynomial_projection: use evalue
_
e
xtract_affi
n
e
commit
|
commitdiff
|
tree
2007-06-10
S
ven
Verdoolaege
a
dd a test
f
or bar
v
i
n
ok
_
maximize an
d
barvinok_sum
m
ate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
bar
v
in
o
k_summat
e
: support
v
erification of result
s
commit
|
commitdiff
|
tree
2007-06-10
S
ven V
e
rdoolaege
evalue
.
c
:
evalue_sum:
s
plit into orthants + some refactori
n
g
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
olaege
barvinok_
u
nion: use argp for argu
m
ent pa
r
sing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolaege
b
arvinok_en
u
merate_union_
s
eries_wit
h
_options
:
fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
b
asi
s
_reduction
_
cdd
.
cc: get cor
r
ect dual sol
u
t
i
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
er
d
o
ola
e
ge
basis_
r
ed
u
cti
o
n_glpk
.
c
:
correctly set type
of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ven Verd
o
olaege
b
asis_r
e
duct
i
on_glpk
.
c: check for sani
t
y of s
o
lution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoo
l
aege
options: m
e
nt
i
on defa
u
l
t and available solv
e
rs
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
e
rdoolaege
p
o
l
yhedron_sa
m
ple:
t
ake options
commit
|
commitdiff
|
tree
2007-06-06
Sven Verd
o
olaege
doc: more abo
u
t p
o
wer su
m
s
commit
|
commitdiff
|
tree
2007-06-04
Sven
Verdoolaege
d
o
c: typo
commit
|
commitdiff
|
tree
2007-05-30
S
v
e
n
Ver
d
oola
e
ge
d
o
c: repe
a
t Matthias' stopped Barvinok experime
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
Ve
r
d
o
olaege
a
d
d bar
v
inok
_
sum
m
ate to sum
a qu
a
si-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven
Verd
o
olaege
evalue_rea
d
:
fix for top
-
l
evel f
r
actional
part
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Verdool
a
ege
b
e
r
noul
l
i
.
c: Bernoulli_su
m
_evalue: red
u
ce re
s
ulting
.
.
.
commit
|
commitdiff
|
tree
next