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
Ve
r
d
o
ola
e
ge
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoola
e
g
e
M
e
r
ge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doo
l
ae
g
e
D
o
cument TOP
C
O
M
based
cha
m
ber decompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
test
TOPCOM chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
Optionall
y
use TOPCOM to compu
t
e
c
hamber decom
p
ositions
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven
Verdool
a
e
ge
lexmin: add (
p
rotecte
d
) mis
s
ing alg
o
rithm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n V
e
rdoolaege
Makefile
.
am: add target for creating
dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oo
l
aege
doc: update voting theory refere
n
ce
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
o
o
laege
document barvin
o
k_sum
m
ate
a
nd barvinok_maxi
m
iz
e
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoola
e
ge
doc: c
o
n
sistent use of
Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
doolaege
barvinok_summate: c
o
r
r
ect options descri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
Docu
m
e
nt
E
ul
e
r-Maclauri
n
based s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
doc: ch
a
n
ge example envir
o
nment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add some h
i
dden sections t
o
table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
doc: an
o
the
r
document r
e
fe
r
ing to
t
he library
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
add some
tes
t
s
fo
r
Euler-Maclauri
n
bas
e
d su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verd
o
o
l
aege
Euler-Maclaurin based
s
u
mm
a
tion for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
E
u
ler-Maclaurin based s
u
mmatio
n
for 2D pr
o
blems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decompos
e
r
.
cc: avo
i
d use of hal
f
-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
barvinok_summate: veri
f
y solution over whole
parame
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ola
e
g
e
i
n
t
r
o
duce barvinok_summa
t
e as a w
r
apper for ev
a
lue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
ool
a
ege
add eva
l
ue_mul
_
div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
value_{div
,
m
u
l}: ha
n
dle some trivi
a
l cases
more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
lattice_p
o
int: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
o
olaege
e
v
a
lue
.
c: extract common code for construc
t
ion bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
o
olaege
v
olume
.
c: expor
t
Param_Polyhedro
n
_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
a
d
d eva
l
ue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
f
i
x
type of evalue_poly
n
omial argumen
t
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdo
o
l
aege
s
upport computa
t
ion of Bernoul
l
i polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
s
e
par
a
t
e computati
o
n of
B
ernoull
i
coeffic
i
ents and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaeg
e
l
attice
_
point: u
s
e
Par
a
m_Vertex_Comm
o
n_Denomina
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
m
ak
e
decomposer
.
h
self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdo
o
laege
red
u
ce_domain
:
avoid use of m
a
cro parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdo
o
l
aege
export e
v
alu
e
_d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Ve
r
doolaege
U
s
e piplib d
u
ring
b
a
s
is reduction if no other
L
P s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
U
s
e bundled p
i
plib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
eg
e
add
p
i
plib modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
se bundled PolyLi
b
by
d
efault
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
add
polylib su
b
module
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olae
g
e
b
e
rn
s
tein: allow link
i
n
g
a
gainst uninstalled, but
b
uilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sve
n
Ve
r
do
o
laeg
e
a
dd more missing asse
r
t
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
Verdoolaege
a
d
d
d
u
mm
y
im
p
lementations
of f
u
nctions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update "Cou
n
ting with r
a
tional g
e
nerating func
t
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdoolaege
barvinok
.
cc: split off part constru
c
ting generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
doolaege
barvinok
.
cc: split off p
a
rt deal
i
ng with
e
xiste
n
tial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolaege
*c
o
unter: avoid recomp
u
tation o
f
denominators whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
ola
e
g
e
counter: remove redun
d
ant m
e
mber
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
e
ge
ch
a
nge t
y
p
e
of some "
s
ign"s to int as they c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolaege
d
oc: update Algo
r
ithm
i
ca publication
commit
|
commitdiff
|
tree
2007-08-10
S
v
en Verd
o
olaege
evalue
.
c: make parameter nam
e
s of type
const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdo
o
laege
s
a
m
p
le
.
c: Polyhedron_RemoveFixe
d
Co
l
umns: corr
e
ctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: r
e
move_e
q
u
alities:
f
i
x t
y
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Para
m
_Polyhedron_Prin
t
: print ev
e
r
ything
t
o given
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enumerate
_
w
ith_option
s
: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdool
a
ege
barvinok
.
cc: don't free P argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove
_
all_equalitie
s
:
also r
e
move equal
i
ties in c
o
nt
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
volume
.
c: avoid wa
r
nings
commit
|
commitdiff
|
tree
2007-07-27
Sven
V
erdoolaege
export Pa
r
am_Inn
e
r_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolae
g
e
b
a
r
vin
o
k_e
n
umer
a
te
.
cc:
a
d
d minima
l
check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Ver
d
o
olaege
m
o
re prototype chan
g
es t
o
const ch
a
r *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoo
l
aege
evalue: print
_
evalu
e
: make
p
aram
e
ter names const
c
har*s
commit
|
commitdiff
|
tree
2007-07-11
S
v
e
n
Verdoolaege
Always
compile pol
y
tope_
s
c
a
n
commit
|
commitdiff
|
tree
2007-07-11
S
ven Verdoolaege
p
olytope_scan: use argp for
argument par
s
in
g
commit
|
commitdiff
|
tree
2007-07-05
S
ven Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Verd
o
olaege
configure
.
in:
a
llow
s
pecification
of defaul
t
pre
f
ix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consolid
a
te calls
t
o Polyhe
d
r
on2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdo
o
la
e
ge
volume
.
c: fi
x
typo in comm
e
nt
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefil
e
.
am: add $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdoolaege
Makef
i
le
.
am:
force reb
u
ild libraries
i
n subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doolaege
only t
e
s
t
barvinok_maximize if it has been
/
can be created
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
barvi
n
ok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testlib
.
cc: work around incomplete n
a
mespace
s
u
pp
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
g
e
scale
.
c
:
enumerate_narrow_f
l
a
t
ed:
do
n
'
t simplify
const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdo
o
la
e
ge
decla
r
e variables at start of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
d
oc: update docu
m
entat
i
on of option
s
and
some fun
c
tio
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhe
d
ron_Sample: facto
r
poly
h
ed
r
o
n
i
f
possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
P
o
l
yh
e
dron_Sample: c
o
mput
e
v
e
rtices of 1D pol
y
hedr
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhe
d
ron_Sample:
remove all equalit
i
es from p
o
lyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
a
d
d possibility to use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: po
s
t
p
one r
e
moval o
f
r
ays
u
n
t
il w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Polyhe
d
r
on_Sample: us
e
lp
solver for f
i
nding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
erd
o
o
l
aege
lexmin: m
o
ve
choice of
l
p solver to use ou
t
side b
a
si
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verdoolaege
polys
i
gn
.
h: use co
r
rect nam
e
of PL_p
o
lyhedron
_
aff
i
ne
_
sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
arvinok_enumer
a
t
e
:
p
l
ug mem
o
ry leak in Bern
o
u
lli approx
i
mation
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
e
rdo
o
l
a
ege
barv
i
n
ok_enumerate_e_r:
d
on't a
s
sume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdo
o
l
a
ege
evalue_
f
r
ac2polyno
m
ial: rech
e
ck
eval
u
e afte
r
evalue_split_
d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
u
t
i
l
.
c: Line_Len
g
th: don't get
confused by posit
i
vi
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Makefil
e
.
am
:
stop
after first fa
i
led test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernst
e
in
:
carry through variable
renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolaege
bernstein: d
o
n'
t
assume input polynomi
a
l
h
as been exp
a
nded
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoolaege
evalu
e
_read
.
c
: correct
c
on
s
t
ness of name in para
m
eter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read: ac
c
ept c
o
nstant multiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ver
d
o
o
laeg
e
e
valu
e
.
c: evalue_
s
u
m:
b
etter handling of negativ
e
values
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n
V
e
rdoo
l
aege
evalue
.
c: reorder_terms:
fix
typo
commit
|
commitdiff
|
tree
2007-06-14
S
ven
Verdoolaege
evalue: de
c
lare
f
ir
s
t argument o
f
emul const
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n
V
erdoolae
g
e
evalue
.
c: emul: do
n
't use explic
i
t_comp
l
e
m
e
nt on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
ad
d
a test for evalue
_
s
plit_periods
commit
|
commitdiff
|
tree
2007-06-13
Har
a
ld
.
Devos
@
eli
s
.
.
.
find_fracti
o
nal_with_max_periods: initiali
z
e
local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
e
n
Verdoo
l
aege
evalue
.
c: evalue_
s
plit
_
periods: make sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
eva
l
ue
.
c:
p
olynom
i
al_projection: u
s
e eva
l
ue_extrac
t
_affi
n
e
commit
|
commitdiff
|
tree
next