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 Verd
o
olaege
b
ump version
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdo
o
l
a
ege
Makefil
e
.
a
m
: make s
u
r
e correct files are incl
u
ded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
en
V
erdoolaeg
e
doc: m
e
n
tion restrict
i
on of b
a
r
v
inok_enumerate_
s
carf
_
series
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: m
i
nim
a
l document
a
tion for th
e
lexmin ap
p
lication
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
bernstein/conf
i
gure
.
in: set AC_
C
ONFIG_AUX
_
DIR t
o
bernstei
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc: document poly
t
ope_sample
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
do
c
: document polyhedron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: inc
l
ude barvino
k
li
b
rary ve
r
sion
in t
i
t
le
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
con
f
igure
.
in: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: bi
b
: name Kevin M
.
Woods consis
t
e
ntl
y
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
doc: documen
t
extra occ operations
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolae
g
e
doc: updat
e
gen
_
fun
documentation
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaeg
e
doc: r
e
flect change o
f
argument type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Ve
r
do
o
la
e
ge
doc: document bar
v
in
o
k_
e
numerate_sca
r
f
commit
|
commitdiff
|
tree
2006-10-31
S
ven Ve
r
doolaege
doc: add a
n
other paper ref
e
ri
n
g to b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolae
g
e
doc
:
typo
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
a
ege
d
oc: document
b
e
rnstein data s
t
r
u
ctures and
f
u
n
c
t
ion
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
bernstein: piecewise_lst::simplify_dom
a
ins: add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
ber
n
s
t
e
i
n
:
make poly argument of
b
ernsteinExpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
v
en Verdoolaeg
e
redu
c
er
.
h: only use infinite_icounter when
d
i
m
==1
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaeg
e
d
o
c: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
remo
v
e a few duplicate definiti
o
n
s
of MAX
R
AYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
aege
ut
i
l
.
c:
m
ove duplicat
e
Polyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
ba
r
vinok
.
cc: add _wit
h
_optio
n
s version of barvinok_e
n
u
m
erate
_
e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
evalue
.
c: remove include of co
n
fig
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
versi
o
n
.
c: show use of Omega, GLPK and
G
iNaC
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n V
e
rdoolaeg
e
ver
s
ion
.
c: m
o
ve barvinok_ve
r
sion from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
do
c
: docu
m
ent Polyhedron_Reduced_Basis and P
o
lyhedron
_
S
a
mple
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoolaege
export Po
l
yhedron_Sample and Polyhedron_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n
Verdoolaege
do
c
: rename "usag
e
" sect
i
on to "applic
a
tion
s
" se
c
tion
commit
|
commitdiff
|
tree
2006-10-27
S
v
e
n
Verdoolaege
barvinok_options: ren
a
me e
m
pt
i
ness_
c
heck to lexmin_em
p
tiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdoolaege
doc: docum
e
nt
b
arvinok_optio
n
s
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdool
a
ege
sc
a
rf
.
c
c: export func
t
io
n
s
to library
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
e
rdoolaege
scarf
.
cc:
u
se barvi
n
ok_o
p
tions instead o
f
MaxRays
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verd
o
olaege
barvinok/barvinok
.
h: export
_wi
t
h_
o
ptio
n
s ve
r
sio
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdool
a
ege
barvino
k
_en
u
merate_e: remove direct inclu
d
e o
f
polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaeg
e
bernstein: mini
m
al docume
n
ta
t
i
o
n
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaege
README:
b
e
rnst
e
in requ
i
r
es GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
doc: add re
f
eren
c
e
t
o bernstein techreport
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoo
l
a
ege
Merge
branch 'be
r
nstein'
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdoo
l
a
ege
bernst
e
in/src/TOD
O
: re
m
ove; everyth
i
ng h
a
s b
e
en
done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
doc: add another
p
ublic
a
tio
n
t
h
at refers to ba
r
vin
o
k
commit
|
commitdiff
|
tree
2006-10-10
Sven
V
e
rdoolae
g
e
LLL: use redu
c
tio
n
parameter 1 by d
e
f
ault
commit
|
commitdiff
|
tree
2006-10-07
Sv
e
n
V
erdoolaege
decomposer
.
cc:
s
hort_vect
o
r: allow specification o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven
Verdoo
l
aeg
e
doc: add some more publica
t
ions th
a
t
r
efer to barvi
n
ok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdool
a
ege
evalue
.
c: eva
l
ue_de
n
om:
declar
e
v
a
riable at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Ve
r
doolaege
evalue
.
c
:
export eval
u
e_d
e
nom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoo
l
aege
scarf
.
cc: handle case
where f
o
u
r
constraints le
a
d
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
ut
i
l
.
c:
c
ompress_varia
b
les: declare varia
b
le at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Ver
d
oolaege
evalue
.
c: copy
(
and adapt) copyr
i
ght statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven
V
erd
o
olaege
d
oc: add som
e
r
e
ferenc
e
s to pub
l
ications
commit
|
commitdiff
|
tree
2006-09-26
Sven Ver
d
oolaege
l
e
xmin
.
cc:
r
e
enable optimization
o
f
checking
d
omains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
e
v
al
u
e
.
c: cl
e
an u
p
i
n
_d
o
ma
i
n
commit
|
commitdiff
|
tree
2006-09-25
Sven Ve
r
doo
l
aege
e
d
o
main
.
cc: add EDoma
i
n::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Ve
r
doolaege
le
x
min
.
cc: max_term:
:
prin
t
: pr
i
nt floors explic
i
t
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
v
en Verdoolaege
lexmin
.
c
c
: dis
a
ble
possi
b
ly
o
ver
z
ealou
s
optimization
commit
|
commitdiff
|
tree
2006-09-23
Sven Ver
d
oolaeg
e
edoma
i
n
.
cc: remember "
c
o
n
straint" repre
s
entation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
v
en Ver
d
oo
l
ae
g
e
r
ed
u
ced_basis: reset
"nega
t
ive widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdoo
l
aege
l
e
xmin
.
cc: mov
e
more cod
e
to
e
domain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
v
e
n
Verdoolaege
ed
o
main
.
h:
add EDomai
n
_floor abstra
c
tion
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verd
o
o
l
aege
le
x
min
.
cc: def
i
n
e max_term
o
v
e
r
an EDomain rather t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
doolaeg
e
r
e
du
c
er
.
h: add
v
irtual destr
u
ctor t
o
np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
doolaeg
e
lexmin
.
cc:
e
xtra
c
t out some code
to ev
a
lue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
erdool
a
ege
o
p
tions
.
c:
p
ick up defini
t
i
on
of POL_IN
T
E
G
E
R
from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
optionc
.
c: move choic
e
of which speci
a
lization t
o
use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
m
ega/par
s
er
.
l: let f
l
ex de
f
i
n
e yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
lexmin
.
cc: option
a
ll
y
ski
p
check fo
r
empt
y
domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaege
ev
a
lue
.
c:
r
ed
u
ce_eval
u
e_in
_
domain:
r
educe to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaege
lexmin
.
cc: use b
a
rvinok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
introduce barvi
n
ok_options structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
la
e
g
e
lexmin
.
c
c
: compute
g
e
nerating fu
n
ction
s
of vertex con
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verdoolaege
lexmin
.
cc: move s
o
me code around to
p
r
epare for
ne
w
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
ven Ve
r
d
o
ol
a
ege
evalue: decla
r
e
argument of eadd and e
v
alue_co
p
y const
commit
|
commitdiff
|
tree
2006-09-06
Sven Ve
r
doolaege
lexmin
.
cc: perform sub
s
tituti
o
n
imm
e
diately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
ven Ve
r
doolaege
R
E
ADME
:
add a warnin
g
on (not) usi
n
g
s
h
ared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven Ver
d
o
olaege
piecewise_
l
st: drop t
h
e _s
s
uffi
x
in the class na
m
e
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolaege
be
r
nstein/piec
e
wis
e
_lst
.
cpp: add add(ex) metho
d
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdoolaege
bernste
i
n
.
c
c
:
e
xport ev
a
lu
e
2
ex
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
r
d
oolae
g
e
omega/p
o
ly
f
unc
.
cc:
a
voi
d
warning
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdoolaege
b
a
rvin
o
k/eval
u
e
.
h: make mor
e
self-contained
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
lae
g
e
Merg
e
b
ranch
'
m
a
ster'
into
b
e
r
nstein
commit
|
commitdiff
|
tree
2006-08-31
S
v
en
Verdoolaege
e
va
l
ue
.
h: chang
e
name of he
a
der def
i
ne
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h:
make more s
e
lf-containe
d
commit
|
commitdiff
|
tree
2006-08-26
Sven Ve
r
d
oolae
g
e
bfcounter
.
h: un
d
efine di
v
ide f
r
o
m
poly
l
i
b's arithmetiq
u
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoo
l
aege
configure
.
in: no l
o
nger compile share
d
l
i
braries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolae
g
e
REA
D
ME
:
ref
l
ec
t
that --enable-fra
c
t
ional i
s
now t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoo
l
ae
g
e
lexmin:
remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
e
rdoolaege
g
en_fun::Ha
d
amard
_
product: use unoptimi
z
e
d version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
en V
e
r
d
o
o
laege
barvi
n
ok_series: perf
o
rm backsubstit
u
tion als
o
if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Ver
d
oolaege
barv
i
n
o
k
_
enu
m
erate_union_serie
s
: cal
l
cor
e
of b
a
rvinok_serie
s
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoola
e
ge
util
.
c: re
m
ove
_
equalities_p: correct check
f
o
r
end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
erdo
o
laege
g
en_fun: set context in no
va
r
iables
c
o
n
structor
commit
|
commitdiff
|
tree
2006-08-21
Sven Verd
o
olaege
ge
n
_fun::Hadamard_p
r
oduct: don't
a
ssum
e
equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verdoolaege
b
a
rvinok_un
i
on: take context
int
o
account
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
Verdoolaege
polytope_scan: o
p
tionally ski
p
basis reductio
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_sca
n
:
sca
n
in
r
e
duc
e
d bas
i
s
commit
|
commitdiff
|
tree
2006-08-16
Sven
Ver
d
oolae
g
e
polytope
_
scan: s
c
a
n
s
t
h
e
i
nteger poin
t
s
in a pol
y
tope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
Merge branch
'
mast
e
r' into ber
n
s
t
ein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoola
e
ge
i
n
st
a
ll
N
TL_QQ
.
h
h
e
ader
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
basis_reduct
i
on
.
c: clean up GLPK memory
commit
|
commitdiff
|
tree
next