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
evalue.c: evalue_denom: declare variable at start of code block.
2006-10-02
Sven Verdo
o
laeg
e
evalue
.
c: eva
l
ue_denom: d
e
clare
variable at start
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Ver
d
o
olae
g
e
eva
l
ue
.
c:
export evalue
_
denom
commit
|
commitdiff
|
tree
2006-10-02
S
ven V
e
rdo
o
lae
g
e
s
ca
r
f
.
cc: handle c
a
se where four cons
t
raints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
e
n
Verdoolaege
u
t
il
.
c
: compress_variables: declare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdool
a
ege
ev
a
lue
.
c:
c
opy (and ada
p
t) copyrig
h
t
statement f
r
om
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
S
v
en Ve
r
doolaege
doc: a
d
d s
o
m
e
r
e
f
e
rences to publications
commit
|
commitdiff
|
tree
2006-09-26
Sv
e
n
V
e
rdoolae
g
e
l
e
xmin
.
c
c: reenable optimizatio
n
o
f
ch
e
c
king
dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
eva
l
ue
.
c
:
clea
n
up
in_d
o
main
commit
|
commitdiff
|
tree
2006-09-25
Sven
Verdo
o
laege
edomain
.
cc:
a
dd E
D
omain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc: max_t
e
rm::print:
p
r
i
nt f
l
oors explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verd
o
ola
e
ge
lexmin
.
cc:
d
isable p
o
ssibly overzealous o
p
timi
z
atio
n
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoo
l
a
ege
edom
a
i
n
.
cc:
remember
"
constraint" rep
r
e
s
entatio
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoo
l
ae
g
e
reduced_basis: reset "negative widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
lexmin
.
cc
:
move more
code
t
o edo
m
ain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verdoolaege
e
d
om
a
in
.
h
: add EDomain_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
cc: define max_term o
v
er an EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaeg
e
r
educer
.
h: add virtual destructor to np_ba
s
e to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
v
e
n V
e
rdoolaege
l
exmin
.
cc: extract
out some cod
e
to eval
u
e_ut
i
l and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ver
d
oolaege
o
p
tions
.
c: pick u
p
definition of POL_I
N
TE
G
ER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
rdoolaege
o
ptionc
.
c: move choice of which spe
c
ia
l
izat
i
on
t
o
use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolae
g
e
omega
/
pa
r
ser
.
l
:
let f
l
ex
d
efine yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erd
o
olaege
lexmin
.
cc: optionall
y
s
k
ip
che
c
k for e
m
pty d
o
mains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
evalue
.
c: redu
c
e_evalue_in_domai
n
:
r
educ
e
t
o
z
ero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Ve
r
doolaege
lexm
i
n
.
cc: use b
a
rvinok_op
t
ions
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aeg
e
introduce b
a
rvinok_opt
i
ons str
u
cture
commit
|
commitdiff
|
tree
2006-09-20
S
v
en
V
e
r
doolae
g
e
lexmin
.
cc: compute gen
e
rat
i
ng function
s
of ve
r
te
x
c
ones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
ege
lexmin
.
cc: move some
code aro
u
nd to
prepare f
o
r new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaege
evalue:
d
eclare
a
rgume
n
t of
eadd and evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
lexmin
.
cc: perform
substitutio
n
immediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
en V
e
rdoo
l
aege
README: add a w
a
rning on (not) using
s
h
are
d
l
ib
r
ar
i
es
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
e
v
alue
.
h: cha
n
ge name
o
f he
a
der define
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
doolaeg
e
evalue
.
h: make m
o
re self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdool
a
ege
bfcounter
.
h:
unde
f
ine divi
d
e
f
rom polyl
i
b's ar
i
thmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdo
o
laege
c
o
nfigure
.
in: no
l
o
nger com
p
ile shared
libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Ve
r
doo
l
aege
README: reflect that --enable-fracti
o
nal is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdool
a
ege
lexmin: remove duplicate unfri
n
ge
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n
Verdoolaeg
e
gen_fu
n
:
:Hadamard_product: use u
n
opt
i
mized versi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verdoolaege
barv
i
nok_series: perform
b
ac
k
sub
s
tituti
o
n also if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
b
a
rv
i
nok_enumerate_union_s
e
ri
e
s: ca
l
l co
r
e o
f
barvinok
_
series
commit
|
commitdiff
|
tree
2006-08-21
S
v
e
n V
e
rdoolaege
util
.
c: remove_
e
qualities_
p
:
c
orrect check for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
er
d
oo
l
aege
gen_fun: set context
i
n
no var
i
ables
const
r
uctor
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
r
d
oolaeg
e
gen_fun::Hadamard_
p
rod
u
ct: don't assume eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verd
o
ol
a
ege
b
arvinok_union: take
c
ontext
into account
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_scan: opti
o
na
l
ly skip basis redu
c
tion
commit
|
commitdiff
|
tree
2006-08-16
Sven V
e
rd
o
o
la
e
g
e
polytope_scan: sca
n
in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdo
o
la
e
ge
pol
y
tope_scan: sc
a
ns the integer points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sv
e
n
V
e
r
d
oolae
g
e
i
nstall NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
b
a
sis_
r
edu
c
tion
.
c: clean up GLP
K
me
m
o
ry
commit
|
commitdiff
|
tree
2006-08-13
S
ven Ver
d
o
o
l
aege
lexmin
.
cc: d
o
n'
t
bother transforming if
c
om
p
r
e
ss_pa
r
ms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoo
l
a
e
ge
lexm
i
n
.
cc: fix
u
se of compre
s
s_
p
arms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
sample
.
c: fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdo
o
laege
barvinok_count:
c
lean up memory after simplifying c
o
nstraint
s
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoolaege
R
EADME: updat
e
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
only perfo
r
m
lex
m
i
n
tests
w
hen lexmin has been compil
e
d
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
some m
o
re tests wi
t
h
unbo
u
nded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
add som
e
sm
a
ll tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n
Verdo
o
laege
lexm
i
n: barf when polyhedron
c
ontains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
lexmin: don'
t
print s
o
lut
i
on when verifyin
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdo
o
lae
g
e
verify_m
a
in
.
cc: cle
a
n u
p
memo
r
y
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verd
o
olaege
barvinok_
s
eries:
h
andle f
i
x
e
d polytopes
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoolaege
gen
_
fun:
add constructor for generating
f
un
c
ti
o
n w
i
th
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
e
r
doolaege
barvinok
.
cc
:
remov
e
_
m
o
r
e_equ
a
l
ities: handle
equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoola
e
g
e
gen_fun::coe
f
ficient: r
e
se
t
t
h
e
n
u
m
ber of
r
ows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaeg
e
lexmi
n
.
cc: use re
m
ov
e
_eq
u
alities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaeg
e
util
.
c: co
m
press_variables: e
x
t
r
acted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
l
e
xmin: do
n
'
t
c
h
eck anything if given range lies
outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
lexmin
.
c
c: remo
v
e_
e
quali
t
ies
;
t
a
k
e
preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
cc: remove_equa
l
i
t
ies:
exte
n
d returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
mi
n
.
cc:
i
n_do
m
a
in: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: re
m
ove some debugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaeg
e
reduce_domain: c
o
mput
e
c
o
nvex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_domain:
al
s
o check othe
r
parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
:
i
n
_domain: set val
u
es
i
f constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmin: p
l
ug
some m
e
mory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
rdoolaege
lexmin
:
an ex
p
e
r
imenta
l
t
o
ol
f
or
c
omputing th
e
parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erdool
a
e
g
e
add fdstr
e
am
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Ve
r
d
oolaege
evalue
.
c: flo
o
r
2
frac_r:
plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
barvinok
.
cc: unf
r
inge: work inc
r
eme
n
tall
y
commit
|
commitdiff
|
tree
2006-08-06
S
v
en
Ve
r
doolaege
evalue_frac2floor_in_domain: plug mem
o
r
y
leak
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
Polyhed
r
on_Sample: allow equal
i
ties in input
polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
ool
a
ege
Pol
y
hedron_Sample: make sure ve
r
t
ices are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdool
a
ege
Polyh
e
d
r
on_Sample
:
s
i
m
plify constr
a
in
t
s after
c
hoosi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Poly
h
edron_Sampl
e
: handle emp
t
y and 0D p
o
lyhed
r
a
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
o
o
l
a
eg
e
sample
.
c: alternat
i
ve implemen
t
ation of r
e
move_ra
y
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
V
e
rdool
a
e
g
e
sample
.
c: Polyhedron
_
Rem
o
veFi
x
edColu
m
ns: han
d
le pre
s
ence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
rdool
a
ege
barvi
n
ok_cou
n
t_f: c
h
eck
whether polyhed
r
on is
unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ver
d
o
o
laege
barvinok_
c
o
unt: s
i
mplif
y
constraints after rem
o
v
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_basis:
support 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolae
g
e
reduc
e
d_
b
a
sis:
e
n
s
ure
a
ll LP so
l
u
t
ions
a
re
n
on-ne
g
ativ
e
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
o
c
c
: pri
n
t parametric verti
c
es o
f
set using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
S
v
en V
e
rdoolaeg
e
occ: a
d
d inte
r
face
t
o
ba
r
v
i
nok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Verdoolaege
util
.
c:
p
rovide d
u
mmy barvinok_lexsma
l
ler
_
ev
w
hen LexSmalle
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
er
d
oolaege
4coins: comput
e
s
g
enerat
i
ng function for 4 coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
gen_fun::Ha
d
amard_product: apply parameter compres
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verd
o
olaege
g
e
n
_
f
un::
s
ubstitute: only pass in transforma
t
io
n
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolaege
scarf
.
c
c
: support more cases of 3 (independen
t
) c
o
n
s
t
r
a
i
n
t
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaeg
e
scarf
.
c
c: suppo
r
t m
o
re ca
s
es of 4 co
n
strai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
ol
a
ege
ge
n
fun
.
cc: add
g
en
_
fun::divi
d
e met
h
o
d
commit
|
commitdiff
|
tree
2006-07-27
S
ven
Verdoolaege
ge
n
fun
.
cc:
another gen_fun::summat
e
m
e
th
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doolaege
infi
n
ite_ico
u
nter: an incr
e
m
ental counter for
possib
l
y
.
.
.
commit
|
commitdiff
|
tree
next