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
Makefile.am: add target for creating dist with git version in name
2007-09-11
Sven Verdoolaege
M
a
kefile
.
am: add
tar
g
et fo
r
c
r
e
ating dist with
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoola
e
ge
doc: update vot
i
ng t
h
eory referenc
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
d
o
cument barvino
k
_summate and barvino
k
_
max
i
mize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
consisten
t
use
o
f Bar
v
i
nok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
barvino
k
_summate
:
correct o
p
tions descript
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verd
o
olaege
Docum
e
n
t E
u
ler-Maclauri
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
doc: chang
e
example environment
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Ver
d
oolae
g
e
do
c
: add some hidden sectio
n
s to table of
contents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verd
o
ola
e
ge
doc: another document r
e
fering to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
a
d
d some t
e
s
ts for Euler-M
a
claurin based
s
u
m
mat
i
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
Euler-Maclaurin
b
a
s
e
d
summation for 1D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
Euler-Maclaurin based summa
t
i
on f
o
r 2D
pro
b
lems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decompose
r
.
cc: avo
i
d
use of
half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
b
a
rvinok_summate:
verif
y
solution over
w
h
ole pa
r
amete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaeg
e
introduc
e
barvinok_summate
as a wrapper for evalue_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
do
o
laege
add
e
value_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
eval
u
e_{div
,
mul}: handle some t
r
iv
i
a
l
ca
s
es more eff
i
cient
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
lattice_point: export fract
i
onal_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
evalue
.
c: ex
t
ract c
o
mmon code
for
c
on
s
t
ruction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
volum
e
.
c: expor
t
Param_Poly
h
edro
n
_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add e
v
al
u
e_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix
t
ype o
f
evalue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verd
o
olaege
suppo
r
t computa
t
i
o
n
o
f Bernoulli
p
olynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
s
eparate compu
t
a
t
ion of B
e
rnoulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
la
t
tic
e
_
p
o
int: use
P
aram
_
Vertex_Co
m
mon_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
rdoolaege
m
a
ke decom
p
oser
.
h self
-
contained
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
r
educe_
d
o
m
ain: av
o
id use of macro parameter
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
l
aege
exp
o
rt evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
eg
e
Use
p
ipli
b
d
u
ring basis r
e
duction if n
o
oth
e
r LP
s
olvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
Use bu
n
dl
e
d p
i
pl
i
b by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdo
o
laege
add piplib modul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
U
s
e bundled P
o
ly
L
ib
by default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
er
d
oolae
g
e
add
p
olylib submodule
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
la
e
ge
bernst
e
in: allow linking
agai
n
st uninstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sv
e
n V
e
rdoolaege
a
dd more m
i
ssin
g
asse
r
t
.
h
#includes
commit
|
commitdiff
|
tree
2007-08-29
Sven
V
e
r
doolaege
add
du
m
my im
p
lementati
o
n
s
o
f
fu
n
ctions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdoolaege
updat
e
"
C
o
u
n
tin
g
with rational generatin
g
functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
ar
v
inok
.
cc: split off par
t
c
onstruct
i
n
g
g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
barvi
n
ok
.
cc: spl
i
t off part dealing
w
ith existentia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rd
o
o
l
ae
g
e
*counter: avoid
recomputation of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
counter
:
remo
v
e
re
d
un
d
ant membe
r
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Ver
d
o
o
l
a
ege
chan
g
e
type of som
e
"
s
ign"s t
o
int as they ca
n
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaeg
e
doc: upd
a
te
A
l
gorithm
i
ca public
a
t
ion
commit
|
commitdiff
|
tree
2007-08-10
S
v
en Verdoolaege
evalue
.
c:
m
ake paramete
r
names of type
c
ons
t
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sam
p
le
.
c: Po
l
yhed
r
o
n
_RemoveFixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
ve
n
Verdoola
e
ge
u
til
.
c
: remove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sv
e
n Verd
o
olaege
P
ara
m
_Polyhedron_Prin
t
:
print everything to gi
v
en fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
ba
r
vinok
_
enumerate_with_optio
n
s:
d
on't add contex
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaeg
e
barvi
n
ok
.
cc: do
n
't free P argum
e
nt in en
u
m
e
ra
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdool
a
ege
r
e
move_all_equalities
:
also remove
equali
t
ies in contex
t
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdool
a
ege
volume
.
c: avoid
w
arnin
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdool
a
ege
export Param_Inne
r
_P
r
oduct
commit
|
commitdiff
|
tree
2007-07-25
Sven Verd
o
olaege
bar
v
in
o
k_enumerate
.
cc: add minimal
c
heck
o
n inp
u
t
commit
|
commitdiff
|
tree
2007-07-19
S
ven Verdoolaeg
e
more
p
rototype changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verdool
a
ege
eval
u
e
:
print_evalue: ma
k
e p
a
rameter names co
n
s
t c
h
ar*s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
V
e
rdoolaeg
e
Always com
p
ile p
o
lytope_s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
erdoolaege
polytope_scan: use argp for argu
m
ent pa
r
s
i
ng
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
d
oc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
ven Verdool
a
ege
con
f
igure
.
in: allow
specificatio
n
of de
f
ault prefi
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
V
e
rdoola
e
ge
cons
o
lidate calls to Polyhedron2Par
a
m_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n Verdoolaeg
e
volume
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n
Ve
r
doolaege
Ma
k
efi
l
e
.
a
m: ad
d
$(EXEEXT)
for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Verdoolaege
Makefile
.
am: fo
r
ce rebuild
l
i
brarie
s
i
n
subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoolaege
only tes
t
barvino
k
_maximize i
f
i
t
h
as
b
een/c
a
n be created
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoo
l
aeg
e
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
ol
a
ege
t
e
s
tli
b
.
cc:
w
ork a
r
o
und
incomplet
e
names
p
ac
e
su
p
po
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
scale
.
c: enumer
a
te_narr
o
w
_
f
lated: don't simplify c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
ge
d
ec
l
are varia
b
les at
s
tart of cod
e
blo
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
doc: upda
t
e documen
t
ation of options and
s
om
e
funct
i
ons
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoola
e
ge
Polyhedr
o
n_S
a
mple: fact
o
r p
o
lyhedron i
f
possi
b
le
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
Po
l
yhedron_Sample: comp
u
te vertic
e
s of 1D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoo
l
aege
P
o
lyhedron_Sample:
r
emove
a
ll
e
qualities fro
m
polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doolaege
add possibil
i
t
y to use
G
LPK a
s
LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Po
l
yhedron_Sample: postpone r
e
m
o
v
al of rays unt
i
l we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolae
g
e
Polyh
e
d
r
on_Sample: use lp solver for f
i
nd
i
ng ra
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
l
e
xm
i
n
:
move
choice of l
p
s
o
l
v
er to us
e
o
u
tside basi
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
a
ege
p
olysign
.
h
: use c
o
rr
e
ct name of PL_polyhedron_affine_
s
ign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
bar
v
ino
k
_enumerate:
p
lu
g
memory
l
eak in Bernoulli approximati
o
n
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
e
rdoola
e
ge
b
a
rvin
o
k_enumerate_e_
r
: don't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
er
d
oola
e
ge
evalue_frac2polynomial:
recheck evalue after evalue_spl
i
t_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
util
.
c: Line_Length
:
don't get confused by posit
i
vity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
lae
g
e
Makefile
.
a
m: stop af
t
er fir
s
t
failed test
commit
|
commitdiff
|
tree
2007-06-27
S
v
en
V
erdoolaeg
e
bern
s
tein
:
c
a
r
ry throug
h
variable re
n
aming to debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolae
g
e
berns
t
ein: don't assume in
p
ut pol
y
nomial has been ex
p
anded
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Ve
r
doolaege
eval
u
e_read
.
c: correct constness
of name in
p
a
rameter_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
evalue_read: accept constant m
u
l
tiple of
v
aria
b
le with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
e
v
alue
.
c: evalue_sum: be
t
ter ha
n
dl
i
ng of negative v
a
lues
commit
|
commitdiff
|
tree
2007-06-15
S
ven Ver
d
ool
a
ege
e
v
alue
.
c: reorder_terms: fix ty
p
o
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doolaege
eval
u
e: declare first argume
n
t of em
u
l const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue
.
c:
e
mul: don't use explicit_complem
e
nt on ar
g
uments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdo
o
laeg
e
add a test for evalue_spli
t
_pe
r
io
d
s
commit
|
commitdiff
|
tree
2007-06-12
S
v
e
n
Verdoola
e
ge
eva
l
ue
.
c:
e
value
_
spli
t
_
periods
:
make sur
e
selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
e
n
Verd
o
ol
a
ege
e
value
.
c: polynomial_pr
o
jec
t
ion: us
e
evalue_extr
a
ct_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
add
a
test
f
o
r bar
v
i
n
ok_maximize and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdool
a
ege
barvinok_summate:
support verification of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdo
o
laege
evalue
.
c: evalue_sum: split into orth
a
nts
+
some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdo
o
laege
barv
i
n
o
k_union: use argp for
a
r
gument parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven V
e
rdoolaege
barvin
o
k_enum
e
ra
t
e_union_series_with_opt
i
ons: fix t
y
po
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoo
l
aege
basis_reductio
n
_cdd
.
cc: get correc
t
dual
solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoo
l
aege
basis_re
d
uction_
g
lpk
.
c: correctly set type of rows
.
.
.
commit
|
commitdiff
|
tree
next