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
for_each_lower_upper_bound: add another callback for initialization
2008-03-31
Sven Verdoola
e
ge
for_each_lower_u
p
per_bou
n
d: add
a
n
other cal
l
back for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
verify
.
c
:
adjust
de
f
a
ult rang
e
to context
i
f
neede
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
euler
.
c
c: summate_over_domain: only
c
onsi
d
e
r actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
param_util
.
c
:
exp
o
r
t Param_Vertex_Set_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
P
a
r
am_
P
ol
y
hedron
_
Fa
c
et: pass facet
d
e
f
ining co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
genfu
n
.
cc:
parallel_polytopes: don't
b
other
handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
evalue_split_domains_i
n
to_orthants: don't reduce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
evalue_read: only allow
terms to c
r
oss new
l
in
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
lue_re
a
d:
o
n
l
y accep
t
implicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
evalue_read:
a
ccept constraints containing
"
'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_bernstein_
c
oeffici
e
nts: ensu
r
e res
u
lt
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
ber
n
stein: pi
e
ce
w
ise_
l
st: correctly p
r
int and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remo
v
e
_
all_equ
a
lities: ke
e
p removing
parame
t
er equ
a
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Ve
r
d
oolaege
upd
a
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
doc: consistent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
d
o
olaege
doc
:
u
p
date now
p
ub
l
i
s
hed
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oola
e
ge
f
o
r_each_
l
ower_upper_bound: allow absence of lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
R
eve
r
t "eadd_p
a
rti
t
ions
:
try
t
o co
m
bine
m
ultiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
evalue_rea
d
_
p
ar
t
ition:
p
u
t
partitions back in the sam
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
d
oolaege
ev
a
lue: reduce_evalue: add note on some
m
i
s
sed
o
p
p
o
rtu
n
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erdoolaege
bernstein
.
cc: handle i
n
put with u
n
ions + re
l
ation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdool
a
ege
maximize
.
cc: de
a
l with unions in in
p
ut
during verif
i
cation
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
e
valu
e
_su
b
stitute: properl
y
handle r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
doolaege
eval
u
e
.
c
: c
l
ean up
e
mul a
n
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
rdoola
e
ge
evalue_read:
correctly re
a
d va
r
iable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
ue_read: accept t
o
p
l
eve
l
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoola
e
ge
evalue_backsubst
i
tute: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n Verdoola
e
ge
e
value
.
c: *
_
part
i
tions: simplify
c
o
n
str
a
ints befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
do
c
: m
o
re sp
e
cific in
f
or
m
at
i
o
n on buggy cdd
l
i
b
versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erd
o
olaege
confi
g
ure
.
in
:
require
cd
d
lib 0
.
94e b
y
test
i
ng for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doolaege
configu
r
e
.
in: on
l
y compile occ if c
o
de_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
d
oo
l
aege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
add some
t
ests for
implementa
t
ion
of
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaeg
e
do
c
:
doc
u
ment new options and new appli
c
a
t
ion
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS
:
u
p
dat
e
s
upp
o
rt information
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oolaege
genfun
.
cc
:
short_rat
:
:
p
rint: cor
r
ectly
pr
i
nt polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
E
xport series
as barvinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
remo
v
e_par
a
meter_eq
u
aliti
e
s: sto
p
"re
m
o
v
ing"
equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
d
o
olaege
series:
lea
v
e
f
reeing of P argument to
calling fun
c
tio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc
:
document
i
mplementat
i
on of t
h
e projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoola
e
ge
add
b
ar
v
i
nok_
e
numerate_e_series implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
genfun
.
cc:
f
i
x
and document parallel
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
Move G
i
NaC-i
n
d
ependent part of l
i
brary to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolaege
polyli
b
: up
d
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoolaege
doc: how to count t
h
e
nu
m
ber of
e
l
e
ments in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
do
c
/implem
e
n
ta
t
io
n
.
tex: avoid multipl
y
defined
label
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
latt
i
ce_width
.
c: try ve
r
tices of previo
u
s int
e
ger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verd
o
olaege
doc
:
do
c
u
ment
i
n
t
eger hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
h
u
ll
.
c: add
a
l
l
points found by sampling direc
t
ly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
olaege
P
ossi
b
le op
t
i
m
izations for generalized basis reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support u
s
e o
f
generalized basi
s
red
u
cti
o
n to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
add Poly
h
edron
_
I
n
teg
e
r_
M
inimum
for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
Verdoolaege
doc: docum
e
n
t
generaliz
e
d basis reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verd
o
ola
e
ge
doc/barvinok
.
b
i
b
: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n V
e
rdoolaege
add more missing a
s
sert
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in: on
l
y compile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
Verdoolae
g
e
Polyhedron_Reduced_B
a
sis: don't stop
too e
a
rl
y
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
compute_w
i
dth_dire
c
tions: only k
e
ep
l
ist of di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: don't
i
nst
a
ll library
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ve
r
doolaege
versio
n
.
c:
s
how use of TOPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
configu
r
e
.
in: don't se
t
w
i
th_{poly,pip}lib_pr
e
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Po
l
yhedr
o
n_Sample: b
e
sati
s
fied wi
t
h a reas
o
nable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
do
o
l
a
ege
con
e
_integer_hull
:
o
p
tiona
l
ly print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
b
a
sis_reduction: keep track
o
f
numbe
r
o
f
LPs so
l
v
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options:
mo
v
e --print-stat
s
to
libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
be
r
n
stein: rework testing frame
w
ork to not
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
b
ernstein: add piecewise_
l
st::is_
e
qua
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
support newer versions of
G
iNaC (>
=
1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
st
a
ndard_constraints: move from to
p
com
.
c to polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdool
a
ege
polysign
.
h: remove dependency o
n
lex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ver
d
oola
e
ge
zsolve: add bann
e
r
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Polyhedron_Lattice_Wi
d
th_Directions
:
p
r
i
n
t
progr
e
ss
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
oolaege
ba
s
is_reduction_pip: abort on inv
a
lid (empty) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoo
l
aege
RE
A
DME: explain h
o
w t
o
g
et submodule
s
commit
|
commitdiff
|
tree
2007-11-02
Sven
Ver
d
o
o
laege
doc: document l
a
ttic
e
w
i
dth comput
a
tion
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
some lattice wi
d
t
h tests from Jo
n
Yagg
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Po
l
yhe
d
r
on_Lattice_Width
:
d
ecide on facets t
o
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
r
d
oolae
g
e
add P
o
lyhedron_Latt
i
c
e_Width
for compu
t
ing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
V
e
rdool
a
ege
hil
b
ert
.
c: add Cone_Integer_Hull for computing vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
poly
s
ign:
add pip-backed versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
po
l
ysign: add constraints_opt
t
o compute optimu
m
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
polysig
n
_cdd: swit
c
h to use o
f
M
a
t
rix represe
n
ta
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_glpk
:
swi
t
ch to use of Mat
r
i
x
representati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
la
e
g
e
d
o
c
:
d
o
cument computation of H
i
l
b
ert
b
asi
s
of a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
Cone_Hilber
t
_Basis: use
standard_cons
t
rai
n
ts to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
olaeg
e
Use zsolve
to comp
u
te Hilbert b
a
si
s
of a
c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaeg
e
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zsolv
e
: don't
i
nstall h
e
aders and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
zsolve: initialize Ba
c
kupTime in ZSol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoo
l
a
e
ge
zsolv
e
:
zso
l
v
eSystem: a
d
d mi
s
s
ing ver
b
osity ch
e
ck
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
zsolve:
over
r
ide LIBS fro
m
t
o
p
l
evel
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
ad
d
4
ti2-1
.
3
.
1+autoconf-0
.
1 ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
olae
g
e
add zsolve from 4ti2-1
.
3
.
1+auto
c
onf-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaege
p
a
ram_util
.
c:
export bit_vector_cou
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
t
opcom
.
c:
ex
t
ract part of code
for settin
g
u
p
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hadamard_product: print pro
g
ress indic
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n Verdoolaege
m
o
v
e
--verbose optio
n
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
un::summate
:
handl
e
full s
p
e
c
i
a
l
i
zat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Replace increment
a
l i
n
fini
t
e
s
e
t coun
t
er by
"regul
a
r
.
.
.
commit
|
commitdiff
|
tree
next