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
evalue_read: accept constraints containing "'-' space number variable"
2008-03-31
Sven Ver
d
oolae
g
e
ev
a
lue_
r
ead:
a
ccept co
n
st
r
aints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
ev
a
lue_
b
erns
t
ein_coefficients: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
dool
a
e
g
e
bernstein: piecew
i
s
e_lst: correctly
prin
t
a
nd evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaeg
e
remo
v
e_all_
e
qualities:
keep
r
e
m
oving parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
doc: consistent use
o
f
K
evin's
i
ni
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
doc: update
now
p
u
b
lish
e
d papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bou
n
d: al
l
o
w absence of
l
owe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Ve
r
doolaege
Revert "e
a
dd_partitions: try
to com
b
ine mu
l
tiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partitio
n
: p
u
t
p
a
rtitions
ba
c
k
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalue: reduce_evalu
e
:
a
d
d note on some missed o
p
p
o
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ve
r
d
oolaeg
e
bernstein
.
cc: handle input
w
ith unio
n
s +
r
elation v
i
olated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
m
aximize
.
cc: dea
l
wit
h
unions in inpu
t
d
u
ring ve
r
ification
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoola
e
ge
evalue_substitute:
properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdool
a
ege
evalue
.
c: clean up emul
and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdoolaege
e
v
alu
e
_read
:
correctly read variable names
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoolaege
evalue_rea
d
:
a
c
cept top
lev
e
l "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoola
e
ge
update
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
Verdoolaeg
e
e
v
a
lue_bac
k
substitute:
a
dd
r
e
quired modulo cons
t
raints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verd
o
ol
a
ege
eval
u
e
.
c: *_parti
t
io
n
s
:
sim
p
lify constrain
t
s b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Verdoolaege
do
c
: m
o
re specific information on buggy cd
d
lib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
con
f
ig
u
re
.
in: require cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolae
g
e
confi
g
u
r
e
.
in: o
n
ly compile occ if
c
ode_gen
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verd
o
olaege
barvi
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
a
d
d some tests for implemen
t
ation of projection th
e
ore
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolae
g
e
doc: do
c
ument new options an
d
new applicatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: u
p
d
a
t
e s
u
pport in
f
o
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: short_rat::p
r
int: correctly
p
r
i
nt poly
n
omi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdool
a
ege
Export s
e
rie
s
as barvinok
_
enumerate_
s
eries and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
remove_p
a
rameter_equalities: stop "removing" equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
s
e
ries: leave freeing of P ar
g
u
ment t
o
calling fun
c
ti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oo
l
aege
doc: documen
t
i
m
ple
m
entation of the
projection th
e
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
add barv
i
no
k
_enu
m
erate_e_ser
i
es im
p
lemen
t
ing the p
r
oje
c
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
genfu
n
.
cc: fix and document parallel po
l
ytop
e
s
c
lass
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ve
r
d
ool
a
e
g
e
Only compile zs
o
l
v
e if gcc
3
.
4 or later is
a
va
i
lab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move GiNa
C
-independent pa
r
t of library to bar
v
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polyl
i
b
: update
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoolaege
doc: ho
w
to count the
n
umber of elements i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
doc/impleme
n
t
ation
.
t
e
x: avoid multiply def
i
ned label
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
lattice_width
.
c
:
try v
e
r
tices of previous integ
e
r hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ve
n
Verd
o
ol
a
e
g
e
doc: d
o
cument in
t
eger
h
ull
comp
u
tation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: ad
d
al
l
points found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible o
p
timizat
i
o
ns
f
or
gener
a
lized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
Suppor
t
use of generaliz
e
d basis reduc
t
ion to co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoola
e
g
e
add
Polyhed
r
on_Integer_M
i
nimum for c
o
mputing the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document generaliz
e
d basis reduction base
d
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
e
g
e
doc/barvinok
.
bib: a
d
d mis
s
ing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdo
o
laege
add more missing assert
.
h #inc
l
udes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
n
figure
.
in: only
c
o
mpile li
b
b
a
rvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
la
e
ge
Pol
y
h
e
dron_Reduced_Basis: don
'
t sto
p
too early wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ve
r
d
o
olae
g
e
compute_width_directions:
o
nly keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
zsolve:
don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ve
r
d
o
o
laege
version
.
c: sho
w
use of
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
co
n
fi
g
ure
.
i
n
: don't set
w
ith_{poly,p
i
p}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
Polyhedron_Sampl
e
: be satisfied
with a reas
o
nable choi
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_i
n
teger
_
hull:
o
p
ti
o
nall
y
print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdool
a
e
g
e
b
asis_re
d
u
c
tion
:
keep
t
rack of numbe
r
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
option
s
: move --
p
rint-
s
tats to library
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
e
rdoolaege
bernstei
n
:
rework
testing f
r
amewor
k
t
o not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
b
e
rnstein: add piece
w
ise_ls
t
::is
_
equal
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
V
erdoo
l
aege
support
n
e
w
er versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
ol
a
ege
standard_const
r
aints: move
from t
o
p
c
om
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doo
l
a
e
ge
p
o
l
ysign
.
h:
r
emove depend
e
ncy on l
e
xmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zso
l
ve: add
b
anner
.
h to distr
i
bution
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
oolaege
Polyhedron_Latt
i
ce_Wid
t
h_Di
r
ections: print prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaeg
e
bas
i
s_
r
eduction_pip
:
abort
o
n inval
i
d (empty) inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n
Verdool
a
e
ge
R
EADME: explain how
t
o get subm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolae
g
e
doc
:
document
l
at
t
ice wi
d
th
c
o
mputatio
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
some lattic
e
width tests
f
rom Jon
Ya
g
g
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdoolaege
Polyhedron_Lattic
e
_Width: decide on facet
s
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdool
a
ege
a
dd
P
olyh
e
dron_Latti
c
e_Width for comput
i
ng lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdool
a
e
g
e
hil
b
er
t
.
c
:
a
d
d Cone_Int
e
ger_Hull for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
p
o
lysign:
add pip
-
b
ack
e
d version
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
doolaege
polysign: add cons
t
raint
s
_
o
p
t to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
poly
s
i
g
n_c
d
d:
switch
to use of Matrix repre
s
e
ntatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
polysign_glpk: switch t
o
us
e
of M
a
trix r
e
presentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
er
d
oolaege
d
o
c:
d
ocument computat
i
on o
f
H
i
lbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
ola
e
ge
C
o
ne_Hilbert_Basis: use st
a
ndard_con
s
tra
i
nts to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsolve to
c
o
mpute Hilbe
r
t
b
asis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
doo
l
a
eg
e
c
omp
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
z
solve: don't install
h
eaders and execut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
laege
zsolve: initialize BackupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zs
o
lve:
z
solveSystem: add missing verbosity chec
k
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
oo
l
aege
zsolve: ove
r
ride
L
IBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoo
l
aege
add 4
t
i2-1
.
3
.
1+au
t
o
c
onf-0
.
1
b
a
n
ne
r
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oolaege
a
dd zsol
v
e fr
o
m 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
p
a
ram_util
.
c
:
export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
topcom
.
c
: ext
r
ac
t
part of code for sett
i
ng up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
V
e
r
d
ool
a
ege
gen_
f
un::H
a
d
a
mard_prod
u
ct: pr
i
nt p
r
ogr
e
ss indic
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
Verdoo
l
aege
m
ove --verbose opti
o
n to library
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun::summate: handle f
u
ll specializati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Rep
l
ace incr
e
mental
i
nf
i
nite set counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
a
ke counter::add_falling_pow
e
rs static
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
m
e
r
g
e (most of) commo
n
part o
f
counter
a
n
d tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icoun
t
er: handle
sp
e
cializat
i
on of polynomia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
i
c
ounter
:
d
o
n't
bother "normalizing" the expo
n
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
export
neg_l
e
ft_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_reduc
t
ion_cdd: check for possi
b
ly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Polyhe
d
r
o
n_Sample: h
a
nd
l
e pol
y
hedron
b
e
c
oming emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_fun::op
e
r
ator ev
a
lue
*
: always return a
v
a
lid
.
.
.
commit
|
commitdiff
|
tree
next