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
Sve
n
Verdool
a
ege
b
arvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdo
o
laege
Merge b
r
anch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
d
o
olaege
Document
TOPCOM base
d
chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
t
e
st TOPCOM chamber
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optional
l
y
use
T
OPCOM
t
o comput
e
chamber decomposi
t
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
lex
m
in
:
add (
p
rotected) missing alg
o
rithm
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Ve
r
doola
e
ge
Makefile
.
am
:
add
t
arget for creating dist
with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
doc: update voting theo
r
y
r
eference
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
ool
a
ege
documen
t
barvinok_summate
a
nd barvin
o
k_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
la
e
ge
doc: con
s
istent
use of B
a
rvinok's ini
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_summate: correct op
t
ions des
c
ription
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rd
o
ola
e
ge
Document
Euler-
M
aclaurin based s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc:
c
ha
n
ge e
x
ample
e
n
vironm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
do
c
: add some hidden sections to ta
b
le of contents
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rdoolaeg
e
doc: another d
o
cument
r
efe
r
i
ng to
the libr
a
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolaege
ad
d
some tests for Euler-Maclaurin
b
ased summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
E
u
l
er-Ma
c
laur
i
n based summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oolaeg
e
E
uler-Mac
l
aurin based
summation f
o
r 2D problems
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoolaeg
e
decompose
r
.
cc
:
avoid
u
s
e
of half-open c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
barvinok_summate:
v
e
r
i
f
y solut
i
on
over w
h
ole parame
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
i
ntroduce barvi
n
ok_su
m
mate as a wr
a
pper
for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add e
v
a
l
ue_
m
ul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
eval
u
e_{div,mul}:
h
andle
some trivial
c
ases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
lattice_point: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
evalue
.
c: extract
c
omm
o
n co
d
e for c
o
nstruction base
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolaege
volume
.
c
:
e
x
port Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
add evalue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type
of evalue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
suppor
t
c
o
mputation of Bernoulli
p
o
l
ynomial
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
separat
e
com
p
utation o
f
Bernoulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: use Param_Vertex_C
o
mmon_D
e
nomi
n
ator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
make decomposer
.
h
s
elf-contai
n
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_d
o
m
ai
n
: avoid use of macro param
e
ter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
e
x
por
t
evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use piplib during b
a
sis r
e
duction if
n
o oth
e
r LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaeg
e
Use bund
l
ed piplib
by default
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ve
r
doolae
g
e
add piplib modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
Use bu
n
dl
e
d Poly
L
ib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
a
e
ge
add polylib su
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
bernstein:
allo
w
lin
k
ing a
g
ainst uni
n
stalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sv
e
n V
e
rdoolaege
add
more missing asse
r
t
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Ve
r
dool
a
ege
add dummy implementations of functions that
d
epend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update "Counting with
ratio
n
al
g
enerating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en
Verdool
a
ege
b
a
rv
i
nok
.
cc: split off part const
r
ucting gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdoolaege
barvi
n
ok
.
cc: split of
f
part dealing with ex
i
stential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*counte
r
: a
v
oid rec
o
mput
a
tion of de
n
ominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
c
ounter: remove
r
edund
a
nt member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change
t
ype
o
f some
"sign"s
t
o int as they ca
n
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oolae
g
e
d
oc: upd
a
t
e
Algori
t
hmi
c
a
publi
c
ation
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
e
va
l
ue
.
c: make parameter
nam
e
s of type const
c
h
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c: Polyhedron_RemoveFixedCo
l
umn
s
: correc
t
ly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n Ver
d
oolaege
u
t
il
.
c: re
m
ove_equalities: fix
typ
o
commit
|
commitdiff
|
tree
2007-07-30
Sven Verd
o
o
l
aege
Param_
P
olyhedron_Print:
p
r
i
nt everyth
i
ng to given
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
V
erdoolaege
barvi
n
o
k
_enumerate_with_options: don
'
t a
d
d contex
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvi
n
ok
.
cc: don'
t
f
r
ee P argument in e
n
umerate
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
V
erd
o
olae
g
e
remove_
a
ll
_
e
qualit
i
es: al
s
o remove
equalities
in co
n
t
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoola
e
g
e
e
xp
o
rt
P
aram
_
Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven
Verdoolaege
bar
v
i
nok_enumerate
.
cc: add m
i
nimal c
h
eck on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
more
p
r
ototype changes to const char
*
commit
|
commitdiff
|
tree
2007-07-19
Sven V
e
rdoola
e
ge
evalue: p
r
int_evalu
e
:
make param
e
ter
n
ames const
char
*
s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Verdool
a
e
ge
A
l
ways
co
m
pile poly
t
ope_scan
commit
|
commitdiff
|
tree
2007-07-11
S
ven Verdool
a
ege
polytope
_
scan:
u
se a
r
g
p for
a
r
g
ument p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaeg
e
do
c
: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sve
n
Ver
d
ool
a
ege
c
o
n
f
i
gure
.
in: allow specif
i
c
a
tio
n
of def
a
ult prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdool
a
ege
consol
i
date calls to P
o
lyhedro
n
2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdoolaege
volu
m
e
.
c: fix typo in
com
m
e
nt
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doolaege
M
akefile
.
am: add $(EXEEXT
)
for
cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdoolae
g
e
Makefile
.
am: force r
e
build li
b
raries in subdirs i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
r
d
ool
a
e
g
e
only test barvinok_maximize if it has been/ca
n
be creat
e
d
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
bar
v
inok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testlib
.
cc: work
aro
u
n
d i
n
c
o
mplete name
s
pace s
u
ppo
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doola
e
ge
scale
.
c: enum
e
rat
e
_narrow_fl
a
t
e
d
: don't
s
implify constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ver
d
oolaege
declare variables
at start
o
f c
o
de block
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n V
e
rdool
a
ege
doc:
update documen
t
ation of option
s
and
s
ome functions
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdoolaege
Polyhedron
_
Sample: factor polyhedron if possib
l
e
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ve
r
doolaeg
e
Po
l
yhedron_Sample: compute v
e
r
tices of 1D polyhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Polyh
e
dr
o
n_Samp
l
e: remove
a
ll equalities from poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
ad
d
possibility
to use
G
LPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
l
a
ege
Po
l
yhedron_Sample: p
o
st
p
one removal of rays
until
w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhedro
n
_Sampl
e
: use lp s
o
l
ver fo
r
find
i
ng range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lex
m
i
n
: mo
v
e choi
c
e of
lp sol
v
e
r
to use o
u
tside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
polysign
.
h: use c
o
r
r
e
c
t name of P
L
_polyhedr
o
n
_affin
e
_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
b
arvinok_enume
r
ate
:
plug memory leak in
B
ernoulli approxim
a
tion
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoo
l
aege
bar
v
in
o
k_
e
n
u
m
e
r
at
e
_e_r:
don'
t
a
s
sume Ad
d
Const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
eval
u
e_frac2polynomial: re
c
h
eck eva
l
ue after evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c: Line_Len
g
t
h:
don't get confused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
Make
f
ile
.
am: stop af
t
er first
failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoola
e
ge
bernst
e
i
n: carry through variable renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven
V
e
r
doolaege
berns
t
ein: don't assume input polynomial has be
e
n expande
d
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
oolaege
ev
a
lue_read
.
c: corre
c
t const
n
e
ss of name i
n
p
arameter_n
e
w
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Ve
r
doo
l
a
ege
evalue_read: accept constan
t
m
ul
t
iple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c: evalue_sum: better handl
i
ng of
negative
values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
evalue
.
c: reorder_terms: fix t
y
po
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
e
r
doolaege
evalue
:
declare f
i
rs
t
argument
o
f emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdoolaeg
e
evalue
.
c
:
emul: don't u
s
e explicit_complement
o
n
arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaeg
e
add a test for
e
va
l
u
e
_s
p
lit_p
e
riods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos@elis
.
.
.
fi
n
d_fractional_with_max
_
periods: initialize lo
c
al
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n
V
erdoolaege
e
value
.
c: eva
l
ue_split_perio
d
s: make sure sele
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verd
o
o
l
a
e
ge
evalue
.
c: polynomi
a
l_proj
e
c
t
io
n
:
u
se evalue
_
extract_affine
commit
|
commitdiff
|
tree
next