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 0.28
2008-03-31
Sven Verdoola
e
ge
Add s
o
me
s
up
p
ort for de
a
ling with evalu
e
s that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
barvinok_enumerate:
support use of Euler-Maclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
implem
e
nt
B
e
rnoulli_sum as conver
s
ion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
lae
g
e
Bernoul
l
i_sum_evalue: exploit integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
k
e
ep
tra
c
k of n
u
mber of Bernoulli
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
b
e
rnoul
l
i
.
c
: pro
t
ect shared evalue from modifica
t
io
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
te
s
t
Berno
u
l
li s
u
m
s
based
e
xac
t
e
n
umera
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdo
o
laege
barvinok_count_with_
o
pti
o
ns:
comput
e
(exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
a
ege
Bernoull
i
_sum_evalue
:
option
a
l
ly handle fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
l
a
ttice_poin
t
.
h: export fractional
_
p
art with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoola
e
ge
barvi
n
ok_enumerate_with_op
t
ions
:
compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_
s
um_evalue: h
a
n
d
le equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_sum_
e
va
l
ue: cut off
s
o
me redun
d
an
t
p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_sum_evalue:
m
ake
sur
e
no
e
mpty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
Bernou
l
li_sum_eva
l
ue: remov
e
redundan
t
c
o
n
straint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
e
r
n
oulli
.
c:
m
inor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_s
u
m: handle c
o
ntext
constra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
for
_
each_lower
_
up
p
er_bound: a
d
d another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjust
d
efault
range to co
n
text if
ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
euler
.
c
c: summ
a
te_o
v
e
r_
d
omain
:
onl
y
con
s
ider ac
t
u
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
p
a
ram_util
.
c: expo
r
t Param_Ve
r
t
ex_Set_
F
a
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Param_P
o
lyh
e
dron_Face
t
: pass facet
defining constrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaeg
e
genfun
.
cc: parallel_po
l
ytopes: do
n
't b
o
t
h
er h
a
n
d
lin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
evalue_split_domains_
i
nto_orthan
t
s: don
'
t reduc
e
eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laeg
e
evalue_re
a
d: only all
o
w terms to cross newlines
insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
evalue_read: on
l
y ac
c
e
p
t implicit multip
l
i
cati
o
n
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_r
e
a
d
:
a
ccept constraint
s
co
n
taining "
'
-
' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
eval
u
e_bernstei
n
_coeff
i
cients: ensure result part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
olaege
bernste
i
n: piecewi
s
e_lst: correctly p
r
int and e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
remove_all
_
equalities: keep re
m
oving pa
r
ameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoola
e
ge
update po
l
yli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
ae
g
e
doc
:
consistent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doo
l
a
e
ge
doc: upda
t
e
now pu
b
l
ished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_e
a
ch
_
lower_uppe
r
_bound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rdoolaege
Revert "ea
d
d_par
t
itions: try to c
o
mbine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
o
la
e
g
e
ev
a
lue_read_partit
i
on: p
u
t pa
r
titions back
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
aege
evalue
:
re
d
uce_ev
a
l
u
e: add
n
ote on s
o
me m
i
ssed opport
u
nitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olae
g
e
be
r
ns
t
ein
.
c
c: handle input with unions
+
relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
e
rdoolaege
max
i
mize
.
cc: deal with unions in i
n
put
d
uring verification
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
e
v
alu
e
_substitute: properly handle relatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue
.
c: c
l
ean
u
p em
u
l and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
e
valu
e
_read: correc
t
ly read
v
ariabl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalu
e
_read:
a
cce
p
t top level "relation
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
u
pdate
p
o
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
V
e
rdool
a
e
ge
evalue_backsubstitu
t
e: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
S
ven V
e
rdoolaege
evalue
.
c: *_partitions: simplify
c
onstraints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
d
o
olaege
do
c
: mo
r
e specifi
c
informa
t
i
o
n on buggy cd
d
l
i
b
version
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
c
onfigure
.
in: require cddl
i
b 0
.
94e by t
e
sting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Verdoolaege
configure
.
in: onl
y
compi
l
e occ
i
f code_gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oolaeg
e
ad
d
some tests for impl
e
mentation
o
f
pro
j
ection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
d
o
c: document new options and
new app
l
icatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
o
o
laege
AUTHORS: updat
e
s
upport
informa
t
io
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ge
n
fun
.
c
c:
sho
r
t_rat::print: correctly pri
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
Expo
r
t series
as barvinok_enu
m
erate_seri
e
s and
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
remove_parameter_equalitie
s
: stop "removing
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
s
e
ries:
lea
v
e
freeing of P a
r
gum
e
n
t
to cal
l
ing function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: documen
t
implementatio
n
o
f the
project
i
on theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doo
l
a
e
ge
add barv
i
n
o
k_enumerate_e_series impl
e
menting th
e
p
rojec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
enfun
.
cc
:
fix and documen
t
p
ara
l
lel
p
olyto
p
es cl
a
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Move
GiNaC-
i
ndepend
e
nt part o
f
libr
a
ry to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
p
o
lylib: up
d
ate
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
eg
e
doc: how to coun
t
the number of ele
m
ents in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erd
o
olaege
d
o
c/implem
e
ntation
.
t
ex: avoid m
u
ltiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdo
o
laege
l
attice_w
i
d
th
.
c
: try ve
r
t
i
ces
of
p
re
v
ious intege
r
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc: document integer hu
l
l computation
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
hull
.
c: a
d
d all
p
oints f
o
und by
sampling directly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaeg
e
Possible op
t
imizations fo
r
gene
r
alized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Supp
o
rt use of generalized basis reducti
o
n to comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
add Po
l
yhedron_
I
n
t
e
ger_Minimum for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
doc
:
doc
u
m
e
nt gen
e
raliz
e
d basis red
u
c
tion b
a
sed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ve
n
Verdoolaege
doc/barvi
n
ok
.
bib:
a
dd missing str
i
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
V
e
rdoo
l
aege
a
d
d more missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
configure
.
in:
o
nly compile li
b
barvinok a
s
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdo
o
la
e
ge
Polyhedron_Reduced_Ba
s
is: don't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_width
_
directio
n
s: only
k
eep li
s
t of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
r
d
ool
a
ege
zsol
v
e: don't install librar
y
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaeg
e
version
.
c: show u
s
e o
f
T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
con
f
igure
.
in
:
don't set with_{poly,pip}lib
_
prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
o
o
lae
g
e
Polyh
e
dron_Sample: be
s
atisfied
with a re
a
sona
b
l
e
c
hoic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
cone_integer_hull
:
opti
o
nally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdo
o
l
aege
basis
_
re
d
uction: keep track of number of
L
Ps so
l
ved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n V
e
rdool
a
ege
options:
m
ove --print
-
sta
t
s to lib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
bernstein: rework testing fr
a
mework to n
o
t dep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
b
e
rnstein: add p
i
ecewis
e
_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ver
d
o
o
la
e
g
e
sup
p
ort ne
w
er versions
o
f
GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
sta
n
dard_constrain
t
s: move from to
p
com
.
c
t
o polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en V
e
rdoo
l
aege
pol
y
sign
.
h: remove dependency on
l
exmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdool
a
ege
zsolve:
a
dd banner
.
h to distribu
t
io
n
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n
V
er
d
o
olaege
Polyhe
d
ro
n
_Lattice
_
W
i
dth_Direct
i
ons: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoolaege
b
asis_reduction_
p
ip: ab
o
rt o
n
in
v
ali
d
(e
m
p
ty
)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
README: explain how to get
submodules
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n Verdoolaege
doc:
doc
u
ment
l
attice width c
o
m
p
utation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aeg
e
some lattice wi
d
th
t
est
s
f
ro
m
Jon Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoola
e
ge
Polyhedro
n
_Latt
i
ce_Width
:
d
e
c
id
e
on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laege
a
d
d
Polyhedron
_
Lattice_Width for co
m
pu
t
i
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolaege
h
i
lbert
.
c: a
d
d Cone_
I
ntege
r
_
H
ull f
o
r
computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
polysign:
add pip-back
e
d version
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
ool
a
eg
e
polysign: add constraints_opt to
compute op
t
i
m
um
o
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdoolaege
polysign_cdd: switch to use
of
M
atrix
r
epresentation
.
.
.
commit
|
commitdiff
|
tree
next