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
doc: fix typo
2008-03-31
Sven Verdool
a
ege
Param_Poly
h
edr
o
n_Facet: pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
genfun
.
cc: parallel_polyt
o
pes:
d
on't bo
t
her
hand
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
v
alue_
s
plit_domai
n
s_into_orthan
t
s: don
'
t r
e
duce
e
val
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
e
ad: o
n
l
y
allow t
e
r
ms to cross newlines insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
v
alue_read: only accept i
m
plicit
m
ultiplicatio
n
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
e
value_read: accept c
o
nstraints cont
a
ining "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
olae
g
e
evalue_
b
ernstein_coefficients: ens
u
re result partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernste
i
n: piecewis
e
_lst
:
c
o
rrectly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
remove_all_equalities: kee
p
removi
n
g
para
m
eter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
oolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ver
d
oolaege
doc: co
n
s
istent use of Kevin
'
s in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc:
u
pdate n
o
w publishe
d
paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolae
g
e
for
_
each_lower_upper_bound
:
all
o
w ab
s
ence
o
f lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
R
e
v
ert "
e
add
_
parti
t
ions: try
to combi
n
e
m
u
ltiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoo
l
aege
evalue_read_partition: put p
a
r
t
iti
o
ns
b
ack in the sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduce_evalue: add
note
o
n some misse
d
opport
u
nit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdo
o
laege
bernstein
.
cc:
h
andle input with unions + re
l
ation viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
ma
x
imize
.
cc: deal
wi
t
h
u
n
i
on
s
in i
n
put
d
uring verification
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolae
g
e
eval
u
e
_
su
b
stitute: p
r
operl
y
hand
l
e r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue
.
c: clean up emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
e
v
a
lue_re
a
d: co
r
re
c
tly read
variable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erdool
a
ege
eval
u
e
_
r
ead: a
c
c
ept
t
op level
"
r
e
lation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
u
pda
t
e p
o
lylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Verdool
a
ege
evalue_backsubsti
t
u
t
e: ad
d
required modulo constrai
n
ts
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Ver
d
ool
a
ege
evalue
.
c: *_parti
t
ion
s
: s
i
mplify constraints
be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Verdoolaeg
e
do
c
: more specif
i
c
information on buggy cddlib
versi
o
ns
commit
|
commitdiff
|
tree
2008-01-28
S
v
en Ve
r
doola
e
g
e
configu
r
e
.
in:
require c
d
dlib 0
.
94e by
t
estin
g
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in: only compi
l
e occ if
c
ode_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verd
o
olaege
add s
o
me tests
f
or
i
mplemen
t
a
t
i
on of project
i
on
t
heor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolae
g
e
doc
:
docu
m
en
t
ne
w
options and new ap
p
l
ication
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
AUTHORS: update support
info
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
laege
genfun
.
cc: short_r
a
t::print:
correctly pr
i
nt
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoo
l
aege
Export series a
s
b
arvinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
er
d
oola
e
ge
remo
v
e_parameter
_
equalities: st
o
p "removing" equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoola
e
ge
s
e
ries
:
le
a
ve f
r
eeing of
P argu
m
ent to cal
l
ing function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
doc: documen
t
i
mple
m
en
t
ation of the projection
t
heore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add
b
arvinok_enum
e
r
ate_e
_
series implementing the projecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laeg
e
ge
n
f
u
n
.
cc:
fix and
docume
n
t parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
ge
Only c
o
mpile zsolve if
gcc 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
M
ove GiNa
C
-ind
e
pendent pa
r
t of li
b
rary
t
o
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoola
e
ge
doc: ho
w
to
c
o
unt the
n
umber of e
l
ements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoola
e
ge
d
oc/
i
mp
l
ementatio
n
.
tex:
a
void mul
t
ip
l
y
d
e
fined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
lattice_width
.
c:
t
ry vertices of previous integ
e
r hull
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
doc: docu
m
ent integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hu
l
l
.
c:
a
dd
a
ll points found by samp
l
ing directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
ae
g
e
Possible
o
ptimization
s
for gener
a
lized
b
asis re
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
Support use of genera
l
ized
basis reductio
n
to
comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoola
e
ge
add Polyhedron_
I
nt
e
ger_Minimum for
computing
th
e
integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc:
d
ocume
n
t genera
l
i
zed basis r
e
ducti
o
n
based intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolae
g
e
doc/barvinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add
more mis
s
ing assert
.
h #i
n
cl
u
des
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
conf
i
g
u
re
.
in: only compile lib
b
arvino
k
as a stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedr
o
n_Reduced_Basis: do
n
't s
t
op too
e
ar
l
y
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
c
om
p
ute_width_
d
irectio
n
s: only keep list of dis
t
inct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
zsolve: do
n
't install library
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Verdoolaege
version
.
c: show use o
f
TOPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
c
o
nfigure
.
in: don't set
with_{poly,pip}
l
ib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaeg
e
Polyhedron_Sample:
b
e
satisfied
w
ith
a
reason
a
ble choi
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
cone_i
n
teger_hu
l
l: optionally pri
n
t stats
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdo
o
laege
basis_reduction: keep
t
rack
of number of
LPs solv
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
o
p
tions: move
-
-
p
rint-stats
t
o library
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaeg
e
bern
s
t
e
in: rework t
e
sting framewor
k
t
o
not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
berns
t
ein: add piece
w
ise_l
s
t::is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdo
o
la
e
ge
support newer
v
ersi
o
ns of GiNaC
(
>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard
_
constrai
n
ts: m
o
ve from topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolae
g
e
polysign
.
h: remove dependency on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
z
s
o
lve: add bann
e
r
.
h
to
d
is
t
ribution
commit
|
commitdiff
|
tree
2007-11-06
Sven V
e
r
doolaege
Polyhedron_La
t
tice_Wi
d
th_Directi
o
n
s: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verd
o
o
l
aege
basis
_
r
e
d
uction_
p
i
p: abort on invali
d
(empty)
i
np
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
r
doola
e
ge
README: explain how
t
o get submodules
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdo
o
laege
doc: docum
e
nt lattice widt
h
c
omputation
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
some lattice width tests
from Jon Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_Lattice_Width: deci
d
e
o
n fa
c
ets to clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oo
l
aege
ad
d
P
olyhedron_
L
attice_Width
for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
er
d
o
olaege
hilbert
.
c: add Cone_Integer_Hull f
o
r computing
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
polysign: add pip-backed versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
ae
g
e
polys
i
g
n
: a
d
d constr
a
ints_
o
pt to
compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
p
o
lysign_cdd: switch
t
o use of M
a
trix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
g
e
pol
y
sign_glpk: s
w
itch to use
o
f
Matrix repre
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
doc
:
document computation of Hi
l
b
e
r
t basis of a
c
o
n
e
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdo
o
laege
C
o
ne
_
Hilbert_B
a
s
i
s: use standard_co
n
str
a
ints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
o
o
lae
g
e
Use zsolve to compute Hilbert
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
co
m
pile zsolv
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolae
g
e
zsolve: don't
install he
a
ders a
n
d exe
c
u
tables
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaeg
e
zsolve
:
initi
a
l
ize
BackupTime in
ZSolve
C
ontext
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaeg
e
zsolve
:
zsolveSystem: add
m
i
s
sing
v
e
rbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
doolae
g
e
z
solve: override LIBS fr
o
m top
l
eve
l
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdo
o
laege
a
dd 4ti
2
-1
.
3
.
1+autoc
o
nf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
ad
d
z
s
ol
v
e fr
o
m
4
t
i
2
-1
.
3
.
1
+a
u
toconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
param_util
.
c: export bit_v
e
ct
o
r_coun
t
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaeg
e
topcom
.
c
:
ext
r
act part
o
f co
d
e for setti
n
g up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ve
r
doolae
g
e
g
e
n
_fun::Hadamard_product: print prog
r
ess indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n
V
erdoolaeg
e
mo
v
e
--verbose option t
o
libra
r
y
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
ge
n
_fun::summate:
h
an
d
le f
u
ll specialization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
R
e
p
l
a
ce increm
e
nta
l
infini
t
e se
t
counter by "regu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
make counter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge
(
mos
t
o
f
)
c
ommon part
o
f
counter and tcounte
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
icoun
t
er: h
a
ndle spe
c
ializa
t
ion of p
o
ly
n
omials
commit
|
commitdiff
|
tree
next