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
Makefile.am: add dependencies for checks
2007-02-12
Sven Verdoolaege
Makefile
.
am: add dependen
c
ies for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
genfun
.
cc: sho
r
t_rat::
n
o
r
malize: micr
o
-
optimiza
t
ions
commit
|
commitdiff
|
tree
2007-02-11
Sven Ve
r
do
o
l
a
ege
QQ: canoni
c
alize on r
e
ad
a
nd multip
l
ication
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoolaeg
e
d
o
c
:
b
a
r
vi
n
ok_series req
u
ires polyhedron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoo
l
aege
Makefile
.
am: chec
k
barvinok_enum
e
ra
t
e --series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
do
o
laege
barvinok_enumerate: compute serie
s
of polyh
e
d
r
a with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdo
o
laege
test all
s
pecializat
i
on alg
o
rithms during make chec
k
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdool
a
eg
e
pass options through to barvi
n
ok_count
in ba
r
vino
k
_
enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
ven Ver
d
oo
l
aege
Handle n
o
n-
u
nimodular
cones in dual decomposit
i
on
commit
|
commitdiff
|
tree
2007-02-08
S
ven Verdoolae
g
e
barvinok_stats: rename unimodular
_
c
o
nes to
ba
s
e_cones
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Verdoolaeg
e
r
educer
.
cc: extra
sanit
y
checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
Ha
n
d
l
e non-unimodu
l
a
r
cones
wit
h
a
specified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
ven Verdoolaege
decomposer
.
cc: d
e
compose: minor cl
e
an-u
p
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdool
a
e
ge
b
arvinok_options: include point
e
r
t
o
barvinok_sta
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven
Ver
d
oolae
g
e
add barv
i
nok_opti
o
ns_free
commit
|
commitdiff
|
tree
2007-02-06
Sven
Ve
r
dool
a
ege
barv
i
nok_enumerat
e
:
c
oll
e
ct stats on numbe
r
of
unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
decomposer
.
cc: polar_decompose:
remo
v
e co
m
mon divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdool
a
ege
partial_reducer: spec
i
alize list
v
e
r
sion of b
a
se
commit
|
commitdiff
|
tree
2007-02-05
S
v
en Verdo
o
laege
reducer::reduce:
bett
e
r handl
i
ng of terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdo
o
laege
reducer::r
e
duce: combine nu
m
erators with equal u
n
re
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoo
l
aege
QQ:
add o
p
erato
r
for multipli
c
ation of
vector b
y
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
o
laege
reduce
r
::reduce: take
a
lis
t
of numerators as
i
nput
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoo
l
a
e
ge
gen_fu
n
::read: read gen_fun f
r
om file
de
s
criptor
commit
|
commitdiff
|
tree
2007-02-02
S
v
en V
e
rdool
a
ege
add gen_f
u
n::add(
s
hort_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
e
rdoolaege
NT
L
_
QQ
.
c
c: su
p
port reading f
r
om
stream
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaeg
e
gen_f
u
n
:
a
d
d operat
o
r for pr
i
nting to stre
a
m
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
ge
n
fun
.
cc: add short_
r
at
cop
y
constructor
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
dp
o
ly
_
r: micro-optimizations
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaeg
e
dpoly:
m
ark s
o
m
e more argume
n
ts/methods con
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
shor
t
_rat::add: m
a
rk short_rat argum
e
n
t
c
ons
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaege
N
T
L
_
QQ: attemp
t
to speed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
d
ool
a
eg
e
dpo
l
y: add some documentation
commit
|
commitdiff
|
tree
2007-02-02
S
ven
V
erd
o
o
laege
dpol
y
: ad
d
so
m
e more opera
t
ions
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
barvi
n
ok/genfun
.
h: fi
x
commen
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
la
e
ge
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
QQ: a
d
d operator for multiplicatio
n
by a scala
r
(ZZ
)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoola
e
ge
Makefile
.
am: check-
s
eri
e
s: check --pri
m
a
l as
w
ell
commit
|
commitdiff
|
tree
2007-01-16
Sv
e
n Verdoo
l
ae
g
e
Mak
e
f
i
le
.
am:
i
nstall (so
m
e) binaries
commit
|
commitdiff
|
tree
2007-01-15
S
v
en
V
erdoolaege
undefin
e
CS for Sol
a
ri
s
10
commit
|
commitdiff
|
tree
2007-01-14
Sven Ver
d
oolaege
barvino
k
_e
n
umerate: handle lines in inpu
t
po
l
yh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolae
g
e
u
til
.
c: move left
_
i
nve
r
se from le
x
min
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
ge
n
_fun::coefficient
:
move print
i
ng to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven
Ve
r
dool
a
ege
gen_fun::
c
oeffici
e
n
t: new version
r
e
turning ZZ
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Ve
r
d
o
olaege
gen
f
un
.
cc:
move
c
o
e
fficient
c
omputation to shor
t
_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
pa
r
tial_reduce
r
:
re
s
tart compu
t
ation
i
f random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen
_
fun: expo
s
e c
l
ear_ter
m
s, a me
t
hod for cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
gen
_
fun::Hadamard
_
pro
d
u
c
t
: propagate full op
t
ions to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
barv
i
nok_en
u
merate: integrat
e
verif_eh
r
h
ar
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
b
a
r
vinok_e
n
um
e
rate: in
t
egrat
e
b
arvino
k
_series
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
do
o
laege
barv
i
nok_en
u
merate
:
use arg
p
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
l
exmin: m
a
ke lex
m
in options private
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
Revert "
b
ernst
e
in/conf
i
gure
.
in: r
e
m
o
ve
r
e
d
u
n
d
ant ch
a
nge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
d
ool
a
e
g
e
barv
i
nok
.
cc
:
make use of sampli
n
g for counting in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Ve
r
doo
l
aege
barvino
k
_enumerate_e: respect --t
a
ble option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
.
cc: move selection
of gbr solver to opti
o
n
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdo
o
lae
g
e
l
e
xmi
n
: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
barvinok_enumera
t
e_e:
extra
c
t
out ver
i
fication options
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Ver
d
o
olaege
barvi
n
ok
_
enume
r
ate_e
:
print
warning
when --o
m
ega
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
dool
a
ege
barvinok/polyl
i
b
.
h: define valu
e
_subtra
c
t and value
_
addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaege
decomposer
.
cc: de
c
ompose:
m
icro-op
t
imization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
si
g
ne
d
_
c
one: st
o
re r
a
ys of
cone
commit
|
commitdiff
|
tree
2007-01-04
Ha
r
ald Devos
omega/pa
r
ser
.
y: remove brackets around
type in new
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verd
o
olaeg
e
lexmin: disable use of lookup-table
s
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verd
o
o
laeg
e
barvino
k
_enum
e
rat
e
_e
.
cc:
fix a
r
g
p options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
o
p
tions
.
c
: move choic
e
of
u
se of lookup-table
to barvin
o
k_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lat
t
ice_point
.
c
c
: fix #ifndef USE_MO
D
ULO
c
ode path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
c
c
: short_vector:
re
m
ove
r
e
dundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
d
e
c
ompo
s
e
r
.
cc: short_vector: nega
t
e lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
e
rdoolaege
ba
r
vi
n
ok
.
c
c
: serie
s
: only requir
e
rays to be
r
evlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
cc: series: pass full options to barvin
o
k_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
np_bas
e
::handle: pass a
r
ound
r
ays matr
i
x
instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
de
c
o
m
pos
e
r
.
cc: s
u
p
port primal deco
m
po
s
ition
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoola
e
ge
decompo
s
e
r
.
c
c
: b
a
r
vinok
_
decompose:
i
mple
m
e
n
t in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ve
r
d
o
olaege
barvinok_enumerate: respect incremen
t
al_specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
introduce signed_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
separate
o
ut
decomp
o
sition
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoolaege
tes
t
: use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Ver
d
oolaege
up
d
ate argp from g
n
ulib and add progname modu
l
e
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoo
l
ae
g
e
barvinok_enumerate_e
.
cc:
do
n
'
t exit
o
n unrecognize
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
l
ib/ar
g
p
.
h
:
re
m
ove __NTH for __argp_usage inline fun
c
ti
o
n
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Ve
r
doolaeg
e
barvi
n
ok_enume
r
ate_e
.
cc:
remove anoth
e
r duplica
t
e
definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_enum
e
ra
t
e_
e
:
u
se ar
g
p
p
ars
e
r
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Ver
d
oolaeg
e
b
a
rvinok_count:
use argp pa
r
ser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
opti
o
ns
.
c: a
d
d
a
rgp
p
a
r
se
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n
Verdoolaeg
e
add argp from
g
nulib
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolaege
s
c
arf
.
cc: make compa
t
ible with older versions of PolyL
i
b
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdoo
l
aege
a
d
d
mi
s
sin
g
ass
e
rt
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2006-12-26
S
v
en
V
erdoo
l
aege
Makefile
.
am: add remove_
e
q
u
aliti
e
s
.
h to distri
b
ut
i
on
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdoolaege
configure
.
in:
only configure ber
n
ste
i
n if GiNa
C
was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdool
a
ege
bernstei
n
:
confi
g
u
re
.
in: check for
G
iNa
C
commit
|
commitdiff
|
tree
2006-12-19
Sven
Verdo
o
laege
bernstein: remove e
x
tra qualifications from polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdool
a
ege
bernstein/
s
rc/main
.
c
p
p: remove re
d
undant include
commit
|
commitdiff
|
tree
2006-12-18
Sven
Ve
r
do
o
laege
short_rat:
:
normalize: m
a
ke
p
owers i
n
the
denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
ven Verdoolae
g
e
ge
n
_fu
n
:
:substitute: norm
a
l
ize te
r
ms
commit
|
commitdiff
|
tree
2006-12-18
Sven V
e
rdoolaeg
e
dpoly_r: store
t
er
m
s in
a set rath
e
r
than
i
n a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven
Verdoolaege
ge
n
_fun: stor
e
t
e
rms
i
n a set
rather than in
a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
o
o
laege
lexmin
:
allow emptiness
check thro
u
g
h
counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
lexmin
.
cc: move
c
o
nstr
u
ct
i
on
of subdomains to edoma
i
n
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verd
o
ol
a
eg
e
edomain
.
cc: mov
e
sample computati
o
n
completely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
x
m
in
.
cc
:
partial_or
d
er::comp
a
re: us
e
substitutio
n
.
.
.
commit
|
commitdiff
|
tree
next