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
S
ven Ver
d
o
olaege
Makefile
.
am: add target for creat
i
ng
dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oolaege
doc: up
d
a
t
e
v
oting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
docum
e
nt barvinok_summate and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: consiste
n
t use
o
f
Barv
i
nok's
ini
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
b
a
r
vin
o
k
_summate: correc
t
o
p
t
i
ons description
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoolaege
Document Eu
l
er-
M
aclaurin
b
ased
s
um
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: change
e
xample env
i
r
o
n
m
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add som
e
h
i
d
den sections
to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: another
docu
m
ent refering to the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
rdool
a
ege
add som
e
tes
t
s for Euler-Maclaurin based sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolae
g
e
Eule
r
-Ma
c
laurin b
a
sed summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ver
d
o
o
laege
Euler
-
Macl
a
urin based su
m
mation for 2
D
pr
o
b
l
ems
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
d
ecomposer
.
c
c:
av
o
id use
o
f half
-
o
p
e
n
c
ones
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
barv
i
nok_summate: verif
y
s
o
lution over whole pa
r
amete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
introduce barvinok_summate
a
s a wrapper for eva
l
ue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
e
v
a
lue_{div
,
m
ul}:
handle so
m
e trivial
c
ases more efficie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
lattice_point: export
fractiona
l
_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
ge
ev
a
lue
.
c: extract common
c
o
de fo
r
c
onstruc
t
ion
b
ase
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
volume
.
c
: ex
p
ort P
a
ram_Po
l
yhedron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verd
o
o
l
aege
fix t
y
pe of
e
v
a
l
u
e_pol
y
nomial arg
u
ment
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
support computation of
Be
r
noulli pol
y
nomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaeg
e
separate comp
u
t
ation of
B
ernoulli coef
f
icient
s
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
lattice_
p
o
i
nt: use Par
a
m
_Verte
x
_Common_
D
enominat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
m
ake decomposer
.
h
self-contain
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
reduce_domain
:
avoid use of
macro parameter wit
h
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export e
v
a
l
ue
_
dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
Use p
i
plib
d
uring
basis reduction
if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
laeg
e
Use
b
u
ndled pi
p
lib by
d
ef
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
add
p
iplib mod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olaege
Us
e
bundled PolyLib by
d
efault
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
add
p
olylib submo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
oolae
g
e
bernste
i
n: allow linki
n
g
a
gains
t
uninstalled, b
u
t built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven V
e
rdoolaege
add more missing
a
ssert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven V
e
rdoolaege
add
d
u
m
my implementations of fu
n
c
t
i
o
n
s that depen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Ve
r
d
o
o
laege
update "Counting
with
rational generating
functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barv
i
nok
.
c
c
: split
off part co
n
structing g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
c
c
:
sp
l
it of
f
part
d
ealing with existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n
Ve
r
dool
a
ege
*count
e
r: avoid recom
p
utation of
d
e
n
ominato
r
s when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoola
e
ge
c
o
unter: remove redundant membe
r
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolae
g
e
change type of
so
m
e
"
sign"s to i
n
t
as
th
e
y can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verd
o
olaege
do
c
: update Algorith
m
i
ca pu
b
l
i
cation
commit
|
commitdiff
|
tree
2007-08-10
S
ven Verdoo
l
aege
evalue
.
c: make
p
arameter names of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolae
g
e
sam
p
le
.
c: Polyhedron_RemoveFi
x
edColum
n
s: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
e
n Verdoola
e
ge
util
.
c:
r
emove_
e
qua
l
ities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoola
e
g
e
Para
m
_Polyhedron_Prin
t
:
print
e
veryth
i
ng t
o
given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
ba
r
vino
k
_e
n
umerate_with_options:
d
o
n't add con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdo
o
laeg
e
barv
i
nok
.
cc: don'
t
f
r
ee P argument i
n
enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_all_equ
a
lit
i
e
s: also remove equalities in contex
t
commit
|
commitdiff
|
tree
2007-07-29
S
ven
V
e
rdoolaege
volume
.
c:
a
void wa
r
nings
commit
|
commitdiff
|
tree
2007-07-27
Sven Ve
r
do
o
lae
g
e
exp
o
rt
Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
barvinok_enumer
a
te
.
c
c
: add minimal check on
in
p
u
t
commit
|
commitdiff
|
tree
2007-07-19
S
v
e
n Verdo
o
laeg
e
mor
e
proto
t
ype c
h
anges
t
o
const
char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Verdo
o
la
e
ge
evalue
:
print
_
evalue:
make para
m
eter
names con
s
t
c
har*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdool
a
ege
Always compile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
po
l
y
t
op
e
_
s
can: use argp for ar
g
ument p
a
rsin
g
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdo
o
laege
d
oc: fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Verdoolaege
conf
i
gure
.
i
n: allow specification of defa
u
lt prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Verdoolaege
consolidate
cal
l
s to Polyhedron2Para
m
_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
V
e
rdoolaeg
e
volume
.
c:
f
i
x ty
p
o in comment
commit
|
commitdiff
|
tree
2007-07-01
S
ven Verdoolaege
Makefile
.
am: add $(E
X
EEXT) for cygw
i
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoo
l
aege
Makefile
.
am: forc
e
rebuild libraries in subdirs
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
on
l
y tes
t
b
a
r
v
inok_ma
x
imize
i
f it has
b
een/can be
create
d
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvi
n
ok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testlib
.
cc: work aro
u
nd incom
p
le
t
e nam
e
sp
a
ce
s
u
pport
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaeg
e
scale
.
c: enumera
t
e_n
a
r
r
o
w_flate
d
: d
o
n'
t
simpl
i
fy con
s
train
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
d
eclare v
a
ri
a
bles at start of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
doc: update documen
t
atio
n
of options a
n
d some fu
n
ctions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedro
n
_
S
ample: fact
o
r polyhedro
n
if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
Polyhedron_Sa
m
ple:
compute ve
r
tices o
f
1D polyhedr
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ver
d
oolaege
Polyhedron_Sa
m
ple:
r
e
m
ove
a
l
l
equalities fr
o
m polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
add
p
ossib
i
l
ity to use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
Polyhedron_Sample: postpone removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
olyhedron_Sample: use lp
solver for finding
range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: move cho
i
ce of lp sol
v
er to use outs
i
de b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
polysign
.
h: use correct nam
e
of
P
L
_
polyhedron_affine
_
sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
barv
i
n
o
k_
e
numerate
:
plug mem
o
r
y
le
a
k in Ber
n
oulli approximation
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verdoolaege
barvinok_enumerate_e_r: don'
t
a
ssu
m
e AddConstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoola
e
ge
evalue_f
r
ac
2
p
o
lyno
m
i
al:
re
c
h
e
ck evalue
a
f
ter
e
v
a
lue
_
split_d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
u
t
i
l
.
c: L
i
ne_L
e
ngth:
d
on't get confused
by p
o
sitivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
d
o
olaege
Makefile
.
am: stop after fir
s
t faile
d
test
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdo
o
laege
bernstein: c
a
rry through variable renaming to d
e
bu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolaege
bernstein: don't assu
m
e input polynom
i
al has been
expanded
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolaege
e
v
a
l
ue_read
.
c:
correct c
o
nstness of name in
p
arameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_r
e
ad: acc
e
p
t
constant multipl
e
of v
a
ri
a
b
le without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven V
e
rdoolaege
evalue
.
c: eval
u
e_sum: b
e
t
t
e
r h
a
ndling of neg
a
tive values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
evalue
.
c: reorde
r
_
t
erms:
f
ix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erd
o
olae
g
e
evalue: decla
r
e fir
s
t
argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
r
doolaege
eval
u
e
.
c: emul: don't use e
x
p
l
icit_complement on a
r
g
u
m
e
n
ts
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doo
l
aege
add
a test for evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Har
a
l
d
.
Devos@eli
s
.
.
.
find_fractional_with_max_periods: initialize local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
Verdoolaege
eva
l
ue
.
c
:
evalue_
s
plit_
p
eriods: make su
r
e selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: poly
n
omia
l
_p
r
ojection:
use evalue_e
x
tract_a
f
fine
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
rdo
o
laege
a
dd a test for b
a
rv
i
nok_ma
x
imize and barvino
k
_summ
a
t
e
commit
|
commitdiff
|
tree
2007-06-10
S
v
en V
e
rdo
o
l
a
e
g
e
ba
r
vin
o
k_
s
ummate:
support ve
r
ific
a
tion of results
commit
|
commitdiff
|
tree
2007-06-10
Sven
Ve
r
doola
e
ge
eval
u
e
.
c
:
e
valu
e
_su
m
: spli
t
into
o
r
thant
s
+ so
m
e refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaeg
e
b
a
rvino
k
_unio
n
: use argp for
arg
u
ment parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven
Verdoolaege
barvi
n
ok_en
u
merate_union_s
e
ries_wit
h
_options:
f
i
x
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rdoolaege
basis_reduction_cdd
.
cc:
get correct dual s
o
lution in
.
.
.
commit
|
commitdiff
|
tree
next