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
Sven Ver
d
o
o
laeg
e
parker/cou
n
t_solu
t
ions
.
cc: fix treatment of exist
e
ntiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
co
m
p
ile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Add
p
arker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
euler
.
cc: evalue_
d
eriv
e
: h
a
ndle
constan
t
poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
add s
o
me
t
est se
t
s from cas
e
s 2004 and cc
2
005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
rename
barvinok_maximize to barvinok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
a
te
s
t for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolae
g
e
evalue_range
_
propagation: remove re
d
un
d
ant pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
_
bound: record numb
e
r of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
t
est_bou
n
d: convert
quasipoly
n
o
mials t
o
p
o
lyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
test_bo
u
nd:
co
m
pare p
o
lynomia
l
bou
n
d algori
t
h
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum: handle
input evaluat
i
ng
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
extract
eva
l
ue_optimum from
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
verif
y
.
c: extr
a
ct co
m
m
o
n code for
verifying oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e
_range_pro
p
agati
o
n
:
a
d
d
mon
o
tonicit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
bar
v
inok_ma
x
im
i
z
e
:
optiona
l
l
y
use (ba
s
i
c
) range prop
a
gation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
Ad
d
some support
for dealin
g
with e
v
alues that
rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
o
o
laege
ba
r
vinok_enu
m
erate: su
p
port use of Euler-Macla
u
ri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
imple
m
ent B
e
rnoulli_s
u
m as c
o
nversi
o
n from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum_evalue: e
x
ploit integ
e
r
bounds to re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
k
e
e
p track of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
bernoulli
.
c:
p
rotect shared
e
value
from
modif
i
c
a
ti
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test B
e
r
n
o
ulli sums based exact e
n
umeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
barvinok
_
c
o
unt_with_options: compu
t
e (exact) Be
r
nou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoull
i
_sum_evalue
:
optiona
l
ly handl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ver
d
oolaege
lattice_point
.
h:
e
xport frac
t
ional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
bar
v
inok_enu
m
er
a
te_with_options: co
m
put
e
(exact) Ber
n
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoulli_sum_e
v
alue:
handle equ
a
litie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oulli_sum_evalue: cut o
f
f
s
o
m
e redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoul
l
i_sum_evalue: make
s
ure no
empty p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: r
e
move redunda
n
t c
o
nstrai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
e
rnoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_sum: ha
n
dle contex
t
constraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
doolaege
B
erno
u
lli_sum_evalue: make
sur
e
enou
g
h memory
i
s allocate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aeg
e
for_each_low
e
r_upper_bound: add another call
b
ack
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
v
erify
.
c: adjust def
a
u
l
t range to cont
e
x
t
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
e
u
l
er
.
cc: summate_over_domain:
o
nly consid
e
r actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
pa
r
am_util
.
c
:
e
xport
P
aram_Ver
t
ex
_
Set_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
e
ge
Par
a
m_Polyhed
r
o
n
_Facet: pas
s
facet defining co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
doo
l
ae
g
e
genfun
.
cc: parall
e
l_polytop
e
s
: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
e
valu
e
_
s
p
lit_domai
n
s_into_
o
rth
a
nts: don
'
t
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
g
e
evalue_read: on
l
y
a
llow terms to c
r
os
s
new
l
ines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
laege
evalue_r
e
ad: only accep
t
implicit multiplica
t
ion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_read: accept constra
i
nts
co
n
taining "'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
doolaege
evalue_bernstein_coe
f
ficients: ensure
r
esult
p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
bern
s
tein: piecewise_lst: co
r
rec
t
ly p
r
int and ev
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verd
o
o
l
aege
remove_all_equalities: ke
e
p removing p
a
ram
e
t
er equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
u
pdat
e
po
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
doc: consi
s
tent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
d
oc: update
n
o
w
publish
e
d pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdoolaeg
e
f
or_each_lower_upper_bound: allow absence o
f
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Re
v
ert "eadd
_
p
artitions: try to combine mul
t
i
ple
d
omai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
evalue_re
a
d_partiti
o
n: pu
t
partiti
o
ns back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduce_evalue: add
n
ote on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc: handle input with unions + relati
o
n vi
o
l
a
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
maximiz
e
.
cc: deal
w
it
h
un
i
o
n
s in input during verificatio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue_sub
s
titute: proper
l
y handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdoolaege
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
r
doolae
g
e
evalue_read: correctly read vari
a
ble na
m
es
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue_read: accept top le
v
el "r
e
lation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Ve
r
doolaege
evalue_backsubstitute: add
r
equi
r
ed
modulo
constr
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sven Ver
d
oolaege
evalu
e
.
c: *_
p
artitions
:
sim
p
l
i
fy cons
t
raints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc:
m
ore specific
information on buggy
cd
d
lib v
e
r
s
i
ons
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
doolaege
c
onfigure
.
in: requi
r
e cddl
i
b 0
.
9
4
e by te
s
ting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
c
o
nfigure
.
in: only compi
l
e occ
i
f
co
d
e_gen librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoolae
g
e
ad
d
some tests for implementation of
p
roje
c
tion theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
eg
e
doc: docume
n
t ne
w
opti
o
ns and new app
l
ica
t
ions
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaege
AUTHORS:
update support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genf
u
n
.
cc
:
short_rat::print: correctly print polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
Ex
p
ort
ser
i
es a
s
ba
r
v
inok_
e
numera
t
e_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
l
a
ege
remove_parameter_equ
a
lities: stop "rem
o
ving" equa
l
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoola
e
ge
seri
e
s
: lea
v
e
f
reeing
of P argument to call
i
ng function
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
d
o
c: doc
u
ment impleme
n
ta
t
ion of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvin
o
k
_
enumerate_e_se
r
ies implem
e
nti
n
g the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
olaege
genfun
.
cc: f
i
x
a
nd doc
u
me
n
t parallel po
l
ytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
Only compile
zsolve if gcc 3
.
4 or later is av
a
ilabl
e
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoola
e
g
e
Mo
v
e
G
iNaC-indepen
d
ent par
t
of lib
r
a
ry to
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doola
e
ge
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
Ve
r
d
o
olaege
doc: how to c
o
u
n
t
the nu
m
b
e
r of ele
m
ents in poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolae
g
e
doc/implemen
t
ation
.
tex: avoid multiply de
f
i
n
ed label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_width
.
c: try vertices
of
previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document inte
g
e
r hu
l
l computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
h
u
ll
.
c:
ad
d
all points
foun
d
by sam
p
ling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
P
o
s
si
b
le optimiza
t
ions for gener
a
lized ba
s
is reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
aege
S
upport
use o
f
g
eneralized basis reducti
o
n
to compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
add
P
o
lyhedron_Integ
e
r
_
M
inimum for computing the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaeg
e
doc:
document genera
l
ized
b
as
i
s reduction
based
int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
doc/barvinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdoola
e
g
e
add more
m
issing as
s
e
r
t
.
h #inclu
d
e
s
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
conf
i
gure
.
in: onl
y
co
m
pile
l
i
bbarvin
o
k as
a
stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
Polyhe
d
ron_
R
educed_Basis: don't
stop to
o
earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
rdoolaeg
e
compute_width_d
i
r
ections: only keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsol
v
e: don't instal
l
library
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
version
.
c:
sho
w
use of TO
P
C
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
ool
a
ege
configure
.
in:
don't set with_
{
poly,pip}lib_
p
refi
x
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
Polyhedr
o
n_Sample: be
s
a
t
isfied wit
h
a r
e
a
sona
b
le choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n Verdoolaege
c
o
ne_integer_h
u
ll: option
a
lly
print
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis
_
r
e
d
u
c
t
io
n
:
keep t
r
ack o
f
number of LPs solved
commit
|
commitdiff
|
tree
next