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
Bernoulli_sum: handle context constraints
2008-03-31
Sven
V
er
d
oolaege
Bernoulli
_
sum:
handle co
n
te
x
t con
s
t
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
d
o
ola
e
ge
Be
r
n
oulli_sum_e
v
alue: m
a
ke
s
ure enou
g
h m
e
mor
y
is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
f
o
r_each_low
e
r_up
p
er_bound: ad
d
another c
a
llback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
veri
f
y
.
c
:
adju
s
t default range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
euler
.
cc:
summate_over_do
m
ain: only co
n
si
d
er ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
p
aram_util
.
c: export
P
a
r
am
_
Vert
e
x_Set_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Pa
r
am_Pol
y
hedron_Facet: pass facet
d
efinin
g
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ge
n
fun
.
cc: p
a
rallel_polytope
s
: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
evalue_split_d
o
mains_into_orthants: d
o
n't re
d
uce
e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
evalue_r
e
ad: o
n
l
y
allow
t
erms
t
o
c
ro
s
s newlines in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
eval
u
e_read: on
l
y accept i
m
plicit mult
i
pl
i
c
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
eva
l
ue_rea
d
:
ac
c
ept constraints contai
n
ing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_bernste
i
n_co
e
fficien
t
s: ensur
e
result partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
be
r
n
stein: piecewise_
l
s
t
: correctl
y
print and e
v
a
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remo
v
e_all_equ
a
liti
e
s: keep removing para
m
eter equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
e
g
e
upda
t
e
polyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
doc: co
n
sist
e
nt
use of Kevin's
initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
do
o
lae
g
e
doc: updat
e
n
ow
published
paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
fo
r
_
e
ach_low
e
r_
u
pper_bo
u
nd: a
l
l
o
w absence of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaeg
e
Revert "eadd_p
a
rtitions: t
r
y to combine mul
t
i
p
l
e
d
o
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
o
laeg
e
e
v
alue_read_partition: put p
a
rt
i
tion
s
back in
t
he
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue:
reduce_e
v
al
u
e: add
note on some miss
e
d o
p
portuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
bernstein
.
c
c:
h
andle input with unio
n
s + relation violat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
m
a
ximize
.
cc: deal with union
s
in i
n
put d
u
r
i
ng verifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
evalue_su
b
sti
t
ute:
pro
p
erly hand
l
e relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
eva
l
ue
.
c: cle
a
n up emul and
eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdo
o
laege
evalue_read: corr
e
c
t
ly read
v
a
r
iable n
a
me
s
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ver
d
oolaeg
e
e
v
a
l
ue_read: acce
p
t top l
e
ve
l
"relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Ver
d
oo
l
aege
e
v
al
u
e_backsubs
t
itu
t
e
:
a
d
d
r
eq
u
ired modulo constraint
s
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoolaege
evalue
.
c:
*
_pa
r
titi
o
ns: simplify
constrain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erd
o
olaege
doc:
more spe
c
ific inf
o
rmation o
n
buggy cddlib
v
e
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ver
d
ool
a
ege
configure
.
in: require cddli
b
0
.
94e
b
y testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdool
a
ege
conf
i
gure
.
in: onl
y
compile
o
c
c
if co
d
e_gen
libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some
t
est
s
for i
m
ple
m
entation of
p
rojec
t
ion theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaeg
e
doc: d
o
cument new opti
o
ns
and n
e
w a
p
pli
c
at
i
o
n
s
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
laege
AUTHORS: upda
t
e
support inform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
genf
u
n
.
c
c
:
sh
o
rt_rat::print: correc
t
ly prin
t
polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaege
Export series
a
s
b
ar
v
inok_enu
m
erate_series
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remov
e
_parameter_
e
qualities: stop "removing" e
q
uali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolae
g
e
series: leave freeing of
P
a
rgument to
c
alling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aeg
e
doc: d
o
cument implementat
i
on of the pro
j
ecti
o
n theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
add barvi
n
ok_enumerate
_
e_series implementin
g
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
genfun
.
cc: fix and
d
ocument paral
l
el
p
olytopes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
Only
c
ompi
l
e
zso
l
ve
i
f gcc 3
.
4 or la
t
er is a
v
ailable
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
Mov
e
GiNaC-indepen
d
ent part of lib
r
ary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
oolaege
polylib
:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verd
o
olaege
do
c
:
how to count the number of element
s
in
p
oss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
l
a
ege
doc/i
m
plementation
.
tex
:
avo
i
d
m
ulti
p
ly
d
efine
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lat
t
ice_width
.
c
:
try
ver
t
ices of prev
i
o
us integer
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
do
c
: document integer
h
ull comput
a
tion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
h
ull
.
c: a
d
d
al
l
points fo
u
nd
b
y
sampling
d
irectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
Possible optimizations for g
e
neralized basis reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ver
d
ool
a
e
g
e
Suppor
t
use of general
i
z
ed basis reductio
n
to
co
m
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
add Polyhedron_Integer_Minimum for comp
u
ting
the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoo
l
ae
g
e
doc:
d
ocu
m
e
nt generalized basis reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ver
d
oolaege
doc/bar
v
inok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Ve
r
doolaege
add more missing a
s
sert
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-11-15
S
v
en
Verdoo
l
aege
conf
i
gure
.
in: o
n
l
y
c
ompile libbarv
i
n
o
k as
a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ve
r
d
o
olaege
Pol
y
h
e
d
r
on_Reduc
e
d_Basis:
d
on't sto
p
t
o
o early wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
ola
e
ge
co
m
put
e
_width_dire
c
tions: only keep
l
ist of
d
istinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoo
l
a
ege
zsolve: don't install
library
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaeg
e
version
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
configure
.
i
n
: don't set with_{
p
o
ly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
Polyhedron
_
S
a
mple: be satisfied with a re
a
sonabl
e
c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_integer_hull: opt
i
onally
print s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n V
e
rdoolae
g
e
basis_reduction: kee
p
t
r
a
c
k of number
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Ve
r
doolaege
op
t
ions: move --print-s
t
ats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
berns
t
ein: rework testing fram
e
work to not
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdoolaeg
e
bernst
e
in: add piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer versions of GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_constraints:
move from top
c
o
m
.
c t
o
poly
s
ign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
p
o
lysign
.
h: remo
v
e
d
ependency
on le
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erd
o
o
laege
zsolve:
add
b
anne
r
.
h to distr
i
b
ution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
ge
Polyhedro
n
_Lattice_Width_Directions:
pri
n
t
p
rog
r
e
ss
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolaege
b
a
sis_reduction_pip: a
b
ort on
i
nvalid (empty) i
n
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
README: e
x
plain how to get submodules
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
doc
:
d
o
c
ument lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoola
e
g
e
some lattice width t
e
sts fro
m
Jon Yaggi
e
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdoolaege
Polyhedr
o
n_Lattic
e
_Width: decide on facets to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
a
d
d Polyhedron_
L
att
i
ce_Width f
o
r
computing lat
t
ic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
o
l
a
eg
e
hilbert
.
c:
add Cone_I
n
teger
_
Hull
f
or c
o
m
p
u
ting v
e
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
ool
a
ege
polysign: add
p
ip-back
e
d version
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
po
l
y
s
ign: add cons
t
raints_
o
pt to com
p
ute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
pol
y
sign_cdd:
s
witch to use of M
a
trix rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdoolae
g
e
poly
s
ign_gl
p
k: swi
t
c
h to
use of Matrix
rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoola
e
g
e
doc: d
o
cument comput
a
tion of Hilbert
b
asis of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolae
g
e
Cone_Hilbert_Ba
s
is: us
e
st
a
nda
r
d
_
cons
t
raints to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
Use
z
s
o
l
ve
t
o
compute
Hil
b
e
rt basis
o
f
a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
ool
a
ege
zsolv
e
:
d
on't insta
l
l headers and exe
c
utables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
zsolve: initializ
e
BackupT
i
me in
ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsolv
e
: zso
l
v
eSy
s
tem: add
m
issing ver
b
osity check
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve
:
override
L
IBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
a
d
d
4ti2-1
.
3
.
1+a
u
t
oconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoo
l
aege
add
z
solv
e
from 4ti2-1
.
3
.
1+aut
o
c
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
param_util
.
c: exp
o
rt bit_vect
o
r_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
t
o
pco
m
.
c
: extract part of code for setting
up
s
t
and
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven V
e
rdool
a
eg
e
gen_fun::Had
a
m
a
rd_product
:
pri
n
t pr
o
gres
s
indicator
.
.
.
commit
|
commitdiff
|
tree
next