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
b
a
rvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaeg
e
Merge branch 'to
p
com'
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdool
a
ege
Document
TOPC
O
M base
d
chamber
d
ecomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
rdoolaege
test TOPCOM ch
a
m
b
er decomposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
S
ve
n
Verdoolaege
Op
t
ionally
u
se TOPC
O
M to
compute
c
h
am
b
er decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
lexmin: add (pr
o
tec
t
e
d) missing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefile
.
am:
add target
for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdool
a
ege
doc: update voting theory refe
r
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdool
a
e
g
e
doc
u
m
e
n
t
bar
v
inok_summate
and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
e
r
doolaege
doc: consis
t
e
nt use of
B
arvinok's in
i
tials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
b
arvinok
_
summate:
correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
Docu
m
e
nt Euler-Mac
l
aurin based summat
i
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoola
e
g
e
doc: ch
a
n
g
e example environment
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
doc:
add some
h
id
d
en
s
ect
i
ons to
table of contents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc: a
n
other document
refe
r
ing
t
o the librar
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
add
so
m
e
tests for Eule
r
-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
E
u
l
er-Maclaurin based su
m
m
a
tion for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
Eul
e
r-Mac
l
aurin
b
ased summa
t
ion for 2D
p
roblems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
d
ecompose
r
.
cc:
a
v
oid
u
s
e of ha
l
f-open co
n
es
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
barvinok_summate
:
veri
f
y
solut
i
on over whole parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
V
erdoolaege
i
ntr
o
d
u
ce barvi
n
ok
_
sum
m
ate as a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaeg
e
add ev
a
lue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
e
value_{div,mul}: handl
e
some trivial ca
s
es mor
e
efficient
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
a
ege
lattice_p
o
i
nt: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oola
e
ge
eva
l
ue
.
c: e
x
tract co
m
mo
n
code fo
r
construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
volu
m
e
.
c:
e
xport Param_Polyhedron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
doolaege
fix type of evalu
e
_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
s
u
pp
o
rt
c
omputatio
n
of Bernoulli po
l
ynom
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaege
separate computation of
B
e
rnoulli
c
oefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
latt
i
ce_po
i
nt: use Param_Ver
t
e
x
_
Common_Denomin
a
to
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
make
d
ecomposer
.
h self-conta
i
ne
d
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
red
u
ce_domain: avoid
u
se of ma
c
r
o
p
aramet
e
r with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolaeg
e
export ev
a
lue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use piplib during basis
reduction i
f
no other
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
Use bundled piplib by de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoo
l
aege
add pi
p
lib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
Use bund
l
e
d P
o
l
y
Lib
b
y defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
ge
add pol
y
lib subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein: all
o
w linki
n
g against
uninstal
l
ed,
b
ut bu
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add
more mis
s
i
ng a
s
sert
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2007-08-29
Sven Ver
d
oolae
g
e
add
dum
m
y implementations of functions
t
ha
t
dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Ve
r
doola
e
ge
updat
e
"Counting wit
h
rational g
e
nerating funct
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en
Verd
o
olaege
barvinok
.
cc: spl
i
t off
par
t
c
onstruc
t
i
n
g generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaeg
e
ba
r
v
i
nok
.
c
c
: split
o
f
f part dealing with e
x
i
s
tent
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verd
o
olaege
*counter: avoid recomputation of
d
e
nominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verd
o
olaege
counter: remove redunda
n
t member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
chan
g
e type of some "sign"s to int
as they c
a
n o
n
ly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n
V
erdoolaege
do
c
:
upd
a
te Alg
o
r
i
thmica pu
b
l
i
cation
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c
: make parameter names
of typ
e
cons
t
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
ven Verdoola
e
ge
sample
.
c: P
o
l
y
hedron_Remo
v
eF
i
xe
d
Column
s
: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven V
e
rdo
o
laege
util
.
c
: remove_eq
u
alities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Polyhedron_
P
rint: print eve
r
ythin
g
t
o
gi
v
en
file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
bar
v
inok_enumer
a
te_with_options: don't a
d
d cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
barvinok
.
c
c
: don't free P
a
r
g
ument
in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoo
l
aege
r
emove_a
l
l_equalities: also
r
e
m
ove
e
qual
i
t
ies in contex
t
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
vo
l
ume
.
c: avoid warn
i
ngs
commit
|
commitdiff
|
tree
2007-07-27
Sven Verd
o
olaege
e
xport Param
_
In
n
er
_
Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
barvi
n
ok
_
enu
m
erate
.
cc: add mini
m
a
l che
c
k on input
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Verdo
o
l
a
eg
e
m
o
re proto
t
ype cha
n
ges to const
c
har *
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verdo
o
laege
e
valu
e
:
print_evalue: make parame
t
e
r
n
ame
s
const char*s
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoolaege
Always c
o
m
pile polytope_s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n Verdo
o
laege
po
l
ytope_
s
can: use
argp for
arg
u
ment par
s
ing
commit
|
commitdiff
|
tree
2007-07-05
Sven
Verdoolaege
do
c
:
fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
erdoolaege
c
onfi
g
ure
.
in: allo
w
specification of d
e
fa
u
l
t prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consol
i
d
ate
calls
t
o Polyhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Ver
d
ool
a
ege
vo
l
um
e
.
c: fix t
y
po in
comm
e
nt
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
e
rdoolaege
Mak
e
file
.
am: add
$(EXEEX
T
) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
a
m: force
r
eb
u
ild libra
r
ies in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only tes
t
bar
v
ino
k
_maximize if it ha
s
been/can
b
e cre
a
t
e
d
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
barv
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
te
s
tlib
.
cc: work around incomplete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdo
o
laege
scal
e
.
c:
e
numerate_narro
w
_flated: don'
t
simplify
c
onst
r
aint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
decl
a
re variabl
e
s at s
t
art
of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc: up
d
at
e
documentation
o
f
options and s
o
me f
u
nctio
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
Polyh
e
dron_S
a
mple: factor polyhedron if p
o
ssible
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
Polyhed
r
on_Sample: compute ve
r
tices of 1D
p
olyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdool
a
e
g
e
Polyhedron
_
Sample: r
e
m
ove
a
l
l equaliti
e
s
from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
add p
o
ssibility
to use GLPK as
LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doolae
g
e
Polyhed
r
o
n
_Samp
l
e: postpone remov
a
l
of rays un
t
il w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
er
d
oo
l
aege
Polyhedron_
S
a
mp
l
e
:
u
s
e
lp solve
r
for find
i
ng range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
lexmi
n
: move choice of lp solver
to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
p
olysign
.
h:
u
se
correct name o
f
PL_polyhedr
o
n
_
af
f
ine_s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoolaege
ba
r
vino
k
_
enumerate:
p
lug me
m
ory leak in Bernou
l
li approximation
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n V
e
rdoolaege
barvinok_e
n
umerate_e_r:
d
on't assume AddConst
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
ev
a
lue_frac2
p
oly
n
omial:
recheck eval
u
e af
t
er evalue_
s
plit_d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
oolaege
util
.
c
:
Lin
e
_Le
n
g
t
h: don't get
c
o
n
f
use
d
by positivit
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
Make
f
ile
.
am: s
t
op after firs
t
failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdool
a
ege
bernstein: carry thro
u
gh
v
ari
a
ble renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstein: don
'
t assume input polynomial has bee
n
exp
a
nded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
ev
a
lue_r
e
a
d
.
c:
c
orrect constnes
s
o
f
na
m
e in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalu
e
_read: accept co
n
stan
t
m
ultiple of vari
a
ble without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven
V
erdoolaege
eva
l
ue
.
c: evalue_
s
um:
bet
t
e
r
hand
l
ing of neg
a
tive value
s
commit
|
commitdiff
|
tree
2007-06-15
S
v
en Verdoolaege
evalue
.
c: reorde
r
_ter
m
s: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en
Verdoolaege
eva
l
u
e: declare fi
r
st argument of
emul
const
commit
|
commitdiff
|
tree
2007-06-14
S
ven V
e
rdo
o
laege
eval
u
e
.
c: emul: don't use explicit_complement on a
r
guments
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oolae
g
e
add a test for e
v
al
u
e_split
_
period
s
commit
|
commitdiff
|
tree
2007-06-13
H
aral
d
.
Devos@elis
.
.
.
find
_
fractional_
w
ith_
m
ax_
p
e
ri
o
ds: initialize local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven V
e
rdoolaege
evalue
.
c: evalu
e
_split_pe
r
iods: m
a
ke sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n Verdoolaege
e
valu
e
.
c: po
l
ynomial_projection: use eval
u
e_extr
a
ct
_
affine
commit
|
commitdiff
|
tree
next