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 Verdoolaege
evalu
e
.
c: evalue_
d
enom: declare va
r
iable at s
t
art of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
ven Verdoolaege
evalue
.
c: exp
o
rt
e
value
_
denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdool
a
ege
scarf
.
cc:
h
andle
c
ase whe
r
e
four constraints lead
t
o
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
util
.
c: co
m
press_variables: d
e
clare vari
a
ble at star
t
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdo
o
laege
ev
a
lue
.
c: copy (and adapt) copyright statement
from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Ve
r
doolaege
doc: add
s
ome
r
eferences
to publi
c
ations
commit
|
commitdiff
|
tree
2006-09-26
Sven
V
erdoola
e
ge
lexmin
.
cc: reen
a
ble op
t
imizat
i
on of ch
e
cking
d
om
a
in
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven
V
erdoolaeg
e
eval
u
e
.
c: clean
u
p in_doma
i
n
commit
|
commitdiff
|
tree
2006-09-25
Sve
n
Verdoolaege
edomain
.
cc: add
EDomain::cont
a
ins
commit
|
commitdiff
|
tree
2006-09-24
S
v
en
V
e
rdoolaege
lexmin
.
c
c
:
m
ax_term::pr
i
nt: print f
l
oors
e
xplicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven
V
erdoo
l
aege
lexmi
n
.
cc: di
s
able
p
ossibly overzealous optimiz
a
tion
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdoolaege
edomain
.
cc
:
remembe
r
"constrai
n
t" r
e
prese
n
t
ation
of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
ven Verdoolaeg
e
reduced_basis: rese
t
"negative widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven
Verdoolaege
lexmi
n
.
cc: m
o
ve mo
r
e co
d
e
t
o
e
do
m
ain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n
Ve
r
doo
l
ae
g
e
edomain
.
h: add E
D
omain
_
fl
o
or abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
er
d
o
o
laege
l
e
x
mi
n
.
cc
:
d
efine max_te
r
m ove
r
a
n
EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
reducer
.
h: add virtual destructor to np_ba
s
e to
a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolae
g
e
le
x
mi
n
.
cc: ext
r
act ou
t
s
o
me code to evalue_util an
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verd
o
o
l
aege
opt
i
ons
.
c
:
p
i
c
k
up definition
of POL_INTE
G
ER from barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdool
a
e
ge
optionc
.
c: move cho
i
ce o
f
which s
p
ecialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoola
e
ge
omega/parser
.
l: let flex define yyl
i
neno
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaeg
e
lexmi
n
.
cc
:
optio
n
ally
sk
i
p check
fo
r
empty doma
i
ns
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdo
o
laege
evalu
e
.
c: reduc
e
_evalue_i
n
_domain: r
e
du
c
e t
o
zero eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
lex
m
in
.
cc: use barvin
o
k_o
p
ti
o
ns
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
i
ntrod
u
c
e
barvinok_options structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
o
laege
le
x
mi
n
.
cc: compu
t
e generati
n
g fu
n
cti
o
ns of
v
ertex
c
ones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaeg
e
lex
m
in
.
cc:
m
o
ve
s
ome c
o
de around to prepar
e
for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sve
n
Verdoolaege
evalue: declare argument of eadd and evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
er
d
ool
a
ege
lexmin
.
cc: p
e
rform
s
ubs
t
itution immediately
o
n each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven
Ve
r
d
oolaege
R
EADME: add a war
n
ing o
n
(n
o
t) using
shared
libr
a
ri
e
s
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaeg
e
e
v
a
lue
.
h: ch
a
nge name of header d
e
f
i
ne
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
doolaege
eval
u
e
.
h: make more sel
f
-co
n
tained
commit
|
commitdiff
|
tree
2006-08-26
S
ven
V
erdool
a
ege
bfco
u
nter
.
h: und
e
f
i
ne
d
i
v
ide from
p
olylib's
arithmetiqu
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
ve
n
Verdool
a
ege
con
f
igure
.
in: no longer compile shared l
i
b
r
aries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rdoolaeg
e
README:
r
efle
c
t that --enabl
e
-f
r
a
c
tional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
lex
m
in: remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
olytop
e
_scan: optional
l
y skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
po
l
ytop
e
_scan
:
scan in red
u
c
e
d
ba
s
is
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
o
lytope_scan:
s
cans the integer
po
i
nts in a p
o
ly
t
o
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoola
e
ge
install N
T
L_QQ
.
h h
e
ader
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
b
a
sis_reduction
.
c: clea
n
up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolae
g
e
lex
m
in
.
cc: don't
b
other
t
ransf
o
r
m
i
ng if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmi
n
.
cc
:
fix use of c
o
m
p
ress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
ol
a
ege
sample
.
c
:
fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
barvinok_
c
ount: clean up me
m
ory
a
f
ter simplifyi
n
g constraints
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Ver
d
oolaege
README: upd
a
te
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
o
n
l
y p
e
rform lexm
i
n
t
e
sts when lexmin has been co
m
piled
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
o
o
lae
g
e
some more tests with unbounded polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolae
g
e
add
s
o
me sma
l
l tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
lexmi
n
: barf w
h
e
n polyhedron contains li
n
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lex
m
i
n: don't print solution wh
e
n v
e
rifying
commit
|
commitdiff
|
tree
2006-08-11
Sve
n
V
e
r
doolaeg
e
verif
y
_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdool
a
ege
bar
v
inok_s
e
ries: handle fi
x
ed polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaeg
e
gen_f
u
n: add constructor for generatin
g
function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok
.
cc
:
rem
o
ve_more_equalities: h
a
ndle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_f
u
n:
:
coe
f
ficient:
res
e
t the
n
umber of r
o
ws in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaeg
e
lexmin
.
cc: use re
m
ove
_
equalities consi
s
t
e
ntly
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
util
.
c: compress_variables: extracte
d
fro
m
lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin: d
o
n't check anything if given
rang
e
lies outsid
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remove_eq
u
alitie
s
;
t
ake
p
reimage wit
h
ret
u
rne
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
rdoolaeg
e
l
e
xmin
.
cc: remov
e
_equalities:
extend retur
n
e
d
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoo
l
aege
lexmin
.
cc:
i
n
_
doma
i
n: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexm
i
n
.
cc
:
remove some
debug
g
ing res
i
dues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
re
d
uce
_
domain: compute convex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_domain:
a
lso check othe
r
parts o
f
uni
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: i
n
_
d
o
m
a
in: set val
u
es if c
o
nstrai
n
ts don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoo
l
aege
le
x
min: plug
some
memory
leak
s
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
lexmin: an experimental
t
ool for c
o
mputi
n
g th
e
p
a
rametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolae
g
e
ad
d
fdstre
a
m
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erd
o
olaege
eva
l
u
e
.
c: floor2frac_r: plug memor
y
le
a
k
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Ver
d
oolaege
barvinok
.
cc: unfring
e
: wor
k
incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Ver
d
ool
a
ege
evalue_frac2floor_in_domai
n
: plug m
e
mory
leak
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
V
erdoolaege
Po
l
yhedron_
S
ample: all
o
w
equalities
i
n
input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhed
r
o
n_Sample: make sure
ver
t
ices are
available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhe
d
ron_Sample: si
m
pli
f
y
constraints after choos
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
Po
l
yhedron_Sample: han
d
le empty and
0
D polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdo
o
l
a
e
g
e
s
a
mple
.
c: a
l
ternati
v
e
implement
a
tion of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Ver
d
oolaege
sample
.
c:
Polyhedron_RemoveFixedColumns: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
barvinok_
c
o
u
nt_f
:
check whether polyhedron is unb
o
u
nded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
barvi
n
ok_count: simplify co
n
strai
n
ts after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
r
e
duced_basis: support 1D polytop
e
s
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
reduced_basi
s
:
e
nsure all LP solutions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
S
ven
V
erdoolaege
occ: p
r
i
n
t
parametric
v
e
r
tices of set using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Verdoo
l
a
e
ge
o
cc
:
add interface to barvinok_l
e
xsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
util
.
c: prov
i
de dummy barvinok_lexsm
a
ller_ev
when LexS
m
aller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
d
o
ola
e
ge
4coins: comp
u
t
es generating
f
unct
i
on for 4 coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fu
n
::Had
a
mard_product: app
l
y parameter co
m
pr
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verdoolaege
gen_fun::s
u
b
s
t
itute: only pass in
transfor
m
ation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Ve
r
doolaege
scarf
.
cc:
support more cases of
3 (independe
n
t) co
n
st
r
aints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
ege
scarf
.
cc:
s
upport
m
or
e
cas
e
s of 4 cons
t
r
a
in
t
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
g
enfun
.
c
c
: a
d
d ge
n
_fun::divide m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
ege
genfu
n
.
cc: another gen_fun::s
u
mma
t
e method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
infinite_icounter: an incr
e
mental counter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaege
icounter: move from ba
r
vinok
.
cc
t
o reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
do
o
l
aege
b
f
enumerator::set_fac
t
or: plug small mem
o
r
y leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bar
v
inok_enumerate_un
i
o
n_series:
use gen_fun::su
m
m
a
te
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
genfun
.
cc: add gen_fun::
s
ummate
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun::Ha
d
amard
_
p
r
oduct: optimize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_f
u
n:
:
Hadamard_p
r
o
d
uct: m
a
ke f
i
rst
a
rgument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_decomposer::
d
e
c
omp
o
se: m
a
k
e
sure vertices have
.
.
.
commit
|
commitdiff
|
tree
next