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
bu
m
p version
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaeg
e
Makef
i
le
.
am: make
s
ure cor
r
ect files a
r
e included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
ve
n
Verdoolaege
do
c
: mention r
e
strict
i
on of barvi
n
ok_enumerat
e
_sc
a
rf_series
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
minima
l
documentation
f
o
r the l
e
xmin
a
pplication
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
b
e
rnstei
n
/configure
.
in: set AC_CONFIG_AUX_D
I
R to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
en
V
erd
o
olaege
doc: document polytope_sa
m
p
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
dool
a
e
ge
doc: document polyhe
d
r
o
n_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
doc: include ba
r
vinok l
i
brary versio
n
in ti
t
le
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
configu
r
e
.
in: fix t
y
po
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: bib: name
K
evin M
.
Woods consistentl
y
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n
Verdoolae
g
e
doc: document extra occ operations
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oola
e
ge
d
o
c
:
update gen_f
u
n
d
ocum
e
ntat
i
on
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n V
e
r
d
oolaege
doc: reflect change
o
f argument t
y
pe of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
r
dool
a
ege
doc:
d
o
cumen
t
b
a
rvino
k
_enum
e
rate
_
sca
r
f
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
d
oc: add another paper refering t
o
b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaeg
e
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Ver
d
oolaege
doc: document bernste
i
n dat
a
st
r
u
c
tures
a
n
d fu
n
ction
s
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoo
l
a
e
ge
bernstein: piecewis
e
_lst::simp
l
ify_dom
a
i
n
s: add M
a
xRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoola
e
ge
bern
s
tei
n
: mak
e
poly argumen
t
of bernsteinExpansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven
V
erdoolaege
red
u
c
er
.
h: o
n
ly use infinite_icounter w
h
en dim==1
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verd
o
ol
a
ege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdo
o
l
aege
remove a few
d
uplicate defin
i
t
i
o
n
s of M
A
XR
A
YS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
u
t
il
.
c: move duplicate Polyhedron_Rea
d
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdoola
e
ge
barvinok
.
cc: add _with_opt
i
o
n
s version of barvino
k
_enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
evalue
.
c: remove include of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
er
d
oola
e
ge
ve
r
si
o
n
.
c: show
us
e
o
f
Omega, GLPK and G
i
N
aC
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolaege
vers
i
on
.
c: move bar
v
inok_versi
o
n
from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoola
e
ge
doc:
d
o
c
ument Po
l
y
h
edron_R
e
duced_Basis and Po
l
yhedron_Sa
m
ple
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaeg
e
exp
o
rt Polyh
e
d
r
on_Sample and Polyhedron_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoo
l
aege
doc: rename "usage
"
section to
"application
s
" s
e
cti
o
n
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verd
o
o
laege
barvinok_options: ren
a
m
e emp
t
i
n
ess
_
che
c
k to lexmin_e
m
ptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
r
doolaege
doc: document barvinok_
o
ptions
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
laege
scarf
.
cc: export
f
unction
s
to
l
ibrary
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdool
a
ege
scarf
.
cc: use barvinok_
o
ption
s
instea
d
of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolae
g
e
barvinok/barvinok
.
h: e
x
port _with
_
opti
o
ns versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erd
o
ol
a
ege
ba
r
vinok
_
enume
r
a
t
e_e: remove direct
in
c
lude o
f
po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
berns
t
ein: mini
m
al documentation
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Verdoolaeg
e
RE
A
D
ME: bernst
e
in r
e
quires Gi
N
a
C
commit
|
commitdiff
|
tree
2006-10-25
S
v
e
n
Verdoolaege
doc: add refer
e
nce to
b
ernstein t
e
chreport
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoola
e
ge
Merge bran
c
h 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
b
e
rns
t
ein/sr
c
/TODO:
r
emo
v
e; everythi
n
g has be
e
n done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdo
o
l
aege
doc:
add another publication
that refers to barvinok
commit
|
commitdiff
|
tree
2006-10-10
S
v
en Verdoolaege
L
L
L: use
reduction p
a
rameter 1
by default
commit
|
commitdiff
|
tree
2006-10-07
S
v
en
V
erdoolaeg
e
d
e
composer
.
cc: sh
o
rt_vect
o
r: a
l
l
o
w
specif
i
catio
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
S
ven Verdoolaege
doc: add some
m
or
e
publ
i
cations that
r
efer t
o
bar
v
inok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaeg
e
evalue
.
c: evalue_denom: decl
a
re variable at sta
r
t of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
ven Verdoolaege
evalu
e
.
c: export evalue_de
n
om
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
scar
f
.
cc: handle cas
e
where four constraints
l
ead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven V
e
rdoolaege
util
.
c: compress_variables
:
de
c
lare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sve
n
Verdoolae
g
e
evalue
.
c: copy
(
and adapt) copyright st
a
tement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sv
e
n
Verdoolae
g
e
do
c
:
add
s
ome
refer
e
n
c
es t
o
publ
i
cat
i
ons
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaege
lexmin
.
cc: reenabl
e
optimization o
f
checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sv
e
n Verdool
a
eg
e
evalue
.
c: clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
e
d
omain
.
cc: a
d
d
EDomain:
:
cont
a
ins
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
le
x
min
.
cc:
max_term:
:
print: print floors e
x
plici
t
ly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
v
en
V
erd
o
olaege
l
ex
m
i
n
.
cc: disable
possibl
y
overz
e
alous
o
p
timizatio
n
commit
|
commitdiff
|
tree
2006-09-23
S
ven Ve
r
doolaege
edomain
.
c
c
:
r
e
member "cons
t
raint"
r
e
presenta
t
i
o
n o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
ven Ve
r
doolaege
reduced_basis: reset "neg
a
tive widths" to
z
e
ro
commit
|
commitdiff
|
tree
2006-09-23
Sven V
e
rdoolaege
lexm
i
n
.
c
c
: move more code
t
o edomai
n
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verdo
o
laege
edomain
.
h: add
E
Dom
a
i
n
_fl
o
or a
b
straction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoo
l
aege
lexmin
.
cc:
define max_te
r
m
over an EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verdoola
e
g
e
reducer
.
h: add virtual destruct
o
r to np_
b
ase to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
l
exmi
n
.
cc
:
extract
o
ut some
code to
e
v
alue_ut
i
l
and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
erd
o
olaege
opti
o
ns
.
c: pick
up definition
of POL
_
INTEG
E
R from
barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ver
d
oo
l
aege
optionc
.
c:
move cho
i
ce of whi
c
h specia
l
i
zation to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ver
d
oolaege
omega/p
a
rser
.
l: let flex
d
e
fi
n
e
yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
l
exmin
.
cc: optional
l
y skip check for em
p
ty doma
i
ns
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
olae
g
e
evalue
.
c
: reduce_evalue_in_
d
omain: reduce to zero e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verdo
o
laeg
e
l
e
xmin
.
cc:
u
s
e barvinok_opt
i
o
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
eg
e
introduce barvino
k
_
o
ptions str
u
c
ture
commit
|
commitdiff
|
tree
2006-09-20
S
v
en
V
erdool
a
ege
lexm
i
n
.
cc: compute
genera
t
i
n
g
fun
c
ti
o
ns of
vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Verdoolaege
lexmin
.
cc: move
s
ome code
around to
p
r
epare for n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaege
evalue: declare ar
g
ument o
f
ea
d
d
and evalue_copy cons
t
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
erdoolaeg
e
lex
m
in
.
cc: perform substituti
o
n immediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolae
g
e
READ
M
E:
add a warning on (not) using s
h
are
d
li
b
rari
e
s
commit
|
commitdiff
|
tree
2006-09-06
Sven
Verdool
a
ege
p
i
ecew
i
se_ls
t
: drop t
h
e _s suffix in the clas
s
name
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdoolaege
bernstein/piecewise_lst
.
cpp: add add(ex) method
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
bernste
i
n
.
cc: ex
p
ort evalue
2
ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
omega/polyfunc
.
cc: avoid w
a
rn
i
n
g
commit
|
commitdiff
|
tree
2006-08-31
S
ve
n
Verdoolaege
b
arvinok/ev
a
lue
.
h: make mo
r
e
se
l
f-conta
i
ned
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
Merge bra
n
ch
'
master' into b
e
rnstein
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdool
a
ege
evalue
.
h: change name of head
e
r defi
n
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolae
g
e
evalue
.
h: make
m
o
r
e
self-containe
d
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bf
c
ounte
r
.
h: u
n
de
f
in
e
divide from polylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdoolaege
co
n
figur
e
.
in: no longer c
o
m
p
ile
s
har
e
d librarie
s
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdoola
e
ge
README: ref
l
ect that
-
-e
n
able-fractio
n
al
i
s
now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoola
e
g
e
lex
m
in: remov
e
du
p
licate unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoo
l
aege
po
l
ytope_scan:
o
ptionally
s
k
i
p ba
s
is reduc
t
ion
commit
|
commitdiff
|
tree
2006-08-16
Sven V
e
rdo
o
laege
p
o
lyto
p
e
_
s
c
a
n: s
c
a
n i
n
r
educed
b
asis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
pol
y
tope_scan: scans the int
e
ger po
i
nts in
a
p
oly
t
ope
commit
|
commitdiff
|
tree
2006-08-14
Sven
Verdoolaege
Merg
e
b
r
anc
h
'maste
r
'
i
nto bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verd
o
ol
a
ege
insta
l
l NTL
_
QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
d
oolaege
basis_r
e
duc
t
ion
.
c
:
cl
e
an
up GLPK memo
r
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
M
e
rge branch 'master' into bern
s
t
e
in
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolae
g
e
lexmi
n
.
cc: don
'
t
b
o
the
r
t
ransforming i
f
com
p
re
s
s_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
lexmin
.
cc: fi
x
use o
f
compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdool
a
ege
sam
p
le
.
c
: fix
r
emove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
bar
v
inok_count
:
clean u
p
m
e
mory af
t
er simplifying constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
README: u
p
date
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
r
doolaege
omega/poly
f
unc
.
cc: maxim
i
ze: simplify do
m
a
in
be
f
o
re
.
.
.
commit
|
commitdiff
|
tree
next