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
lattice_point.h: make sure correct evalues are used
2008-04-24
Sven Verdoolaege
latt
i
ce_point
.
h: m
a
ke s
u
re c
o
r
r
e
c
t eval
u
es are used
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
l
attice_point
.
cc: a
d
d c
e
iling f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaege
util
.
c
:
intern
a
lize ugly b
v
_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven
V
erdoolae
g
e
lattice_point
.
cc: multi_mon
o
m/lattice_poi
n
ts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
en Ve
r
doola
e
ge
doc:
c
lean up "exponential substi
t
ution" section
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoo
l
aege
t
e
st_bound
.
c
c
:
avoid
loss of pre
c
ision caused by conv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdoola
e
ge
barvinok_bound: optionally take maxim
a
l si
z
e of
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: add --ite
r
a
te options fo
r
evaluati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaege
verify
.
c: expor
t
functions for
setting
a
nd clear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
verify
.
c
:
evalue_
o
p
tim
u
m: allow co
m
putation of o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
olaege
bernstein
.
cc
:
evalue2ex
:
don't
a
ssume all p
e
riodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaeg
e
bound
.
cc: fix call to evalu
e
_conv
e
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
olaege
e{add,
m
ul}_periodics: p
l
ug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdo
o
l
aege
evalue_
b
e
r
ns
t
ein_coe
f
f
i
cien
t
s: hand
l
e problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Verdoolaege
la
t
tice_width
.
c: skip directions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ver
d
oolaege
Mak
e
f
i
le
.
am: add cdd94e-
t
est to d
i
stribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
omega/occ: opti
o
na
l
ly use
p
arker f
o
r computing
cardi
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
normalizat
i
on
.
c: skew_t
o
_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
la
e
g
e
omega/c
o
nvert
.
cc: relation2Domain: o
n
ly
collect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
occ: add d
u
mp
f
or dum
p
ing i
n
barvinok_e
n
ume
r
ate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
bar
v
inok
_
enumerate_e:
o
pti
o
nal
l
y use
p
a
r
k
er's me
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
standar
d
_constrai
n
t
s
:
t
ake constraints instead o
f
polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoolaege
norm
a
lization
.
c:
extract standard
_
constrain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
par
k
er/count_solu
t
ions
.
c
c
:
fix trea
t
ment of
existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoola
e
ge
compile parke
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoola
e
ge
Ad
d
park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
e
u
ler
.
cc:
e
va
l
ue
_
d
erive: handle c
o
nstant p
o
lynom
i
als
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
add some te
s
t se
t
s fro
m
cases 2004 and
cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rena
m
e bar
v
ino
k
_maxi
m
ize t
o
ba
r
vinok_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
add
a
tes
t
for
t
est
_
bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_ra
n
ge_propagat
i
o
n
: remove
r
edu
n
dant po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_bound: rec
o
r
d numb
e
r of polynomials
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
te
s
t_bo
u
nd: co
n
vert quasi
p
olynom
i
als
t
o poly
n
om
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
t
est
_
bound: compare po
l
yno
m
i
a
l bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolae
g
e
verify
.
c: optimum: handle inpu
t
ev
a
luating to
nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolae
g
e
v
er
i
fy
.
c: extra
c
t eval
u
e_optimum from maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
ve
r
ify
.
c: ex
t
ract common
c
ode for verif
y
ing operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
r
a
n
ge_propagation: add mo
n
otonicity
test
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
barvi
n
ok_maximize: option
a
l
ly use
(
basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
er
d
oolaege
Add some sup
p
ort for dealin
g
w
it
h
evalu
e
s that rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
barvinok_enumerate: su
p
po
r
t use
o
f Euler-Macla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
implement Bernoulli_
s
um as
conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
a
ege
Be
r
nou
l
li_s
u
m_eval
u
e
: explo
i
t inte
g
er b
o
unds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
keep
track of n
u
mb
e
r
of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
ernoulli
.
c:
protect s
h
ared evalue from mo
d
ific
a
ti
o
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
st
B
ernoulli
s
ums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
barvinok_c
o
unt_with_options: compute (exact) Ber
n
o
ull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_e
v
a
l
ue: optiona
l
ly handle fr
a
ctiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
olaege
l
atti
c
e_poi
n
t
.
h: export
fraction
a
l_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
barvinok_enum
e
rate_with_options: compute (exa
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernou
l
li
_
sum_eval
u
e: h
a
nd
l
e
equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
lae
g
e
Ber
n
oulli_sum_evalue: cut of
f
some redund
a
nt
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum
_
evalue:
m
ake sure no
e
mpty part
i
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
B
e
rnoulli_sum_evalue:
remove redu
n
dant constra
i
nt
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
b
e
r
n
oull
i
.
c: mino
r
refact
o
ring
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaeg
e
Berno
u
lli_sum: handl
e
con
t
ext constrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
B
er
n
oulli_su
m
_eval
u
e: make
s
ur
e
eno
u
gh memory is allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
for_e
a
ch_low
e
r_upper_
b
ound: a
d
d
a
not
h
e
r
callb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
verify
.
c:
adjust default range to context
i
f
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c
: s
u
mmate
_
ove
r
_domain: only consider ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oo
l
aeg
e
param_util
.
c: export Param_Ve
r
t
e
x_Set_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Param_P
o
lyhedron_Facet: pass face
t
def
i
ning constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
genf
u
n
.
cc
:
parallel_polytop
e
s: don
'
t bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_doma
i
ns_into_o
r
thants: d
o
n't r
e
duce ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
evalu
e
_read:
o
n
ly allow terms to cross newline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: on
l
y acc
e
p
t
implicit multiplic
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
e
value
_
read: acc
e
p
t
cons
t
raints containing "'
-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
evalue_
b
e
r
nstein_coefficients: ensure result pa
r
titi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernst
e
in: piecewise
_
l
st: correctly pr
i
nt and eval
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
remo
v
e_all_equalit
i
e
s
: keep removi
n
g par
a
meter equa
l
i
t
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
o
laege
update
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
doc: cons
i
s
tent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ve
r
doolaege
doc: updat
e
now publi
s
he
d
paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_l
o
we
r
_uppe
r
_
bou
n
d: allow
a
bsenc
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
Revert
"eadd_partitions: try to combine mult
i
p
l
e
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue
_
read_partition:
put partitions
b
a
ck in th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduce_evalu
e
:
add n
o
te on some missed opportu
n
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
be
r
nstei
n
.
cc: handl
e
i
nput with un
i
ons +
r
elat
i
on
v
iolate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verd
o
olaege
maximize
.
cc: deal with uni
o
ns
i
n
input during
v
erification
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue_substitute: p
r
operly handle relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaeg
e
eva
l
ue
.
c: clean up emu
l
a
n
d eadd
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
doolae
g
e
evalue_
r
ead: cor
r
ect
l
y re
a
d
variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalu
e
_
r
ead
:
a
ccep
t
top level
"
r
e
lation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven V
e
rdoola
e
ge
evalue_backsubstitute: add required modulo c
o
nst
r
ain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
er
d
oolaege
eva
l
ue
.
c: *_partit
i
ons: simplify constr
a
in
t
s b
e
f
or
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdoolaege
doc: m
o
re speci
f
ic informa
t
i
o
n on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdo
o
laege
configure
.
in:
require cddlib 0
.
94e by te
s
ting
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Verdoolaege
configure
.
in: on
l
y compile occ if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
barvi
n
o
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
add some t
e
sts f
o
r implementation of pro
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolaege
do
c
: docu
m
ent new option
s
and ne
w
applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
AUTHORS:
u
pdate
support informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
g
enfu
n
.
cc: short_rat::print:
correctly
print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Ex
p
ort seri
e
s as barvinok_enumera
t
e_series
a
n
d use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
rem
o
ve_parameter_equali
t
ies
:
stop "removing
"
equa
l
it
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdo
o
l
aege
se
r
ie
s
: l
e
av
e
f
reei
n
g
of P
a
rgument to c
a
l
lin
g
functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
la
e
g
e
doc:
d
ocument implementati
o
n
o
f
t
h
e projection theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
a
dd barvi
n
ok_enu
m
er
a
te_e_series implementing the pro
j
e
c
tio
n
.
.
.
commit
|
commitdiff
|
tree
next