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_bernstein_coefficients: ensure result partitions the domain
2008-03-31
Sv
e
n
Verdoolaege
evalue_bernstein_c
o
efficien
t
s: ensure result parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolae
g
e
berns
t
ein: piecewise_lst: correctl
y
print an
d
e
v
aluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ver
d
oolaege
re
m
ove_all
_
e
q
ualities: keep removi
n
g para
m
e
t
er equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoo
l
a
e
ge
update p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
o
c: co
n
sisten
t
use of Kevi
n
'
s in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
e
rd
o
olaege
doc: update now publis
h
ed p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoolaege
fo
r
_
e
ach_lower_upper
_
bound: al
l
ow absence of
l
ower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
Revert "eadd_partitions
:
try
t
o
combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
evalue_read_partition: put part
i
tions b
a
ck in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
e
ge
evalue: reduce_ev
a
lu
e
: a
d
d n
o
te o
n
some mi
s
sed opp
o
rtu
n
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoola
e
ge
bernst
e
in
.
cc
:
handle input with unions + r
e
la
t
ion v
i
olated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
do
o
l
a
ege
maxim
i
ze
.
cc: deal
w
ith u
n
io
n
s i
n
input du
r
in
g
verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue_substitu
t
e: properl
y
handle r
e
lat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
olaege
e
v
alue
.
c
: c
l
ean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
ev
a
l
ue_read
:
correctly read v
a
ria
b
le names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e_read: accept top level
"r
e
lation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaeg
e
update pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n
Verdool
a
ege
evalue
_
backsub
s
t
i
t
u
te: add re
q
uired modu
l
o cons
t
r
a
in
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
e
v
alue
.
c: *_pa
r
titions: simpli
f
y co
n
str
a
ints befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
do
c
: more
sp
e
cifi
c
info
r
ma
t
i
o
n on buggy
c
ddlib v
e
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
co
n
f
i
g
u
re
.
in: requi
r
e cddlib 0
.
9
4e
by tes
t
ing f
o
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
co
n
figure
.
i
n
: only comp
i
le occ i
f
c
o
d
e_gen l
i
br
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doola
e
ge
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add som
e
tests for i
m
plemen
t
ation
o
f p
r
ojection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
olaege
doc:
d
ocument new opt
i
on
s
and
n
ew applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
AUTHORS: u
p
d
ate support inform
a
ti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdo
o
laege
genfun
.
cc
:
short_r
a
t
:
:print: correc
t
ly prin
t
polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Export ser
i
e
s
as
barvi
n
ok_enumerate_s
e
ri
e
s and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_par
a
meter_eq
u
a
lities
:
stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
olaege
series: leave
f
r
eeing of P a
r
gument to
c
alling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
d
o
c: document imp
l
em
e
ntation of the pr
o
jection t
h
e
o
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
add barvinok_enumerate_e_series
imple
m
enting
t
h
e
p
roje
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genf
u
n
.
cc: fi
x
and document pa
r
al
l
el polytopes c
l
a
ss
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
Only co
m
pile zsolve i
f
gcc 3
.
4 or la
t
e
r is available
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoola
e
ge
Move Gi
N
a
C
-in
d
epend
e
nt part of
libr
a
r
y
to bar
v
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
olaege
polylib: up
d
ate
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
doc
:
how
t
o count
the number of
elements
i
n p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n
Verdoolae
g
e
doc/implementation
.
t
e
x: avoid multip
l
y
defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
l
attice_width
.
c: try vertice
s
of previ
o
us integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document i
n
teger h
u
ll
com
p
utation
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
hull
.
c: add all
p
oints found by sampl
i
ng directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdoolaege
P
o
ssible
o
ptimizations fo
r
generalized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Su
p
port use of genera
l
ized
basis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
add
P
olyhedro
n
_Inte
g
er_Mini
m
um fo
r
computin
g
t
he integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oo
l
aege
do
c
: do
c
u
m
ent gener
a
l
i
z
e
d basis reducti
o
n based
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
doc/b
a
rvinok
.
bi
b
:
add missing s
t
ri
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaeg
e
a
d
d more missing
a
ssert
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-11-17
S
ven V
e
rd
o
olaege
eva
l
ue
.
c: add mi
s
sing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Ver
d
oo
l
aege
configure
.
in: pas
s
path of GMP ins
t
allation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doola
e
g
e
configure
.
in: only compile lib
b
arvinok a
s
a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedron_Reduced_Bas
i
s: don't stop too e
a
rly
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaeg
e
c
ompute_width_directions
:
onl
y
keep l
i
st of
di
s
t
inct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: don't i
n
stall libra
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
versi
o
n
.
c: sho
w
use of
T
OPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
ven Ve
r
doo
l
aege
confi
g
u
r
e
.
in: don't se
t
with_{poly
,
pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdool
a
ege
Po
l
yhedro
n
_Sample:
b
e satisfied with
a
reasonable choi
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoo
l
aege
cone_integer_hu
l
l: opt
i
onal
l
y print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
b
a
sis_re
d
uction: keep
t
r
ack of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ver
d
o
olaege
options:
move --print-stats to libr
a
ry
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolae
g
e
bernstein: rework
t
esting framework to n
o
t
dep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
l
aege
bernstein: add piecewise_lst::is_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
su
p
por
t
newer version
s
of
G
iNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
t
a
nda
r
d_constraints: move fr
o
m top
c
om
.
c to polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polys
i
gn
.
h: remove dependency on lex
m
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolae
g
e
zsol
v
e: a
d
d banner
.
h to distribu
t
io
n
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
e
rdoolaeg
e
Po
l
yh
e
dron_Latt
i
ce_Wi
d
th_Directions: print p
r
ogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Ve
r
doolaege
basis_red
u
ction_p
i
p: abort
o
n
invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdool
a
ege
README
:
exp
l
ain how to
g
e
t
s
ubmodules
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
e
r
doolaege
doc: docu
m
ent lattice
wi
d
t
h
computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
dool
a
ege
some lattice width tests fr
o
m
J
on
Y
aggi
e
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n
Verdoolae
g
e
Polyhed
r
on_Lattice_Width: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaeg
e
add Polyhedron_Lattice_Width
fo
r
comp
u
tin
g
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aege
h
i
lbe
r
t
.
c: add C
o
n
e
_
I
n
teger_Hu
l
l for
computi
n
g
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
o
l
aege
poly
s
ign
:
a
dd pi
p
-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add c
o
nstraint
s
_o
p
t
t
o compute optimum
o
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
polysign_cdd: switc
h
to u
s
e of Matri
x
r
epresent
a
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
polysign_glpk: switch to use of
M
atrix repr
e
sent
a
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc:
document co
m
putation of Hilbert b
a
s
i
s of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
ae
g
e
Cone_Hi
l
be
r
t_Basi
s
: u
s
e
sta
n
dard_constraints t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rd
o
o
l
ae
g
e
Use zsolv
e
to compute Hilbert
b
asi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
er
d
oolaege
compile zsolv
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsol
v
e: don't install heade
r
s and executables
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdo
o
laege
zsol
v
e
:
ini
t
ialize
B
a
ckupTime in ZSol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
z
s
olve:
z
s
olveSystem:
add mis
s
ing verbo
s
ity ch
e
ck
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zsolve: overri
d
e L
I
BS from
top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
a
dd
4
ti2-1
.
3
.
1
+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
add
z
solv
e
from 4ti2-1
.
3
.
1
+
au
t
oconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
V
e
r
doolaege
param_util
.
c: export bit_vect
o
r_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topcom
.
c: extract
part of code for
s
ett
i
ng
up st
a
n
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verd
o
olae
g
e
gen_fun::Hadamard_product: print pr
o
gress indica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ve
n
Verdoolaege
mov
e
--ver
b
o
se opti
o
n to library
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
g
en_fu
n
::summate: handle full s
p
ecialization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
oolaege
R
eplace incremental infin
i
t
e s
e
t counter by "regu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
make counter::add_falli
n
g_powers s
t
atic
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
l
a
eg
e
merge
(
most of
)
c
ommon part
o
f counter and tco
u
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
icounter:
h
a
ndle spe
c
ial
i
zation of pol
y
nomia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
icounter: d
o
n't bo
t
her
"n
o
rmalizing" the expone
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_reducti
o
n
_
cdd: c
h
eck for possibl
y
inc
o
rrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
Po
l
yhedron_Sampl
e
: handle polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
next