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
Ver
d
oolaege
options
.
c: fix typ
o
in --ap
p
roximation-method descriptio
n
commit
|
commitdiff
|
tree
2007-09-15
Sven
V
e
rdoolaege
topcom: fix heuristic for selecting rows to
u
se
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verd
o
olaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge bran
c
h 'top
c
om'
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Verdoolaege
Document
T
OPCOM based chamber de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
tes
t
T
OPCOM
c
h
a
mber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
erd
o
o
l
aege
Op
t
ionally
use
T
OPCOM
t
o compu
t
e chamber
dec
o
m
position
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
lexmin: add
(
p
r
o
tected) missi
n
g algorithm include
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
Makefile
.
am
:
add target fo
r
creati
n
g
dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdo
o
laege
doc: update voting theory referenc
e
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n V
e
rdoolaege
document barvinok_su
m
m
at
e
and barvi
n
ok
_
maximize
commit
|
commitdiff
|
tree
2007-09-10
S
v
en V
e
rdoolaege
doc: consis
t
ent
u
se o
f
Bar
v
inok'
s
initia
l
s
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolae
g
e
b
arvinok_s
u
mmat
e
: correct op
t
ions desc
r
i
ption
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoo
l
aege
Document Euler-Maclauri
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: cha
n
g
e
example environmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
doc: add s
o
me hidden
sections to table of
c
ontents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
doc: an
o
t
h
er
document referin
g
t
o
the l
i
brary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
add some tests f
o
r Euler-Maclaurin based
sum
m
atio
n
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
Euler-Maclaurin based s
u
mmation
for
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
Euler-Maclaur
i
n based summation
f
or 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
ge
decomposer
.
cc: avoid use of h
a
lf
-
open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
barvin
o
k_summate: verif
y
solution ov
e
r who
l
e
parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
V
erdoolaege
i
ntroduce barvinok
_
su
m
m
ate a
s
a
wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
evalue_{div,mul}: hand
l
e som
e
trivial cases more effic
i
entl
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
a
t
t
ice_poi
n
t:
e
xport fra
c
t
i
onal_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ev
a
lue
.
c:
e
xt
r
act common co
d
e for
construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
ge
volume
.
c: exp
o
rt
P
aram_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
ad
d
evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
fix type of
e
val
u
e_polynom
i
a
l argument
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolae
g
e
sup
p
ort
c
o
mputation o
f
Bernoulli po
l
ynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
s
epar
a
te computation of Bernoulli coeffic
i
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
latti
c
e_point:
u
se
P
aram_Ver
t
ex_Common
_
Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
m
a
ke de
c
omposer
.
h self-c
o
nta
i
ned
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
laege
r
e
duce_domain: avoid us
e
o
f
macro
p
arameter wi
t
h name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaeg
e
e
xport
e
value_dup
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoolaege
Use
p
iplib during basi
s
reduction
if
no other LP
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled
piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaege
a
d
d
piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
Use bundled
P
o
l
yLi
b
b
y de
f
a
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
a
d
d polylib subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
bernst
e
i
n: allow linking a
g
a
i
nst unin
s
talled
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sv
e
n Verdoolaege
add more missing
assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
Verdoola
e
ge
add dumm
y
impleme
n
tation
s
of
fun
c
tions that
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
olae
g
e
update "
C
ounting with rational generating func
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ver
d
oolaege
barvinok
.
c
c: split off part
con
s
truc
t
in
g
generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaeg
e
barvin
o
k
.
cc: split off part dealing with existe
n
tial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdool
a
e
g
e
*coun
t
er: avo
i
d recomputation
o
f denom
i
nators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verd
o
olaege
co
u
nter:
remove
r
e
dundant member
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n
Verdoolaege
change
t
y
pe of
s
ome "sig
n
"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
rd
o
olaege
doc: up
d
ate
A
lgorith
m
i
ca publi
c
ation
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaeg
e
eva
l
ue
.
c: make par
a
meter names of
type c
o
nst c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaeg
e
s
a
mple
.
c: Polyhedron_Rem
o
v
e
Fi
x
edColumns: correct
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
u
til
.
c:
r
e
m
o
v
e
_
e
qual
i
ties: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Ver
d
oo
l
aege
Param_Polyhe
d
ron_Print: print everyt
h
ing to given fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
V
e
r
doola
e
ge
barvinok_enum
e
rate_with_options: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoola
e
ge
barvinok
.
cc: don't free P
a
r
gument i
n
enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_all
_
equaliti
e
s: also remove equalit
i
es in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven
V
e
rdo
o
la
e
ge
e
xport Param_Inner
_
P
roduct
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdo
o
la
e
ge
barvinok
_
en
u
merate
.
c
c
: add mini
m
al check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdo
o
l
a
ege
mo
r
e p
r
oto
t
y
pe changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Verdoolaege
e
v
al
u
e
:
print_evalue: make parameter names const char*
s
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n
V
erdoolae
g
e
Always compi
l
e
polytop
e
_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
poly
t
ope_scan:
use argp for argu
m
ent parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
do
c
: f
i
x t
y
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n Verdoolaege
con
f
ig
u
re
.
in: allow s
p
ecifi
c
ation
of de
f
ault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
c
o
n
sol
i
date calls to
Polyh
e
dron2
P
a
r
am_
D
omain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoola
e
ge
volume
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
V
e
rdoolaege
Makefile
.
am: ad
d
$(EXE
E
XT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
S
ven Ver
d
o
o
laege
M
akefile
.
am
:
force rebui
l
d librari
e
s in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdoolaege
on
l
y test barvinok
_
maximize if i
t
has b
e
e
n/
c
an
be created
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
doo
l
aege
barvin
o
k 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
a
ege
testlib
.
cc:
w
o
rk arou
n
d
i
nc
o
mplete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ver
d
oolae
g
e
sca
l
e
.
c:
e
numerate_narrow
_
flated: don't s
i
m
p
l
ify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoola
e
ge
declare
v
ariabl
e
s at sta
r
t of co
d
e bloc
k
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
Verdoolaege
doc
:
upda
t
e documentation of options and so
m
e functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
P
o
lyhedro
n
_Sample:
f
actor
p
oly
h
e
d
ron if po
s
sible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
l
yhedro
n
_Sample
:
comp
u
te ver
t
ices
o
f 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
Polyhedron_Sample
:
r
e
move al
l
eq
u
alities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
do
o
laege
a
d
d po
s
s
i
bility to use G
L
PK as LP solv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Polyhedron_Samp
l
e: p
o
stpone removal of r
a
ys until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
P
oly
h
edr
o
n_Sample: use lp solver for finding
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
lexmin:
m
ove c
h
oice of lp so
l
ver to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaeg
e
polysign
.
h: us
e
correct name of P
L
_polyhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoo
l
aege
bar
v
ino
k
_
enumerate
:
plug m
e
mory lea
k
i
n Bernoulli a
p
pro
x
imation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok_enumerate_e
_
r: d
o
n't assume AddC
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
evalue_frac2polynomial: reche
c
k
evalue after evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
util
.
c: Line
_
L
ength
:
don
'
t
get confused b
y
p
ositivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Makefile
.
am: stop
a
fter f
i
rst failed
tes
t
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolaege
bernstein: ca
r
ry throu
g
h variable renami
n
g to debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
oolaege
bernstein: don't
assume input polynomial has bee
n
exp
a
n
de
d
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
ool
a
ege
evalu
e
_read
.
c
:
co
r
rect co
n
stness o
f
nam
e
in par
a
meter_new
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
e
val
u
e_r
e
ad: accept constant mu
l
tiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c: evalue_sum: better handling o
f
negative val
u
es
commit
|
commitdiff
|
tree
2007-06-15
Sven Verd
o
olaege
evalue
.
c: reorder_terms: fi
x
typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
d
o
olaege
e
v
a
lue: declare
first argumen
t
of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verd
o
olaege
evalue
.
c: emul: don't use e
x
pli
c
it_complement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add a test for evalue_split_p
e
riod
s
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
e
v
a
l
ue
.
c: evalue_split_
p
e
r
iods: make sure
select
e
d
.
.
.
commit
|
commitdiff
|
tree
next