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
barvinok_enumerate_e: optionally use parker's method
2008-04-03
S
ven
Ver
d
oolaege
barvin
o
k_enumerate
_
e:
optionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoola
e
ge
stand
a
r
d
_constraints: ta
k
e constraints
inst
e
ad of
po
l
yhe
d
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
normali
z
at
i
on
.
c: extr
a
ct sta
n
dard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaeg
e
park
e
r/count_solutions
.
cc: fix treatme
n
t of existen
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en
V
e
r
d
oo
l
aege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Add park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
do
o
laege
euler
.
cc: evalue_derive: handle co
n
stant polynomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
a
e
ge
add som
e
test sets
f
r
om
cas
e
s 20
0
4 an
d
cc 2005 p
a
p
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvin
o
k_m
a
ximize t
o
bar
v
in
o
k_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
add a
t
est
f
or
t
est
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
evalue_range_propagation: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
t
est_bound: re
c
ord num
b
e
r of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
test_bound:
c
onvert quasi
p
olynomi
a
ls to polyno
m
ia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolae
g
e
test_bound: compare polynomia
l
bound
a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
v
eri
f
y
.
c: optimum: handle
input ev
a
luat
i
ng to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
verify
.
c: ex
t
r
act evalue_optimum from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c: e
x
t
r
a
ct comm
o
n code for veri
f
ying
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_range
_
propagation:
a
dd mo
n
otonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvinok_maxi
m
ize: optionally use (
b
asic
)
range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Add
some su
p
p
o
r
t
for d
e
aling
w
i
th e
v
alues that represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
rvinok
_
enumerate
:
support
us
e
of E
u
l
er-Ma
c
la
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
implem
e
n
t
B
ernoulli_sum
as conversio
n
f
r
o
m
unweighte
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaeg
e
Berno
u
lli_sum_evalue
:
exploit in
t
eger bou
n
ds to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
kee
p
track of nu
m
be
r
of Bernou
l
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
bern
o
ull
i
.
c: protect
shared evalue from modi
f
ications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test
B
e
rnoulli sums ba
s
ed exac
t
enumera
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_
c
o
unt_wi
t
h_optio
n
s
: compu
t
e (exact)
Bernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Ber
n
oul
l
i_sum_ev
a
lue: opti
o
nal
l
y handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ve
r
dool
a
ege
l
a
tt
i
ce_poi
n
t
.
h: export fraction
a
l_part with C li
n
kag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
barvinok_enume
r
ate_with_options: comp
u
te
(
exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Be
r
noull
i
_sum_evalue: h
a
ndle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
Be
r
noulli_s
u
m_e
v
al
u
e: cut off some re
d
unda
n
t pa
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
B
ern
o
ulli_sum_evalue: make sure no
e
mpty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Be
r
noulli
_
sum_evalu
e
: remove redundant
c
onstraint
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
b
e
rnoulli
.
c: m
i
no
r
r
e
f
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Berno
u
lli_sum: handle context co
n
straints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
Ber
n
oulli_sum_
e
value: make sure e
n
ough memor
y
i
s
alloc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each_lower_upper_bound: add another
ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
veri
f
y
.
c: adjust default range to
context
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
e
u
l
e
r
.
cc: summ
a
te_over_d
o
main
:
only
consid
e
r actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
param_util
.
c: export
P
a
ram_Vertex
_
S
et_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Param_Polyhedro
n
_Facet
:
pass
facet de
f
in
i
ng c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
genfun
.
cc: paral
l
e
l
_polytopes
:
do
n
't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
evalue
_
split
_
do
m
ains_into_orthants: don
'
t reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
evalue_read: onl
y
a
l
l
o
w terms to cros
s
newl
i
nes inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
ev
a
lue_read: only accept implicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
evalue_read: accept co
n
str
a
i
n
ts cont
a
ining "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoola
e
g
e
evalue_bernstein_coefficients: e
n
sure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verd
o
olaeg
e
bernstein: pi
e
ce
w
ise_lst:
c
orrectly print and evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoo
l
ae
g
e
remov
e
_
a
ll_eq
u
ali
t
ie
s
: k
e
ep removing parameter eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoo
l
aege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ver
d
oolaege
do
c
: consistent us
e
of
Kevin's
initials
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoolaege
doc: u
p
d
ate now published pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
for_each_lower_
u
pper_bound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
doolaeg
e
R
e
vert "eadd_pa
r
titions: try t
o
combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
evalue_
r
ead_
p
artition
:
put partitions
back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdool
a
ege
evalue:
r
e
d
u
c
e
_evalue: add note on s
o
me missed oppo
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
bernstein
.
cc:
h
a
ndle inp
u
t with unions + rel
a
tio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
maximize
.
cc: deal with unions i
n
input dur
i
ng ver
i
fication
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue
_
substitute:
p
roperly
h
an
d
l
e relat
i
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue_read
:
cor
r
ectly read vari
a
ble names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: accept top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoo
l
aege
evalue_b
a
c
k
su
b
stitute:
add re
q
uire
d
m
od
u
l
o
constra
i
nt
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doolaege
evalue
.
c: *_parti
t
ions: s
i
mpl
i
fy constrain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en
V
erdoolaege
doc:
m
ore
s
pe
c
ific information on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoo
l
ae
g
e
con
f
i
gure
.
in: re
q
uire cdd
l
ib
0
.
94e
b
y
test
i
ng for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdool
a
ege
con
f
igure
.
in: only co
m
p
i
le occ if
code_gen
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
b
arvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
add some te
s
t
s
f
or implement
a
tion of projectio
n
theo
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolae
g
e
d
oc: docum
e
nt new options an
d
new
a
pplicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdool
a
ege
AUTH
O
R
S
: updat
e
support
information
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdo
o
laege
gen
f
u
n
.
cc: sho
r
t_rat::print:
c
orrect
l
y print poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
aege
Ex
p
ort seri
e
s as
barvinok_
e
numerate_s
e
r
ies and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
lae
g
e
remove_parameter_equali
t
ies: stop "
r
emoving" equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
series: leav
e
freeing
of P ar
g
ument to calling functio
n
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
d
o
c: document impleme
n
tatio
n
of
t
h
e proj
e
ction theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
r
d
oolaege
add barvin
o
k_enum
e
ra
t
e_e_s
e
ries implementing the
p
r
o
j
ection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
a
e
ge
genfun
.
cc: fix and docum
e
nt parallel polyto
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
Only
c
ompi
l
e z
s
olv
e
if gcc 3
.
4 or later is availabl
e
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdool
a
ege
Mov
e
G
iNaC-independen
t
part
o
f libr
a
ry t
o
bar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verd
o
olaege
pol
y
lib:
u
p
d
ate
commit
|
commitdiff
|
tree
2007-11-22
S
v
en
V
e
r
do
o
laeg
e
do
c
: ho
w
to count the
number of elem
e
nts
in possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c/implem
e
nta
t
i
on
.
tex: a
v
oid multiply defin
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_w
i
d
t
h
.
c:
t
ry ve
r
tice
s
of pre
v
ious in
t
eger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoola
e
ge
doc: document intege
r
hull com
p
utation
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
hul
l
.
c: add all points found
b
y s
a
mpling dir
e
ctly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible optim
i
zations for genera
l
ized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
e
rdo
o
laege
S
upport use of g
e
n
eral
i
z
e
d
b
a
s
i
s reduction t
o
com
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
add
Polyhedron_Integer_
M
i
n
imum for c
o
mput
i
ng the
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
do
c
: document generalize
d
bas
i
s
r
eduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ve
r
doolaege
doc
/
barvinok
.
bib: add missing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
r
doolaege
add more missin
g
assert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-11-15
S
v
en V
e
rdoo
l
aege
configur
e
.
in: only
com
p
ile libbarv
i
nok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
Poly
h
e
d
ron_Reduced
_
Basis:
d
on't stop too
e
arly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
compute_wid
t
h_direct
i
ons:
o
n
ly keep list of
d
istinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoo
l
a
e
ge
zsolve
:
don't i
n
stall
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
ver
s
io
n
.
c: show us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
e
rdoolaege
configure
.
i
n
:
d
on't set with_{poly,pip}l
i
b
_
pre
f
ix from
.
.
.
commit
|
commitdiff
|
tree
next