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
doc: rename "usage" section to "applications" section
2006-10-27
Sven Verdoolaege
doc: r
e
name "usage" section to "applications" s
e
ction
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoolaeg
e
b
arvino
k
_option
s
: rename emptiness_c
h
eck
t
o lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoolaege
d
oc:
d
o
c
u
m
ent
b
arvinok_opt
i
ons
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoolaege
scarf
.
cc: expor
t
functions to lib
r
ary
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdoolaege
s
c
ar
f
.
cc: us
e
barvinok
_
options instead
o
f MaxRa
y
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
olaeg
e
barvinok/barvinok
.
h: ex
p
o
rt
_wi
t
h_o
p
tions version
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
en
Ver
d
oolaege
barvinok_enumerate
_
e: remove
d
i
r
ect
i
n
c
lude
o
f
p
olylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
ven Ve
r
doola
e
ge
b
erns
t
ein
:
minimal
d
ocu
m
enta
t
ion
commit
|
commitdiff
|
tree
2006-10-25
S
v
e
n Verdoolaeg
e
R
E
A
DME: bernstein requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdo
o
laege
doc:
add reference to bernstein tec
h
report
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdool
a
ege
Merge branch
'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Ve
r
doola
e
g
e
bernstein/src/TODO: remove; eve
r
yt
h
ing has been done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoo
l
aeg
e
doc:
add a
n
oth
e
r publicat
i
on that refers t
o
barvino
k
commit
|
commitdiff
|
tree
2006-10-10
Sven Ver
d
oolaege
LLL:
u
s
e
reduct
i
o
n
parameter 1 by
defaul
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Ve
r
d
oolaege
decom
p
oser
.
cc: short_vec
t
or
:
allow specifica
t
io
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven
Verdoolaege
d
o
c:
a
dd some more publica
t
ions that
r
efer to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
lae
g
e
e
v
al
u
e
.
c: eva
l
ue_denom: declare variable a
t
s
t
a
rt of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Ver
d
oola
e
ge
evalue
.
c
: export evalue_de
n
om
commit
|
commitdiff
|
tree
2006-10-02
S
v
en Ve
r
dool
a
ege
scarf
.
cc: handle case wher
e
four
con
s
traints l
e
a
d to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
en
V
e
r
dool
a
ege
util
.
c: compres
s
_v
a
r
iables: declar
e
variabl
e
at
s
t
a
r
t
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
S
ven Verdoolaege
evalue
.
c
: co
p
y (and adap
t
) copyright statemen
t
from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdo
o
laege
doc:
a
dd some references to publicati
o
ns
commit
|
commitdiff
|
tree
2006-09-26
S
v
e
n Ver
d
o
olaege
lexmin
.
c
c: reenabl
e
o
p
tim
i
zation
o
f
checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
ven V
e
rdoolaeg
e
evalue
.
c: clean up in_dom
a
i
n
commit
|
commitdiff
|
tree
2006-09-25
S
v
en
Ve
r
doolaege
edomain
.
cc
:
ad
d
EDomai
n
::cont
a
i
n
s
commit
|
commitdiff
|
tree
2006-09-24
Sv
e
n Verdoo
l
a
ege
lexm
i
n
.
cc: ma
x
_t
e
rm::print
:
pr
i
nt
f
loors ex
p
licit
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
v
e
n Ver
d
oolaege
l
e
x
m
i
n
.
cc
:
d
i
sable possibly overzealous optimization
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdoolaeg
e
e
d
oma
i
n
.
cc: r
e
me
m
ber "constrai
n
t" repre
s
entation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verd
o
olaege
reduc
e
d_
b
asis: reset "ne
g
ative
widt
h
s
" to zero
commit
|
commitdiff
|
tree
2006-09-23
S
v
en Verdoolaeg
e
lexm
i
n
.
cc: move
m
ore cod
e
to edom
a
in
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verd
o
olae
g
e
edomain
.
h: add EDo
m
a
in_f
l
oor
a
bstrac
t
ion
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
d
o
o
laege
lexmin
.
cc: de
f
ine max_term
o
ver
a
n E
D
omain r
a
ther than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
reduc
e
r
.
h
: add vir
t
ual destructor to
np_base
t
o
a
v
oi
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
c
c
: e
x
tract out
s
ome
c
ode to e
v
alue_uti
l
and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Ve
r
doolae
g
e
opt
i
ons
.
c: pi
c
k up definition
o
f POL_INTEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoola
e
ge
o
p
t
ionc
.
c: move
choice of which special
i
zation
t
o
use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Ve
r
doolaege
omega/p
a
rser
.
l: le
t
flex
define yylinen
o
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaege
lexmin
.
c
c
:
o
p
tionally
skip check for empt
y
domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
laege
evalue
.
c:
reduce
_
e
v
alu
e
_in_domain: reduce to z
e
r
o
e
value
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n V
e
rdoolaege
lexm
i
n
.
cc: use barvinok_op
t
i
o
ns
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
a
ege
intr
o
duce barv
i
nok_op
t
i
ons structu
r
e
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoola
e
g
e
lexmin
.
c
c
: compute g
e
nerating functions of verte
x
cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verd
o
olaeg
e
le
x
min
.
cc: mo
v
e
some code around to prepa
r
e
for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaege
eva
l
ue: declare argument o
f
eadd an
d
evalue_copy c
o
nst
commit
|
commitdiff
|
tree
2006-09-06
Sven V
e
r
d
oo
l
a
e
ge
l
e
x
m
in
.
cc
:
perfor
m
substitution immediately o
n
e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n Verdoolaeg
e
README: add a
w
arni
n
g
o
n (not) using s
h
ared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n Verdoolaege
pi
e
cewise
_
ls
t
: drop
the _s suffi
x
i
n
t
he class name
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoo
l
ae
g
e
bernstein/piece
w
ise_lst
.
cp
p
:
add
a
d
d
(ex
)
metho
d
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
d
o
olaege
bernstein
.
cc: export evalue
2
ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
la
e
ge
omega/polyfunc
.
cc: avoid warning
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoolaeg
e
barvinok/ev
a
l
ue
.
h: mak
e
more
s
elf-
c
onta
i
ned
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n Ve
r
doolaege
Merge b
r
anch 'master' into
b
e
rnste
i
n
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdool
a
ege
evalue
.
h: chang
e
nam
e
of header
d
efine
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n V
e
rdoolaege
e
value
.
h
: make more
s
e
lf-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
b
fcounter
.
h: und
e
f
i
ne di
v
ide from polylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdool
a
eg
e
configur
e
.
in: no longe
r
compile sha
r
ed libr
a
r
i
es by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Ver
d
oola
e
ge
R
EADME: reflect that --e
n
abl
e
-fract
i
onal is
n
ow
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaege
lex
m
in: remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
Verdoolaege
polytope_scan: optiona
l
ly
skip basis reduct
i
on
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n
V
e
rd
o
o
laege
p
olytope_scan: scan in re
d
uced
basis
commit
|
commitdiff
|
tree
2006-08-16
Sven V
e
rdoolaeg
e
po
l
y
tope_scan
:
scans the
i
nteger points in
a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdo
o
laege
Merge br
a
n
c
h
'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-14
S
ven Verdoolaege
instal
l
NTL_
Q
Q
.
h
h
eader
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
basis_redu
c
ti
o
n
.
c: c
l
e
a
n up GLPK m
e
mory
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
Merge branch 'master' into ber
n
stein
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: d
o
n
't bother transf
o
rming if co
m
press_par
m
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
l
exmin
.
c
c: fix
u
s
e of
c
omp
r
e
s
s_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
samp
l
e
.
c: fix
r
e
move_
r
ay
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
barvinok_count: clean
up
m
emory after simplifying constr
a
ints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
README:
u
p
date
commit
|
commitdiff
|
tree
2006-08-12
S
v
en
Verdoola
e
ge
omega/polyfunc
.
cc: maximize: simp
l
ify domain befor
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
rdoolae
g
e
o
m
ega/p
a
r
s
er
.
y
: create new
v
ariableMap f
o
r each pol
y
f
unc
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
do
o
laeg
e
om
e
ga/parser
.
y
:
fr
e
e mallo
c
'ed memory (
i
n
st
e
ad of d
e
lete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
o
o
la
e
g
e
Merge
b
ra
n
ch
'
master' into
b
erns
t
ein
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdo
o
laege
only
per
f
o
rm lexmin tests when lexmi
n
has
b
een
c
ompiled
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
so
m
e
more tes
t
s
with unb
o
unde
d
p
ol
y
he
d
ra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
ae
g
e
add
s
ome small tests for l
e
xm
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: barf when po
l
yhedr
o
n contains
l
ine
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
le
x
min: don
'
t print solution
w
hen verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Ve
r
d
oolaege
verify_m
a
i
n
.
c
c: cl
e
an up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdo
o
la
e
ge
Merge
b
r
a
n
ch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
ba
r
vinok_se
r
i
e
s: handle
f
ix
e
d polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdool
a
eg
e
gen_fun: add constructor for gene
r
ati
n
g func
t
io
n
with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoolaege
barvino
k
.
c
c: remove
_
m
o
re_equalities:
handle eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
laege
g
en_fun::
c
oefficient
:
r
eset the num
b
er o
f
row
s
in
t
he
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaeg
e
lexmi
n
.
cc: use remove
_
e
q
ualities c
o
nsiste
n
tly
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
util
.
c: compress_v
a
riables
:
extrac
t
ed
from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmin: don't check anyt
h
ing if given r
a
nge lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: re
m
o
ve_
e
qualities; take preim
a
ge with r
e
turn
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c
:
r
emov
e
_
equaliti
e
s:
extend re
t
urned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
Verd
o
olaege
lexmin
.
cc: in_domai
n
: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remove some debu
g
ging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
r
e
duce_domain: comp
u
te convex union of
domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_domain:
a
lso chec
k
other
part
s
of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xmin: in_domain:
s
et values if
constra
i
nts
d
on'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdo
o
laeg
e
lexmi
n
:
plug
some
memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
er
d
oolaege
lex
m
in
:
an
e
x
p
eriment
a
l tool
for comp
u
ting the
para
m
et
r
ic
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
o
laege
add fd
s
t
r
eam
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verdoolaege
e
v
alue
.
c: floor2f
r
ac_r:
p
l
ug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoo
l
aege
b
a
rv
i
nok
.
cc
:
unfr
i
nge: work incrementally
commit
|
commitdiff
|
tree
next