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
summate.c: barvinok_summate: ignore floors independent of variables
2008-03-10
S
ven
Verdo
o
l
a
ege
maximize
.
cc: de
a
l wit
h
u
n
ions in input
d
urin
g
verifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue_substitute: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
e
v
alue
.
c:
clean up
e
m
u
l and
e
add
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalue_
r
ead:
co
r
rectly read
vari
a
ble names
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoola
e
ge
e
v
alue_read: accept top
l
e
vel
"
rela
t
io
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rd
o
olaege
update
p
ol
y
li
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
e
value_backsubstitute: add required modulo c
o
nstraints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en V
e
rdoolaege
evalue
.
c
:
*_partiti
o
ns:
s
i
m
p
lify constraints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: m
o
re specific info
r
mation on b
u
gg
y
c
ddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erdoola
e
ge
configure
.
in: require
c
ddlib 0
.
94e by t
e
sting f
o
r bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in: only compile
occ
if
c
o
de_ge
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
barvino
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
e
ge
add some tests for implement
a
tion of projection th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
ge
do
c
: doc
u
ment
new options a
n
d
n
e
w applicat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
A
UTHORS: update support info
r
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
genf
u
n
.
cc: s
h
ort_rat::print: correc
t
ly print polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoo
l
aege
E
xport s
e
ries as barvinok_
e
numera
t
e_series and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolae
g
e
r
emove_parameter_e
q
ual
i
ti
e
s: stop "removin
g
" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
seri
e
s: leave
f
re
e
i
n
g of P argumen
t
to cal
l
i
ng function
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdo
o
laege
do
c
: d
o
cume
n
t implementation o
f
the proj
e
c
t
i
o
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
dd
barvin
o
k_enum
e
rate_e
_
series implementing t
h
e projecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
ge
n
fun
.
c
c
: fix a
n
d d
o
cument p
a
ral
l
el
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Only com
p
ile zsolv
e
if gcc
3
.
4 or
la
t
er i
s
available
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaege
Move G
i
Na
C
-independent
part of librar
y
to ba
r
v
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolae
g
e
polyl
i
b: u
p
d
at
e
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n V
e
rdo
o
laege
d
o
c:
h
ow to count the nu
m
b
e
r
of elemen
t
s in p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
e
g
e
doc/implementation
.
tex: avoid
m
ultiply d
e
fined
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
latt
i
ce_wi
d
th
.
c
:
try vertices of previous integer
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ve
r
d
o
olaege
doc: document integer h
u
ll c
o
mpu
t
ation
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
hull
.
c
: add
a
ll point
s
f
o
u
nd by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaeg
e
Possible optimizations
for generalized basis red
u
ctio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoola
e
ge
Su
p
port use of generalized ba
s
is r
e
duction
to
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
a
d
d P
o
lyhedron_Integer_Minimum
for computing the
int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaeg
e
d
oc:
document ge
n
e
r
ali
z
ed
b
asis reduction bas
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
eg
e
doc/barvinok
.
bib
:
add missing
st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdo
o
laege
add
m
ore
m
i
s
sing asse
r
t
.
h
#
inclu
d
es
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
conf
i
gu
r
e
.
in: o
n
ly compile l
i
bbarvino
k
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
V
erdoola
e
ge
Polyhedron_Reduced_Basi
s
: do
n
'
t
stop
t
o
o
ear
l
y
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
c
ompute_width_directions:
only k
e
ep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
zsolve
:
d
on't i
n
stal
l
lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
versio
n
.
c: show
u
se
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdool
a
ege
configur
e
.
in: don't set wi
t
h_{poly,pip}lib_pr
e
fix fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ve
n
V
e
rdoolaege
Pol
y
h
edron_
S
ample:
b
e
sa
t
i
s
fied
wit
h
a reasonable
c
ho
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en V
e
r
d
oolaege
con
e
_integer_hull: opt
i
onally pr
i
nt stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoo
l
aege
bas
i
s_
r
e
d
uction
:
keep
t
rack of
number of LPs
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
ol
a
e
ge
options: move --pri
n
t
-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
er
d
o
olaege
b
e
rnstein:
r
e
w
ork testing framewo
r
k
to
not depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolae
g
e
bernstein
:
add piecewise_lst::is_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
S
ven Ve
r
d
oolaege
support
n
ew
e
r ve
r
si
o
ns of G
i
N
a
C
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
s
tand
a
rd_co
n
straints: m
o
ve from topcom
.
c to polysig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polys
i
gn
.
h: remove depe
n
dency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oola
e
ge
zso
l
ve: add banner
.
h to
distributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoo
l
ae
g
e
Polyhedron_Lattice_Width_Dir
e
ctions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdool
a
e
ge
basis_r
e
du
c
tio
n
_
pip: abort on in
v
a
l
id (e
m
pty
)
in
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
REA
D
ME: explain ho
w
to get sub
m
odules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
olaege
doc
:
document
l
attice width c
o
mputation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some lattice
width tests fr
o
m Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdool
a
e
g
e
Polyhe
d
r
on_Lattice_Width: decide
o
n facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
o
o
laege
a
d
d Polyhedron_Lattice_Wid
t
h
for computing
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
hilber
t
.
c:
a
dd
Cone_
I
nt
e
ger
_
Hull for comp
u
ting vertice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
polysign:
add pip-backe
d
version
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ver
d
oolaege
polysign: add con
s
trai
n
ts_opt
to com
p
ut
e
optimum ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
poly
s
ig
n
_cdd: switch to use
of Matr
i
x
r
e
prese
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
doola
e
ge
polys
i
gn_glpk: s
w
itc
h
t
o use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdoolaege
doc:
d
o
cu
m
ent computation of Hil
b
ert b
a
sis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
C
o
n
e_
H
ilbert_Basis
:
use st
a
ndard_cons
t
r
aints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
Us
e
z
so
l
ve to
com
p
ute Hilbert basis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
z
s
ol
v
e: don't install
headers and execu
t
ables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
e
ge
zs
o
l
ve: initialize B
a
ckupTime i
n
ZSolveCo
n
text
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolv
e
: zso
l
veSystem: add mi
s
sin
g
verbosit
y
check
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
V
e
rdool
a
ege
zsolv
e
:
o
verri
d
e LIBS from top
l
ev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
doolaege
ad
d
4ti2-1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
olaege
add zs
o
lve from 4t
i
2
-1
.
3
.
1+autoconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
ola
e
ge
param_util
.
c: export bit_vector
_
cou
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doo
l
aege
topcom
.
c: extract part of code
f
or
s
etting up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
erdoolaege
gen_fun::Hada
m
a
r
d_product: p
r
int progr
e
ss indic
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
V
e
rdoo
l
aege
mov
e
--verbose
option to l
i
br
a
ry
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun
:
:
s
u
mmate: handl
e
full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Replace incremental
infinit
e
set cou
n
ter by "reg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make counter:
:
add_falling_p
o
wers static
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
merge (mo
s
t of) common part
o
f counte
r
a
nd tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
icounter: handle special
i
zat
i
on of
p
o
l
y
nomials
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
icounte
r
:
d
on'
t
bothe
r
"norma
l
izin
g
" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
e
xpo
r
t neg_left
_
hermite
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
ba
s
is_re
d
uction_cdd: check
for possibly i
n
correct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
Polyhedron
_
Sam
p
le: handle polyhe
d
ron becomin
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
gen_f
u
n::o
p
erator eval
u
e *:
a
lways return a
va
l
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_fu
n
::operator evalue *: remove commented
o
u
t debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_enum
e
rate_e
.
cc:
h
a
n
dle
v
erific
a
tion of
p
r
oblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
barvinok_e
n
umerate_e: optionally pr
i
n
t st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
bar
v
inok_enumera
t
e_
e
: support veri
f
ication of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
eg
e
barv
i
nok_enum
e
rate_e:
support conversion of gene
r
ati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
a
ttice_points: anot
h
e
r
m
i
cro-opti
m
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
la
t
t
ice_points_fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_fun::add: context
o
f sum should be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_en
u
merate: use ve
r
ify infrast
r
u
ctur
e
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
er
d
o
ol
a
ege
g
e
nfun
.
c
c: prin
t
_power: dro
p
spaces aro
u
n
d "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
count_points
_
e: fa
l
l back
to count
_
points
if
ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
a
m
: chec
k
-ev
a
l
u
e
: print n
a
me
o
f each te
s
t
.
.
.
commit
|
commitdiff
|
tree
next