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: extract evalue_split_domains_into_orthants from barvinok.cc
2007-02-14
S
v
en Verd
o
olaege
evalue
.
c: ex
t
ract eva
l
ue_split
_
domains_into_or
t
h
ants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
Ver
d
oolaeg
e
polysign
.
c: fix cdd_pol
y
he
d
ro
n
_af
f
i
n
e_s
i
gn pr
o
totype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verd
o
ol
a
ege
Makefi
l
e:
o
nly ch
e
ck l
e
x
m
in if it has
b
een compil
e
d
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erd
o
olaege
add Pa
r
am_Polyhe
d
r
o
n_S
c
ale_Intege
r
prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
a
ege
l
attice_point
.
cc: add sanity c
h
ec
k
for i
n
d
ex of
c
on
e
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Ver
d
o
o
laege
test: initializ
e
n
bMa
t
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
V
e
rdoo
l
aege
barvinok_enumerate: o
p
tionally compute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
P
rovi
d
e repl
a
cement for new
P
o
lyLib f
u
nction Para
m
_Polyhe
d
ro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoola
e
ge
ad
d
evalue_div (adapted fro
m
PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
V
e
rdoolaege
test: si
m
ple te
s
t
for P
o
ly
L
ib's
S
m
i
th
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
Makefile
.
am
:
a
d
d d
e
pend
e
ncie
s
for che
c
ks
commit
|
commitdiff
|
tree
2007-02-11
Sv
e
n Verdoolaege
ge
n
fun
.
cc: s
h
ort_rat::normalize: micro
-
o
p
t
i
mizations
commit
|
commitdiff
|
tree
2007-02-11
Sv
e
n Verdool
a
ege
Q
Q
:
canonic
a
lize on
read and multi
p
lication
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
olaege
doc: barvinok_s
e
ries r
e
quires polyhedron to
have
*
r
ev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolae
g
e
Ma
k
efile
.
am: check barvinok_enume
r
a
t
e --series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
ba
r
vinok
_
enumera
t
e: compute seri
e
s
o
f polyhedra w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
Ver
d
oo
l
aege
ut
i
l
.
c:
m
ove Polyhedron_has_pos
i
t
i
ve_rays from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
aeg
e
test all
specialization alg
o
rithms duri
n
g
mak
e
check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pass optio
n
s through
t
o ba
r
vinok_count in barvinok_
e
numera
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
ven
V
erdoolaege
Handle no
n
-
u
n
i
m
o
dular cones in dual decom
p
o
s
i
t
ion
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rdoolae
g
e
barvinok
_
stats: r
e
n
ame u
n
imodular_cone
s
to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
reducer
.
cc: extra sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verd
o
ola
e
ge
Handle
no
n
-
unimo
d
ula
r
con
e
s
with a specified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven V
e
r
d
oola
e
ge
decom
p
os
e
r
.
cc: decompose
:
m
i
n
o
r
c
lean-up
commit
|
commitdiff
|
tree
2007-02-06
S
v
e
n Verdoo
l
aege
b
arvinok_options:
include pointer to barvinok_stat
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n
Ver
d
oo
l
aege
add
b
arvinok_
o
ptions_
f
r
e
e
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
doolaeg
e
barvinok_enumerate: collect stats on num
b
e
r
of un
i
modular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoolaege
decomposer
.
cc: po
l
ar_decomp
o
s
e
: rem
o
ve common
d
i
v
isor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdoolaege
par
t
ia
l
_reducer:
spec
i
a
l
ize list
v
e
rsion of base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verd
o
o
la
e
ge
reduce
r
:
:
reduce: be
t
ter handlin
g
o
f term
s
with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer::re
d
uc
e
:
combi
n
e
n
umerators with
equal unreduc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven
Ve
r
d
o
olaege
QQ: add ope
r
ato
r
for multiplicat
i
on of ve
c
tor by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoo
l
aege
reduce
r
:
:reduce: take
a
list of num
e
rators as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun::re
a
d:
read gen_fun
f
r
o
m
file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
add
g
e
n_fun::
a
dd(short
_
rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
NTL_QQ
.
cc: s
u
p
p
ort reading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdool
a
ege
gen_fu
n
: add operator f
o
r pri
n
ting to st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
genfu
n
.
cc: add shor
t
_
rat c
o
py const
r
uctor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
dpoly_r: micro-optimiz
a
tion
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: mark
some more
a
rguments/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
short_rat
:
:ad
d
: mark short_rat arg
u
me
n
t const
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoo
l
a
ege
NTL_QQ
:
a
t
tempt
to speed
-
up
+
= operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: add some documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
dpoly: add s
o
me more operati
o
ns
commit
|
commitdiff
|
tree
2007-02-02
S
ven
Verdoolaege
barvi
n
ok/genfun
.
h: fix com
m
ent
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
a
d
d
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ver
d
oola
e
g
e
QQ: add
operator for
m
ultiplica
t
ion by a scal
a
r (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makefile
.
a
m
:
che
c
k-series: ch
e
c
k
--prim
a
l as we
l
l
commit
|
commitdiff
|
tree
2007-01-16
Sve
n
Verdoolaege
Makefile
.
am: install (some) b
i
na
r
ies
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaeg
e
undef
i
ne CS for Solar
i
s 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Ve
r
do
o
laege
barvinok_enumerate: handle lines
i
n input p
o
lyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Ve
r
doola
e
ge
util
.
c
:
m
o
v
e
left_inverse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rd
o
olaege
g
e
n_f
u
n
:
:coefficient: move pr
i
nting to
s
hort_rat
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
g
e
n
_fun::coeff
i
cien
t
: new version retur
n
in
g
ZZ
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
genfun
.
cc
:
mo
v
e
coe
f
ficient
com
p
utation
t
o short
_
rat
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdool
a
ege
partial_reducer: restart computatio
n
i
f random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Ve
r
doolaege
g
e
n_fun: ex
p
ose cl
e
ar
_
terms, a method f
o
r clear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
g
en_fun::Ha
d
amard
_
product:
p
ropa
g
ate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
barvinok
_
enu
m
erate: inte
g
r
a
te verif_
e
hrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoola
e
g
e
barvinok_enume
r
ate: integrate barvin
o
k
_ser
i
es
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_e
n
umerate: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin: mak
e
lexm
i
n options private
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
o
o
laege
Reve
r
t "berns
t
e
i
n/configur
e
.
in: re
m
ove redunda
n
t change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verd
o
olaege
barvinok
.
cc:
m
ake u
s
e of sam
p
ling for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
barvi
n
ok_enumera
t
e_e:
respect
-
-table option
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
rdoolaege
lexm
i
n
.
cc: move selection of gbr solve
r
to opt
i
ons
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmi
n
: use
argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
ba
r
vinok_en
u
m
e
r
ate_e: extract out verification options
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
b
a
rvinok
_
enum
e
rate
_
e: print w
a
rning when --omega
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoo
l
aege
ber
n
stein/configure
.
in: r
e
move redundant
c
hange t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
barvinok/polylib
.
h: define val
u
e
_subt
r
act and
v
a
lue_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n
Verdoolaege
decomposer
.
cc:
d
e
compose: micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doolaege
signed_
c
one: store rays of cone
commit
|
commitdiff
|
tree
2007-01-04
Harald Devos
omega/parser
.
y
: remove
b
rackets around type in new
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdool
a
ege
l
e
xmi
n
:
d
isabl
e
use of lookup-tab
l
es
commit
|
commitdiff
|
tree
2007-01-03
S
v
en V
e
rdoolaege
barvinok_e
n
umerate_e
.
cc: fix argp options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
opti
o
n
s
.
c: move choice of use of lookup
-
table to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
o
o
laege
latt
i
ce_point
.
c
c
: f
i
x
#ifndef USE_MODULO
c
ode path
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
erdoolaege
d
ecompo
s
e
r
.
cc:
sho
r
t_ve
c
tor:
r
emove red
u
n
d
ant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
de
c
o
m
pose
r
.
cc: short_vector: negate lam
b
da if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
b
a
rvinok
.
cc
:
serie
s
: only
r
equire rays to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
barvi
n
o
k
.
cc: series: pass full op
t
ions t
o
barvinok_coun
t
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
rdoolae
g
e
np_base::handle: p
a
ss around rays
matrix in
s
t
e
ad
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
d
e
c
ompos
e
r
.
c
c
:
s
u
p
port
primal deco
m
position
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoolaege
decomposer
.
c
c: barvinok_d
e
c
omp
o
s
e:
i
mplemen
t
in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ve
n
Verdool
a
ege
ba
r
v
i
no
k
_enumerate
:
r
es
p
e
c
t increm
e
ntal_specializati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
introd
u
c
e signed_cone
s
truct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
separate out decom
p
os
i
tion
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
dool
a
ege
test:
use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven
V
er
d
oola
e
ge
up
d
at
e
argp from
gn
u
lib and add prognam
e
m
od
u
le
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaeg
e
b
a
rvinok_enumerate_
e
.
cc: don't exit on
unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
la
e
ge
lib/argp
.
h: remo
v
e __NTH for __argp_usage inline
fu
n
ction
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olaege
ba
r
vinok_
e
numer
a
te_e
.
cc: rem
o
ve
ano
t
her duplicate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoolaege
barvinok_enume
r
ate_e: use arg
p
parser
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n V
e
rdool
a
ege
barvinok_count: use a
r
gp p
a
rse
r
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdool
a
ege
options
.
c: add a
r
gp parse
commit
|
commitdiff
|
tree
2006-12-26
Sven Ver
d
o
o
laege
add arg
p
f
r
om gnuli
b
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
V
e
rdoo
l
aege
s
c
arf
.
cc: make compatible
w
i
th old
e
r
versions of
P
o
lyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
add
missing a
s
sert
.
h #in
c
lu
d
e
s
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
er
d
oolae
g
e
Ma
k
efile
.
am: add
remo
v
e_equalities
.
h
t
o dist
r
i
bution
commit
|
commitdiff
|
tree
next