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
V
er
d
o
o
lae
g
e
bump
version
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
r
doolae
g
e
M
a
ke
f
ile
.
am: make s
u
re correct fi
l
es are
includ
e
d in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: ment
i
on re
s
triction of b
a
rvinok_en
u
merate_scarf_s
e
ries
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc
:
mi
n
imal do
c
umentation for the
l
e
xmin application
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
bernst
e
in/configure
.
in:
s
et AC_CONFIG_AUX_DIR to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdool
a
ege
d
oc:
d
o
cument
p
o
lytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
d
oc: docu
m
en
t
polyhedron_
s
ampl
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc: include barvi
n
o
k library version in
title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
c
o
nfigure
.
in: fix
t
ypo
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaeg
e
doc
:
bib: name Kevin M
.
Woods cons
i
stently
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolae
g
e
doc: docum
e
nt extra occ ope
r
ations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: upda
t
e
g
en_fun documen
t
atio
n
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoo
l
aege
doc: refl
e
c
t cha
n
ge of ar
g
ument type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
do
o
laege
doc: docu
m
ent
b
arv
i
nok_enumerat
e
_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoola
e
ge
doc: add
a
n
other paper refering to barvi
n
ok
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc:
typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
d
o
olaege
doc: document be
r
nstein data structures
and func
t
ion
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
ber
n
stein: piecewise
_
lst::si
m
plify_domains: a
d
d MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n
V
erdool
a
ege
be
r
nstein: mak
e
p
o
ly argument
o
f berns
t
ei
n
Expa
n
sio
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Ve
r
doola
e
ge
reducer
.
h:
only
u
se infinite_ico
u
nter
when dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
d
o
c
: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoo
l
aege
remove a few d
u
plicate
d
efinitions of MAXR
A
YS
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
doolaege
util
.
c: move
d
uplicate Polyhedr
o
n_R
e
ad
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
aeg
e
ba
r
vin
o
k
.
cc: add _with_op
t
ions version of barvinok_enume
r
ate
_
e
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
evalue
.
c: remove
inc
l
ude of conf
i
g
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
versio
n
.
c: show use
o
f Omega, GL
P
K
and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c
: move barvin
o
k_ver
s
ion from
u
t
il
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
doc
:
docume
n
t P
o
l
yhedr
o
n_Reduced_Basis an
d
Polyhedro
n
_S
a
mp
l
e
commit
|
commitdiff
|
tree
2006-10-27
S
v
e
n
Verdo
o
laege
expo
r
t Polyhedron_Sample an
d
Polyh
e
dron_Reduced_Ba
s
is
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
olaege
doc:
r
ename "usage" section to "applicat
i
o
ns" se
c
tio
n
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
barvi
n
ok_option
s
: rename emp
t
iness_check
t
o lexmin_empt
i
ness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
er
d
oolaege
doc: document barvinok_opt
i
ons
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
V
e
rdool
a
ege
scarf
.
cc: export functions to library
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoolaege
scarf
.
cc: us
e
barvinok_o
p
tions i
n
stea
d
of
M
axRays
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
e
r
d
o
olaege
b
arv
i
n
o
k/b
a
r
v
inok
.
h:
e
xpo
r
t
_wi
t
h_optio
n
s versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verd
o
olaege
ba
r
vinok_enumerate_
e
: remove direct include of
p
olyli
b
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
rdoolaege
b
e
rnstein: minimal documentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
READM
E
:
b
ernstein requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
Verdoolae
g
e
d
o
c: add refer
e
nce t
o
bernstei
n
techreport
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
Verdoolaeg
e
Merge branch
'
bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
e
rdool
a
ege
bernstein
/
s
r
c/
T
ODO: remove; e
v
e
r
ything has been done
commit
|
commitdiff
|
tree
2006-10-10
S
ven Verdoolaege
doc: add an
o
ther publica
t
i
o
n
t
h
a
t
refers to barvi
n
o
k
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaeg
e
LLL: us
e
r
educti
o
n
p
arame
t
er 1 by de
f
ault
commit
|
commitdiff
|
tree
2006-10-07
Sven
V
e
r
doo
l
aeg
e
decomposer
.
cc: short_vector: allow specification of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
doc: add some
m
o
r
e publications t
h
at ref
e
r to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaeg
e
evalue
.
c: evalue_denom: declar
e
varia
b
le at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
e
v
a
lue
.
c: export evalue_d
e
nom
commit
|
commitdiff
|
tree
2006-10-02
Sven V
e
rdoolaege
sc
a
rf
.
cc:
h
a
n
dle c
a
se where four constr
a
ints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
er
d
oolaege
u
t
il
.
c: compres
s
_variables: declare varia
b
le at sta
r
t
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
S
v
en
Verdoolaege
e
v
alue
.
c:
c
opy
(
and adapt) copyrigh
t
stat
e
ment from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
doc: add some r
e
ferences to publications
commit
|
commitdiff
|
tree
2006-09-26
S
v
en Ver
d
oolaege
lexmin
.
cc: r
e
e
n
abl
e
o
ptim
i
zation
o
f ch
e
cking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdo
o
laege
e
va
l
ue
.
c: clean
up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edomain
.
cc: add EDomai
n
::
c
ontains
commit
|
commitdiff
|
tree
2006-09-24
S
v
en Verd
o
olaeg
e
lexmin
.
cc: ma
x
_term::print: pr
i
nt
f
loo
r
s explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
l
exmin
.
cc: d
i
sable possibly overzealous optimizati
o
n
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaeg
e
edomain
.
c
c
: remember "constraint" represen
t
a
t
ion
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Ver
d
o
o
l
a
ege
r
e
d
uced_basis: r
e
se
t
"negati
v
e w
i
dths" to
zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
lexmin
.
cc: move more code t
o
e
dom
a
i
n
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven
Verdoolaege
edo
m
a
in
.
h: add EDomain_f
l
o
o
r abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaeg
e
lexmin
.
cc: defi
n
e max_term over
a
n EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n
Verdoolae
g
e
reduc
e
r
.
h: add v
i
rtual destructor to n
p
_
b
ase to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoola
e
ge
lexmi
n
.
cc: extrac
t
out so
m
e
co
d
e t
o
evalue_
u
ti
l
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Ve
r
do
o
laege
o
p
tions
.
c: pick up
d
efinition
o
f
P
OL_INTEGER from
barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ver
d
oolaege
optionc
.
c
:
mo
v
e choice of which s
p
ecializatio
n
to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoo
l
aege
omega/
p
arser
.
l: let flex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n
Verdo
o
laege
lexmin
.
cc: optionally skip che
c
k
for empty do
m
ains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
ege
eva
l
ue
.
c: r
e
duce_evalue_in
_
domain: reduce to zero
evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Ve
r
doolaege
l
e
xmin
.
cc: u
s
e barvinok_opt
i
o
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoo
l
aege
intr
o
duce b
a
r
v
in
o
k_
o
p
t
i
o
ns
s
t
ructu
r
e
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
l
exmin
.
cc:
c
ompute gen
e
r
ating
functions of
v
e
rtex co
n
es
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
ege
lexmin
.
cc: move some code around to pre
p
a
r
e
for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaege
evalue:
d
ecla
r
e argument of
eadd and evalue
_
copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven
Verdoolaege
lexmin
.
c
c: perfor
m
substitut
i
on im
m
edia
t
ely on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
en
Verdoolaege
README: add
a
warning on (
n
ot
)
u
s
ing shared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven Verd
o
o
la
e
ge
piecewise_
l
st: drop t
h
e _s s
u
ffix in
t
h
e clas
s
name
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolaege
bern
s
tein/
p
ie
c
ewise_lst
.
cpp: ad
d
a
d
d
(ex) method
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
er
d
oo
l
a
e
ge
b
ern
s
t
e
i
n
.
cc: export
evalue2ex
commit
|
commitdiff
|
tree
2006-08-31
S
ven V
e
rdoola
e
g
e
o
m
ega/polyfun
c
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoo
l
a
e
g
e
b
a
rvinok/evalu
e
.
h: make more self
-
c
ontai
n
ed
commit
|
commitdiff
|
tree
2006-08-31
S
v
en
Verdoo
l
aege
Merge branch
'
m
a
ster' into bernst
e
in
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
laege
evalue
.
h: change name
of header define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
l
aege
evalue
.
h: m
a
ke more self-co
n
tained
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Verdoolaege
bfcount
e
r
.
h
:
undef
i
ne
divide
from po
l
ylib's arit
h
m
etiqu
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
con
f
igure
.
i
n
:
no l
o
n
ger
c
om
p
ile sh
a
red l
i
b
r
a
ries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
README: refle
c
t that --e
n
able-fract
i
onal is no
w
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
lexmin: remove du
p
li
c
at
e
unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
Verdoola
e
g
e
p
olytope_s
c
an: option
a
lly skip bas
i
s reduct
i
on
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n
V
e
rd
o
olaege
polytope_scan: scan
i
n reduced ba
s
is
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
olaege
po
l
ytope
_
scan:
scans the integer point
s
in a polyt
o
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Ve
r
doolaege
Merge
b
ranch 'master' into
b
e
rnstein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
insta
l
l NT
L
_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdo
o
laege
basis_reduction
.
c: clean
up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
ege
Merge
b
ranch 'master'
into bernstein
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
e
ge
lexmin
.
c
c: don't bother trans
f
ormi
n
g if com
p
ress
_
par
m
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
l
exmin
.
cc: fix use of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
sample
.
c
:
fix r
e
move_ra
y
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
barvinok_
c
o
u
nt
:
c
l
ean up memory after s
i
m
p
lifying constraints
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoolaege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Ver
d
o
olaege
omega/polyfunc
.
cc: maximize: simp
l
ify do
m
a
in before
.
.
.
commit
|
commitdiff
|
tree
next