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
gen_fun::coefficient: new version returning ZZ
2007-01-05
Sven
Ver
d
o
ol
a
ege
gen_fun::coefficient: n
e
w version
returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
genfun
.
cc
:
move coefficient comp
u
t
a
tion
t
o short_
r
at
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
e
rd
o
olaeg
e
p
artial_reducer: restart comp
u
tation
if random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun
:
expose clear_terms, a method for clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
gen_fun::Hadamard_product:
propagate ful
l
options
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ver
d
ool
a
ege
barvinok_enume
r
ate: i
n
tegrate verif
_
ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
b
arvinok_enumerate
:
integr
a
te barv
i
nok_ser
i
es
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barv
i
nok_enumerate: use arg
p
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ver
d
oolaeg
e
lexmin: make le
x
m
in options private
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
rdoolaege
Re
v
ert "be
r
nste
i
n/co
n
fig
u
re
.
in: remove redu
n
dant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
b
arvinok
.
cc:
m
a
ke use of sampling for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
bar
v
inok_
e
n
u
merate
_
e: respect --table
o
pti
o
n
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ve
r
d
oolaege
lexmin
.
c
c
: move
s
ele
c
tion of gbr solver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olae
g
e
l
e
x
min:
u
se argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaege
barvinok_enume
r
ate_
e
: extract out verification options
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdo
o
l
a
ege
barvi
n
ok_en
u
merate
_
e: print
w
arnin
g
when --om
e
ga or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdool
a
ege
barvinok/polylib
.
h: de
f
i
ne value_subt
r
act
an
d
va
l
u
e
_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
decomposer
.
cc: deco
m
pose: micro-optimi
z
a
ti
o
n
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolae
g
e
si
g
n
e
d_cone:
store
r
ays of cone
commit
|
commitdiff
|
tree
2007-01-04
Harald
Devos
o
m
ega/pars
e
r
.
y: remove brack
e
ts
around type
i
n
new
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
lexmi
n
: d
i
sa
b
le use of
lookup-t
a
bles
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolae
g
e
barv
i
nok_enumerate_e
.
cc: fix argp options pars
e
r
commit
|
commitdiff
|
tree
2007-01-03
Sven
Ver
d
oolaege
opt
i
ons
.
c
:
m
ove choi
c
e of use of lookup-table
t
o
barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
latti
c
e_poin
t
.
cc: fi
x
#ifndef USE_MODU
L
O code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
decomposer
.
c
c
: short_vecto
r
: remove re
d
u
n
dant code
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verd
o
olaege
decomposer
.
cc: s
h
o
r
t_vector: negate lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barv
i
nok
.
cc: ser
i
e
s: only re
q
uire
r
ays t
o
be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaeg
e
barvinok
.
cc: seri
e
s: pass full options to bar
v
inok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
np_bas
e
::ha
n
dl
e
: pass around r
a
ys
matrix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
d
e
c
o
mposer
.
c
c: s
u
pport primal deco
m
po
s
ition
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdo
o
la
e
ge
decom
p
oser
.
c
c: barvinok_decompose: im
p
lement
in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
barvinok
_
enumerate: resp
e
ct increme
n
tal_speci
a
lization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
introd
u
c
e
si
g
ned_cone
struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
sep
a
rate out decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
test
:
use a
r
gp pars
e
r
commit
|
commitdiff
|
tree
2006-12-28
Sven Verd
o
olaeg
e
update argp
from gnulib and
ad
d
progname modu
l
e
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoo
l
aege
barvi
n
ok_e
n
umerate_e
.
cc
:
don't
ex
i
t on u
n
re
c
ognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdo
o
laege
li
b
/ar
g
p
.
h
:
r
e
move __NTH for __argp_usage inline function
commit
|
commitdiff
|
tree
2006-12-27
Sven Ve
r
dool
a
eg
e
barvinok_
e
n
umerate_e
.
cc: remove a
n
other dupl
i
ca
t
e defi
n
itio
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_enum
e
rate_e: use
a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdo
o
la
e
ge
barvinok_count:
u
se argp
pa
r
ser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
options
.
c: add
argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
laege
add argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
doolaege
scarf
.
cc
:
mak
e
compatibl
e
with older ve
r
sions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
lae
g
e
add m
i
ssing asser
t
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Mak
e
f
ile
.
am:
a
dd remove_e
q
ualities
.
h to distribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
ola
e
g
e
c
o
nfigu
r
e
.
in:
only
c
onfigur
e
b
e
rnstein if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
S
v
en Verdoolaege
bernstein:
configure
.
in
:
check for
GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdool
a
ege
b
e
r
n
stein: remove e
x
tra qual
i
ficat
i
ons from pol
y
nomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
v
en Verdoo
l
aege
bernstein/src/main
.
cp
p
: remove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdo
o
laege
shor
t
_rat::no
r
malize: make powers in
t
he
d
enominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun::substitute: norma
l
i
z
e t
e
rms
commit
|
commitdiff
|
tree
2006-12-18
S
v
e
n Verdool
a
ege
d
p
o
ly_r: store ter
m
s i
n
a set r
a
th
e
r than in a v
e
c
tor
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
g
e
n_f
u
n: store terms in
a set
rather th
a
n in
a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erd
o
olaeg
e
lexmin:
allow emp
t
iness check t
h
rough counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
o
olaege
lex
m
in
.
cc: move construction of s
u
bdomai
n
s to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
o
olaege
edomain
.
cc: mo
v
e sample computation complet
e
l
y
t
o EDo
m
ai
n
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
lexmin
.
cc: partial_order::comp
a
re: u
s
e
substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
lexmi
n
.
cc: i
n
di
c
ator::c
o
mbi
n
e:
m
o
r
e
e
fficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
dool
a
ege
lexmin
.
cc: keep heads in
p
artial order separate
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
r
doolaege
edomain
.
cc:
EDomain::ad
d
_ge
_
constraint: si
m
p
l
i
fy new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Ve
r
d
oolaege
lexmin
.
cc: parti
a
l_order::compare: add cache
o
f
c
o
mparis
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
l
e
xm
i
n: make sure le set in partial orde
r
on
l
y
c
ontains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoo
l
aege
lexmin: mor
e
s
anity checks
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verd
o
olaege
lemxi
n
: u
s
e
stab
l
e ordering of indicat
o
r_
t
erms in partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n
Verdoo
l
aege
genfun
.
cc:
m
o
v
e
lex_cmp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
lexmin: indica
t
or::c
o
mbine: direct
l
y ad
d
som
e
known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
e
g
e
b
a
r
v
ino
k
/polylib
.
h:
sep
a
rate include of polylib he
a
der
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: optionally c
o
mpute sign o
f
affine func
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Ve
r
doolaege
lexmin: o
p
t
i
onally
sk
i
p r
e
d
u
c
t
ion of e
v
al
u
es in doma
i
ns
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n Verd
o
olaege
e
v
alue_frac2floor: only mak
e
ar
g
ument nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
lexmin: Polyhedron_not_empty
:
be c
a
reful about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
ae
g
e
lex
m
in: indic
a
tor_term::is_opposite: assume nu
m
er
a
tors
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rd
o
olae
g
e
remove_all_equali
t
ies: handle compress_vari
a
bles returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: optionally
u
se cdd duri
n
g
basi
s
r
eduction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
aege
P
o
lyhedron_
R
e
d
uced_Basi
s
: optiona
l
l
y
u
se cd
d
t
o
s
o
lve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdo
o
laege
conf
i
g
ure
.
i
n
: check for cddl
i
b
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdo
o
laege
lexmin: Polyhedron_no
t
_empty: co
n
tinue rem
o
vin
g
equalit
i
es
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
lexmin:
h
andle
equal
i
tie
s
among
parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verd
o
olaege
remove_all_eq
u
alities: ignore identit
y
parameter compression
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
remove_equalities
.
c:
extr
a
cte
d
from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
genfun: add short_rat::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
gen
f
un
:
add sh
o
rt_ra
t
constructors
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verd
o
ol
a
ege
evalu
e
.
c:
e
va
l
u
e
_de
n
om: improve commen
t
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verd
o
olaeg
e
lexm
i
n
:
Polyhe
d
ron_not_empty
:
check result returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n Verdoolaege
barvinok
.
cc: s
e
r
ie
s
: rem
o
ve
e
qualities
u
sing Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoo
l
aege
barvinok_coun
t
:
collect
sta
t
s on numb
e
r o
f
unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ver
d
oo
l
aege
ut
i
l
.
c
: triangul
a
te_cone
:
use big
g
er random values
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoo
l
aege
s
ample
.
c
:
Polyhed
r
o
n_RemoveFi
x
edColumns: copy const
a
nts
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdool
a
ege
bern
s
tein:
pie
c
ewise_ls
t
:
:evalua
t
e: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
configure
.
in
:
on
l
y add -lbernstein to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven V
e
rdo
o
l
a
ege
c
onfigure
.
in: rename --with-gina
c
to -
-
without-ber
n
s
t
ei
n
commit
|
commitdiff
|
tree
2006-11-10
S
v
en Verdoolaeg
e
c
o
n
figure
.
in:
allow
b
uild witho
u
t GiNaC (and t
h
erefo
r
e
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Ver
d
oolaege
configu
r
e
.
in: add -
l
bernste
i
n to barvinok
.
p
c
if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven V
e
r
d
o
olaege
util
.
c
:
compress_vari
a
ble
s
:
c
o
rrect
c
h
eck for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoo
l
a
e
ge
u
t
il
.
c
:
some docum
e
n
t
ation
f
or compress
_
variables
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n V
e
rdoolaege
veri
f
_eh
r
h
art: add --
p
rint-all option to r
e
place PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verd
o
olaege
m
a
t
_util: make arguments o
f
lex_cmp con
s
t
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
erdoolaege
a
dd AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Ve
r
doolaege
bump
v
ers
i
on
commit
|
commitdiff
|
tree
next