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
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
Makefile
.
am: ma
k
e sure corre
c
t files
a
re
i
ncluded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
ola
e
ge
doc: mention restriction of barvinok_enumer
a
t
e_sca
r
f_s
e
ries
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
m
inimal
d
ocume
n
tation for the lexm
i
n application
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
berns
t
ein/
c
onfigure
.
i
n
:
s
et
A
C_CONFIG_AU
X
_DIR
to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
doc: document p
o
l
ytop
e
_sample
commit
|
commitdiff
|
tree
2006-10-31
S
ven Ve
r
d
o
olaege
doc:
d
ocument polyhedron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc: include barvinok library version in titl
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
eg
e
configure
.
in: fix typ
o
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
d
o
c: bib: name Kevin M
.
Woods consis
t
en
t
l
y
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verd
o
olae
g
e
doc: document extra occ oper
a
t
ions
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolae
g
e
do
c
: update gen_fun d
o
c
umentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
reflect c
h
ange of argument type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: document ba
r
vinok_enumerate_sca
r
f
commit
|
commitdiff
|
tree
2006-10-31
S
ve
n
Verdoolaege
doc: add a
n
other pap
e
r
r
e
f
e
r
in
g
to barvin
o
k
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoo
l
a
e
g
e
doc:
d
ocu
m
ent bernste
i
n data
structu
r
es and
functio
n
s
commit
|
commitdiff
|
tree
2006-10-31
S
ven
V
erdool
a
e
ge
bernstein: piecewise_lst::si
m
p
lify_d
o
m
ains:
a
d
d MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Ve
r
doolaege
bernstein:
make poly argu
m
ent of b
e
r
n
s
tei
n
Expansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n
V
e
rdoolaege
r
educer
.
h: only use infinite_ic
o
unter wh
e
n dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
do
c
: f
i
x typo
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Ve
r
d
oola
e
g
e
remove a few
duplicate
d
e
finitio
n
s of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Ve
r
doolaege
u
til
.
c: move duplicat
e
Polyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdoolaege
barvin
o
k
.
c
c: add _
w
i
t
h
_options
v
er
s
ion of barvinok_enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdool
a
ege
evalue
.
c
: remove include
of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c: show u
s
e of Omega, GLPK and
GiNaC
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolae
g
e
v
e
rsion
.
c: m
o
ve bar
v
inok_versio
n
from uti
l
.
c
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolaege
doc: d
o
cument Polyhedron_Reduced_Basis
a
nd Poly
h
e
d
ron_
S
ample
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
e
x
p
or
t
Pol
y
h
edron_Sam
p
l
e and Polyhedron_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoo
l
aege
doc
:
rename "us
a
ge" section to "applications" section
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verd
o
olaege
barvinok_o
p
tions
:
r
ename emptines
s
_check to lexmin
_
emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
do
c
: documen
t
barvin
o
k_optio
n
s
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoo
l
ae
g
e
sc
a
rf
.
cc: export
functions to
l
i
b
rary
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaeg
e
scarf
.
cc: u
s
e barvinok
_
options inst
e
ad of M
a
xRay
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doolaege
barvinok/barv
i
nok
.
h: export _with_options versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verd
o
olaege
bar
v
inok_enumerate_e:
r
emove direct incl
u
d
e of
p
olyli
b
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdoola
e
ge
bernstein: minimal doc
u
mentation
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
r
doolaege
README: bernstein requir
e
s GiNaC
commit
|
commitdiff
|
tree
2006-10-25
S
ve
n
Verd
o
olaege
d
oc: add refer
e
nce to bernstein techreport
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdo
o
laege
Merge branch 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
S
v
e
n Verdoolae
g
e
bern
s
tein/src/
T
ODO: remove; e
v
erything has been d
o
ne
commit
|
commitdiff
|
tree
2006-10-10
S
ven Ve
r
doolaege
doc: ad
d
another pu
b
licat
i
on th
a
t
r
efers to barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven
V
erdoolaege
LLL: use
reduction paramet
e
r 1 by d
e
fault
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
deco
m
po
s
er
.
cc: s
h
ort_vecto
r
: all
o
w specification
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
d
o
c:
add
s
ome mor
e
publications th
a
t refer
to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoo
l
a
e
ge
e
v
alue
.
c: evalu
e
_
deno
m
: declar
e
variable at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Ve
r
doo
l
aege
e
v
alue
.
c: export
e
value_de
n
om
commit
|
commitdiff
|
tree
2006-10-02
S
ven
Verdoolaege
s
carf
.
c
c
:
h
andle case where four
c
o
nstraints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven V
e
rdo
o
l
aege
uti
l
.
c: comp
r
e
ss_variables
:
declar
e
variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Ve
r
doolaege
evalue
.
c:
co
p
y (
a
n
d
adapt) co
p
yrigh
t
statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdo
o
l
a
e
g
e
doc: ad
d
some ref
e
rences to publications
commit
|
commitdiff
|
tree
2006-09-26
Sve
n
Verd
o
olaege
lex
m
in
.
cc: r
e
e
nabl
e
o
ptimization of checking dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
ven Verdool
a
ege
evalu
e
.
c
: cl
e
a
n
up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven
Verdoolae
g
e
e
domain
.
c
c
:
add ED
o
m
a
i
n
::co
n
t
a
ins
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdool
a
e
ge
l
exmin
.
cc:
m
ax_term::p
r
int: prin
t
floors expli
c
i
tly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sve
n
Verdoola
e
g
e
lexmin
.
cc
:
disable
possib
l
y overzealous optimization
commit
|
commitdiff
|
tree
2006-09-23
S
v
e
n
V
e
rdoo
l
aeg
e
e
domain
.
c
c
: remember "
c
onstrai
n
t" repre
s
e
nt
a
tion
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verd
o
olaege
re
d
uced_basis: rese
t
"
n
egative wid
t
hs" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdo
o
lae
g
e
le
x
min
.
cc: m
o
ve more code to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoola
e
ge
edomain
.
h: add EDomai
n
_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
c
c
: defi
n
e max_term over an EDo
m
ain rather tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
r
e
ducer
.
h:
a
dd virtual destructor to np_base to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoolaege
lexm
i
n
.
cc: extract out some code
t
o e
v
alue_util an
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdo
o
laege
options
.
c: pick up definiti
o
n of
POL_INTEGER
f
rom barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
rdoolaege
opti
o
nc
.
c: move choice of whic
h
special
i
zation
to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Ver
d
oola
e
g
e
omega/p
a
rser
.
l: let flex defin
e
yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
laeg
e
lexmin
.
cc:
o
p
t
i
onally
s
kip check f
o
r
em
p
ty
do
m
ains
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verdoolaege
evalue
.
c: reduce_e
v
al
u
e_in_
d
o
main:
r
educ
e
to zero eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
le
x
min
.
c
c: u
s
e barvinok_optio
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
introduce
b
arvino
k
_optio
n
s structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
e
ge
lexm
i
n
.
cc:
com
p
ute genera
t
i
ng functions o
f
vertex
c
on
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
c
c
: move
some code arou
n
d to p
r
ep
a
r
e
for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Ve
r
doolaege
evalu
e
: dec
l
are
a
rgum
e
nt of
e
add and eva
l
u
e_cop
y
const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verd
o
o
laeg
e
lex
m
in
.
c
c: perf
o
rm
sub
s
titution
immediat
e
ly on ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verd
o
olae
g
e
READM
E
: add a warn
i
ng o
n
(
n
ot
)
using shar
e
d
libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven Ve
r
doolaege
piecewise_lst: drop the _s
suffix in the c
l
ass nam
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
bernstein/pie
c
e
w
is
e
_lst
.
cpp: a
d
d add(e
x
) m
e
thod
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Ve
r
d
oolaege
bernstein
.
cc: export
e
v
alue2ex
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoola
e
ge
om
e
ga/polyfunc
.
c
c: a
v
oid w
a
rning
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoo
l
aeg
e
bar
v
in
o
k/eval
u
e
.
h:
make more
s
elf-
c
o
nt
a
ined
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
oolaege
Merg
e
branch 'master' in
t
o
bernstei
n
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaeg
e
eval
u
e
.
h: change name of header
d
efine
commit
|
commitdiff
|
tree
2006-08-31
S
ven
V
erdoolaege
evalue
.
h:
m
ake
m
ore self-contained
commit
|
commitdiff
|
tree
2006-08-26
S
v
e
n Verdoolaeg
e
bfcounter
.
h
:
unde
f
ine
d
ivide fr
o
m polylib'
s
ar
i
thmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven
Verdoolaege
c
o
nf
i
g
ure
.
in:
n
o
l
on
g
er compile shared lib
r
aries
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
READM
E
:
r
eflect that --e
n
able-fractional
i
s now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
l
e
xmin: remov
e
duplic
a
t
e unf
r
inge
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen_fun::Hadamard_product
:
use unopti
m
ize
d
version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoola
e
ge
b
arvinok_series
:
perform backsu
b
stitution also i
f
all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
doolaeg
e
barvinok_enume
r
ate_
u
ni
o
n_series: call core of b
a
rvi
n
ok_serie
s
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Ver
d
o
olaege
uti
l
.
c: remove_equalities_p: c
o
rr
e
ct c
h
eck
f
or end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verdoolae
g
e
gen_
f
u
n: set c
o
ntext in no
v
ariables
co
n
structor
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verdoolaege
gen_fun::Hadamard_product: do
n
't
a
s
sume equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoolae
g
e
bar
v
inok_union: take co
n
text int
o
ac
c
o
unt
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n
Verdoolaeg
e
polytope_scan
:
optionally skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
S
ven Ve
r
d
oolaeg
e
po
l
ytope_scan: scan in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Verd
o
olaege
po
l
ytope_sc
a
n
:
s
cans
th
e
intege
r
p
oints in
a
pol
y
tope
commit
|
commitdiff
|
tree
2006-08-14
S
v
en Verdoolaege
Mer
g
e b
r
anch 'master'
in
t
o bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sv
e
n Verdoolae
g
e
install NTL_QQ
.
h
h
e
ader
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_reduct
i
on
.
c
:
cle
a
n
up
GLPK memo
r
y
commit
|
commitdiff
|
tree
next