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
doc: update now published papers
2008-03-24
Sven Verdoolaege
doc:
update now publish
e
d pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oola
e
ge
for_
e
ach
_
lowe
r
_u
p
per_bound: allow absen
c
e of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdo
o
laege
Revert "ea
d
d_pa
r
titions: try to co
m
b
ine multiple domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
eval
u
e_re
a
d_partition:
p
ut par
t
i
t
ions back in th
e
sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
oola
e
g
e
evalue: reduce_evalue: add note on some missed oppo
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
b
ernstein
.
cc: handle input with unions +
r
elation vio
l
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maxi
m
ize
.
cc: deal wi
t
h un
i
ons
in inp
u
t during verific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
dool
a
ege
e
value_subst
i
tut
e
:
p
r
operly hand
l
e relati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doo
l
a
ege
evalue
.
c: clea
n
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_
r
e
ad: cor
r
ec
t
ly read
variable
n
ames
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue
_
read: accept top level "r
e
la
t
i
on"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ve
r
doolaege
evalue_backs
u
bst
i
tute: add required
mo
d
ulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doolaege
e
v
alu
e
.
c
:
*_partitio
n
s: s
i
mplify
c
o
nst
r
aints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more
specific inform
a
tion on
b
uggy
c
ddlib
v
ersions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaeg
e
configure
.
i
n
:
require cddlib 0
.
94e by te
s
ting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven Verdoola
e
ge
confi
g
u
r
e
.
in: only
c
ompile
occ if c
o
de_ge
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoola
e
ge
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
oolaege
add
some te
s
ts for imple
m
entat
i
on of projecti
o
n
the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
d
oc
:
document new
o
p
t
ions and ne
w
applic
a
t
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
ege
AUT
H
ORS:
u
p
date sup
p
or
t
i
n
for
m
ation
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
g
e
nfun
.
cc: short_rat::
p
rint: correctly
prin
t
polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doola
e
ge
Exp
o
rt
serie
s
as barvin
o
k_enume
r
ate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
remove_parameter_equa
l
ities: stop "r
e
moving
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: leav
e
freeing of P argument to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc: docume
n
t i
m
plementation
o
f
th
e
p
ro
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oola
e
ge
add b
a
rvino
k
_e
n
umerate
_
e_ser
i
e
s
impl
e
menting the pr
o
j
ectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdool
a
ege
genfu
n
.
cc:
f
i
x
a
n
d document paral
l
el
p
olytopes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Onl
y
compile zsol
v
e if gcc 3
.
4 or
later is a
v
a
il
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolaeg
e
Move Gi
N
a
C
-
indepe
n
d
e
nt part of lib
r
ary to barvino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
polylib:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: ho
w
to count
t
he number of elem
e
nts in possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoolaege
doc/im
p
lem
e
nta
t
io
n
.
tex:
av
o
id multiply def
i
ned label
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
olaeg
e
lattice_wi
d
th
.
c: try ve
r
tic
e
s o
f
previ
o
us integer hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
V
erd
o
olaege
d
oc: document i
n
tege
r
hul
l
computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
h
u
ll
.
c
:
a
dd a
l
l point
s
found by sampling d
i
r
ectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
Poss
i
ble optimiza
t
io
n
s for g
e
neralized basis reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
V
erdoolaege
Support use of
genera
l
ized bas
i
s
reduction
t
o compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
add
Polyhedro
n
_Integer_Minimum for computing the intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdo
o
laege
d
o
c: doc
u
ment generalized basis reduct
i
o
n
based
in
t
eg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
doc
/
barvi
n
ok
.
bib: add missing
string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add mor
e
missi
n
g assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c
: add missing incl
u
de of
a
l
loca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
ola
e
ge
configure
.
i
n: pass path of
G
MP ins
t
allation to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
configure
.
in: only compile libbar
v
i
n
ok as a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
Po
l
yhedron_Red
u
ced_Basis: don't
s
top too
e
a
r
ly wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
compute_width_dir
e
ctio
n
s: only ke
e
p list of di
s
tin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
zsolve: do
n
'
t
i
nstal
l
l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
vers
i
on
.
c: show use o
f
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erd
o
olaege
configure
.
in
:
don'
t
set with_{poly,pip}lib_
p
refix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
Polyhedron_Samp
l
e: be satisfied with a reas
o
nable
c
hoic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
c
o
n
e_integer
_
hull:
optiona
l
l
y print stats
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ver
d
o
olaege
ba
s
is_reductio
n
:
keep track of number
o
f
L
Ps solved
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
dool
a
e
g
e
o
p
tions:
move --pr
i
nt-stats to li
b
r
a
ry
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
ber
n
stein: rew
o
rk testing
f
ra
m
ework to
n
ot depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bern
s
tein: add piecewise_lst::is_
e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
upport newe
r
versions of Gi
N
a
C (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ve
r
dool
a
ege
standard
_
c
o
nstraints: mov
e
from topco
m
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoo
l
a
e
ge
pol
y
si
g
n
.
h
:
remove dependen
c
y
on
l
ex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoola
e
ge
zsol
v
e
:
a
dd banner
.
h
to distribu
t
ion
commit
|
commitdiff
|
tree
2007-11-06
Sven
Ver
d
oolaege
Polyhedron_Latti
c
e_Wid
t
h_Directions:
p
r
i
nt
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
e
n
Verdoolaege
basis_reducti
o
n_pip:
abort on invalid (empty) inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
e
rdoolae
g
e
REA
D
ME:
e
xplain how t
o
get submodu
l
es
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdo
o
laege
doc: document lattice widt
h
comp
u
tation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
some lattice wi
d
t
h tests from Jon Y
a
gg
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_
L
attice_Width
:
decide on f
a
cets to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdo
o
la
e
g
e
add Po
l
yhe
d
r
on_Lattice_W
i
dth for comp
u
t
ing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
hilbert
.
c: add Cone_Integer_H
u
ll for c
o
mpu
t
i
n
g
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
lys
i
g
n
: add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ys
i
gn: add constraint
s
_o
p
t
t
o compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Ver
d
oolae
g
e
p
o
lysign_cdd:
switch to use o
f
M
a
trix
representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
polysign_glp
k
: s
w
itch to
u
se of Matri
x
representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
do
c
:
docu
m
ent co
m
putation of Hilbert basis of
a
c
o
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoola
e
ge
Cone_Hilbert_Basis: use stan
d
ard_co
n
strai
n
ts to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
e
ge
Use zs
o
lve to compute Hil
b
e
rt basis
o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
oolaeg
e
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
doolaege
zsolve: do
n
't ins
t
all headers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve:
i
nitializ
e
B
ackupT
i
me in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zsolv
e
S
yste
m
: add missing verbosit
y
check
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
zsolve
:
override LIBS from to
p
level
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
add 4ti2-
1
.
3
.
1+aut
o
conf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
a
d
d zsolve f
r
om
4
t
i2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verd
o
olaege
param_ut
i
l
.
c: export bit_vect
o
r_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
topco
m
.
c: ex
t
r
a
ct
p
art
of code for sett
i
ng up sta
n
dar
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
g
e
n
_
f
un::Had
a
mar
d
_pro
d
uct: print progress in
d
icator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
Ver
d
oolae
g
e
m
o
ve
--verbose option to li
b
rary
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
g
en_fun::summate:
h
andl
e
full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
R
e
place incremental
i
nfini
t
e set counter by "
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
make
c
ounter
:
:a
d
d_
f
alli
n
g
_powe
r
s static
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
merge
(
most
of) common part o
f
counter an
d
tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
icounter: ha
n
dle specialization
o
f
p
o
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
icou
n
t
er
:
d
o
n't bothe
r
"norma
l
izing
"
the ex
p
on
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
expo
r
t neg
_
le
f
t_he
r
mite
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaeg
e
basis
_
reduct
i
on_cdd: check for possib
l
y
incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyh
e
dron_Sampl
e
: h
a
ndle
p
olyhedr
o
n becoming emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_fun::op
e
ra
t
or e
v
alue *:
a
lways retur
n
a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator
evalue *: remove comm
e
nted out de
b
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
r
v
inok_e
n
umerate_e
.
c
c
: handle veri
f
ication o
f
p
r
oblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvinok_enum
e
rate_e:
o
p
tionally print sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvinok_enumerate_e: support verificat
i
on of generatin
g
.
.
.
commit
|
commitdiff
|
tree
next