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
parker/count_solutions.cc: fix treatment of existentially quantified variables
2008-04-02
S
ven Verdoolaege
parker/
c
ou
n
t_s
o
lutions
.
cc: fi
x
treatmen
t
of
e
xiste
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n
Verdoo
l
aege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ola
e
ge
euler
.
c
c
: evalue_de
r
ive:
handle con
s
tant
p
o
l
ynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test sets
fr
o
m case
s
2004 and
c
c 2005
p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
rename
barvi
n
ok_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
add a
tes
t
for
t
est_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue_ra
n
ge_p
r
opagatio
n
: rem
o
ve redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est_
b
ound: record number
o
f
polynomials as "si
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdo
o
l
aege
tes
t
_bo
u
nd: convert quasipo
l
y
no
m
ials
to
p
olyn
o
m
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
tes
t
_bound: compare po
l
ynomial bound
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c: opti
m
um: handle input eva
l
uating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
verify
.
c: extract evalue_o
p
timum
from maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c: extract common code for verifyi
n
g
o
peration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lu
e
_range_p
r
opagation: add mo
n
otonic
i
t
y
te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barv
i
nok_maximize:
optionally use (basic) range pro
p
ag
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
Add some
s
upport for d
e
ali
n
g with eva
l
ues tha
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
barvinok_en
u
m
e
rat
e
: suppo
r
t use of Eu
l
er
-
Maclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implem
e
nt
B
e
rno
u
l
l
i_su
m
as conversion f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Be
r
no
u
lli_sum_evalue: exploit inte
g
er
bounds to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep tra
c
k
of number of
Berno
u
lli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
bernoulli
.
c:
prote
c
t
shared evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test Bernoull
i
su
m
s based exact enumerat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_
c
o
u
nt_wit
h
_option
s
: compute (exac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaeg
e
Be
r
n
o
u
lli_sum_ev
a
lue:
optional
l
y handle fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_
p
o
i
nt
.
h
: ex
p
or
t
fractional_part
with C lin
k
age
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
barvinok_en
u
m
erate_with_options: compute
(exac
t
) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Be
r
noulli_sum_evalue: handle
e
qualities
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Ber
n
oulli_sum
_
evalue: cut off some redu
n
da
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Be
r
nou
l
l
i_sum_evalue: make sure no em
p
ty pa
r
ti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_ev
a
l
u
e: remove redundan
t
co
n
s
t
ra
i
nt in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bernoulli
.
c: minor refacto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
noulli_sum:
handle
c
ontext
c
onstraints
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdo
o
lae
g
e
Bernoulli_sum_eval
u
e: make sure enough me
m
ory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
for_each
_
lower_upper_
b
ound: add
a
noth
e
r c
a
llback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verif
y
.
c: adju
s
t
default
range to context
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdo
o
laege
euler
.
cc: summate
_
over_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
par
a
m_uti
l
.
c
: export Pa
r
am_Vert
e
x
_
Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
P
aram_P
o
lyhe
d
ron_F
a
cet: pas
s
facet defining con
s
train
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
genfun
.
cc: pa
r
all
e
l_p
o
lytopes: don't b
o
the
r
ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
e
v
alue_split
_
do
m
ains_into_ort
h
a
n
ts: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only allow
t
erms to cross
n
e
wlines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
evalue_re
a
d
:
o
n
ly acc
e
pt implicit multip
l
ication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_r
e
ad: accept constraints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
ev
a
lue_b
e
rnstein_c
o
efficients: ensure result p
a
rt
i
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rdoolaege
be
r
nstein: pi
e
cewise_lst: correctly print and
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_e
q
ualities: keep
r
emov
i
ng parameter equal
i
ti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
er
d
oolaege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
doc: consistent use
o
f Kevin's in
i
tia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: u
p
da
t
e
n
ow pu
b
l
ished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
for_each_
l
ower_upper_bou
n
d:
allow absence
o
f
low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaeg
e
Revert "e
a
dd_
p
artition
s
: try
to
c
ombi
n
e multip
l
e domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
evalue_
r
ead_part
i
tio
n
: put partitions back
i
n the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: red
u
ce_evalue
:
add note on some mis
s
ed
o
pportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
bernstein
.
cc: handle input with unio
n
s +
r
elation violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
do
o
laege
m
aximize
.
cc: d
e
al with
u
nions in in
p
ut during
verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
a
l
u
e
_substitute: proper
l
y ha
n
dle r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue
.
c
:
c
lean u
p
emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalu
e
_read
:
c
o
rrectly
r
e
a
d variabl
e
na
m
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
u
e
_
re
a
d: accept top level "rel
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
la
e
g
e
u
p
date
polyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaeg
e
evalue_backsubst
i
tute: add required mo
d
ulo constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
S
v
e
n Verd
o
olaege
evalue
.
c: *_partitions: s
i
mpli
f
y
constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolaege
doc: more specif
i
c
i
nformation on buggy c
d
d
l
ib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven V
e
rdo
o
l
aege
configure
.
in:
r
equire cddlib 0
.
94e by te
s
ting for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
Verdoolaege
c
onfigure
.
in: on
l
y co
m
pile occ if cod
e
_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoo
l
a
e
g
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
d
d some
tests f
o
r
implementation
o
f
p
ro
j
ection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc: document
new opti
o
ns
a
n
d n
e
w applic
a
tions
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
ool
a
eg
e
AUTHO
R
S
: up
d
ate support informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
genfun
.
cc: short_r
a
t::pr
i
nt
:
c
o
rrectly print pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoo
l
ae
g
e
Export
s
eries as barvinok_enumerat
e
_ser
i
e
s and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
remove_parameter_equ
a
l
i
ties: stop "removi
n
g" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaege
s
e
r
ies: lea
v
e fre
e
ing
of
P argument
t
o
calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
doc: do
c
um
e
nt impl
e
mentation of the pr
o
je
c
tion theo
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laeg
e
add barvino
k
_e
n
umerate_
e
_series implementing the pro
j
ection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
g
e
genfun
.
cc:
fix and docu
m
ent para
l
lel polytope
s
c
l
as
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only compile zsolve if gcc 3
.
4
o
r
l
ater is availa
b
le
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
M
o
ve Gi
N
aC-indep
e
ndent
p
art
of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doolaege
poly
l
ib:
u
pda
t
e
commit
|
commitdiff
|
tree
2007-11-22
S
ven Ver
d
ool
a
ege
do
c
: h
o
w t
o
count the number of eleme
n
t
s in po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n
Verdo
o
laege
doc/
i
mplementati
o
n
.
tex: avoid mu
l
tipl
y
defined
l
abel
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
lattice_width
.
c:
t
ry ver
t
i
ces of pre
v
ious inte
g
er hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
do
c
: document integer
h
ull
com
p
uta
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: add
a
l
l
p
oin
t
s found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible o
p
timization
s
fo
r
gene
r
alized basis r
e
duc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoola
e
ge
Support
u
se o
f
gen
e
ralized basis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
add Polyhedron_Integer_Minimum for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdool
a
ege
doc: document
gene
r
a
l
ized
basis red
u
ction base
d
integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bi
b
: add mi
s
sing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doola
e
ge
add more missing ass
e
rt
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verd
o
olaege
evalue
.
c: add missing include of
a
l
loca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolaege
config
u
re
.
in: pass p
a
th of GMP installation to Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oo
l
a
e
ge
c
o
nfigure
.
in: o
n
ly co
m
pi
l
e libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoola
e
ge
P
olyhe
d
r
o
n_Reduced_Basis: do
n
't stop t
o
o earl
y
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
co
m
pute_width_dire
c
tio
n
s: only ke
e
p list of distinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ve
n
Verdoolaege
zsolve: don't install
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
ve
r
sion
.
c: show use of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
ae
g
e
configu
r
e
.
i
n:
d
on't set with_{
p
oly,pip}lib_pr
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Po
l
y
he
d
ron_Sample: be sati
s
fied
with a reasona
b
le c
h
oice
.
.
.
commit
|
commitdiff
|
tree
next