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: clean up in_domain
2006-09-25
Sven
V
er
d
oola
e
ge
evalu
e
.
c: clean up in_
d
omain
commit
|
commitdiff
|
tree
2006-09-25
S
ven Verdoola
e
g
e
edo
m
a
i
n
.
cc:
a
dd
E
Domain::cont
a
ins
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc: max_term::print: print
floo
r
s explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
v
en Verdoolaeg
e
lexmi
n
.
c
c
: disabl
e
possib
l
y overzea
l
ous
o
ptimiza
t
ion
commit
|
commitdiff
|
tree
2006-09-23
Sven
Ve
r
doolaege
edomain
.
cc:
r
emember
"
constrain
t
" repr
e
se
n
tation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
v
e
n
Verdoolaege
reduced_basis: reset
"
n
e
gat
i
ve
widths" to
zero
commit
|
commitdiff
|
tree
2006-09-23
Sven V
e
r
doo
l
aege
lexmin
.
cc: mo
v
e more
co
d
e
t
o e
d
omain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
v
e
n
Verdoolaege
edomain
.
h: add
EDomain_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n V
e
r
doolaege
l
e
xmin
.
c
c
: define max_ter
m
over a
n
EDo
m
ai
n
rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
rd
o
olaeg
e
reducer
.
h
: add virtu
a
l d
e
structor to
np_base to
a
vo
i
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verd
o
olaege
l
exmin
.
cc: extra
c
t out
some
c
ode to evalue_u
t
il and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
e
n
Verdoolaege
options
.
c: pick
up d
e
finition of POL_IN
T
EGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
r
d
oolaege
optionc
.
c:
m
ove choi
c
e of
which speciali
z
ation to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
om
e
ga
/
parse
r
.
l: let flex defin
e
yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
lexmin
.
cc:
o
p
ti
o
n
ally skip c
h
eck for
empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
e
rdo
o
lae
g
e
evalue
.
c:
reduce_
e
value_
i
n_domain: reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
olaege
l
e
xmi
n
.
cc: use ba
r
vinok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
in
t
rod
u
ce bar
v
in
o
k_opt
i
ons
s
tructure
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolae
g
e
lexmi
n
.
c
c: compute gener
a
ting func
t
ions
of ver
t
ex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
doola
e
ge
lexmin
.
cc:
move some
c
o
d
e
aroun
d
to p
r
epare for
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sv
e
n
V
erdoolaege
evalue: dec
l
are
argu
m
ent
o
f eadd
a
nd eval
u
e
_
copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
lexmin
.
cc: perform subst
i
tutio
n
immediately on
each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Ve
r
do
o
lae
g
e
README: add a
warning on (not) using shared libraries
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n Verdoolaege
evalue
.
h: chan
g
e
name o
f
header
d
e
fine
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdo
o
laege
evalue
.
h: m
a
ke more self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoo
l
aeg
e
bfcounter
.
h
: undefi
n
e divide f
r
o
m
polyli
b
's
a
rit
h
m
e
t
i
que
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoola
e
ge
conf
i
g
u
re
.
in: no longer compile
s
ha
r
ed libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
R
EADME: refl
e
ct that --enable-fr
a
c
t
i
o
nal
is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
lexmi
n
: remo
v
e
d
uplicate
u
nfri
n
g
e
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
po
l
y
tope_s
c
a
n
: optionall
y
sk
i
p
b
asis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven
Ve
r
doolaege
polytop
e
_s
c
an
:
scan in reduced
b
asi
s
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
olaege
po
l
y
t
ope_scan:
sc
a
n
s t
h
e integer poin
t
s in
a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Ver
d
oola
e
ge
install NT
L
_QQ
.
h
header
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoolae
g
e
ba
s
is_
r
eductio
n
.
c: clean up GLPK mem
o
r
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: don'
t
bother tr
a
nsf
o
rming if c
o
m
press_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: fix
use
of com
p
ress_parms
commit
|
commitdiff
|
tree
2006-08-13
S
v
en V
e
r
d
o
o
laege
s
ample
.
c: fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
barvinok_cou
n
t: clean up memory after si
m
p
l
i
f
ying constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolae
g
e
R
EADME:
update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
on
l
y perform lexmi
n
tests when lexmin has been
c
om
p
iled
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaege
some more
tests
w
ith
u
nbounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
d
oola
e
ge
add some small tes
t
s for lex
m
in
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
l
exmin: barf w
h
en polyhedr
o
n contains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
lex
m
in: don't print
solu
t
ion when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Ver
d
oo
l
aege
verify_main
.
cc: clean up
memor
y
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdo
o
lae
g
e
b
a
rvi
n
ok_
s
e
ries: handle
f
ix
e
d
polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
o
laege
gen_fun:
ad
d
constr
u
ctor f
o
r gener
a
ting function wit
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolaege
barvinok
.
cc: remove_more_equalities: handle
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_
f
un::coe
f
ficient: reset the number of rows in
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven
V
erdoolaege
lexmin
.
cc: use remove_equalit
i
es c
o
nsist
e
ntly
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verd
o
olaege
ut
i
l
.
c: compres
s
_variables: ext
r
acte
d
fr
o
m lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
lexmi
n
:
don
'
t
check anythi
n
g
i
f given rang
e
l
ies out
s
i
de
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Ve
r
doolaege
lexmin
.
cc: re
m
ove_equalities; take
preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lex
m
in
.
cc:
remove_equ
a
l
ities: extend returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc:
i
n_domain
:
fi
x
typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xmin
.
cc: remove some
d
ebug
g
ing r
e
s
i
dues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
reduce_domain
:
compu
t
e convex
u
nion of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_do
m
ain
:
also c
h
eck ot
h
er parts of
union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
l
a
ege
l
e
xm
i
n: in
_
domain: set values if constraint
s
don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lexmin:
p
l
ug some m
e
mory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
ola
e
ge
lexmin: a
n
experiment
a
l tool for compu
t
i
n
g the
par
a
m
e
tric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
doolaege
add fdstre
a
m
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoola
e
ge
evalu
e
.
c: floor2fra
c
_r:
p
l
ug memo
r
y leak
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoolaeg
e
barvinok
.
cc: un
f
rin
g
e
:
work inc
r
ement
a
lly
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaeg
e
ev
a
lue_frac
2
floor_
i
n_
d
omain:
plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sample
:
allow eq
u
a
l
ities in inpu
t
polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
Polyhedron_Samp
l
e: make sure vertices are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoola
e
ge
Polyhedron_
S
a
m
p
le: simplify con
s
traints after ch
o
osing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Ver
d
o
o
laege
Polyhedro
n
_Sample: handle empty
and
0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaege
sample
.
c: alternative implementat
i
on of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
sample
.
c: Poly
h
e
dron_RemoveFixedColumn
s
: hand
l
e presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
barvinok_count_f: ch
e
ck whether polyhedron is
u
nbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Ver
d
o
olaege
barvinok
_
count: s
i
mplify
constraints after
r
emo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
r
e
d
uced_
b
as
i
s: su
p
port 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoo
l
aege
reduc
e
d_basis: ensure all
LP sol
u
t
ions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
S
v
en Verdoolaege
occ: print parametri
c
ver
t
ices of set
u
sing PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verd
o
olaege
occ: add inte
r
f
ace
to barvinok_lexsmaller
_
ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
ut
i
l
.
c: provide dummy barvinok_
l
exsmalle
r
_ev
w
hen LexSma
l
l
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: compu
t
es generat
i
ng function fo
r
4 coi
n
Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoola
e
ge
gen_fu
n
:
:Hadamard_produ
c
t: ap
p
ly parameter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
lae
g
e
gen_fun
:
:substitute: only p
a
s
s in tr
a
nsformation matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
laege
sca
r
f
.
cc: support more
cases of 3 (independen
t
) constrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoola
e
ge
scarf
.
cc: su
p
port more cases of
4
c
o
n
straints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc: add gen_
f
un::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdo
o
laege
genfun
.
cc:
a
noth
e
r
g
e
n_fun
:
:s
u
mmate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
e
g
e
i
n
fin
i
t
e
_i
c
ou
n
t
er: an inc
r
emental c
o
unter f
o
r possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
Verdo
o
l
aege
icount
e
r:
move from barvinok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
bfenume
r
a
tor
:
:set_factor: plug s
m
a
ll memory
l
e
a
k
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verd
o
olaege
barvin
o
k_enum
e
rat
e
_union_series: use ge
n
_fun::summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
ge
n
fun
.
cc: add g
e
n_fun::summate method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
g
en_fun::Hadamard_product: optimiz
e
computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n V
e
rdool
a
ege
gen_f
u
n
::Hadamard_product: make
first argument
c
o
n
st
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_dec
o
mposer::decompose: m
a
ke sure ve
r
tices h
a
ve
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
np_bas
e
: add do
_
vertex
_
cone method
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Ve
r
doolae
g
e
gen_fun
:
:print: allow prin
t
ing to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdoolae
g
e
b
fcounter
.
cc: mo
v
e so
m
e more code
f
rom barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
gen_fun
.
h
:
short_rat:
use QQ inste
a
d of pa
i
r of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NT
L
_QQ
.
c
c: a ra
t
ional NTL
t
y
pe
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
v
e
rify_m
a
in
.
cc: small memo
r
y clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
ba
r
vino
k
_
s
eries: move choice of which gf_bas
e
subclass
.
.
.
commit
|
commitdiff
|
tree
next