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
enumerator::handle: replace incorrect delete by free
2008-03-31
Sven
Ve
r
doolaege
for_each_
l
o
w
er_upper_
b
o
u
nd: add anoth
e
r callback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
ol
a
ege
verify
.
c: ad
j
ust defa
u
lt range to context if ne
e
de
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
euler
.
cc
:
summat
e
_over
_
domain: only
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
par
a
m
_util
.
c
: e
x
po
r
t Param_Vert
e
x
_
Set_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Param_
P
olyhedr
o
n_Facet: pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
gen
f
u
n
.
cc: par
a
l
lel_polytopes: do
n
't bother handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_split_domains_into_orth
a
n
ts: d
o
n'
t
red
u
ce ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
value_read: only allow terms to
c
ross newlines
i
nsi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
evalue
_
read: only accept implicit mul
t
i
plication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
eval
u
e
_read: accept
c
onstraints cont
a
in
i
ng "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdo
o
laege
evalue_bernstein_coeffi
c
i
ents: ensure result p
a
rt
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n Verdoolaege
bernstein: piecewi
s
e_lst:
co
r
r
ectly prin
t
and eval
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
remo
v
e_all
_
equa
l
ities: keep re
m
ovi
n
g param
e
t
er
e
qua
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
o
laege
up
d
ate pol
y
li
b
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
doc: consistent
use of Kevin's
initials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
doc: update now
p
ublished papers
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
f
o
r_each_lower_upper_bound
:
allow abse
n
ce
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
doolae
g
e
Revert "
e
add_partit
i
ons: t
r
y t
o
combi
n
e
multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ver
d
oolaege
evalue_read_parti
t
ion: put p
a
rtitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: re
d
uce_evalue: add note on some missed oppo
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoola
e
ge
bernste
i
n
.
c
c
: handle inp
u
t with
u
nio
n
s + rel
a
t
ion viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doo
l
aege
max
i
mize
.
cc: deal with unions in input d
u
r
i
n
g verification
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdool
a
e
ge
evalue_substitute: pr
o
perly h
a
nd
l
e
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
laege
eval
u
e
.
c: clean up
e
mul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_read: corre
c
tly re
a
d
vari
a
ble na
m
es
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_r
e
ad: acce
p
t top
l
evel "relat
i
o
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
u
p
date polyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Ver
d
oolae
g
e
ev
a
lu
e
_b
a
cksubstitu
t
e: add required modulo
constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Ver
d
o
o
laege
evalue
.
c
: *_parti
t
ions: simplify constraints befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
d
oc: more sp
e
cific inf
o
rmat
i
on on bugg
y
c
d
d
lib versions
commit
|
commitdiff
|
tree
2008-01-28
S
ven
Verdoolae
g
e
configur
e
.
in:
req
u
ire cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ve
n
Verdoola
e
ge
configure
.
i
n: o
n
l
y
compile occ if c
o
de_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoo
l
aege
b
arvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
add so
m
e tests f
o
r implementation of pr
o
je
c
tion theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: do
c
u
m
e
nt
n
ew opti
o
n
s and n
e
w applications
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdool
a
ege
AUT
H
ORS: update sup
p
ort
informa
t
io
n
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
genfun
.
c
c
:
short_r
a
t::print: c
o
rrectl
y
pri
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rd
o
olaeg
e
Export series
as
b
a
r
vinok_enumerate_series and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaeg
e
remove_p
a
rameter_equalities:
stop "
r
e
m
ovin
g
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaeg
e
series: l
e
ave
f
r
e
eing of P argu
m
ent to ca
l
ling fun
c
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
d
oc: docum
e
n
t
implementati
o
n of
the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add ba
r
vinok_enumerate_e
_
series
i
mpl
e
menting the pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
e
nfun
.
cc: fix and document parallel pol
y
topes class
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
Only com
p
ile zsolve if gcc 3
.
4 or later is av
a
ilable
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aeg
e
Mo
v
e
Gi
N
aC-independen
t
part
o
f li
b
ra
r
y to
b
arvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
Ve
r
doolaege
doc:
h
ow to count the number of ele
m
ents i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/impleme
n
tati
o
n
.
tex: avoid multiply de
f
ined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
lat
t
i
c
e
_
w
idth
.
c
:
t
r
y
v
e
rtices
o
f p
r
evious in
t
eger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
oc: document int
e
ger h
u
ll
computation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
Verdoolaege
h
ull
.
c: add all points found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oo
l
aege
P
o
s
s
i
b
l
e
op
t
im
i
zations
fo
r
g
eneralized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
Support use of gene
r
al
i
zed b
a
sis reduction to comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
add Polyhedro
n
_In
t
ege
r
_
M
i
nimum for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoo
l
aege
d
o
c: documen
t
generali
z
ed basis
r
ed
u
ction ba
s
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoola
e
ge
doc/
b
arvinok
.
bib:
add missing s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more mis
s
ing as
s
er
t
.
h
#incl
u
des
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
nfigure
.
in: o
n
l
y com
p
ile libbarvinok a
s
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
P
o
l
yhedro
n
_Reduced_Basis:
don't
s
top
t
o
o
early w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_w
i
dth_di
r
ectio
n
s: only keep li
s
t of
d
ist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
a
e
ge
zsol
v
e
: don't ins
t
a
l
l library
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
version
.
c: show
u
se
o
f TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaeg
e
configure
.
i
n
: don't set with_{poly,pip}lib_
p
refix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolae
g
e
Polyhe
d
ron_
S
ample: be s
a
tisfied wi
t
h a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
con
e
_integ
e
r_hull: opt
i
onally print s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
ba
s
i
s_redu
c
t
i
on
:
ke
e
p track of
number of
L
Ps solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
option
s
: m
o
ve --print-stats
t
o li
b
rary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
b
e
r
ns
t
ein: rework test
i
n
g
f
r
amework to n
o
t
dep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
bernst
e
i
n: add piecew
i
se_
l
st::is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
su
p
port newer versions
o
f
GiNaC (
>
= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
ve
n
Ver
d
oolaeg
e
s
tandar
d
_constraints: move
from topcom
.
c
t
o poly
s
ign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoo
l
aege
p
o
lysign
.
h: remove dependency o
n
lex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdo
o
laege
zsolve: add banner
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoolaege
Polyhedron_La
t
ti
c
e_Width_Directions: print
progr
e
ss
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoo
l
a
e
ge
basis_reductio
n
_pi
p
:
abort on in
v
alid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: expl
a
in
h
o
w
t
o get submodules
commit
|
commitdiff
|
tree
2007-11-02
S
v
en V
e
rdoolae
g
e
doc: documen
t
l
atti
c
e
w
idth computation
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolaege
s
o
me lattice width tests
f
r
o
m
Jon Yaggi
e
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoolaege
Polyhedron_Lattice_
W
idt
h
: decide
on face
t
s to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Ver
d
oo
l
aege
add Polyhed
r
on_Lattice_Width f
o
r comp
u
ting
l
atti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
e
g
e
hilbert
.
c: add Cone_In
t
e
g
er_Hull for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
p
olysign: add pip-backed v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
p
o
ly
s
ign
:
ad
d
constraints_op
t
t
o
compute opt
i
mum o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
po
l
ysign_cdd: switch to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
p
olysign_glpk: switch to
use of Matrix
r
epresen
t
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
doc: document computation of Hilbert basis of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
Co
n
e
_
H
ilbert_Basis:
use standa
r
d_cons
t
raints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsolve to comput
e
Hilbert b
a
sis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
oo
l
a
e
ge
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zsol
v
e
:
don't
i
nstall hea
d
ers a
n
d executab
l
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsol
v
e:
initialize Backup
T
ime in ZSolveCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdo
o
laeg
e
zs
o
lve: zsolve
S
ystem: add missing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
e
r
d
ool
a
ege
z
solve:
o
ve
r
ride LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
add 4ti2-1
.
3
.
1+autocon
f
-0
.
1 ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zsolve from
4
ti
2
-1
.
3
.
1+aut
o
co
n
f
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
param_util
.
c
:
export bit_vect
o
r_count
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
topcom
.
c: extra
c
t pa
r
t of code
f
or setting
up
st
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
g
e
n
_fun::Had
a
m
a
rd_
p
roduct: print prog
r
ess i
n
dicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
e
n
Ve
r
doolaeg
e
move --verbose optio
n
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
gen_fu
n
::summate: handle full specialization
commit
|
commitdiff
|
tree
next