repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Avoid use of sys/times.h header when not available
2008-04-08
Sv
e
n Verdoo
l
aege
ve
r
if
y
.
c: evalue_optimum: allow co
m
pu
t
a
t
ion o
f
optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
be
r
nstein
.
cc: evalue2ex: don
'
t as
s
ume all p
e
r
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
b
o
u
nd
.
cc:
f
ix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
e{
a
d
d
,mul}_peri
o
dic
s
: plug
m
emory l
e
a
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
o
laege
e
v
alue
_
bernstein_coefficients: hand
l
e proble
m
s with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
u
p
date po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en
V
erdoola
e
ge
lat
t
ice_widt
h
.
c: skip directions th
a
t
a
re identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoo
l
a
ege
Makefile
.
am: add cdd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
omeg
a
/
o
cc: optionally use park
e
r for
computing ca
r
dinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
ormaliza
t
ion
.
c: skew_to_pos
i
tive
_
orth
a
nt: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
o
mega/convert
.
c
c
: relation2
D
omain: onl
y
c
ollect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
oolaeg
e
occ
:
add
d
u
m
p for dumpin
g
in barvi
n
ok
_
enumerat
e
_e fo
r
mat
commit
|
commitdiff
|
tree
2008-04-03
S
ve
n
Verd
o
olaege
barvinok_enu
m
erate_e: optionally use parker'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
standard_co
n
strain
t
s
:
t
ake
c
onstr
a
ints instea
d
of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
o
laege
normal
i
zat
i
on
.
c
:
extract sta
n
d
a
rd_constr
a
int
s
fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaege
par
k
er/c
o
unt_solutions
.
cc: fix treat
m
ent of exi
s
t
e
ntiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
c
o
m
pile p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
do
o
laege
e
uler
.
cc: evalue_de
r
i
ve: handle constant
p
olynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaeg
e
ad
d
some test sets from ca
s
es 200
4
and cc 2005 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rena
m
e bar
v
inok_maxi
m
ize
to barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a t
e
st fo
r
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_ran
g
e
_
p
ropagati
o
n: remove redundant polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
tes
t
_bou
n
d:
r
ecord n
u
mbe
r
o
f po
l
ynomia
l
s as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
test_bound: convert quasipolynom
i
al
s
to polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
olaege
t
e
st_bo
u
n
d
:
compare pol
y
nom
i
al bound algori
t
h
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
eri
f
y
.
c
:
op
t
imu
m
: handl
e
inp
u
t e
v
aluating to negativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
v
erify
.
c:
extract evalue_optim
u
m fro
m
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: extract
c
ommon
c
ode for verifying operat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
e
v
alue_range_pro
p
agation:
add
m
onotonicity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
barvinok_maxi
m
ize: op
t
iona
l
ly use (ba
s
ic)
range prop
a
gation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
A
d
d s
o
m
e
support for
dealing wit
h
evalues t
h
a
t
r
ep
r
esen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barv
i
no
k
_
e
numera
t
e: support use of
Eu
l
e
r
-Macl
a
uri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
implement Bernou
l
li_sum as conversion from
u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoulli_sum_evalue: ex
p
loit
integ
e
r bou
n
ds to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
keep trac
k
o
f
number
of
Bernoull
i
sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c
: pro
t
e
c
t shar
e
d
e
v
alue
from
m
od
i
fica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
t
e
st B
e
r
nou
l
l
i
s
u
ms b
a
sed exac
t
enumeratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barv
i
nok_count_wit
h
_
options: compute (exa
c
t) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: o
p
tion
a
l
l
y ha
n
dle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
l
a
ttice_point
.
h: export fracti
o
nal_pa
r
t wit
h
C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvinok_enumerat
e
_
w
ith_op
t
ions: comp
u
t
e (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoul
l
i_sum
_
evalue
:
handle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
Bernoulli_sum_
e
value: cut off
s
ome
r
edun
d
ant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_sum_eva
l
ue: make
s
ur
e
no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
Be
r
no
u
lli_sum_evalue
:
remove redundant
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
bernoulli
.
c: min
o
r
ref
a
c
t
oring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
Bernoul
l
i_sum:
h
andle con
t
ext constraint
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum_ev
a
lue: make sur
e
enough m
e
mory is al
l
oc
a
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolae
g
e
for_each_
l
o
w
er_upper_bound: add another cal
l
back for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
verify
.
c
:
a
djust d
e
fault ran
g
e
to c
o
ntext if need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc:
s
ummate_over_domain
:
only conside
r
actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
o
o
laege
param_uti
l
.
c: exp
o
rt Pa
r
am_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Param_Polyh
e
d
ron_Facet: pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
genfun
.
cc
:
parallel_p
o
lyt
o
p
e
s
: don't bot
h
er handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
ol
a
eg
e
evalue_spl
i
t_domains_in
t
o_orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
v
alue_re
a
d: onl
y
allow terms
t
o cr
o
s
s newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
ae
g
e
evalue_
r
ead:
o
nly accep
t
implicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_re
a
d: accept constra
i
nts containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
evalue
_
berns
t
ein_co
e
ffici
e
nts: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
bernstein:
p
iecewise_lst: correctly print and eval
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
rdoo
l
aege
r
emove_all_
e
qualit
i
es: keep remov
i
ng parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
u
pdate polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
laege
doc: consistent use o
f
Kev
i
n's i
n
i
tial
s
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaeg
e
doc:
u
p
d
ate
n
ow published pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
fo
r
_ea
c
h
_
low
e
r_upper_bou
n
d
:
allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
Reve
r
t
"
eadd_
p
artitio
n
s: try
t
o combi
n
e
mul
t
iple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven V
e
rd
o
olaege
evalu
e
_r
e
ad_partit
i
on: put
p
artitions
back in th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verd
o
olaege
evalue: reduce_eval
u
e
:
add note on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdool
a
e
ge
bernstein
.
cc: han
d
le input with unions + relation viol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
maxi
m
ize
.
cc: deal
with unions in input during verific
a
ti
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
evalue_
s
u
b
sti
t
ut
e
: properly handle rel
a
tions
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
ven V
e
rdoolaege
ev
a
lue_read
:
correct
l
y
read variable
n
ames
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_re
a
d: accep
t
t
o
p
level "relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
V
e
r
doolaege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Verdoola
e
ge
evalue_backsubstitute:
a
d
d
requir
e
d modulo co
n
s
t
rai
n
ts
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doolae
g
e
ev
a
l
u
e
.
c: *_p
a
rtition
s
:
s
im
p
lify
c
onstraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Verdoolaege
doc: more specific
i
n
f
ormation on buggy cddlib v
e
rsions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdo
o
l
a
ege
con
f
igure
.
i
n:
require cddlib 0
.
9
4
e by t
e
sting fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Verdoolaege
co
n
fi
g
ure
.
in: only compile
occ if c
o
de_gen li
b
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
b
arvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Ver
d
ool
a
ege
add some tests for imple
m
entation of pr
o
ject
i
on theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
doc:
d
ocumen
t
new options and
new app
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AU
T
HORS:
u
pd
a
t
e suppor
t
inform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doo
l
aege
genfun
.
cc: shor
t
_
rat::print: correctly print polynom
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
Ex
p
ort se
r
ies as
b
arv
i
no
k
_enu
m
e
r
a
te_series and
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
oolae
g
e
r
emove
_
p
a
rame
t
er_equ
a
lit
i
es: stop "
r
emoving"
e
qual
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
olaeg
e
s
e
rie
s
:
leave
f
r
eeing of
P argument to
c
a
l
ling funct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erd
o
ol
a
ege
doc: document implementation of the pro
j
ect
i
on theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enumerate
_
e_series imp
l
ementing
t
he
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: fix and document par
a
l
l
el polytopes
class
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoola
e
ge
On
l
y compile z
s
olve if g
c
c 3
.
4 or
l
ater
i
s
a
va
i
labl
e
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolaeg
e
Move GiNaC-
i
ndependen
t
par
t
o
f
library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoolaege
po
l
ylib: upd
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
aeg
e
doc: how to c
o
unt the number
o
f e
l
ement
s
in pos
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Ver
d
oolaege
do
c
/implement
a
tion
.
tex: avoid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
latt
i
ce_w
i
dth
.
c:
t
ry v
e
rtices of
previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document inte
g
er hull comput
a
tion
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
o
ol
a
e
g
e
hull
.
c: a
d
d
a
ll points found
b
y sampling directly to
.
.
.
commit
|
commitdiff
|
tree
next