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 Verdo
o
l
a
e
ge
la
t
t
ice_point
.
h: make
s
ure correct eva
l
ues
a
r
e us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
latti
c
e_point
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Ver
d
oolaege
util
.
c: int
e
rnalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattic
e
_point
.
cc:
m
ul
t
i
_
m
onom/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Ver
d
oolaege
doc: clean
u
p
"exponential su
b
stitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
lae
g
e
t
e
s
t_bound
.
c
c
: avoid lo
s
s of precision caused by
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolae
g
e
barvinok
_
bound: optionally take ma
x
imal
size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
arvinok_bound
:
add --ite
r
a
t
e opt
i
ons
f
or evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
verify
.
c: export func
t
ions fo
r
setting and
c
l
ea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
olaege
verif
y
.
c:
evalue
_
opti
m
um: allow
c
omputation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
berns
t
ein
.
cc:
e
value2
e
x
: don't assume al
l
perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
erdoolaege
bound
.
cc:
f
ix call to ev
a
lue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
e
{
add,mul}_peri
o
dic
s
: plug m
e
mor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
evalu
e
_be
r
nstein_coefficients: handle problems w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdool
a
ege
upd
a
te
p
oly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Ve
r
doolaege
lat
t
ice
_
width
.
c: skip
d
irections that are ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
doolaege
Mak
e
f
i
l
e
.
am: add cdd
9
4e-
t
est to distr
i
bution
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
o
m
ega/occ: optionally u
s
e
parker f
o
r com
p
u
t
ing cardin
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
g
e
n
o
rmalization
.
c:
s
kew_to_positive_orth
a
nt: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rd
o
olaege
omega
/
conve
r
t
.
cc: relation2Domain: on
l
y col
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
oc
c
: add dump for dumping in
b
a
r
vi
n
ok_en
u
merate_e
f
o
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oola
e
ge
ba
r
vinok_enume
r
ate_e: option
a
l
ly use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
s
t
a
ndard_const
r
aints: take cons
t
raints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
nor
m
alization
.
c: extrac
t
standard_constr
a
ints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
r
d
oolaege
parker/count
_
solutions
.
cc: fix treatme
n
t of
existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
e
r
d
ool
a
ege
compile parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
A
d
d
parke
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oola
e
g
e
e
u
ler
.
cc: evalue
_
de
r
ive: handle c
o
ns
t
ant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ad
d
some test set
s
from
c
ase
s
2004 and cc 2005
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
renam
e
b
a
rvi
n
o
k
_maximize to barvinok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
ad
d
a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
e
v
alue_range_propagation
:
remove redu
n
d
ant poly
n
omial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ver
d
oolaege
te
s
t_bound: rec
o
rd
num
b
er of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
t
est_
b
ou
n
d: co
n
v
e
r
t qua
s
i
p
oly
n
omi
a
ls to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound:
comp
a
re p
o
lyn
o
m
ial b
o
un
d
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
ver
i
fy
.
c: optimum:
han
d
le input evalu
a
tin
g
t
o negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ver
i
fy
.
c: extract evalue_optim
u
m
from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
l
aege
veri
f
y
.
c:
extract
common
code for v
e
ri
f
ying operat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
eva
l
ue_range_propagation: add m
o
notonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_m
a
ximi
z
e: optionally use
(
b
asic) range propaga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
d
d s
o
me s
u
ppo
r
t
for dealing with
evalue
s
that
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bar
v
in
o
k_en
u
merate
:
support
use
of E
u
ler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
impl
e
m
e
nt Be
r
noulli_sum
a
s
co
n
v
e
rsion f
r
om u
n
weig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
Bernoul
l
i_sum_evalue: exploit in
t
eger bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
ol
a
ege
keep track of number of
Bernoull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: protect s
h
ared e
v
alue from modificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
Ber
n
oulli sums
b
ased exact en
u
mer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
bar
v
inok_c
o
unt_wit
h
_options: comput
e
(exact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum_evalue:
o
p
tionally handle
fraction
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
lattice_p
o
i
nt
.
h
:
expor
t
fractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_enum
e
ra
t
e_w
i
th_options: co
m
pu
t
e (exact) Ber
n
oull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_evalue: handle
e
qualities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
Berno
u
lli
_
sum_e
v
alue: cut off some redundan
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
B
ernoulli_sum_evalue: ma
k
e sure no
empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_sum_eva
l
ue: remove
r
e
d
undant
c
ons
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolae
g
e
bernoulli
.
c
:
minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
Bernoulli
_
sum: handle conte
x
t constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum_evalue: make
sure enough memory is
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_ea
c
h_lower_u
p
per
_
bound: add
another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ver
i
fy
.
c:
adjust defau
l
t range t
o
co
n
text
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
u
l
e
r
.
c
c
: summate_over_
d
omain:
only consi
d
er
a
ctua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
param_util
.
c: export
Param_Vertex_
S
e
t
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
Param_Polyhedron_Facet: pass fa
c
et defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
gen
f
u
n
.
cc: parallel_pol
y
topes:
don't bot
h
er han
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
evalu
e
_split_domains_into_orthants:
don't re
d
uce eva
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
evalu
e
_read: only allow
t
e
rms to cros
s
newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
a
e
ge
evalue_
r
ead: only acc
e
pt implicit multipli
c
ation
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_rea
d
: accept co
n
straints co
n
taining "'
-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
v
a
lue_bernstein_c
o
eff
i
c
ients: ensure
r
esu
l
t partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
bernstein:
p
iecewise_ls
t
: c
o
rrectly pri
n
t
and ev
a
lu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoola
e
ge
remov
e
_all_
e
q
u
ali
t
ies: keep remo
v
ing paramet
e
r e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
a
ege
doc:
c
onsi
s
te
n
t
use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rdoolaege
d
oc: update no
w
published
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laeg
e
for_each_lo
w
er_u
p
per_boun
d
: allow abs
e
nce
o
f lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "e
a
dd_partitions: try to
com
b
ine multip
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
olae
g
e
evalue_re
a
d_partition: pu
t
partitions back in the s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalu
e
: red
u
c
e_evalue
:
add note on some missed
o
pportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
la
e
ge
bernstein
.
cc: hand
l
e inpu
t
wi
t
h
unions
+ r
e
lation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
maximize
.
cc: deal wit
h
uni
o
ns in input during
verif
i
cation
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalu
e
_substitute:
p
roper
l
y hand
l
e r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoo
l
ae
g
e
e
value
.
c: clean
u
p
emul a
n
d ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
evalue
_
read:
c
o
r
r
e
ctly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oo
l
aege
ev
a
lue_read: accept
t
o
p level "
r
elation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erdo
o
la
e
ge
evalue_ba
c
ksubstitute: ad
d
required modulo const
r
aints
commit
|
commitdiff
|
tree
2008-02-26
Sven
Verdoolaeg
e
e
v
alue
.
c: *_pa
r
tit
i
ons: simplif
y
constra
i
nts befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
Verdoolaeg
e
doc: mo
r
e spec
i
fic inform
a
ti
o
n on bugg
y
cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n Verdoolae
g
e
configure
.
in: r
e
quire cd
d
lib
0
.
94e b
y
tes
t
i
n
g for bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n
Verdoo
l
aege
c
on
f
i
g
ure
.
i
n
: only
compi
l
e o
c
c
if co
d
e_g
e
n
libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doolaege
add some
t
ests fo
r
implementatio
n
of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
o
c: doc
u
ment new
o
ptions and new applicatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
AUTHORS: update support
i
n
formation
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ver
d
oolaege
genfun
.
cc: s
h
o
rt_
r
at::print: correctly
p
rint polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
r
doolaege
Export series as barvi
n
ok
_
enum
e
rate_s
e
ries and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolae
g
e
r
emove_param
e
ter_equalities: st
o
p "removi
n
g
" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
ool
a
ege
series: leave freei
n
g of P argument to
c
alling
f
unc
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ver
d
oolaege
doc: do
c
ument imple
m
entat
i
on of the p
r
ojection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoola
e
ge
add barv
i
nok_e
n
umera
t
e_e_series imp
l
e
m
enti
n
g the projectio
n
.
.
.
commit
|
commitdiff
|
tree
next