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
Sve
n
Verdoolaeg
e
bum
p
ver
s
ion
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
Makefile
.
a
m
:
make sure co
r
re
c
t
f
iles a
r
e included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c: mentio
n
restrictio
n
of barvin
o
k
_enumerat
e
_scar
f
_
s
eries
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
doc:
m
inim
a
l
doc
u
m
e
ntation for the lex
m
in application
commit
|
commitdiff
|
tree
2006-10-31
Sven
Ve
r
doo
l
aege
berns
t
ein/
c
onfigure
.
i
n
:
s
et
AC_CONFI
G
_AUX_DIR to b
e
rnstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolae
g
e
doc:
document
p
o
lytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
d
o
c: d
o
cument polyhe
d
ron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c: include b
a
rvi
n
ok li
b
rary version i
n
title
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Ver
d
oolaege
configure
.
in: fix typ
o
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: bib: na
m
e Kevi
n
M
.
W
o
ods c
o
n
s
istently
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdo
o
laege
doc
:
document
e
xtra occ ope
r
at
i
ons
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdool
a
ege
doc: update gen_fun docume
n
ta
t
ion
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
doc
:
ref
l
ect
change of ar
g
ument
t
ype o
f
eadd
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: d
o
cument
barvinok_enumerat
e
_sc
a
rf
commit
|
commitdiff
|
tree
2006-10-31
S
v
en
Verdool
a
ege
doc: a
d
d anot
h
e
r paper re
f
ering
t
o b
a
rvi
n
o
k
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n
V
erdoolaege
d
oc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: do
c
um
e
nt bernstein data st
r
uctur
e
s and functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
b
e
rnstein: piece
w
i
se_l
s
t
:
:simp
l
ify
_
doma
i
ns: add
MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n Verdoolaege
bernstein: ma
k
e poly argu
m
ent of bern
s
tei
n
Expansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
reduc
e
r
.
h: only us
e
infinite_icount
e
r
when dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
remove a few
duplica
t
e definitions of
M
AXRAYS
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdo
o
laege
util
.
c:
m
ov
e
dupli
c
ate Polyhed
r
on_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoola
e
ge
ba
r
vinok
.
c
c
: add _with_opti
o
n
s version
of b
a
r
v
inok_enumerat
e
_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
eva
l
ue
.
c: remov
e
include of c
o
n
f
i
g
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdo
o
laege
vers
i
o
n
.
c: show use of
O
mega,
G
L
PK and Gi
N
aC
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoo
l
aege
version
.
c: move barvinok_versi
o
n from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
oolaege
do
c
: document Polyh
e
dron
_
Reduced_Basis
a
nd Polyhe
d
ron
_
S
ample
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doolaege
export P
o
l
yhedron
_
Sample
and Polyhedron_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoo
l
aege
d
o
c: rename "usa
g
e" section to "appl
i
cations" section
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoo
l
aege
b
a
r
v
i
n
ok_op
t
ions: rename emptiness_check
to lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
olaege
do
c
: document barvinok_o
p
t
i
o
ns
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoolaege
scarf
.
cc: e
x
por
t
functions to library
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdo
o
laeg
e
scarf
.
cc:
u
se bar
v
in
o
k_options ins
t
ead of
M
a
x
Rays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolae
g
e
barvin
o
k/barvin
o
k
.
h: e
x
port _wi
t
h_options
versi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolaege
barvino
k
_
e
nume
r
at
e
_e: r
e
mov
e
d
i
rect
i
ncl
u
de of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
b
e
rnstein:
m
inimal documen
t
a
t
ion
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verdoolaege
RE
A
D
ME: bernstein requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
doc: add r
e
f
e
re
n
ce to
b
ernste
i
n
techre
p
ort
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
Merge branch 'bern
s
tein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
berns
t
ein/src/TODO
:
remove
;
e
ver
y
thing
has been do
n
e
commit
|
commitdiff
|
tree
2006-10-10
S
v
en Verdoo
l
aege
doc
:
add
another publicat
i
on that
refers to b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoo
l
aege
L
LL: use re
d
uctio
n
parameter 1 by default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdo
o
laege
d
ecompos
e
r
.
c
c
: short_vec
t
or: allo
w
specifi
c
ation of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdool
a
ege
doc: add s
o
me more p
u
bl
i
cations that refer to ba
r
vinok
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
e
rdoolaege
e
v
alu
e
.
c: evalu
e
_
d
enom: decl
a
re varia
b
l
e at
start
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
ven Verdoolaege
evalue
.
c:
e
xpo
r
t ev
a
lue_deno
m
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdoolae
g
e
scarf
.
cc: handle case where four constraints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoo
l
aege
util
.
c: compress_variables: de
c
lare v
a
r
i
a
b
le
a
t start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sve
n
Verdool
a
ege
ev
a
lue
.
c:
c
o
p
y (and a
d
ap
t
) copyrig
h
t statem
e
nt from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sve
n
Verdoola
e
ge
doc: add some
r
e
ference
s
to publicat
i
ons
commit
|
commitdiff
|
tree
2006-09-26
Sven
V
erdoolaege
lex
m
i
n
.
cc: reenable optim
i
zat
i
on of checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sv
e
n
Verd
o
ol
a
e
ge
evalue
.
c: clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
S
ven
Verdoolaeg
e
edom
a
in
.
cc: a
d
d EDom
a
in::cont
a
ins
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc: max_term::
p
ri
n
t:
print floors e
x
plicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Ve
r
doolaege
l
e
xmin
.
cc:
d
isable possibly ov
e
r
zealous
o
ptimizatio
n
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdo
o
la
e
ge
edom
a
i
n
.
cc: remembe
r
"c
o
nstraint" represen
t
a
t
i
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
reduced_basis: rese
t
"negative
w
idths" t
o
zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Ve
r
doolaege
l
exmin
.
cc:
move more c
o
d
e to edoma
i
n
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verdoolaeg
e
edomain
.
h
: add EDom
a
in_floor abstractio
n
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoola
e
ge
lexmin
.
cc:
define max_term over an
E
D
o
m
ain rather tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
re
d
ucer
.
h: a
d
d virtua
l
des
t
ruct
o
r to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmi
n
.
cc
:
e
xt
r
a
c
t out some code to evalue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
p
tions
.
c:
p
ic
k
up
d
e
finition of POL
_
INTEGER from barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ve
r
d
ool
a
eg
e
op
t
ionc
.
c: move choi
c
e
of which spec
i
alization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
r
doolaege
omega/parser
.
l: let flex def
i
ne yylin
e
no
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoola
e
ge
lexmin
.
cc: opti
o
nally skip check
f
or empty domain
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
d
o
olaege
evalue
.
c: reduce_evalue_in_d
o
main: reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: use
barv
i
n
o
k_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
int
r
oduce barv
i
nok_options
s
t
ructure
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
le
x
min
.
cc: c
o
mpute
g
e
n
era
t
in
g
fun
c
tions of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
lexmin
.
cc: mo
v
e
some code around
t
o
p
repare
f
or new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaeg
e
evalue: d
e
c
la
r
e argument of e
a
dd and evalue_c
o
p
y
c
onst
commit
|
commitdiff
|
tree
2006-09-06
Sven V
e
rdoolaege
lexm
i
n
.
cc: perfor
m
substitution immediately on e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
erdoolaege
README: add a warning on (
n
ot) using shared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven
Verdoola
e
g
e
piece
w
i
s
e_ls
t
:
drop the
_s
s
uffix in
the cl
a
ss
n
am
e
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
berns
t
ein/piece
w
ise_l
s
t
.
c
pp: add add(ex) method
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
b
e
r
n
stein
.
cc: export evalue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verd
o
olaege
ome
g
a/polyfunc
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoolaege
b
a
rvinok/evalue
.
h: make more s
e
lf-co
n
tained
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
Merge
branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
o
ola
e
g
e
evalue
.
h: cha
n
ge
name of header define
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
evalue
.
h: make more self-c
o
nt
a
i
ned
commit
|
commitdiff
|
tree
2006-08-26
S
ven V
e
rdoolaege
bfcounter
.
h
:
undefine divide
f
ro
m
polylib's arithmeti
q
ue
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
configur
e
.
in: no
longer co
m
p
ile shared
librari
e
s by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en
Verdoolaege
README:
reflect t
h
at --e
n
abl
e
-fractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en
V
erdoola
e
g
e
l
e
xmin: remove duplic
a
te
u
nfring
e
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdool
a
ege
g
en_fun::
H
adamard_product: use unoptimized
v
e
rsio
n
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdoolaege
barvinok_ser
i
es: perform bac
k
su
b
s
titut
i
on also
i
f a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
barvinok_e
n
umerate_union_series: ca
l
l core o
f
barvinok_series
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verd
o
olaege
util
.
c
:
remo
v
e_equalities_p: corr
e
c
t chec
k
for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rdoolaege
gen
_
f
u
n: set cont
e
xt in n
o
var
i
ables const
r
uct
o
r
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdo
o
laege
g
e
n
_
f
u
n::Had
a
mard
_
product: don't
assume eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoolaege
barvinok_union
:
take
con
t
e
xt into account
commit
|
commitdiff
|
tree
2006-08-16
S
v
e
n
V
erdoo
l
a
e
ge
polyto
p
e_scan: opti
o
n
a
ll
y
s
kip basis red
u
c
t
ion
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
o
laege
polytope_scan: s
c
an in r
e
duced ba
s
is
commit
|
commitdiff
|
tree
2006-08-16
S
ven
V
erdoolaege
polyto
p
e_scan: scans the integer po
i
nts in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sv
e
n Verdo
o
laege
Merge bran
c
h 'm
a
ster' i
n
to bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven V
e
rdoolae
g
e
install
NTL_QQ
.
h
he
a
der
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolae
g
e
basis_r
e
duc
t
ion
.
c:
c
lean up GLPK memo
r
y
commit
|
commitdiff
|
tree
next