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
polysign.c: fix cdd_polyhedron_affine_sign prototype
2007-02-12
S
ven
V
erdoolaege
polysign
.
c
: fix cd
d
_
p
o
lyhedron_affine_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
Makef
i
l
e: only
c
heck lex
m
in
i
f it has
been compil
e
d
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verd
o
olaege
add Par
a
m_Polyhe
d
ron_Scale_Integer prototy
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
lattice_point
.
c
c
: add sanity
c
heck for
i
ndex
o
f cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
test
:
in
i
tialize
n
bMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
b
arvinok_enumerate: optionally
c
ompute
a
polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
Prov
i
de replace
m
ent for new Pol
y
L
ib
function Param
_
Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
V
erd
o
olaege
a
dd evalue_d
i
v
(ad
a
p
t
ed from Po
l
y
Lib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
test: simple test for PolyLib's
S
m
i
t
h
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefile
.
am:
add depe
n
dencies for c
h
e
c
ks
commit
|
commitdiff
|
tree
2007-02-11
S
v
e
n Verd
o
olaege
genfun
.
cc
:
short_rat::normalize: micro-optimization
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Ver
d
oolaege
QQ: c
a
nonicalize on read a
n
d
m
ult
i
p
lication
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdoolaege
d
o
c:
b
ar
v
inok
_
series requires polyhedron t
o
have
*rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Make
f
ile
.
am: check
b
a
r
vinok_
e
numerat
e
--series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
barvinok
_
enu
m
erate: compu
t
e ser
i
es of polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoolaege
util
.
c:
m
ove Polyhedron_has_
p
o
s
i
tive_rays
from b
a
rvinok
.
c
c
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
test all
specia
l
ization alg
o
rithm
s
durin
g
make check
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
pass op
t
ions through t
o
barvino
k
_count in barvinok_en
u
m
e
rate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Ve
r
doolae
g
e
Handle non-unim
o
dul
a
r cones
i
n dual d
e
composition
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
ba
r
vino
k
_
stat
s
: rename uni
m
o
d
u
la
r
_cones to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Ver
d
oolaege
reducer
.
cc:
e
xtra sani
t
y chec
k
s
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdool
a
ege
H
andle non-unimodular cones with a specified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sv
e
n
Verdoolaege
deco
m
poser
.
cc: de
c
o
m
pose: mino
r
clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoolaege
ba
r
v
i
nok_
o
ptio
n
s: in
c
l
u
de pointer to barvi
n
ok
_
stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
oolaege
add
barvinok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoolaege
barvi
n
ok
_
enumerate: co
l
l
ect sta
t
s on nu
m
ber of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdoola
e
ge
decomposer
.
cc: polar_
d
ecompo
s
e: remove co
m
m
on divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
partial_reducer: sp
e
ciali
z
e
list version of base
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n Verdoo
l
aege
r
e
ducer::r
e
duce
:
b
etter handling
o
f terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Ve
r
do
o
laege
reducer::red
u
ce: combine
numera
t
o
rs with e
q
ual unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sv
e
n
V
erdo
o
laege
Q
Q
: a
d
d oper
a
to
r
for multi
p
lication o
f
vector b
y
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
reducer::re
d
uce
:
take a l
i
st of nu
m
e
ra
t
ors as
input
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
Ve
r
doolaege
ge
n
_fun::read
:
r
e
ad gen_fun from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
o
laege
add gen_fun::ad
d
(short
_
rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
NTL
_
QQ
.
cc: support reading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolae
g
e
gen_fu
n
: ad
d
operator for pr
i
n
t
i
n
g
to
s
t
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdool
a
e
ge
genfun
.
c
c: add short_ra
t
copy cons
t
ructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
dpol
y
_r: micr
o
-optimizati
o
n
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: m
a
rk som
e
mo
r
e a
r
guments
/
metho
d
s const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
short_ra
t
::add: mark
s
hort_r
a
t ar
g
ument const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
NTL_QQ: attempt
t
o speed-up +=
operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
dp
o
ly: a
d
d
s
ome
d
ocumentation
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
dpoly: add
some more
o
pe
r
ations
commit
|
commitdiff
|
tree
2007-02-02
Sven
Ve
r
d
oolae
g
e
barvinok/genfu
n
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
QQ: add operator fo
r
m
u
ltiplication
b
y a scalar (Z
Z
)
commit
|
commitdiff
|
tree
2007-01-18
Sven
V
erdoolaege
Makefi
l
e
.
am: ch
e
ck-series:
check --pri
m
al as well
commit
|
commitdiff
|
tree
2007-01-16
Sv
e
n V
e
rdoolaege
Makefil
e
.
am: install (so
m
e)
b
inaries
commit
|
commitdiff
|
tree
2007-01-15
S
v
en
Ver
d
oo
l
aege
u
n
defin
e
C
S fo
r
Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
barvinok_enumerate: handle lines i
n
input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven
V
e
rdoolaege
u
t
il
.
c: move lef
t
_inverse from
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven
Ve
r
doolaege
gen
_
fun::coeff
i
ci
e
nt:
move
printing t
o
short_
r
at
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ve
r
doolaege
g
e
n
_
fun::coefficient: new
version returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
genfun
.
cc: move coeffici
e
n
t computat
i
on to short
_
rat
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
pa
r
tial_red
u
c
er: rest
a
rt computation if ra
n
d
om vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
Verdoo
l
a
ege
gen_fun: expose
clear_terms
,
a method for
c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
en_fun::Ha
d
amar
d
_product:
p
r
opagate full option
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
barvinok_en
u
merate: in
t
egrate verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ver
d
oolaege
barvinok_enumer
a
te:
i
n
t
e
g
rate barvino
k
_series
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
r
doolaege
barvi
n
o
k_
e
numerate: us
e
arg
p
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
lexmin
:
m
a
ke lexm
i
n opt
i
ons p
r
i
v
ate
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
Revert "bernstein/configure
.
in: remov
e
redundant
change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olae
g
e
barvinok
.
cc: make use of sampling
f
or counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
barvinok_e
n
umerate_e: respect --table op
t
ion
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
lex
m
in
.
cc:
m
ove selection of gbr solver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
:
use
a
rgp
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n
Ve
r
dool
a
ege
bar
v
inok_enumer
a
te_e
:
extr
a
ct out verific
a
tion options
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdoolaege
barvin
o
k_e
n
umerate_e: print warning when --om
e
g
a or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
b
e
rnstein/configure
.
i
n
: rem
o
ve redundan
t
change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verdoola
e
ge
barvino
k
/polylib
.
h: define
v
alue_subtr
a
ct
and value
_
addmu
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
decomposer
.
cc: decomp
o
se: micro-optimizatio
n
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
V
e
rd
o
ol
a
ege
signe
d
_cone: sto
r
e rays of c
o
ne
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lexmin:
d
i
s
a
b
le use of
look
u
p-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
barvinok_enumerate_e
.
cc: fix argp opt
i
o
n
s pa
r
s
e
r
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
options
.
c: m
o
v
e
ch
o
ice of
use of lookup-table to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
la
t
ti
c
e
_point
.
cc: fix #if
n
def USE_MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
decomposer
.
cc: s
h
ort_
v
ector: remove
redu
n
d
ant co
d
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
dec
o
mpose
r
.
cc: short_vector: negate lambda if z i
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaeg
e
b
a
rvinok
.
cc: seri
e
s:
o
nly requi
r
e r
a
ys
to b
e
r
evlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
ba
r
v
inok
.
c
c
: seri
e
s: pass fu
l
l options
to barvi
n
ok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
np_
b
a
se:
:
handle: pass around ray
s
m
a
t
rix
instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
decomposer
.
cc: support pri
m
al deco
m
p
o
s
i
t
i
on
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
decompos
e
r
.
c
c
: barv
i
n
o
k_de
c
ompos
e
: implement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
barvinok
_
e
numer
a
te: respec
t
incremental_
s
peci
a
lization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
do
o
l
a
e
g
e
int
r
oduce s
i
gned
_
cone
s
truct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
separate out decompo
s
ition
commit
|
commitdiff
|
tree
2007-01-03
S
ven V
e
rdool
a
ege
t
e
st: us
e
a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-28
Sve
n
Ve
r
doolaege
update argp from g
n
ulib
and add pr
o
gname mod
u
le
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoolaege
ba
r
vinok_
e
numerate_e
.
cc: do
n
't exit on
u
nrecognize
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolaege
lib/ar
g
p
.
h
: remov
e
__NTH f
o
r __argp_
u
sage inline function
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
ol
a
ege
barvinok_enumerate_e
.
cc:
remove another d
u
plicate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
ven
Verdoolaege
barvinok_en
u
m
erate_e
:
use argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
a
rvino
k
_
c
ount: use argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n
V
er
d
o
o
laege
options
.
c
:
a
d
d argp
parse
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdoolaege
add argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
s
c
arf
.
cc: make
c
ompat
i
b
le
wit
h
older v
e
rsions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolaege
a
d
d
m
i
s
s
in
g
ass
e
rt
.
h #inc
l
u
des
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdo
o
laege
Makefile
.
a
m:
add re
m
ove
_
e
quali
t
ies
.
h
t
o distribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoola
e
ge
configure
.
in: only configure bernstein if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
S
ven Verdoolaege
bernstein:
c
onfigure
.
in: chec
k
for Gi
N
a
C
commit
|
commitdiff
|
tree
next