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
Sven Verdool
a
ege
v
erify
.
h: m
o
v
e
barvi
n
ok_options into verify_opt
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvinok_enumerate
:
pass parameter na
m
e
s
t
o
c
h
eck_
p
oly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvinok_enumerate: more pol
y
nomm
i
al appro
x
i
mations
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
evalue
.
c
:
a
d
d
eva
l
ue
_
frac2polynom
i
al
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
laege
e
v
alu
e
.
c: e
x
t
rac
t
eval
u
e
_spli
t
_
domains
_
into_or
t
hants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaeg
e
polysign
.
c: fix c
d
d
_
polyhedron_af
f
ine_
s
i
g
n prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makef
i
le: onl
y
check lex
m
in if it has been compiled
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoo
l
aege
add Pa
r
am_Polyhedron_
S
ca
l
e_Integer protot
y
pe
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
lattice_p
o
int
.
cc: ad
d
sanity check
f
o
r
index of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
te
s
t: initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
barvinok_enu
m
era
t
e: optionally compute
a
pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
Ve
r
doola
e
ge
P
r
ovide replacement for new PolyLib func
t
ion Param_P
o
lyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
add
e
val
u
e_div (ad
a
p
t
ed
f
rom Po
l
y
L
i
b)
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoo
l
aege
test: simple test for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
l
a
ege
M
akefile
.
am: a
d
d depe
n
denc
i
e
s
for c
h
ecks
commit
|
commitdiff
|
tree
2007-02-11
Sven Ver
d
oolaege
g
e
n
fun
.
cc: short
_
rat::normalize: micro-optimiz
a
tions
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdo
o
la
e
ge
QQ: canonicalize on read and multiplicatio
n
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
e
rdoolaeg
e
doc: bar
v
inok_series
requires polyhedron to have
*rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoola
e
ge
Makefil
e
.
am: c
h
eck barvinok_enumerate --
s
erie
s
du
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven
V
erdoolaege
barvinok_enumerate: comp
u
te series of pol
y
hedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
test all specia
l
ization algori
t
hms during make check
commit
|
commitdiff
|
tree
2007-02-09
S
v
e
n V
e
rdo
o
laege
pass options through to barv
i
nok_count in barvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
ven
V
erdoolaege
Han
d
le
n
o
n
-unimodular cones i
n
dual de
c
ompo
s
ition
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdoolaege
ba
r
v
i
nok_
s
tats: rename unimo
d
u
l
ar_cones
t
o bas
e
_
con
e
s
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
red
u
cer
.
cc: extra s
a
nity c
h
ecks
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
r
doolaege
Han
d
le n
o
n-
u
nimod
u
lar cones
w
ith
a spec
i
fied m
a
x
i
m
al
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sve
n
V
e
rdoolaege
decomposer
.
cc:
d
ecompose: minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
S
v
en
V
erdoolaege
barvinok_opt
i
ons: i
n
clude point
e
r
t
o barvinok_
s
tats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
Verdo
o
laege
add
b
a
r
vinok
_
optio
n
s_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdool
a
e
g
e
b
arvinok_enumer
a
te: collect stats on
n
um
b
er of un
i
modular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verdoolaege
de
c
ompos
e
r
.
c
c
: pol
a
r_deco
m
pose: remo
v
e
c
ommon div
i
sor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoolaege
partial_redu
c
er: spec
i
alize li
s
t versi
o
n
o
f
b
as
e
commit
|
commitdiff
|
tree
2007-02-05
Sven Ver
d
oolaege
reducer::r
e
duce: better handling of
t
erms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoola
e
ge
red
u
cer
:
:r
e
duce:
combine numerato
r
s with equal unre
d
uce
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sve
n
V
e
rdoolaege
QQ: add operator f
o
r multiplication of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
ve
n
V
e
rdoolaege
reduc
e
r:
:
reduce: take a list
of n
u
m
e
rator
s
as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
gen
_
fun:
:
read: r
e
ad ge
n
_fun from fi
l
e descriptor
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoo
l
aege
add gen_fun::add(short_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
NTL_QQ
.
cc: supp
o
rt
r
e
a
ding fro
m
stre
a
m
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
gen
_
f
u
n:
ad
d
ope
r
a
t
o
r
for pri
n
ting to str
e
am
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
g
e
nfun
.
cc: add
s
hort_
r
at co
p
y construct
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
dpoly_r: micro-o
p
timizations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
dpoly: mark some more ar
g
uments/methods
const
commit
|
commitdiff
|
tree
2007-02-02
S
v
en V
e
rdoolaege
short_rat::a
d
d: m
a
rk
s
hort_
r
a
t ar
g
u
ment con
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NT
L
_QQ: attem
p
t to spee
d
-
up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly:
a
dd
s
ome doc
u
men
t
ation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
dpoly:
a
dd some more operations
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n V
e
rdoolaege
barvino
k
/
ge
n
fun
.
h
:
fix commen
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
a
dd
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
ol
a
e
g
e
QQ: add operator fo
r
multi
p
lication b
y
a sc
a
l
ar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
S
ven Verdoo
l
aeg
e
M
a
kefile
.
a
m
: che
c
k-seri
e
s:
c
heck
--primal as
w
ell
commit
|
commitdiff
|
tree
2007-01-16
Sven Ver
d
oolae
g
e
Makefil
e
.
am: insta
l
l (some) binar
i
e
s
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdool
a
ege
undefine CS for Solaris
10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolae
g
e
barvinok_e
n
u
m
e
rate: h
a
ndle lin
e
s
in inpu
t
poly
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
ve
n
Ve
r
doolaege
ut
i
l
.
c: move
left_inv
e
rse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
e
r
do
o
laege
gen_fu
n
::coefficient: move p
r
inting
to short_rat
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
V
erd
o
o
laeg
e
g
en_fun::coefficient: new version returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rd
o
olaege
gen
f
un
.
cc:
m
o
ve coefficient compu
t
ation to
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
o
l
aege
partial_reducer: re
s
tart comput
a
tion i
f
ra
n
dom
vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
ge
n
_
fun
:
e
x
pose clear_t
e
r
ms, a m
e
t
h
od for cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
ge
n
_fun::Hadamard_
p
r
oduct: pr
o
p
a
gate full options
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en V
e
rdo
o
laege
barvinok_enumerate:
inte
g
rate verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdool
a
ege
b
arv
i
nok_enumerate: integra
t
e b
a
rvinok_series
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
barvin
o
k
_
enumera
t
e: use arg
p
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
l
a
ege
lexmin: make le
x
min options private
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
Revert "bernst
e
in/
c
onfigure
.
in
:
remove redundant
cha
n
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verd
o
olaege
barvinok
.
cc: m
a
k
e
use of sampling fo
r
counting infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n Verdoolaeg
e
barvinok_
e
nume
r
at
e
_e: respect --ta
b
le option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lex
m
i
n
.
cc: move se
l
ec
t
ion of
g
br
s
olver to
options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin: use arg
p
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doola
e
ge
barvinok_en
u
merate_e: extract out verification optio
n
s
commit
|
commitdiff
|
tree
2007-01-04
S
ven Ver
d
ool
a
e
g
e
barvinok_
e
numerat
e
_e: print w
a
rn
i
ng when --omeg
a
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n
V
erd
o
olaege
ba
r
vin
o
k/pol
y
l
ib
.
h: define value_
s
u
b
trac
t
and va
l
u
e
_addm
u
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolae
g
e
decomposer
.
c
c: decompo
s
e: micro-optimizat
i
on
commit
|
commitdiff
|
tree
2007-01-04
S
v
en
V
erdoolaege
signed_cone: store rays
o
f
cone
commit
|
commitdiff
|
tree
2007-01-04
Haral
d
Devos
omega
/
parser
.
y
:
remove brackets around type in new
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n Verdoolaege
lexm
i
n: dis
a
ble use of looku
p
-tabl
e
s
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
barv
i
nok_e
n
ume
r
ate_e
.
cc: fix argp opt
i
on
s
parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
l
aege
o
ptions
.
c
:
move
choic
e
o
f use
o
f lo
o
kup-tab
l
e to barvi
n
ok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
lattice_point
.
cc: fix
#
ifndef USE_
M
ODU
L
O code
p
ath
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
decompose
r
.
c
c: short_ve
c
tor: remove
r
edundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
cc:
s
hort_
v
ector
:
negate
lambda
if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
cc: serie
s
: only require rays to
b
e
revl
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
barvinok
.
cc: seri
e
s: pass full opti
o
ns to
b
arvinok_coun
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
o
l
a
e
g
e
np
_
b
a
se:
:
handle
:
pass
around rays matrix inste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doo
l
aege
decom
p
os
e
r
.
cc: support
p
rim
a
l decompos
i
tio
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
de
c
omp
o
s
er
.
cc: bar
v
inok_
d
ec
o
mpose: i
m
plement
in te
r
ms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoo
l
aege
b
a
r
vi
n
ok
_
enumer
a
te: r
e
spect incrementa
l
_specia
l
i
zation
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
introduce sig
n
ed_cone st
r
uct
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n V
e
rdoola
e
g
e
separa
t
e out d
e
co
m
position
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdo
o
lae
g
e
test: use a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven
Verdoolaege
update arg
p
fr
o
m gnulib
a
n
d add prog
n
a
me module
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoo
l
aege
barvinok_enu
m
erate_e
.
cc: d
o
n't
e
x
it on unrec
o
gnized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaeg
e
lib/argp
.
h
: remove
_
_N
T
H for __argp_u
s
age inline function
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
o
l
aege
b
a
r
v
inok_enumerate_e
.
cc: rem
o
ve another du
p
li
c
at
e
d
efinition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolaege
barvinok_enu
m
erate_
e
: us
e
ar
g
p p
a
rse
r
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvino
k
_
count: use argp pars
e
r
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
dool
a
ege
options
.
c: ad
d
argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaege
a
dd
ar
g
p from
g
nulib
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolaege
scarf
.
cc
:
make c
o
mpatible wi
t
h
o
lder versions
o
f Poly
L
ib
commit
|
commitdiff
|
tree
next