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
barvinok 0.25
2007-09-11
Sven Verdoolaege
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge
b
r
a
nch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n V
e
rdo
o
lae
g
e
Doc
u
ment TOPCOM
b
as
e
d
c
hamb
e
r deco
m
positi
o
n
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
test TOPCOM
cham
b
er decompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
S
ven V
e
rdoolaege
Optio
n
ally use TOPCO
M
t
o compu
t
e cham
b
er dec
o
m
p
o
sitions
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
erdoolaege
lexmin: add (protected) mis
s
ing algor
i
t
hm i
n
clude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaeg
e
Makefile
.
am: add target
f
or crea
t
ing dis
t
with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
o
o
l
aege
doc: updat
e
v
o
ting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
lae
g
e
document b
a
r
vinok_summate and barvi
n
ok_m
a
xim
i
z
e
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rdoolaege
doc: consiste
n
t use of B
a
rvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
barvinok_
s
umm
a
t
e
:
corre
c
t opt
i
o
n
s
description
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oolaege
D
o
cument
E
uler-
M
a
c
la
u
rin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
e
ge
doc: change ex
a
mple
e
n
vironment
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
r
doola
e
ge
doc:
a
dd some hid
d
en sections to ta
b
le of conte
n
ts
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oo
l
aege
d
o
c
: an
o
ther docum
e
nt refe
r
ing t
o
the lib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaeg
e
add s
o
me tests f
o
r Euler-Maclaur
i
n
ba
s
ed summat
i
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
E
uler-Maclaurin based summation
for 1
D
prob
l
em
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin
b
a
sed summation for 2D pro
b
lem
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
decom
p
oser
.
c
c
: avoid
u
se of half-
o
pen cones
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoolaege
barvino
k
_summ
a
t
e: v
e
rify solution over whole
p
ar
a
me
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
introduce barvinok_
s
u
m
mate as a
w
rapper f
o
r e
v
al
u
e_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add e
v
alue_m
u
l_div
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
o
o
laege
evalue
_
{div,mul}:
h
andle some tr
i
vial case
s
more
efficien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
lattice_poin
t
: export fract
i
onal_part
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaege
evalue
.
c: extra
c
t com
m
on code fo
r
c
o
nstru
c
t
ion b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaeg
e
volume
.
c
: export Param
_
Polyhedron_Face
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
f
ix type of evalue_poly
n
omial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
sup
p
ort computa
t
io
n
of Ber
n
o
ul
l
i polynom
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate computati
o
n
of Bern
o
ulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolae
g
e
lattic
e
_point: use Param
_
Vertex_Commo
n
_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erd
o
olaege
make decomposer
.
h self-con
t
ained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
re
d
uce
_
domain: a
v
oid
use
o
f
m
acro parame
t
er with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
export e
v
alue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
Use p
i
plib during ba
s
i
s
reduction if no othe
r
LP so
l
v
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaeg
e
Use
b
undle
d
pip
l
ib by
d
ef
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add pip
l
ib
m
o
d
u
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
b
undled PolyLib by
default
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolae
g
e
a
d
d polyli
b
submodul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
bernstei
n
: al
l
o
w
link
i
ng
agai
n
st u
n
ins
t
alled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sve
n
Verdoolaege
add
mo
r
e missin
g
assert
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verd
o
olaege
add dummy implemen
t
a
tions of func
t
ions that d
e
p
end
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoolaege
updat
e
"Counting wi
t
h
rationa
l
generatin
g
functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
ae
g
e
b
a
rvino
k
.
cc: spli
t
o
ff
p
a
rt constructing generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaege
barvinok
.
cc: split
off
part
dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolaege
*
c
ounter: avo
i
d recomputation of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoolaeg
e
counter
:
remove r
e
d
undant mem
b
er
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
ege
change type of some
"sign"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaege
doc: upda
t
e
Algorithmica
p
ublication
commit
|
commitdiff
|
tree
2007-08-10
S
ven
Verd
o
olaege
e
value
.
c:
m
ake p
a
ram
e
te
r
names
o
f
type
c
onst c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c: Polyhedron_
R
emoveFixedColumn
s
: co
r
r
e
c
t
ly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
en V
e
rdoolaege
util
.
c: remove_eq
u
alities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
Ve
r
d
o
olae
g
e
Param_Po
l
yh
e
dron_Print: p
r
int everything to gi
v
en
f
il
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doolaeg
e
barvi
n
ok_e
n
umerate_with_options: don't add
co
n
te
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
Verdoolaege
bar
v
inok
.
cc
:
don
'
t f
r
ee P
argument
i
n
enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
V
e
rd
o
olae
g
e
remove_all_equalities: also
r
emove equalities in co
n
text
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
volume
.
c: avoi
d
w
a
r
nings
commit
|
commitdiff
|
tree
2007-07-27
Sven
V
erd
o
ol
a
ege
export Param
_
In
n
er_Pr
o
duct
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
Ve
r
doolaege
barvinok_en
u
mer
a
te
.
cc
:
add minimal check on input
commit
|
commitdiff
|
tree
2007-07-19
S
v
e
n Verdool
a
ege
m
ore pr
o
totype changes to con
s
t
char
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verd
o
olaege
eval
u
e: prin
t
_evalu
e
: make parame
t
er names const char*s
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdo
o
laege
A
lways compile polytope_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
p
o
l
y
tope_scan:
use argp for argume
n
t parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoola
e
g
e
doc: f
i
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
rdoolae
g
e
con
f
igure
.
i
n: allo
w
specification of d
e
fault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verd
o
olaege
consoli
d
ate ca
l
ls to Polyhedron2Pa
r
a
m_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
M
akefil
e
.
am:
a
d
d
$(EX
E
EXT)
f
o
r cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
r
doolaege
Make
f
ile
.
a
m
: force rebuild libraries
in sub
d
i
r
s if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolae
g
e
only test barvinok
_
m
aximize
if i
t
has
b
een/can be created
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ver
d
oolaege
barvino
k
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdo
o
l
aege
testlib
.
cc: work
a
round i
n
comp
l
et
e
na
m
espace
s
upp
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
s
c
a
l
e
.
c
: enumerate_narrow_flated
:
don't simplify
c
onst
r
ai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
decla
r
e
variables
a
t start of
cod
e
b
lock
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc: u
p
dat
e
d
o
cumentati
o
n o
f
optio
n
s
and
s
ome
f
unctions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhedron_
S
ample: factor polyh
e
d
r
on i
f
possib
l
e
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoola
e
ge
Polyhedron_Sample:
c
ompute vertices of 1D
p
olyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Poly
h
edron
_
Sample: remove all eq
u
alities fr
o
m po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add po
s
sibility to use G
L
PK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhe
d
ron_Sample
:
p
o
s
t
pone
removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Polyhed
r
o
n_Sa
m
p
l
e:
use lp solve
r
for fi
n
d
ing
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
l
exmin: move choice of lp solver to us
e
out
s
ide basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
ae
g
e
po
l
ysig
n
.
h: use correct name of PL_po
l
yhedron_aff
i
ne_sig
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
r
doo
l
aege
barvinok_enumerate: plug
m
emory leak i
n
Bernoulli
approxim
a
tion
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdo
o
la
e
ge
barvinok_enumerate_e_r: don't assume AddConstr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Ver
d
oo
l
aege
eva
l
ue_frac2
p
olynomi
a
l
:
recheck
e
value after ev
a
lue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
util
.
c: L
i
ne_Length: don't get
c
o
n
fused by
p
ositivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Ma
k
efile
.
am: sto
p
af
t
e
r
first
failed
test
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
bernstein: carry t
h
ro
u
g
h
v
ar
i
able renam
i
ng to
d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoola
e
ge
bernstein: d
o
n't assume input p
o
lynomi
a
l has been e
x
panded
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doolaeg
e
e
valu
e
_
r
ead
.
c: correct constness of na
m
e i
n
param
e
ter
_
new
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n Verdoolaege
e
value_re
a
d:
accep
t
c
onstan
t
multi
p
le of variabl
e
without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
e
value
.
c: evalue_sum: better handling
o
f negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven
Verdoolaege
evalue
.
c: reorder_term
s
: fix typ
o
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoolaege
evalue:
d
eclare first ar
g
ument of e
m
ul const
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
e
r
doolae
g
e
evalue
.
c:
e
mul:
d
on't us
e
explicit_c
o
mpleme
n
t on argument
s
commit
|
commitdiff
|
tree
2007-06-14
Sven Verd
o
olaege
add a test for ev
a
lue
_
sp
l
it_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos
@
elis
.
.
.
find_fractional_with_max_per
i
ods: init
i
alize
local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c:
e
value_split_periods: make sure sele
c
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoo
l
aege
evalue
.
c: p
o
lynomia
l
_
p
rojection: use evalue_e
x
t
r
act_a
f
fine
commit
|
commitdiff
|
tree
next