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
scale.c: avoid simplification of constraints after scaling
2007-02-14
Sven V
e
rdool
a
eg
e
evalue
.
c: add eva
l
ue_frac2po
l
ynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
e
v
alu
e
.
c: extract
evalue_split_domains_into_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Ve
r
doolaege
polysign
.
c
:
fix cdd_polyhed
r
on_a
f
fine_sign p
r
ot
o
t
ype
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolae
g
e
Mak
e
file: only check le
x
min if it
has been compiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add Param_
P
olyhed
r
on_Scale_
I
nt
e
ger pro
t
oty
p
e
commit
|
commitdiff
|
tree
2007-02-12
S
ven V
e
rdoolaege
lattice_point
.
c
c
: a
d
d
sanity check for index of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
test: i
n
itia
l
iz
e
nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
barv
i
n
ok_enumera
t
e: optio
n
ally co
m
pute
a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Pro
v
ide r
e
plac
e
ment for new Pol
y
L
i
b
funct
i
o
n Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
a
d
d
ev
a
lu
e
_div (adap
t
ed fro
m
Pol
y
Li
b
)
commit
|
commitdiff
|
tree
2007-02-12
S
v
en
V
erdoo
l
a
e
ge
test: simp
l
e test for
P
o
l
yLib's
Smit
h
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
M
a
k
e
f
ile
.
am:
ad
d
de
p
endencies for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven
Verdoolaege
genfun
.
cc: short_rat::normal
i
ze: micro-opti
m
izations
commit
|
commitdiff
|
tree
2007-02-11
S
v
en Verdoolaeg
e
QQ: canonica
l
iz
e
on
read and multiplicat
i
on
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
erdoolaeg
e
doc: barvino
k
_
s
e
r
ies
requir
e
s
p
olyhedron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Makefile
.
am: che
c
k bar
v
inok_enumer
a
t
e
--series
d
u
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
barvinok_enumera
t
e: compute s
e
ries o
f
polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdool
a
ege
uti
l
.
c: move Polyhedron_has_positive_rays
f
rom barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdo
o
lae
g
e
test
all specializ
a
tion algo
r
i
t
h
ms
d
uri
n
g make check
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoolaeg
e
pass
opti
o
ns t
h
ro
u
gh to barvinok_
c
ount
i
n barvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdoolaege
Handle
n
on-unimod
u
lar cones in dual decompo
s
ition
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
doola
e
g
e
barvinok
_
stats: rename unimodular_con
e
s
to b
a
se_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
red
u
cer
.
cc: extra s
a
n
it
y
c
hecks
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
r
doolaege
Handle non-
u
nimodul
a
r
cones
wi
t
h
a spe
c
i
fied m
a
ximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
v
en Ve
r
doolae
g
e
d
ecomposer
.
cc: deco
m
p
o
se
:
minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
b
arvin
o
k_o
p
tions
:
in
c
lude pointer t
o
bar
v
inok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven V
e
rdoolaege
add b
a
rvi
n
ok_opt
i
ons_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaeg
e
barvinok_enumerat
e
: co
l
lec
t
s
tats on number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
d
e
comp
o
s
e
r
.
c
c: polar_decom
p
ose: remove comm
o
n divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoo
l
a
e
ge
partial
_
reducer: specialize list ver
s
ion of bas
e
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n
V
erdo
o
laege
red
u
cer::reduce:
b
e
t
ter
ha
n
dl
i
n
g of terms
w
it
h
common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdool
a
ege
reducer::
r
educe: com
b
i
n
e num
e
r
ators with equal u
n
reduc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sve
n
Verdoolaege
QQ: ad
d
opera
t
or for multiplication
of v
e
ctor
b
y a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
red
u
cer::reduce: t
a
ke
a
list of numer
a
tors as i
n
p
u
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
g
e
n_fun::re
a
d: read gen_fun from file descrip
t
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaege
add
gen_fun::a
d
d(short_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
e
ge
NTL
_
QQ
.
cc: suppo
r
t reading from str
e
am
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
gen_fun: add operator for printing to stream
commit
|
commitdiff
|
tree
2007-02-02
S
ven
Verdoolaege
genfun
.
cc:
a
d
d
s
hort_r
a
t copy
c
onstructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
dpoly
_
r: mic
r
o-optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
dp
o
ly: mark some mor
e
arguments/
m
eth
o
ds c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoola
e
ge
s
h
o
rt_rat::add: mark short
_
rat argument
c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ver
d
o
o
laege
NT
L
_QQ: att
e
mpt to sp
e
ed-up +
=
o
perator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: add so
m
e documentati
o
n
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
dp
o
ly:
add some m
o
re
o
pe
r
ations
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
barvinok
/
ge
n
fun
.
h: fix c
o
mment
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
e
g
e
QQ:
ad
d
op
e
rator for
multiplic
a
t
i
o
n by a
scal
a
r (
Z
Z)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Mak
e
file
.
a
m
: check
-
series: check -
-
primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoolaeg
e
M
akefile
.
am: install (some
)
binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaeg
e
un
d
efine CS
f
o
r
Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
barvin
o
k_enumerate: handle lines in in
p
ut po
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
v
en Verdoolaege
uti
l
.
c: move left_inverse from l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
gen_
f
un::co
e
ff
i
cie
n
t: move
print
i
n
g to sh
o
rt_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaeg
e
gen_fun::coeffic
i
ent: new version returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
genfu
n
.
cc: mov
e
coeff
i
c
ient c
o
mputati
o
n
t
o
s
h
o
rt_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
pa
r
t
i
al
_
reducer: restart c
o
mputation if
r
andom
v
ector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdool
a
ege
g
en_fun: exp
o
se
clear_
t
erms, a method for
c
learing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::Hadamard_pr
o
duct: propaga
t
e f
u
ll op
t
ion
s
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
barvino
k
_enumera
t
e: integrate
verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
barvinok
_
enumerate:
integr
a
t
e
barvinok_se
r
ies
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
b
arvi
n
o
k
_en
u
merate: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oo
l
aege
l
e
xmin:
make lex
m
in
o
ptions priv
a
te
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
erdoolaege
Revert "bernstei
n
/configure
.
in
:
remov
e
redund
a
nt change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
r
d
o
olaege
barvin
o
k
.
cc: make use
o
f
sampling for counting in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdo
o
laege
b
a
rvin
o
k
_
enumerate
_
e:
respect --tab
l
e option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
.
cc: move selection
o
f gbr solver to optio
n
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ve
r
dool
a
ege
lexmin: use ar
g
p
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laeg
e
b
a
rvinok_enumerat
e
_e: extract out verification options
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verdoolaege
barvinok_enumerate_e: print warning whe
n
--omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
be
r
nstein/configu
r
e
.
in
:
remove redundan
t
change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoolaege
barvin
o
k/polylib
.
h
:
define v
a
l
u
e_subtra
c
t an
d
value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolae
g
e
decomposer
.
cc: de
c
om
p
ose:
m
icro-optimi
z
a
ti
o
n
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdool
a
ege
si
g
ned_cone: store rays of cone
commit
|
commitdiff
|
tree
2007-01-04
Ha
r
ald Devos
omega/p
a
rser
.
y: remove b
r
a
ckets aro
u
nd type in new
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
lexmi
n
: di
s
a
b
le u
s
e of lookup
-
tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
b
a
rvinok
_
enum
e
rate_e
.
cc: fix
argp o
p
t
ions parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
o
l
aege
o
p
t
ions
.
c
:
m
o
ve choice of
u
se of
l
o
oku
p
-table to barv
i
nok_
o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
g
e
l
attice_p
o
in
t
.
cc: fix #
i
fndef USE_MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoolaege
decompose
r
.
cc:
s
hort_v
e
ctor: remove redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Verdool
a
ege
decomposer
.
cc: short_
v
ector: ne
g
ate lambda if
z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
barvi
n
ok
.
cc: se
r
ies: onl
y
require
rays to be
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
bar
v
inok
.
c
c
: series:
p
ass full opt
i
ons
t
o ba
r
vinok_c
o
unt
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
np_bas
e
::han
d
l
e: p
a
ss aro
u
nd rays matri
x
instead o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoola
e
ge
d
e
composer
.
cc
:
support pri
m
al decompositio
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
d
e
composer
.
cc: barvi
n
ok_decompo
s
e:
i
mplement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
barvinok_enumerate:
respect incremental_specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoola
e
ge
i
ntr
o
d
u
ce s
i
gned_cone struct
commit
|
commitdiff
|
tree
2007-01-03
S
ve
n
Verdoolaege
se
p
arat
e
ou
t
d
ecomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
tes
t
: use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaege
update argp
from
gn
u
lib and add
progna
m
e
module
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolaege
bar
v
i
n
ok_enu
m
erate_e
.
cc:
d
on't e
x
it on u
n
rec
o
gnize
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolaege
lib/argp
.
h: remove __NTH fo
r
__argp_usage inline functi
o
n
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Ver
d
o
o
laege
b
arvinok_enu
m
erate_e
.
c
c
: remove another duplicate defin
i
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
ven
Verdoolaege
barvinok_enumer
a
te_e: use a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaeg
e
barvi
n
ok_cou
n
t: use argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoo
l
aege
options
.
c
:
add argp p
a
rse
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n
Verdoolae
g
e
add
argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdoolaege
scar
f
.
cc:
m
a
ke compatible with olde
r
versions
o
f
PolyLi
b
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolae
g
e
add missi
n
g asse
r
t
.
h #includes
commit
|
commitdiff
|
tree
next