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
test_bound.cc: avoid loss of precision caused by conversion from double to int
2008-04-08
Sv
e
n
Verdoo
l
a
e
g
e
test_b
o
und
.
cc: av
o
id l
o
ss o
f
prec
i
sion caused by c
o
nvers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
ba
r
vinok_bou
n
d: optio
n
ally t
a
k
e maximal
s
i
ze of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
arvinok_b
o
un
d
: add -
-
iterat
e
options for evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoolaege
ve
r
i
fy
.
c: export
f
u
nc
t
i
o
ns
f
or se
t
ting a
n
d
c
lear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
verify
.
c: evalue_optimu
m
:
allo
w
co
m
putation
o
f optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
b
e
rnstein
.
cc:
e
value
2
ex: don't assume all
p
eriodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
bound
.
cc: fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
e{
a
dd,
m
ul}_p
e
r
i
odi
c
s: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rd
o
olaege
evalue_bernstein
_
c
o
effici
e
n
t
s: handle p
r
o
blems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdo
o
laege
l
a
ttice
_
width
.
c
: skip
d
irections that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add cdd
9
4e-test to dis
t
r
i
bution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
omega/occ: option
a
lly use parker for computi
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
norm
a
l
i
zation
.
c: ske
w
_to_positive_
o
r
t
hant: properl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoola
e
ge
o
mega/convert
.
cc: relation2Domain
:
only co
l
le
c
t set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erd
o
olaege
occ: add dump for dumping in barv
i
nok_en
u
merate_e f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
o
l
aege
barvin
o
k
_
e
n
um
e
rate_e:
o
ptionally u
s
e
p
arker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
standard_con
s
traints: tak
e
constraints inste
a
d of pol
y
hedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
normalization
.
c
:
extra
c
t
st
a
ndard_con
s
traints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/cou
n
t
_
solut
i
ons
.
c
c: fix tre
a
tm
e
n
t
of
e
x
i
s
t
entia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven
V
er
d
oolaege
c
o
mpile p
a
rk
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
A
dd park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
eule
r
.
cc:
evalue_de
r
ive: handle constant p
o
lynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
add
some test sets from
c
a
ses 2004 and cc 2005 paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
re
n
ame barvinok_maximize t
o
barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
d
oolaege
add a test
for te
s
t_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalu
e
_range_propagation:
remove redu
n
dant polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
laege
test_
b
ound: record number of polynom
i
als
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test_bound: co
n
v
e
r
t
quasipolynomials to polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
test_bou
n
d: compare polynomial
b
o
u
nd algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
verify
.
c: opti
m
um
:
hand
l
e inp
u
t evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
verify
.
c
: extract
e
value_op
t
imum fr
o
m maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: ex
t
ract c
o
mmon c
o
de for
verifying operat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue
_
r
ange_propagatio
n
: add
m
onoton
i
city test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_m
a
x
im
i
ze: optional
l
y us
e
(basic)
r
an
g
e propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add so
m
e support for dealing wit
h
evalu
e
s that repre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
barvi
n
ok_enumerate: s
u
pport use of
E
uler-
M
ac
l
au
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
i
mplement B
e
rnoulli_sum as co
n
v
ersion fro
m
u
n
w
eighte
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
Ber
n
o
u
lli_
s
um_evalue:
e
xploit inte
g
er bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rdoolaege
keep track
o
f
number of Bern
o
ul
l
i su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
bernoulli
.
c: protect shared ev
a
lue f
r
om modifi
c
a
t
i
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
test B
e
rnoulli
s
ums b
a
sed exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
barvinok_co
u
n
t
_w
i
th_options: compute
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
Bernoulli_sum
_
evalue: optional
l
y
han
d
le
f
ra
c
tion
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rd
o
olaege
latt
i
ce_poi
n
t
.
h
:
expo
r
t fractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
barv
i
nok_enumerate_wi
t
h_
o
ptions: compute
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Ber
n
o
u
lli_sum_ev
a
lue: handle equalit
i
es
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
o
laege
Bernoull
i
_sum_
e
value: c
u
t
off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoull
i
_sum_evalue: make
s
ure
no
e
mp
t
y partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ola
e
ge
B
ernoul
l
i_sum_ev
a
lue:
re
m
ove
r
edu
n
d
a
n
t con
s
traint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
b
e
rnoull
i
.
c: m
i
nor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
B
e
rno
u
lli_sum:
h
and
l
e context
c
onstraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_eac
h
_low
e
r_upper_b
o
und: add ano
t
her callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
v
erify
.
c:
a
djus
t
defaul
t
range to
c
o
n
t
ext if needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoola
e
ge
euler
.
cc: su
m
mate_over
_
doma
i
n: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
param
_
util
.
c: exp
o
rt Param_Verte
x
_Set_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
g
e
Param_Polyhedron
_
Fac
e
t:
pa
s
s
face
t
defining constra
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
genfun
.
cc: parallel_polyt
o
p
e
s: don't bother handl
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
e
v
a
lue_split_doma
i
ns_into_orthants: don't
r
educe evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
r
d
o
olaege
ev
a
lue_read:
o
nly allow
te
r
ms to
cross ne
w
l
ines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_read: only acc
e
pt implicit m
u
ltiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
eva
l
u
e
_read: acc
e
pt constraint
s
c
o
n
t
ain
i
ng "'
-
' sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
evalue_bernstein_coeff
i
cients
:
ensure
r
e
s
u
l
t
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
b
e
rnstei
n
:
pi
e
ce
w
ise_l
s
t: corre
c
tly pri
n
t and
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
re
m
ove_all
_
e
q
ualiti
e
s: keep removing pa
r
ameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
doc: consi
s
tent
use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoo
l
aege
doc:
u
pdate now p
u
blish
e
d p
a
p
e
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoo
l
aege
for_e
a
ch_lower_upper_bou
n
d: allo
w
absen
c
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
Rever
t
"eadd_parti
t
ions: tr
y
to combine
multiple
d
oma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
e
val
u
e_read_partition
:
put p
a
r
t
i
t
ions back in t
h
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue:
red
u
ce_evalue: add note on some missed o
p
p
o
rtunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
bernste
i
n
.
cc: handle input with unions + relat
i
o
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
maxi
m
ize
.
cc
:
deal with unions in input
d
ur
i
ng ve
r
ification
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
r
doo
l
aege
e
va
l
ue_su
b
st
i
t
u
te:
p
ro
p
erly hand
l
e relations
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ver
d
o
o
laege
evalue
.
c:
c
l
ean up em
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoolaege
evalue_read:
correctly rea
d
var
i
ab
l
e names
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
e
v
a
lue_rea
d
: accept
t
op level
"
relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
e
n
Verdoolaege
ev
a
lue_backsubstitute: add re
q
u
ired modulo const
r
aints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en
Verdoolaege
evalue
.
c: *_p
a
rt
i
tions: simp
l
ify co
n
stra
i
n
ts b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ve
n
Verdoolaeg
e
do
c
:
m
o
re specific informat
i
on
o
n
bu
g
gy c
d
dlib ver
s
i
o
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
d
o
olaeg
e
configure
.
i
n: require cddlib 0
.
94e by tes
t
ing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Ve
r
d
o
ola
e
ge
configure
.
in
:
only c
o
mp
i
l
e o
c
c if code_gen l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolae
g
e
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some t
e
s
t
s
for implementatio
n
of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
d
o
c:
d
o
c
ument
n
ew opt
i
ons
and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
AUTHOR
S
:
u
pdate support informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
g
en
f
un
.
cc:
s
h
o
r
t
_rat::pr
i
nt: corre
c
t
ly print
polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export series as
b
arvinok_e
n
ume
r
ate
_
series
a
nd us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaege
remove_parameter_
e
qualities: stop "remov
i
ng" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdo
o
laeg
e
series: leave fr
e
ei
n
g of P argument to calling fu
n
cti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
doc: document
implementatio
n
of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdool
a
ege
add bar
v
ino
k
_enumerate_e_seri
e
s implement
i
ng the proje
c
tion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
genfun
.
cc
:
fix and docume
n
t para
l
lel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
Move G
i
NaC-independent part
o
f library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
aege
po
l
ylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to count the numb
e
r o
f
elements
i
n
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoola
e
ge
doc/impl
e
m
e
ntat
i
on
.
t
ex:
a
void multiply d
e
fined label
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdool
a
e
ge
lattice_width
.
c: try v
e
r
t
ices of p
r
evious i
n
t
e
ger h
u
lls
.
.
.
commit
|
commitdiff
|
tree
next