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
evalue_read.c: fix minor bugs in tokenizer
2008-09-02
Sven
V
e
rdoolaege
e
v
alue_read
.
c
: f
i
x
m
inor bugs in t
o
keniz
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
r
doolaege
u
p
d
ate omega for
m
issing fil
e
s in di
s
tribution
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
barvinok_enumera
t
e_e: av
o
i
d inf
i
n
ite l
o
op w
h
en presen
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
mov
e
omega subdir
to om
e
ga_interface
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdool
a
e
g
e
NTL_QQ
.
cc: add stdlib include for abort hidden in NTL_v
e
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remove gnulib
link-warning
module
complete
l
y
commit
|
commitdiff
|
tree
2008-08-24
Sven Verd
o
o
laege
u
p
date poly
l
ib with extr
a
f
ield i
n
P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoo
l
aege
doc:
fix typ
o
s
commit
|
commitdiff
|
tree
2008-07-20
Sv
e
n Ver
d
oolaege
update gnu
l
ib function to
l
ast pre
-
GPLv
3
v
e
rsion
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n Verdoolaege
enumerator
:
:h
a
n
dle: replace inc
o
rrect de
l
ete by
f
r
e
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
up
d
a
te piplib for correcte
d
U
r
s_parm
s
handling
commit
|
commitdiff
|
tree
2008-06-12
Sve
n
Ve
r
d
oolaege
confi
g
ure: use correct header files
in case of bund
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
ge
o
m
ega/occ: only
open
d
ebu
g
output file if t
h
ere is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdool
a
ege
a
dd
e
dit
o
r
s
t
o
I
T
SL pa
p
e
r
s
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
erdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
add some test sets fro
m
its
l
2
0
08 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
d
oc: a
d
d lat
e
st (
a
ccept
e
d) public
a
tion
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
M
a
kefile
.
am: add section_array
.
h
to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rd
o
olaeg
e
normal
i
zatio
n
.
c: compute
_
shif
t
s: remove r
e
dundant ret
u
rn
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
olaege
mo
v
e Free_ParamNames pol
y
lib and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoolaege
occ: add interface to barvi
n
ok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
erdoolae
g
e
ex_con
v
ert
.
cc:
extr
a
c
t
ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
doc: doc
u
ment more --summation methods fo
r
bar
v
inok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
erdoolaege
opti
o
ns
.
c: rename "
b
arvinok" summation method
to "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdool
a
ege
Makefile
.
a
m
: check-eu
l
er:
a
l
so chec
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
s
umm
a
te
.
c: barvi
n
ok_s
u
mmate:
h
a
n
dl
e
prod
u
cts
o
f polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
evalue
.
c: exp
o
rt eval
u
e
_
r
eorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ola
e
ge
berns
t
ein
:
n
u
meric2value: fix ty
p
o to a
l
l
o
w corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
util
.
c
:
F
a
ctor_Context: ext
r
acted
from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
olaege
summa
t
e
.
c: barvin
o
k_summate: ignore floors
i
ndependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add
eval
u
e_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verd
o
olaege
omega/
o
cc:
p
rint barvinok
version
num
b
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolae
g
e
doc:
upd
a
te some r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
la
e
ge
Make laur
e
nt bas
e
d summation the defaul
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
summate
.
c: barvinok_summate: handle qua
s
i-poly
n
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
r
e
d
uce_e
v
a
l
u
e: extract
o
ut e
v
alue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
e
rdoolaege
evalue
.
c
:
evalue_shift_variables:
all
o
w s
h
ifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
ool
a
ege
summate
.
c: handl
e
e
qualities for all su
m
matio
n
al
g
o
r
i
thms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aege
summate
.
c
: barvino
k
_summate: mo
v
e
c
o
mmon pa
r
ts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdool
a
ege
e
va
l
ue
.
c: ev
a
lue
_
sum: move
s
i
g
n handling
into
esum_ove
r
_d
o
m
a
in
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaeg
e
bar
v
in
o
k_e
.
cc:
e
numera
t
e_sum: use
b
arv
i
nok_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdool
a
e
g
e
summ
a
te
.
c: extra
c
t ba
r
vinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
e
rdoolaeg
e
r
e
nam
e
sum
m
at
e
.
cc
t
o b
a
rvino
k
_summa
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
doolaege
ev
a
lue
.
c:
reduce
_
eval
u
e
: reduce floor
w
ith constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
eg
e
Add Laurent expansio
n
b
a
s
e
d summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
o
laeg
e
e
valu
e
.
c:
e
xtend eequ
a
l to
handle
d
o
m
ai
n
s and
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
binomia
l
.
c: ex
t
rac
t
binomial and f
a
ctorial from
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Ver
d
o
olaege
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce evalue
_
shift_variable
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
la
t
tice_poin
t
.
cc: export
r
elative_
c
o
o
rdinates
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdool
a
eg
e
latti
c
e_point
.
h: make sure correct eva
l
ues
a
r
e
us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
lattice
_
p
o
int
.
c
c
: a
d
d ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
d
o
olaege
util
.
c
:
in
t
ernalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoo
l
aege
lattice_poi
n
t
.
c
c: mult
i
_monom/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean up
"
e
xponential
substitutio
n
" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
o
lae
g
e
test_boun
d
.
cc: avoid loss of p
r
ecision caused by
c
o
n
ve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
a
ege
barvinok_bound: optional
l
y
take maxim
a
l size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvi
n
ok
_
bou
n
d:
a
dd --iter
a
te opt
i
o
ns for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolae
g
e
ve
r
ify
.
c:
exp
o
rt func
t
ions for setting and cl
e
a
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: evalue_optimu
m
:
a
ll
o
w c
o
mputati
o
n
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernst
e
in
.
cc: evalue2ex: don't assume al
l
peri
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
olaege
boun
d
.
c
c: fix
c
a
l
l to eval
u
e_con
v
e
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
e{add,mul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
evalue_bernstein_coe
f
f
i
cients: han
d
le problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
g
e
update po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
e
n Verdool
a
ege
lattice_width
.
c
:
sk
i
p di
r
ec
t
ion
s
that are iden
t
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
e
n
Ver
d
oolaege
Ma
k
efile
.
am: add cd
d
94e-te
s
t to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
omega/occ: opt
i
ona
l
ly use pa
r
ke
r
for computing car
d
ina
l
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
n
o
r
ma
l
iz
a
tion
.
c:
s
kew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
o
laege
om
e
g
a
/conver
t
.
c
c
: relation2Domain:
o
nly coll
e
ct set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
e
ge
occ: add dum
p
for d
u
m
p
ing in barvinok_enu
m
erate_e for
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enumer
a
te_e: optionally use parker's m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
S
ve
n
Ver
d
oo
l
aege
standa
r
d_co
n
stra
i
nts: take con
s
traints instea
d
o
f
p
olyhe
d
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
no
r
mal
i
z
a
t
ion
.
c: extrac
t
standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/count_solutions
.
c
c
:
f
i
x
treatm
e
nt of e
x
is
t
entia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
comp
i
le
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
euler
.
cc: evalue_derive:
h
a
n
dle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
add s
o
m
e test sets from cases 20
0
4 and
cc
2
005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rena
m
e barvinok_maximize to
b
arvin
o
k_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
add
a test for te
s
t_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
e
v
alue_range_prop
a
gation: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
test_bound:
record number of p
o
lynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laeg
e
test_bound: c
o
nver
t
quasipolynomials to poly
n
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
test_b
o
und: compare po
l
y
no
m
ial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erif
y
.
c: o
p
t
imu
m
: handle input evaluatin
g
to ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c: e
x
tract
e
val
u
e_optim
u
m from maximiz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
veri
f
y
.
c: extract common cod
e
f
or verifying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
evalue_range_propag
a
t
io
n
:
a
dd monotonic
i
ty
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maxi
m
ize
:
optionally
use (ba
s
ic) ran
g
e p
r
opagat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Add some support for dealing with
e
v
a
l
ues tha
t
represen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate
:
s
upport
u
s
e
of Euler-Mac
l
aur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
implement Bernoulli_s
u
m as con
v
e
rsi
o
n from
u
nweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
s
u
m
_evalue: exp
l
oit integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
k
e
e
p
track of number
o
f Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
e
r
noulli
.
c: protect sh
a
red
e
value from modifica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
te
s
t Bern
o
ul
l
i
sums
b
ased exact enume
r
ati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
count_
w
i
th_options: compute
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
Bernoulli_
s
u
m
_evalue: o
p
t
ionally handle fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
next