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
Sv
e
n
Verdoolaege
Makefile
.
a
m: add target for creatin
g
d
i
st with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update vo
t
ing th
e
ory refere
n
ce
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
docume
n
t
bar
v
i
n
ok_
s
ummate and barv
i
n
ok_maxi
m
ize
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
d
oc: consis
t
ent use of Barvinok's initia
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
barvi
n
ok_sum
m
ate: correct opt
i
ons description
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
Docume
n
t Eul
e
r-Maclaurin ba
s
e
d
summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
doc: change
example environment
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oolaege
doc:
a
dd some
hidden s
e
ct
i
ons to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolae
g
e
doc: a
n
o
t
he
r
d
o
cument refering to the li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
la
e
ge
add
some
tests
for Euler-Maclaurin b
a
se
d
summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
Euler-Maclaurin
bas
e
d summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
E
u
ler-
M
aclaurin based summati
o
n
f
o
r 2D problems
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
oolaeg
e
decomposer
.
c
c
:
av
o
id
use o
f
half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
barvinok_summate: verify so
l
ution
o
ver
whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
introdu
c
e
barvinok_summate as
a wrap
p
er for evalue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
a
dd evalue_mul_di
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{div,mul}: handle
some trivial cases more
e
ff
i
c
i
e
n
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
lattic
e
_
point:
e
xpo
r
t fractional_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
laege
evalue
.
c:
e
x
t
r
act
common
code for
c
o
ns
t
r
u
c
t
ion bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
volum
e
.
c: export Param_Polyhedron_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
a
d
d evalue_mu
l
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
dool
a
ege
fix type
o
f
eva
l
ue_p
o
lynomial
a
rgument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support computat
i
o
n of
Berno
u
ll
i
polyno
m
ials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
separate computation of Bernoulli coefficients
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
lattice_poi
n
t: use
Param_Ver
t
ex_Co
m
mon_
D
enominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
make decomposer
.
h
sel
f
-cont
a
ined
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
redu
c
e_
d
omain:
avoid use of macro paramete
r
w
i
th name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
lae
g
e
export evalue
_
dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaege
Use
piplib during basis re
d
u
ction
i
f no ot
h
er LP
so
l
vers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
laege
Use bundled piplib
b
y
de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoolaege
a
d
d piplib modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoo
l
aege
Use bundled Pol
y
Lib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
add
polylib submod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
b
ernstein: allo
w
linking
against
u
ni
n
stal
l
ed, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sv
e
n
V
e
rdoolaege
add more m
i
ssing
as
s
ert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdool
a
ege
ad
d
dummy implementations of function
s
tha
t
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
u
p
date "
C
ou
n
ting wi
t
h
rati
o
n
al gen
e
rati
n
g functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdool
a
ege
b
a
rvinok
.
cc:
split
off part constr
u
c
t
ing
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
arv
i
n
o
k
.
c
c
: sp
l
it of
f
part dealing with exist
e
n
t
ial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aeg
e
*count
e
r: avoid r
e
com
p
u
t
ation of denominat
o
rs when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verd
o
olaege
counter: remove re
d
u
ndant member
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdo
o
lae
g
e
change typ
e
of
some
"sign"
s
to
i
n
t as
they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoo
l
a
e
ge
doc: update Algorithm
i
ca publ
i
cation
commit
|
commitdiff
|
tree
2007-08-10
S
ven Ve
r
doo
l
a
ege
eval
u
e
.
c: make p
a
r
ameter names of
type cons
t
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sv
e
n Verdoolaege
sample
.
c
:
Polyhedron_Re
m
oveFixe
d
Colu
m
n
s: correct
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: r
e
move_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sv
e
n Verdo
o
la
e
ge
P
aram_Polyhedron_Print: prin
t
e
verything to gi
v
e
n
fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
b
a
rvinok_enumerat
e
_with_optio
n
s
:
don't add c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laege
b
a
rvinok
.
cc: d
o
n't free
P
argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
r
e
move
_
all_
e
qu
a
litie
s
: also rem
o
ve equalit
i
es in c
o
n
t
ex
t
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaeg
e
volu
m
e
.
c: a
v
o
id
w
arnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verd
o
o
laege
e
x
port Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
bar
v
i
nok_enumerate
.
cc: add minim
a
l
c
heck on i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
V
e
rd
o
olaege
more prototype
c
hanges
t
o
const char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Verdoolaege
ev
a
lue:
pri
n
t_evalu
e
:
ma
k
e parame
t
er name
s
const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n Verdoolaege
Always compile
p
oly
t
ope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n
V
erdoo
l
aege
polytope_
s
can: u
s
e argp fo
r
argu
m
e
n
t
p
ars
i
n
g
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
confi
g
u
r
e
.
i
n
: allow specification of default
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoo
l
aeg
e
c
onsolidate ca
l
ls to Polyhe
d
r
o
n2Pa
r
am_Dom
a
in
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
e
r
doolaege
volume
.
c:
f
ix typo in comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n
Verdoolaege
Makefile
.
am: add
$(
E
X
E
E
X
T) for cygw
i
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makef
i
le
.
am: force reb
u
ild libr
a
ries in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdoolaege
o
n
l
y
tes
t
bar
v
ino
k
_m
a
xi
m
ize if it
h
as been/can b
e
cr
e
ated
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
b
arvino
k
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
t
estl
i
b
.
cc: work around i
n
com
p
lete namesp
a
ce su
p
port
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verd
o
o
l
ae
g
e
sca
l
e
.
c: enumerate_narrow_flated: don't simplify
c
onst
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verd
o
olaege
declare variables at
start of code bloc
k
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaeg
e
doc: update document
a
tion
o
f option
s
and some f
u
nctions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
Polyhedron_
S
am
p
le: f
a
ct
o
r polyhedron if pos
s
ible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Po
l
y
h
edron_Sample: com
p
u
t
e
vertices of
1
D polyhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoo
l
a
e
ge
Polyhedron_Sa
m
ple: remove all equ
a
l
ities from pol
y
h
e
dron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add possi
b
i
lity
t
o use GLPK as L
P
s
o
lver
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ve
r
doolaege
Polyhedron
_
Sample:
p
ostpone rem
o
val of ra
y
s until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
e
rdoolaege
P
olyhed
r
on_Sam
p
l
e: use lp solver fo
r
finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
laege
lexmin: m
o
ve choice of lp solver to
use outside b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdo
o
laege
polysig
n
.
h
: use corre
c
t n
a
me o
f
P
L
_pol
y
h
e
dron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoola
e
ge
b
arvinok_enum
e
rate: plu
g
memory leak in Bernoulli a
p
proxi
m
ation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
bar
v
inok_enumera
t
e_
e
_r:
d
on't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
dool
a
ege
evalu
e
_
f
rac2polynomial: r
e
check eva
l
ue after e
v
alue_split
_
do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoola
e
g
e
util
.
c: Line_Length
:
don't ge
t
confused
by posi
t
ivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
Verdoo
l
aege
Makefile
.
a
m
: stop after firs
t
faile
d
test
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Ve
r
dool
a
ege
b
e
rnstein: carry through v
a
r
iable renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laege
berns
t
ein: don
'
t assume input p
o
lynomial has
b
een expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
e
v
a
lue_rea
d
.
c
:
correct constness of name in paramet
e
r_
n
e
w
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoo
l
aege
eval
u
e_re
a
d: acc
e
pt c
o
nstant
multip
l
e of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sve
n
Verdoo
l
a
e
ge
evalue
.
c:
e
v
a
lue_sum:
bette
r
handling of negative
valu
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sven Ve
r
doolaege
e
v
alue
.
c
:
reorder_te
r
m
s: fix typ
o
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Verdoola
e
g
e
evalue: dec
l
ar
e
first
a
rg
u
ment of emul con
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
ev
a
lue
.
c:
emul: don't use ex
p
licit_com
p
lement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
r
do
o
laege
a
dd a test
f
or evalue
_
spl
i
t_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devo
s
@
elis
.
.
.
fi
n
d_fra
c
tional_with_max_perio
d
s:
initialize local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalu
e
.
c: e
v
alue_split_periods:
make sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
ven
V
erdoolaege
evalue
.
c: polynomial_p
r
ojection: use evalue_extrac
t
_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
add a te
s
t
f
or barvinok_ma
x
imize and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoo
l
aege
barvinok_summate: suppor
t
verification of results
commit
|
commitdiff
|
tree
2007-06-10
S
v
e
n Ver
d
ool
a
ege
evalue
.
c:
evalue_sum: split into orthants +
some refactoring
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdo
o
lae
g
e
barvinok_uni
o
n: use argp for arg
u
ment parsing
commit
|
commitdiff
|
tree
2007-06-09
Sv
e
n Ve
r
doolaege
barv
i
nok_enu
m
erate_union_series_with_optio
n
s
: fix
t
y
po
commit
|
commitdiff
|
tree
2007-06-07
Sven
Ve
r
doola
e
ge
basis_
r
ed
u
ction_cdd
.
cc: get
corr
e
ct dual solution
in
.
.
.
commit
|
commitdiff
|
tree
next