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
bump version
2006-10-31
S
ven Ve
r
doolaege
bump ver
s
ion
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaeg
e
Mak
e
file
.
a
m: make s
u
re cor
r
ect fil
e
s are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
r
doolaege
doc:
m
e
ntion restriction
o
f b
a
r
v
inok_enumerate_scarf
_
ser
i
es
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdo
o
laege
d
o
c
: mini
m
a
l doc
u
menta
t
i
o
n for
t
h
e
lexmin a
p
pli
c
a
t
i
on
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n
V
erdoolaege
bernstein/configure
.
in: set AC
_
CO
N
F
IG_AUX_DIR
to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: document polytope_
s
ampl
e
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n
Ve
r
d
o
o
l
aege
do
c
:
documen
t
polyhe
d
ron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: inc
l
u
d
e ba
r
vinok library versio
n
in
t
itle
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n
Ve
r
d
oolaege
co
n
figure
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc
:
bib: na
m
e Kev
i
n M
.
Woods consistent
l
y
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
document
e
xtra occ operations
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Verdoolaege
doc: upda
t
e
g
en_fun documentation
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Verdoo
l
aege
doc: reflect change of arg
u
men
t
type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
d
oc:
d
ocument barvinok_enumerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
doc: add a
n
other paper refering to ba
r
vinok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
doc:
t
ypos
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaeg
e
doc: document bernstein data struc
t
ures and func
t
ions
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oola
e
ge
bern
s
tein:
p
i
ecewise_l
s
t:
:
s
i
mplify_domains: a
d
d MaxR
a
y
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven V
e
rdoolaege
bernstein: make poly argu
m
ent
of bernsteinExpa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verd
o
olaege
re
d
u
ce
r
.
h
:
only
u
s
e
infini
t
e_ic
o
unt
e
r when dim==1
commit
|
commitdiff
|
tree
2006-10-28
S
v
e
n Ve
r
doolaeg
e
doc:
fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
remove a few dupl
i
cate definitions of MAX
R
AYS
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolae
g
e
ut
i
l
.
c: m
o
v
e duplicate Polyhe
d
ron_R
e
a
d
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoo
l
aege
barvinok
.
cc
:
add _wi
t
h_o
p
t
i
ons versi
o
n o
f
barvinok_
e
numera
t
e_e
commit
|
commitdiff
|
tree
2006-10-28
S
v
e
n Verd
o
olaege
e
value
.
c: remo
v
e inc
l
ud
e
of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
versio
n
.
c:
s
h
o
w
use of
O
mega, GLP
K
and
G
i
N
aC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
versio
n
.
c: move
b
a
rvinok_ver
s
ion from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
doc: doc
u
ment Polyhe
d
ron_Re
d
uced_Basis and Polyhedron_S
a
mple
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaege
export
Polyhedron_Sample a
n
d Pol
y
hedron_Reduced_Basi
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaeg
e
doc:
r
e
name "
u
s
a
ge"
s
ection to "applications
"
se
c
ti
o
n
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoo
l
aege
barvinok_opt
i
ons: re
n
ame em
p
tiness_check t
o
l
e
xmin_e
m
p
tiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: document
b
arvinok_opti
o
ns
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaeg
e
scarf
.
cc: expo
r
t functions to library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
scarf
.
c
c
: use barvi
n
ok_o
p
ti
o
ns inst
e
ad of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doolaeg
e
barv
i
nok/ba
r
vinok
.
h: expor
t
_with
_
o
ptions
v
e
r
sions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Verdoolaege
barvino
k
_
enumera
t
e_e: rem
o
v
e
direct
i
nc
l
ud
e
o
f
pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
V
e
rdoola
e
ge
be
r
nstein: minimal docu
m
entation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
README:
b
e
rnstein re
q
ui
r
es GiNa
C
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdoolaege
do
c
:
a
dd
r
eference to bernstein techrep
o
rt
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verd
o
olaeg
e
Merge branc
h
'bern
s
tein
'
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolaege
bernstein
/
src/TOD
O
: remo
v
e; everything
h
a
s been done
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n Verdoolaege
doc
:
add anoth
e
r
publica
t
i
on that refe
r
s t
o
barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolae
g
e
LLL: us
e
reduction pa
r
ameter 1 by defa
u
l
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdo
o
la
e
ge
decomp
o
ser
.
cc: short_vector: allow specifi
c
at
i
on
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Ve
r
doolaege
do
c
:
add som
e
m
o
re publications that
r
efe
r
to
bar
v
inok
commit
|
commitdiff
|
tree
2006-10-02
Sven Ve
r
doo
l
aege
evalue
.
c: evalue
_
deno
m
: de
c
lare variable at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoola
e
ge
ev
a
lue
.
c: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
laege
scar
f
.
cc: ha
n
dle case
where four constrain
t
s lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaeg
e
util
.
c: compress_v
a
riables:
declare
v
ariabl
e
at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sve
n
Verdoolaege
evalue
.
c: co
p
y (and adap
t
)
cop
y
right s
t
atement fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Ver
d
oolaege
do
c
: add
s
o
me references to publicat
i
on
s
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdo
o
laeg
e
lexmin
.
cc: reenab
l
e optimization of c
h
ecking doma
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sv
e
n
Ver
d
oolaege
evalue
.
c: clean up in
_
domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
ed
o
main
.
cc:
add EDomain::cont
a
ins
commit
|
commitdiff
|
tree
2006-09-24
S
v
en Verdoolaege
lexmin
.
cc: max
_
term::print:
print floor
s
ex
p
lici
t
ly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
ven Verdoolaege
lexmin
.
c
c
:
disable possibly over
z
ealous
o
ptimization
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdool
a
ege
edomain
.
cc: rememb
e
r "
c
onstraint"
representa
t
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdool
a
ege
reduced_basis: re
s
et
"
n
e
gati
v
e widths" to
z
er
o
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaeg
e
lexmin
.
cc: m
o
ve more code
to e
d
om
a
in
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
oolae
g
e
edomain
.
h
: a
d
d
EDomain_floor abstra
c
tion
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdo
o
lae
g
e
lexmin
.
cc: define
max
_
term over an EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Verdoo
l
aege
reducer
.
h: add virtual destructor
t
o np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
c
c: extract out s
o
m
e code
to
ev
a
lue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verd
o
olaege
options
.
c: pick u
p
defi
n
i
tion of POL_IN
T
EGER from barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Verdoola
e
ge
opt
i
onc
.
c:
m
o
ve
c
h
oice of
w
h
i
ch
s
pecialization t
o
use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
om
e
g
a
/pars
e
r
.
l
: let flex define
yyli
n
eno
commit
|
commitdiff
|
tree
2006-09-20
Sven
Ve
r
doolaege
le
x
min
.
cc: optionally skip check for e
m
pt
y
domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoola
e
ge
eval
u
e
.
c:
r
ed
u
ce
_
evalu
e
_in_domai
n
: r
e
duce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc:
u
s
e
barvinok_option
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
intro
d
uce barvinok_options structu
r
e
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
olaege
lexmin
.
cc: compu
t
e generating functions of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Ve
r
do
o
laeg
e
l
exmin
.
cc:
move
some co
d
e around
t
o p
r
epare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven
V
e
rdoolaege
evalue:
de
c
lare argument of ea
d
d and eva
l
ue_copy c
o
nst
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdoolaege
le
x
min
.
cc: perform sub
s
ti
t
u
ti
o
n immediat
e
ly on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdoolaege
R
E
ADME: add
a
warnin
g
on (no
t
)
u
sing s
h
a
r
ed libraries
commit
|
commitdiff
|
tree
2006-09-06
S
ven Verdool
a
ege
piecewise_lst: drop
t
h
e
_s suffix in the class na
m
e
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
rdoolaege
bernstein/piecewise_lst
.
cpp: add add(ex)
method
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaeg
e
b
e
rnstein
.
cc: export evalue2
e
x
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Ver
d
ool
a
eg
e
omega/p
o
l
y
f
unc
.
cc: avoi
d
w
a
rning
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolaege
barvinok/evalu
e
.
h:
m
ake more sel
f
-contained
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n
V
erdoo
l
aege
Me
r
ge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
doolaeg
e
eva
l
ue
.
h: change
n
ame of header
defin
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
evalu
e
.
h: make mor
e
sel
f
-
contai
n
e
d
commit
|
commitdiff
|
tree
2006-08-26
Sven Ver
d
ool
a
ege
b
f
count
e
r
.
h:
u
ndefine div
i
de from p
o
lylib
'
s ar
i
th
m
etiqu
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
configur
e
.
in:
n
o longer compile shared l
i
braries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
R
EA
D
ME: refle
c
t that --enab
l
e-fractional
i
s now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaege
lex
m
in: remove dupl
i
cate un
f
ringe
commit
|
commitdiff
|
tree
2006-08-16
S
ven Verd
o
olaege
p
o
lytope_
s
can: optionally skip basi
s
r
e
d
u
ction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_scan: scan in reduc
e
d ba
s
i
s
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
V
erdoolaege
pol
y
tope_
s
can: scans the integer points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
M
e
r
ge branc
h
'master'
i
nto
ber
n
st
e
in
commit
|
commitdiff
|
tree
2006-08-14
Sv
e
n Verdoolaege
in
s
tall NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_
r
e
du
c
tion
.
c: clean
u
p
GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
o
o
laege
Merge branch
'
master'
i
n
t
o bernstein
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lex
m
in
.
cc
:
don't bother transf
o
rming if co
m
p
ress_
p
arms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoo
l
aege
l
ex
m
in
.
cc: fix use of compre
s
s_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
sample
.
c:
fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n V
e
rdoolaege
barvinok_
c
o
u
nt:
clean up
m
emory after simplifyi
n
g cons
t
raints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
REA
D
M
E
:
up
d
ate
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
omega/polyf
u
nc
.
c
c: maximize: si
m
plify domain before
.
.
.
commit
|
commitdiff
|
tree
next