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
S
ven Verdoolae
g
e
opt
i
ons
.
c: fix t
y
po in --approximat
i
on-
m
ethod description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdool
a
e
g
e
topcom: fix
h
e
uristic for s
e
lec
t
ing rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdool
a
ege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdo
o
la
e
ge
Doc
u
m
e
nt TOPCO
M
b
a
sed
c
hamber decomposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
test TOPCOM chamb
e
r
d
ecomposi
t
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
r
doolaege
Op
t
i
o
n
ally use TOPC
O
M to co
m
pute cha
m
ber d
e
compositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
r
doolaege
lex
m
in: add (pr
o
tec
t
ed) mi
s
s
i
n
g
algorithm inc
l
u
de
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Verdo
o
lae
g
e
Makefile
.
am:
add target for
creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc:
u
pdate vo
t
ing
theor
y
re
f
erence
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
o
o
l
aege
doc
u
m
ent barvinok_s
u
mmate an
d
barvi
n
ok_maximiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ve
r
doo
l
aege
doc: consistent use
o
f Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
o
olaege
barvinok
_
summate:
c
orrect op
t
ions description
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoo
l
aege
Doc
u
m
e
nt Euler-Macla
u
rin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: change
exam
p
l
e
environment
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoola
e
ge
do
c
: ad
d
som
e
hidden
s
ec
t
io
n
s to
table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoola
e
ge
do
c
:
an
o
ther
d
ocument r
e
ferin
g
to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laeg
e
add some tests for
Euler-Ma
c
laurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoo
l
aege
Euler-Mac
l
au
r
in based summati
o
n
f
or
1
D pr
o
blems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Eule
r
-Maclauri
n
b
a
sed summatio
n
for 2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
decom
p
oser
.
c
c
: avoid u
s
e
of
h
alf-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
barvinok_sum
m
ate: verify solution over whole
para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introd
u
c
e b
a
rvinok_summate as a wr
a
p
p
e
r
f
o
r
e
value_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
a
dd evalu
e
_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
evalue_{div,
m
ul}: handle so
m
e trivial
c
ases more
e
ffi
c
iently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
attice
_
point: export fractional
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: extract com
m
on code
f
or construc
t
ion based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
volume
.
c: export
P
aram_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
add ev
a
lue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
f
i
x
typ
e
of
evalue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support comput
a
tion of Bernoulli polynomi
a
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdool
a
ege
separate
c
omp
u
tation of Be
r
noulli
c
oefficie
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Ver
d
ool
a
ege
lattice_p
o
in
t
: use
P
ara
m
_Vertex_Co
m
m
o
n_Deno
m
inator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
m
ake dec
o
m
p
oser
.
h se
l
f-co
n
tained
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
reduce_domain: av
o
id
u
se of macro pa
r
am
e
ter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export evalue
_
dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use piplib d
u
r
ing ba
s
is reduction if no
o
t
h
er
LP
s
ol
v
ers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
Use b
u
ndled
p
iplib b
y
defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
ad
d
pipli
b
modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
Use
bun
d
led PolyL
i
b by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoo
l
aege
be
r
nstein: a
l
low linking against uninstall
e
d, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolae
g
e
add m
o
re miss
i
ng assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoola
e
ge
add dumm
y
impl
e
mentatio
n
s of func
t
ion
s
t
h
a
t
depe
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdool
a
ege
update "Co
u
nting with rational generating
fun
c
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
arvinok
.
cc: split
o
ff part constr
u
cting
generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Ve
r
doolaege
b
arv
i
nok
.
cc: split off part dealing with exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaege
*
c
ount
e
r: av
o
i
d
recomput
a
tion of d
e
nom
i
nators w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
e
g
e
counter
:
remove redundant me
m
b
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verd
o
olaege
chan
g
e type o
f
some "sign"s to int
a
s the
y
can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: update Algorithmica
p
ublication
commit
|
commitdiff
|
tree
2007-08-10
Sv
e
n Ve
r
doolae
g
e
evalue
.
c: ma
k
e par
a
met
e
r n
a
mes of
type const
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
samp
l
e
.
c: Poly
h
edron_RemoveFixedColu
m
ns
:
c
o
rrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sve
n
Verdoolae
g
e
util
.
c: remove_e
q
ualities: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdool
a
ege
Param_Polyhed
r
on
_
P
r
i
n
t
: print
everything t
o
g
iven file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
bar
v
inok_en
u
m
erate_with_options: don't ad
d
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolae
g
e
ba
r
vinok
.
cc: don't free P a
r
gument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
dool
a
e
ge
r
e
mov
e
_all_
e
qualiti
e
s: also remove equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoolaege
vol
u
me
.
c: av
o
id warnin
g
s
commit
|
commitdiff
|
tree
2007-07-27
S
ven Ver
d
oolaege
expor
t
Param_Inner_Produc
t
commit
|
commitdiff
|
tree
2007-07-25
Sv
e
n
Verdoolaege
ba
r
vi
n
ok_enumerate
.
c
c:
a
dd m
i
ni
m
al c
h
eck on input
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verdool
a
ege
more
p
rototype c
h
anges to const ch
a
r *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdo
o
laege
eval
u
e: print_evalue:
make parameter names c
o
nst char*
s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoola
e
ge
Always co
m
pile pol
y
to
p
e_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
polytope_scan: use argp for argument parsi
n
g
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Verdoolaege
configure
.
in: allow
s
pecification of default p
r
efix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consolidate ca
l
ls to Polyhedron2Param_Dom
a
in
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volum
e
.
c: fix
t
ypo i
n
co
m
ment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
Make
f
ile
.
a
m
:
add
$
(EX
E
EXT)
f
or cy
g
win
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
Makef
i
le
.
am: force rebuild
libraries in
s
u
bdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
en
V
erdoolaege
o
n
ly test
b
arvinok_max
i
mize if i
t
has been/can
b
e
c
r
eated
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
laege
b
a
rvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
tes
t
li
b
.
cc: work
around inco
m
ple
t
e
namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoo
l
aege
scale
.
c:
e
num
e
rate_narrow_fl
a
ted: don't
s
implify constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
d
eclare vari
a
bles at
start of code block
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
doc: upda
t
e documentation of o
p
tions
a
nd
s
ome fu
n
c
tions
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
P
o
lyh
e
dron_Sa
m
p
l
e: factor p
o
lyhedron
i
f
p
o
s
s
ible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
ae
g
e
P
o
lyh
e
dro
n
_Sample: compute vertices of 1D
p
olyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaeg
e
Polyhedr
o
n_Sample: re
m
ove all eq
u
a
l
i
t
i
e
s from polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoola
e
ge
add po
s
si
b
ility to use
G
L
P
K
as
LP
s
olve
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
Polyhedr
o
n_Sample: post
p
o
ne re
m
o
v
a
l of rays until
w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Polyhe
d
ron_Samp
l
e:
use lp solver
for finding rang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
ola
e
ge
lex
m
in: move choice of
l
p
s
olver
to
u
se
outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdo
o
laege
polysign
.
h: use
corr
e
ct
n
ame
o
f PL_polyhedron_affin
e
_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaeg
e
barvinok_enumerate: plug
memory leak in Bernoul
l
i app
r
o
x
imati
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoolaege
barvinok_
e
numer
a
te_e_r
:
don't assume
A
dd
C
on
s
traints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Ve
r
doolaege
evalu
e
_f
r
a
c
2polynomial: rech
e
ck ev
a
lue
a
fter
e
value_spl
i
t_
d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c
:
Li
n
e
_
Length: d
o
n'
t
g
et
c
o
nfu
s
ed by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ver
d
oolaege
Ma
k
ef
i
le
.
am: stop after
f
irst
f
ail
e
d test
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verd
o
olaege
bernstein: carry
through variable renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
ber
n
stein:
do
n
't assume i
n
put
p
olyn
o
mial has b
e
en expanded
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdo
o
laege
evalue_read
.
c:
corr
e
c
t
c
onst
n
e
s
s
o
f nam
e
in param
e
ter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolaeg
e
eva
l
ue_read: accept cons
t
ant mult
i
pl
e
o
f
v
a
riable with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
eval
u
e
.
c: eva
l
ue_sum
:
better h
a
nd
l
ing of nega
t
iv
e
val
u
es
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
evalue
.
c
:
reorder_te
r
ms: fix t
y
po
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdo
o
laege
ev
a
lue: declare first argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n
Verdoolaege
evalue
.
c: emul: don't use explicit_complement
on
a
r
gument
s
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
ad
d
a te
s
t for evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
H
a
rald
.
Devo
s
@elis
.
.
.
fi
n
d_frac
t
i
o
n
al
_
with_
m
ax_pe
r
iods: ini
t
ialize loc
a
l
.
.
.
commit
|
commitdiff
|
tree
next