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
barvinok_enumerate: integrate verif_ehrhart
2007-01-05
Sven Verdoolaege
b
a
rvinok_enumerate: integrate verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoola
e
ge
barvin
o
k_enumerate: integrate barvinok_series
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n
V
erd
o
olaege
ba
r
vinok_enumerate: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
le
x
min:
make lexmin o
p
tions p
r
iva
t
e
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoola
e
g
e
Revert "bernstein/c
o
nfigure
.
in: remove redunda
n
t ch
a
nge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven V
e
rdool
a
ege
ba
r
v
inok
.
c
c: make use of sampling for coun
t
ing infi
n
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enumerate_e: respe
c
t --tabl
e
opt
i
on
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdo
o
la
e
ge
lexmin
.
cc: move selec
t
ion o
f
g
b
r
sol
v
er t
o
optio
n
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
l
e
x
min
:
use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok_e
n
umerate_e: ex
t
ract
out v
e
rification
o
ptions
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaeg
e
barv
i
n
ok_
e
numerate_e
:
pr
i
n
t
wa
r
ning when --o
m
ega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
b
ernstei
n
/co
n
figure
.
i
n
: remo
v
e
redunda
n
t c
h
ange to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
er
d
oolaege
barvinok/polylib
.
h: defi
n
e value
_
subt
r
act and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
olaege
de
c
omposer
.
cc: decompose:
mi
c
ro-optimization
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoolaege
signed_
c
on
e
: store
rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
erdoolaege
lexmi
n
: disa
b
le us
e
o
f
looku
p
-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_enumerate_e
.
cc: fix argp options
pa
r
ser
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Verdoolaege
o
p
tions
.
c
: move c
h
oice o
f
use of looku
p
-table to b
a
rvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verd
o
olaege
lattice_point
.
c
c: fix #ifnd
e
f USE_MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
decomposer
.
cc: s
h
o
rt_vector: re
m
ove redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
deco
m
poser
.
cc: shor
t
_vector
:
neg
a
te la
m
bd
a
if z
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
barvinok
.
cc: series: only require
r
ays to be
r
e
vlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvi
n
ok
.
cc: serie
s
: pass fu
l
l option
s
to barvin
o
k_c
o
unt
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
n
p
_
base::handle:
p
ass around rays matrix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
d
ecomposer
.
cc: su
p
port primal decomp
o
sition
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verd
o
olaeg
e
dec
o
m
poser
.
c
c: barvinok_decompos
e
: implement
i
n terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
dool
a
e
ge
barvinok_enu
m
e
r
a
t
e: respect incremental_s
p
ecializati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
introduce signed_cone
struct
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
separate out deco
m
positi
o
n
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
Verdoolaege
test: use argp par
s
e
r
commit
|
commitdiff
|
tree
2006-12-28
S
v
en Verdoolaege
u
p
date
a
rgp from gnulib and add
p
rogna
m
e mod
u
le
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
laege
barvinok_enumerat
e
_e
.
cc: don't exit on unr
e
cog
n
ized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdool
a
ege
l
i
b/argp
.
h: remo
v
e __NTH
f
or __argp_usa
g
e inline function
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
arvinok_e
n
umerate_e
.
cc
:
remove another duplicate
d
efinition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n
Verdoolaege
barvi
n
ok_e
n
ume
r
ate_
e
:
use argp
pars
e
r
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolae
g
e
b
a
rvinok_count:
u
se
argp p
a
rser
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoo
l
aege
o
ptions
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdoolaege
add argp f
r
o
m gnulib
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdoo
l
aege
scarf
.
cc: m
a
ke compatible wit
h
older versi
o
n
s
o
f
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdo
o
la
e
ge
a
d
d missing asser
t
.
h
#
i
n
c
l
udes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Makefile
.
a
m: add remove_equalities
.
h to distri
b
ut
i
o
n
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolaege
config
u
re
.
in:
o
nly configu
r
e bernstein
if Gi
N
aC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Ve
r
d
oolaege
bernst
e
in: con
f
igure
.
in: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Ver
d
o
o
lae
g
e
bernstein: re
m
ove extra qu
a
lifications from p
o
lynomia
l
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
v
en Verdoolaege
bern
s
tein
/
src/main
.
cpp: remov
e
redundant i
n
clude
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
short_r
a
t::norma
l
i
z
e: m
a
ke powers in th
e
denomi
n
at
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven
V
erdo
o
laege
gen_fun::substitute: norm
a
lize
t
erms
commit
|
commitdiff
|
tree
2006-12-18
S
ven V
e
rdoolaege
dpoly_r: st
o
re
t
erms
in a set rather
than in a vect
o
r
commit
|
commitdiff
|
tree
2006-12-18
Sven
Verdoolaege
gen_fun: s
t
ore terms
in a set rath
e
r than in a vecto
r
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doola
e
ge
lexmin: allow
e
mpt
i
ness c
h
eck through counting
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Ver
d
o
olaege
lexmin
.
cc
:
move construction of subdo
m
ains to
edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
edom
a
in
.
cc:
m
o
v
e
sa
m
ple computation
compl
e
tel
y
to
E
Doma
i
n
commit
|
commitdiff
|
tree
2006-12-11
Sven
Ve
r
doolaege
l
e
xmi
n
.
cc: partial_order::compare: us
e
substit
u
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doo
l
a
ege
lexmin
.
cc: indicator::combine:
mo
r
e e
f
f
i
cie
n
t way
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
e
rdoolaege
lexmin
.
c
c
: keep heads in partial order separa
t
e
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
ae
g
e
edom
a
i
n
.
cc:
E
Do
m
a
i
n::ad
d
_ge_constrai
n
t
:
simp
l
ify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
l
e
xmin
.
cc: partial_ord
e
r::compare: add cache of
c
omparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Ver
d
o
o
la
e
g
e
le
x
min: make sure le set
i
n partia
l
orde
r
o
n
ly contai
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oo
l
a
e
ge
lexmin: more
sanity ch
e
c
ks
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
e
rdo
o
laege
lem
x
in: use stable or
d
e
r
i
n
g of in
d
icato
r
_terms in partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
Verdoolaege
genfun
.
cc: move
lex_cmp to mat_
u
til
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexm
i
n: i
n
dicator:
:
combine: directly add so
m
e known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
o
l
aege
b
arvinok/pol
y
lib
.
h:
separate include o
f
polylib heade
r
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n
Ver
d
oolae
g
e
lexmin: optionally co
m
pute
s
ign of affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoo
l
aege
lexmin
:
opti
o
nally skip
r
e
d
u
ction
o
f eval
u
es in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
e
v
a
lue_frac2floor: o
n
ly make ar
g
ument nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexm
i
n:
P
olyhedr
o
n_n
o
t_
e
mpty: be careful
abo
u
t empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
e
xmin: indicator_term
:
:is_opposite: assume numerato
r
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n V
e
rdoolaege
r
e
move_all_equ
a
lities: handl
e
compress_variables returnin
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
eg
e
lexmin: optionally
u
s
e cdd duri
n
g basis red
u
cti
o
n
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoo
l
aege
Polyh
e
d
ron_Reduced
_
Basis: optionally use cdd to s
o
lve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Ve
r
d
oolaege
configure
.
in: check for cddlib
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
lex
m
i
n
: Polyhedron_n
o
t_empty: c
o
ntinue remov
i
ng e
q
ualities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: handle eq
u
alit
i
es amo
n
g pa
r
a
m
eters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
remove_all
_
eq
u
alities: ignor
e
identity
p
a
r
ameter compression
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
remove_equalities
.
c:
e
xtracted from
barvino
k
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
r
d
oo
l
aeg
e
g
e
nfun: add sho
r
t_rat::normaliz
e
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
genfu
n
:
a
dd short_rat construc
t
ors
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
ev
a
lue
.
c: evalue_
d
enom: improve comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Polyh
e
dron_not_em
p
ty: check res
u
l
t
returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n Verdoo
l
aege
b
a
rvinok
.
cc:
s
eries: rem
o
v
e
eq
u
alit
i
es using Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdool
a
ege
barvinok_co
u
nt
:
coll
e
ct
stat
s
on number
of unimo
d
u
l
ar
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
util
.
c:
trian
g
ulate_cone: us
e
bigger random values
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verd
o
olaege
sample
.
c:
Polyhedron_RemoveFixedC
o
lumns: copy constan
t
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven
V
e
rd
o
ola
e
ge
bernstein
:
piecewise_lst::evaluat
e
: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaeg
e
confi
g
ure
.
in
:
onl
y
add -lber
n
s
t
e
i
n to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven
Verdo
o
l
aege
c
o
n
figu
r
e
.
i
n
: rename --wi
t
h-g
i
nac
to
-
-
w
ithout-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdool
a
eg
e
co
n
figure
.
in: allow build
without GiNaC
(
and th
e
r
efore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
config
u
re
.
in: add
-
lb
e
rnstein
t
o barvinok
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdo
o
l
aege
util
.
c
:
compress_
v
ariables: correct
check fo
r
sc
a
l
i
ng
commit
|
commitdiff
|
tree
2006-11-09
Sven Ver
d
oolaege
util
.
c: some document
a
ti
o
n for compress_variables
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n Verdoolaege
ver
i
f_
e
h
r
h
a
rt:
a
dd --print-all option
to
r
e
p
lac
e
PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
do
o
laege
mat_util: make a
r
g
u
ments of l
e
x
_
cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
a
d
d
AUTHO
R
S
f
ile
commit
|
commitdiff
|
tree
2006-10-31
Sven
Ver
d
oolaege
bum
p
version
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
M
a
ke
f
ile
.
am
:
m
a
ke s
u
re correct files ar
e
inclu
d
ed in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
d
o
c
: m
e
n
t
ion res
t
riction of
b
arv
i
nok_enumerate_scarf
_
series
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
doc: minimal docu
m
entation for the lexmin
a
p
plication
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
b
e
rnstein/con
f
igu
r
e
.
in: set AC_CONFIG_A
U
X_
D
IR to ber
n
stein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c
:
doc
u
ment polytope_
s
am
p
le
commit
|
commitdiff
|
tree
next