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
update polylib
2008-04-08
Sven Verdoolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ve
n
Ve
r
do
o
laege
latti
c
e_width
.
c: skip direc
t
ions th
a
t are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n
Verdoolaege
Makefile
.
am: add cdd94e
-
te
s
t to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
ome
g
a/occ
:
option
a
lly use parker for comp
u
ting cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
normalizat
i
on
.
c: skew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
ome
g
a
/c
o
n
v
e
r
t
.
c
c
: relation2Domain: only
colle
c
t set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add dump
f
or d
u
mping in bar
v
ino
k
_enum
e
rate_e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdool
a
ege
bar
v
i
n
o
k_enumerate_e
:
optionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rdoolaege
s
tandard_con
s
tr
a
ints: take constraints instead of polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normaliz
a
t
i
on
.
c: ex
t
ract standar
d
_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
parker
/
cou
n
t
_
solutions
.
c
c
: fix treat
m
ent of ex
i
s
tential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaeg
e
comp
i
le parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Add p
a
rke
r
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
er
d
o
o
l
a
ege
eule
r
.
cc: ev
a
lue_derive
:
handle constant
pol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
add some test sets from
c
ases 20
0
4 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
rename barv
i
nok_maxim
i
ze to b
a
rvinok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
a
test fo
r
test_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue_
r
a
nge_prop
a
gatio
n
: remov
e
redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
l
a
e
ge
test_bound: record
number of polynomials
a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bou
n
d: co
n
vert
q
uasipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
lae
g
e
test_bound:
c
ompa
r
e p
o
lynomial bound a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
v
erify
.
c: optimum: handle input
evaluating to ne
g
ati
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
verify
.
c: extract evalue_optimum from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erd
o
ol
a
ege
verify
.
c: e
x
tr
a
ct
c
o
mmo
n
code
f
or ve
r
ifying
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalu
e
_r
a
nge_pro
p
agation: add
m
o
n
o
tonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barv
i
nok_maxi
m
ize: optionally use (bas
i
c) range propagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
Add some support for dealing with evalue
s
tha
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvi
n
ok_enumerate:
s
upport use of Eule
r
-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoo
l
aege
implement Bernoull
i
_sum as conversion from unweigh
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_
s
um_evalue:
exploit
integer
b
ounds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
keep track
o
f number of Ber
n
oulli su
m
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
er
d
oolaege
b
e
rnoulli
.
c: protect shared eval
u
e from
m
odificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test Berno
u
lli s
u
ms based ex
a
ct en
u
mer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolae
g
e
barvinok_c
o
unt_with_opti
o
ns: co
m
pute (exact) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oul
l
i_sum_evalue: opt
i
onally
handle frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
l
attice
_
point
.
h: export fraction
a
l_part with
C
l
i
n
k
a
ge
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
barvi
n
ok_enumer
a
te_with_options: compute (exact) B
e
rno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Berno
u
lli_sum_
e
value: ha
n
dl
e
equa
l
iti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
B
ernoulli_sum_evalue: cut off some r
e
dundant par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olae
g
e
Bernoulli_sum
_
evalue: make sure n
o
em
p
ty partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
Berno
u
l
l
i_su
m
_evalue: remove redundant con
s
traint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
bernoulli
.
c: mi
n
or refactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
er
n
o
ulli_sum: ha
n
dle co
n
text con
s
traints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_sum_evalue: make sure
e
nough memory i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
ol
a
ege
for_e
a
ch_
l
ower_
u
pper
_
b
o
und
:
add another
cal
l
ba
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
ve
r
ify
.
c:
adjus
t
default ran
g
e
to c
o
nt
e
xt i
f
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
euler
.
cc: summate_
o
v
e
r_domain: only consid
e
r actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolaege
param_uti
l
.
c: export Param_
V
ert
e
x_S
e
t_Fac
e
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
Par
a
m
_Polyhe
d
r
on
_
Facet:
p
a
ss f
a
cet def
i
ni
n
g
c
onstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
gen
f
un
.
cc: parallel
_
pol
y
topes: don'
t
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_spli
t
_domains_into_orth
a
nts: d
o
n'
t
red
u
ce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_read: only allow terms to cros
s
newlines
i
nside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue
_
read
:
only
acc
e
pt impl
i
cit multi
p
l
i
cation
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaeg
e
evalue_read
:
accept constraints
containing "
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
ev
a
lue_bern
s
te
i
n
_
c
o
e
fficient
s
: e
n
sure resu
l
t parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoola
e
ge
bernstein: piecewise_
l
st:
corr
e
ctly
p
rint an
d
eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_equalitie
s
: keep removing
param
e
ter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
d
o
ola
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoolaege
doc: consistent use of Kevin'
s
initials
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
laege
do
c
: update now publi
s
h
ed papers
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ver
d
oo
l
a
ege
for_ea
c
h
_
lower_upp
e
r_bound: allow a
b
s
ence
of
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
Re
v
ert "eadd_partiti
o
ns: try to combin
e
mu
l
t
iple
doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
evalue
_
rea
d
_pa
r
tition: p
u
t
p
ar
t
ition
s
back in the s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue: r
e
duce_
e
value:
a
dd note on
s
ome m
i
s
s
ed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaeg
e
b
e
r
nstein
.
c
c
: h
a
n
d
le input with unions
+ relat
i
on v
i
olated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
maximi
z
e
.
cc: d
e
al
w
i
th unions in input during verific
a
t
i
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
eva
l
u
e
_substit
u
t
e: properly handle relati
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdoolaege
evalue
.
c:
clea
n
up e
m
ul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
ege
e
v
alue_read: corre
c
tly re
a
d varia
b
le name
s
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
doolaege
e
v
alue_read: acc
e
p
t top
l
evel "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oola
e
g
e
update po
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
e
r
d
oo
l
aege
evalue_back
s
u
bstit
u
te: add require
d
mod
u
lo
con
s
traints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
rdoolaege
evalue
.
c: *_partitions: simpl
i
fy cons
t
raints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ver
d
o
olaege
doc: more specific inf
o
rmat
i
on on
buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoo
l
aege
conf
i
g
ure
.
in: req
u
ir
e
cd
d
lib 0
.
9
4
e by
t
estin
g
for b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoo
l
aege
config
u
r
e
.
in: only com
p
ile occ
if
code_g
e
n li
b
rar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oolaege
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolaege
add some tests
for
i
mplementation o
f
projection
the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc:
document n
e
w opti
o
ns and
n
ew applic
a
tions
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTH
O
RS: update support infor
m
ation
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolae
g
e
genfun
.
cc: sho
r
t_rat:
:
print: correctly pr
i
nt po
l
yno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
laeg
e
Export
series as ba
r
v
inok_
e
numerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
re
m
ove_paramete
r
_equali
t
ies: stop "removing" e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
series: l
e
ave freeing of P argumen
t
to calling fu
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: documen
t
implementa
t
i
on o
f
the project
i
o
n
the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
a
d
d
b
a
rvinok
_
en
u
mer
a
te_e_series imple
m
e
n
ting
t
he projectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
g
enfun
.
cc: fix and d
o
cum
e
nt parallel
p
o
lyt
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
a
ege
Onl
y
com
p
ile zsol
v
e
i
f gcc 3
.
4 or
later
is
a
vailable
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
l
a
ege
M
ove GiNaC-independent part of libr
a
ry to bar
v
ino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
do
o
laege
polylib: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoo
l
aege
d
oc: how to coun
t
the
n
u
mber of elements i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoola
e
ge
doc/impleme
n
t
atio
n
.
tex:
a
v
o
id
multiply defined la
b
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_width
.
c
: try vertices of previ
o
us intege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
erdoola
e
ge
doc: document integer h
u
ll comp
u
ta
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rd
o
olaege
hull
.
c:
add
a
ll
points
found by sa
m
pling di
r
ec
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
e
r
doolaeg
e
Pos
s
ible opti
m
izati
o
ns
f
or generalized bas
i
s reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support
u
se of
g
eneralized bas
i
s
r
educti
o
n to c
o
mpu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
add Polyhedron_Integ
e
r_Min
i
mum
for computing
t
he
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
doolaege
d
o
c: docum
e
nt ge
n
e
ralized basis reduc
t
ion
b
ased integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
doc/
b
arvi
n
ok
.
bib: ad
d
m
i
ssi
n
g
s
tr
i
ng
commit
|
commitdiff
|
tree
next