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: document barvinok_enumerate_scarf
2006-10-31
Sve
n
V
erdoola
e
ge
doc: doc
u
me
n
t barvinok_enu
m
erate_s
c
arf
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: add anoth
e
r
paper
r
efering to ba
r
vinok
commit
|
commitdiff
|
tree
2006-10-31
S
v
en V
e
rdool
a
ege
d
oc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
doc:
d
oc
u
ment bernst
e
i
n data str
u
c
tures and functi
o
n
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernstein:
p
iecewise_lst::
s
implify_domains: add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoo
l
a
e
g
e
b
e
rns
t
ein:
m
ak
e
p
o
ly argument
o
f
bernsteinE
x
p
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n Verdool
a
e
ge
r
ed
u
cer
.
h:
only
u
se infinite_ic
o
unter when dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
V
e
rdoo
l
aege
doc: fix
typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
re
m
ov
e
a few dup
l
i
cate definiti
o
n
s of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
u
til
.
c: move duplicate Polyh
e
dron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
aege
b
arvinok
.
cc: add _with_op
t
ions vers
i
on of
b
ar
v
inok_enume
r
ate_
e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
a
ege
evalu
e
.
c
:
remov
e
include of confi
g
.
h
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdool
a
e
ge
version
.
c: sh
o
w use
of
Omeg
a
, GLPK
a
nd GiNa
C
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c: move barvinok
_
v
ersi
o
n fr
o
m u
t
il
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verdoolaege
d
o
c:
document
Po
l
yhedron_Reduced_Basis
a
n
d Polyhed
r
on_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
d
o
olaege
e
x
p
ort
P
oly
h
e
d
ron_Sample and Polyhedron_Re
d
uced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
oolaege
doc: rename "u
s
age" section to "appli
c
ations"
s
e
ction
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoolaege
ba
r
vinok
_
o
p
tions: rename emptine
s
s_check to lexmin_emptin
e
ss
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven
Ver
d
oolaege
doc:
document barvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
o
olaege
scarf
.
cc: e
x
port functions to libr
a
ry
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
s
carf
.
cc: use barvinok_options instead of MaxR
a
ys
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
e
rdoolaeg
e
barvinok/barvinok
.
h: export _with_options ve
r
sions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bar
v
i
n
o
k_enumerate_e: re
m
o
v
e
d
i
re
c
t include
of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdo
o
laege
b
e
rnstein: m
i
nima
l
d
oc
u
me
n
ta
t
io
n
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
V
e
r
d
o
o
laeg
e
R
EADM
E
:
b
e
rn
s
tein requires G
i
Na
C
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
doc:
add ref
e
rence to be
r
nstein techreport
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
Mer
g
e branch 'bernste
i
n'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoo
l
aege
b
e
rnstein/src
/
T
ODO
:
remove; everything has been done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdo
o
laege
d
o
c
: add another
publ
i
cation that
r
e
f
er
s
to barv
i
nok
commit
|
commitdiff
|
tree
2006-10-10
Sven V
e
rdoolaege
LLL:
u
se reduction paramet
e
r
1
by de
f
ault
commit
|
commitdiff
|
tree
2006-10-07
S
ven Verdoo
l
aege
decomposer
.
cc: short_ve
c
t
o
r
: allow specifica
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
S
v
en Verdo
o
la
e
g
e
doc: add
s
ome mor
e
pub
l
ications that
refer to barvi
n
ok
commit
|
commitdiff
|
tree
2006-10-02
Sven Ve
r
doolaege
evalue
.
c: evalue_denom:
declare varia
b
le at
s
tart of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Ve
r
doolaege
eval
u
e
.
c: exp
o
rt
eva
l
u
e_
d
enom
commit
|
commitdiff
|
tree
2006-10-02
Sven
Verdoolaege
scarf
.
cc: handle case where
four constraint
s
le
a
d to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
en
V
erdool
a
ege
ut
i
l
.
c: compress_variables: declar
e
variabl
e
at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Ver
d
oolaege
evalue
.
c: copy (a
n
d adapt
)
copyright
s
tate
m
ent
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdo
o
laege
doc: add
some
r
efe
r
e
nc
e
s to publications
commit
|
commitdiff
|
tree
2006-09-26
Sven Verd
o
olaege
lexmin
.
cc: reenable optimi
z
ation
of checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoo
l
ae
g
e
e
v
alue
.
c: c
l
ean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edomain
.
cc: add E
D
omain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verd
o
olae
g
e
lexm
i
n
.
cc: max_t
e
rm
:
:
p
rint:
p
rint
floors explicitl
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc: dis
a
bl
e
pos
s
ib
l
y overzealous optimization
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
edomain
.
cc:
remember "constraint" re
p
resen
t
ation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
red
u
ced_basis:
r
es
e
t
"
negative widths
"
t
o
zero
commit
|
commitdiff
|
tree
2006-09-23
S
ven
V
erdoolaege
lexmin
.
cc
:
m
o
ve more
c
ode to edomain
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdool
a
ege
edom
a
in
.
h
: add EDomain_floor abs
t
raction
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verd
o
olaege
l
e
x
min
.
c
c: define max_term over an EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Ve
r
doolaege
r
educer
.
h: add virtual des
t
ructor to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
V
er
d
o
o
l
a
ege
l
exmin
.
cc: e
x
tr
a
ct
out some code to evalue_u
t
il
and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
r
d
o
o
laege
o
p
tions
.
c
:
pi
c
k
up
defin
i
tio
n
of P
O
L_INTEGER from barvin
o
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdo
o
laege
optionc
.
c: move choi
c
e of which
s
peci
a
lization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
erdoolaege
omega/pars
e
r
.
l: let flex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verdoola
e
ge
l
exmin
.
c
c: opti
o
nall
y
sk
i
p ch
e
ck for
e
mpty dom
a
ins
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
olaege
eval
u
e
.
c: reduce_evalu
e
_in_domain
:
reduce to z
e
r
o
evalu
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
Ve
r
doo
l
aege
lexmin
.
cc
:
use barv
i
nok_op
t
ions
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoolaege
introdu
c
e barvinok_opt
i
ons st
r
ucture
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoo
l
a
e
ge
l
e
xmi
n
.
cc:
compute
g
en
e
r
a
t
ing functions
of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
olaege
l
e
xm
i
n
.
cc: move
some code around
to prepare f
o
r n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verd
o
ol
a
ege
eval
u
e: dec
l
a
r
e arg
u
ment
of eadd and
evalue_copy c
o
nst
commit
|
commitdiff
|
tree
2006-09-06
Sven Ver
d
o
o
laege
l
e
xmin
.
cc: pe
r
form sub
s
titution im
m
ediately on
each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verd
o
ol
a
eg
e
README: add a
w
ar
n
ing on
(no
t
) using shared
librar
i
es
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n
V
erd
o
olaege
p
i
ecewise_lst:
d
rop
t
he
_s suffix in
the c
l
a
ss name
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
be
r
nstein/piecewis
e
_lst
.
cpp: add
a
d
d(ex) method
commit
|
commitdiff
|
tree
2006-08-31
S
ven
V
erdoolaege
berns
t
ein
.
cc: ex
p
ort
e
value2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoolaege
o
m
ega/polyfunc
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
olaege
ba
r
vinok/evalue
.
h: make more
sel
f
-c
o
ntained
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoo
l
aege
Merge branch 'm
a
ster
'
into ber
n
stei
n
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalu
e
.
h: chang
e
name of hea
d
er define
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoo
l
a
ege
evalue
.
h: mak
e
mo
r
e se
l
f-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Ve
r
doolaege
bfcounter
.
h: und
e
fin
e
divide from polylib's arithmet
i
que
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
ven Verdoolaege
configure
.
in: no lo
n
ge
r
compile shared
l
ibra
r
ies by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
er
d
oolaege
README: reflect t
h
at --enable-fractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoo
l
aege
lexmin: remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdool
a
ege
pol
y
tope_
s
can:
optionally skip basis
r
educti
o
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polyt
o
pe
_
s
can: scan in
r
e
duced bas
i
s
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
olaege
polytope_sca
n
: s
c
ans the inte
g
er po
i
nts in
a
polyt
o
pe
commit
|
commitdiff
|
tree
2006-08-14
S
v
en Verdoo
l
a
ege
Merge branch 'master' into
bernstein
commit
|
commitdiff
|
tree
2006-08-14
S
ven Verdo
o
laege
ins
t
all
N
TL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
e
r
doolaege
basi
s
_red
u
ctio
n
.
c: clean up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoola
e
ge
Mer
g
e bra
n
ch 'm
a
ste
r
' into bernstein
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n Verdoola
e
ge
lexmin
.
cc: d
o
n't bot
h
er
t
ransformin
g
if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
o
o
lae
g
e
l
ex
m
in
.
cc:
fix
u
se of co
m
press_par
m
s
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Ve
r
dool
a
eg
e
sample
.
c: fix
r
emove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
barvin
o
k_cou
n
t: clean up memory after simplifying con
s
t
r
aints
commit
|
commitdiff
|
tree
2006-08-13
Sven
Ve
r
doola
e
ge
R
EADME: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
omega/pol
y
fun
c
.
c
c: maximize: s
i
mplify
dom
a
in b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
o
m
ega/par
s
e
r
.
y
:
create new vari
a
bleMa
p
for each polyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdool
a
ege
omeg
a
/parser
.
y: free m
a
lloc'ed
m
emor
y
(instead of de
l
ete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
o
o
laege
Merge
b
r
a
n
c
h 'master' into bernste
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
e
g
e
o
nly
perfor
m
l
exmin t
e
sts when lexmin has been
compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaeg
e
some more
t
ests with unb
o
unded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven
Ver
d
oolae
g
e
add some small tests
f
or lexmi
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin:
b
arf
when po
l
yhedro
n
co
n
t
ains
l
i
ne
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
do
o
l
a
ege
lexmin: don't pri
n
t solution w
h
e
n v
e
rifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verd
o
olaege
ve
r
i
fy_main
.
cc: cl
e
a
n
up mem
o
ry
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
Me
r
ge branch 'master'
i
nto
b
erns
t
ein
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaege
barvinok_
s
eries:
h
and
l
e fixed polytopes
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdo
o
laege
gen_f
u
n:
add
co
n
str
u
ctor for generating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoo
l
aege
barvi
n
ok
.
cc: remove
_
mor
e
_equalities: handle equalit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
next