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
verify.h: move barvinok_options into verify_options
2007-02-14
S
v
en Ve
r
d
o
olaege
v
erify
.
h
:
move barv
i
nok_opti
o
n
s
i
nto
verify_options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
o
l
aege
barvin
o
k_en
u
merate: pa
s
s p
a
ram
e
ter nam
e
s to
c
heck_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvi
n
ok_enumerate:
m
ore polynomm
i
al appr
o
ximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
evalue
.
c: a
d
d ev
a
lue_
f
rac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
evalu
e
.
c:
extract evalue_split_domains_into_orthant
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
o
laege
poly
s
ign
.
c: fix cdd_
p
olyhedron_affine_sign
p
rototy
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
Makefile: onl
y
check lex
m
in if it has been compiled
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n Verdoolaege
add P
a
ram_Po
l
y
he
d
ron_
S
cale
_
Integer prototy
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
V
erdoolaege
lattice_point
.
cc:
a
d
d sanity chec
k
for index o
f
cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
test: initialize n
b
M
a
t
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
lae
g
e
barvinok_e
n
um
e
rate
:
o
p
t
ionally c
o
m
p
u
te a
polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Pr
o
vi
d
e replacement
f
or n
e
w PolyLib
functio
n
Param_Polyhedr
o
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add evalue_div (adapted fro
m
PolyLib
)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
test: simple t
e
s
t
for P
o
lyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdo
o
laege
Ma
k
efi
l
e
.
am: add dependencie
s
for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
genf
u
n
.
cc
:
short_rat::nor
m
a
lize
:
mic
r
o-optim
i
z
at
i
ons
commit
|
commitdiff
|
tree
2007-02-11
S
v
en
V
erdoolaege
Q
Q: ca
n
onic
a
lize
on read and multiplicati
o
n
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
olaege
doc: barv
i
nok_series requires p
o
lyhedron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
erdoola
e
ge
Make
f
ile
.
am: che
c
k
barvinok_enum
e
rate
--series d
u
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoola
e
ge
bar
v
in
o
k_enumerate:
compu
t
e ser
i
es of
polyhedr
a
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
u
til
.
c: mov
e
Po
l
y
hedron_has
_
positive_rays from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaeg
e
te
s
t all spe
c
ializat
i
on algorithms during make ch
e
ck
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
olaege
pass options throug
h
to bar
v
inok_c
o
u
n
t in
ba
r
vinok_enume
r
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
Ver
d
oolaege
Hand
l
e non-unimod
u
lar c
o
n
e
s in dual de
c
omposition
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdo
o
laege
barvin
o
k_stats: ren
a
m
e
unimodu
l
ar_co
n
es
to base
_
cones
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
r
d
oolaeg
e
re
d
u
c
e
r
.
cc:
e
xtra sani
t
y checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Ver
d
oolaege
Handle n
o
n-un
i
modular
c
o
nes with a speci
f
i
e
d maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
d
e
composer
.
c
c
:
deco
m
pose: minor
clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoolaeg
e
b
a
rvin
o
k_
o
p
t
ions:
i
nclude poi
n
t
er to barvin
o
k_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdo
o
laege
ad
d
barvinok_opt
i
ons_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaeg
e
barvinok_enumerate: collect sta
t
s o
n
num
b
er of unimodul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdoola
e
ge
dec
o
mposer
.
cc: polar_decomp
o
se:
remo
v
e
c
ommon divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoolaege
parti
a
l
_
redu
c
er: specialize l
i
st ver
s
ion of base
commit
|
commitdiff
|
tree
2007-02-05
S
v
en Ver
d
o
o
l
a
ege
reducer::red
u
ce:
bet
t
er
h
a
n
dlin
g
o
f
te
r
ms w
i
th common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sve
n
Verdoolaege
reduc
e
r::reduce: co
m
bine nu
m
er
a
tor
s
w
ith
e
qua
l
u
n
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sv
e
n Verdoolaege
Q
Q
:
add operat
o
r
f
o
r
m
u
ltiplication of vector by
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
ven
V
erdoolae
g
e
redu
c
er::reduc
e
: t
a
ke a list of numerat
o
rs
as
input
commit
|
commitdiff
|
tree
2007-02-02
S
ven
V
erdoo
l
aeg
e
gen_fun::read: read ge
n
_fu
n
f
r
om file descr
i
ptor
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
add gen_fun::add(short_rat *
r
)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL
_
QQ
.
c
c
: support reading
f
r
o
m
st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ve
r
d
oolaege
g
e
n
_
fun: a
d
d operator
f
or print
i
n
g to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
g
e
nfun
.
cc
:
add s
h
ort_rat
copy constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
d
p
o
ly_r: micro-
o
p
timizations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olae
g
e
d
poly: mark so
m
e
m
ore arg
u
ments/methods const
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdoolaege
short_rat
:
:add:
mar
k
short_rat argument con
s
t
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verd
o
o
l
aege
NTL_QQ: attempt to
s
p
eed-
u
p +=
o
p
e
rator
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
dpoly: add some documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoola
e
g
e
dp
o
ly: add some
more o
p
erations
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdool
a
ege
barv
i
nok/g
e
nfun
.
h: fix co
m
ment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
e
rdoolaege
Q
Q
: add op
e
rator for multipl
i
cation by a scalar (ZZ
)
commit
|
commitdiff
|
tree
2007-01-18
Sven Ve
r
do
o
laege
Makef
i
le
.
am
:
c
he
c
k
-series
:
check
-
-primal as w
e
ll
commit
|
commitdiff
|
tree
2007-01-16
Sven
Verdoolaege
M
a
kefile
.
am: insta
l
l
(some) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven
V
erdoolaege
undefin
e
C
S
for Solar
i
s
10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
b
a
r
vinok_enumer
a
te: h
a
ndle l
i
nes in input polyhe
d
ra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoo
l
aege
util
.
c:
m
ove l
e
ft_invers
e
from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
ge
n
_fun::coe
f
f
icie
n
t: mov
e
p
r
inting to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
gen_fun::coefficient: new versi
o
n returning
Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
genfun
.
cc:
move coef
f
icient com
p
utation to sho
r
t_ra
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
p
artial_reducer: re
s
tart
c
omput
a
tion if random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun: expose clear_terms, a method for
cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en V
e
rdoolaege
gen_fun::Hadamard_produ
c
t
:
propagate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaeg
e
b
arvi
n
ok_enu
m
e
r
at
e
: integra
t
e
v
erif_
e
hrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
barvin
o
k
_
enumerate: integ
r
ate barv
i
nok_series
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
ba
r
vi
n
ok
_
e
n
u
merate: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin: make lexmin o
p
tion
s
p
r
ivate
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
la
e
ge
Rever
t
"bernstein/configure
.
in:
r
emove
red
u
ndant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok
.
cc: mak
e
u
se
of sampling for counting
i
nfi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdool
a
ege
barvinok_e
n
umerate
_
e:
r
e
s
pect --table
o
ption
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
l
e
xmin
.
cc: mo
v
e selection of gbr solver t
o
o
ptions
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
lexmin: use ar
g
p
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
er
d
oolae
g
e
b
a
rv
i
nok_enumerate_e: extract
out verification
options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
b
a
rvinok_en
u
merate_e:
p
r
i
nt war
n
in
g
when --o
m
ega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaege
bernst
e
in/con
f
igure
.
in: rem
o
ve red
u
ndant
c
hange to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
e
rdo
o
l
a
ege
bar
v
inok/polyli
b
.
h: d
e
f
i
ne value_subtract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n
Verdoolaege
d
ecomposer
.
cc: decompos
e
: micro
-
opti
m
ization
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Ve
r
doolaege
signed_cone: store rays
of cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oo
l
aeg
e
le
x
m
i
n: disab
l
e
u
se of
l
ookup-
t
ables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
barvinok_enumerate_e
.
cc: f
i
x ar
g
p options parser
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verd
o
o
l
aege
op
t
ions
.
c: mo
v
e ch
o
ice of
u
s
e o
f
l
o
okup-table
t
o barvi
n
ok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
o
olaege
lattice_point
.
cc: fix #ifnde
f
USE
_
M
O
DULO c
o
d
e
path
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
Verdoolaege
decomposer
.
c
c: s
h
or
t
_vector:
r
emove r
e
d
undant
co
d
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolae
g
e
d
ecomposer
.
cc: short_vector:
negate lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ve
r
do
o
laege
barvinok
.
cc
:
series: on
l
y require rays to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolae
g
e
barvinok
.
cc: series: pass ful
l
options to barvinok_
c
o
unt
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoo
l
a
e
g
e
np
_
base::handle: pass
around rays matrix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
o
o
l
aege
decomposer
.
cc: support primal decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomp
o
ser
.
cc: b
a
rvi
n
ok
_
decompose: im
p
lement
i
n terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
barvinok_enumerate:
r
e
sp
e
ct i
n
crementa
l
_spe
c
ia
l
izatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
int
r
o
d
u
ce sign
e
d_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
separ
a
te out decom
p
os
i
tion
commit
|
commitdiff
|
tree
2007-01-03
S
ven
Ve
r
doo
l
aege
test: use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolae
g
e
update argp
from
gnulib
and add progname mo
d
u
l
e
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolaege
barvinok_enumera
t
e
_e
.
c
c
: don't ex
i
t on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Verdoolae
g
e
li
b
/argp
.
h: remov
e
__N
T
H for __argp_
u
sage inl
i
ne
f
unction
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
V
erdoolaege
barvinok_enu
m
er
a
te_e
.
cc: re
m
ove
a
nother duplic
a
te defin
i
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvin
o
k_enu
m
era
t
e
_
e
: us
e
argp
parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Ve
r
doolaege
barvinok_count: use
argp
pa
r
ser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoola
e
g
e
optio
n
s
.
c
:
add argp pars
e
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdool
a
ege
a
d
d
a
rg
p
from gnulib
commit
|
commitdiff
|
tree
next