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.cc: make use of sampling for counting infinite domains configurable
2007-01-05
Sve
n
Verdoolaege
barvinok
.
c
c
: make use of sampling
f
or count
i
ng infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvi
n
ok
_
enu
m
e
ra
t
e_e
:
r
e
sp
e
ct --tab
l
e
o
ption
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
V
erdoolae
g
e
lexmin
.
c
c: m
o
ve se
l
e
c
t
ion
of gbr solver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
V
erdoolaege
lexm
i
n: use a
r
gp
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
b
a
rvin
o
k_enumera
t
e_e: extract out ve
r
ification options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok
_
enumerate_e: p
r
int
w
arning when --omega
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
r
doolaege
bernstei
n
/confi
g
u
r
e
.
in: remove redundan
t
ch
a
nge to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaeg
e
barvinok/
p
o
lyli
b
.
h:
d
e
fin
e
va
l
ue_sub
t
ract
a
nd
value_addmu
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
dec
o
mposer
.
c
c
: de
c
ompose:
mic
r
o-
o
p
timiza
t
ion
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
sig
n
ed
_
c
o
ne
:
s
tore ra
y
s of cone
commit
|
commitdiff
|
tree
2007-01-04
Har
a
l
d Devos
omega/pars
e
r
.
y: remove brac
k
ets ar
o
und t
y
pe in new
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
l
exmin: disable use
o
f
lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolae
g
e
barvinok_enumerate_
e
.
c
c
:
fix argp options parser
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
o
pt
i
ons
.
c: mov
e
cho
i
ce of
use o
f
lookup-table to ba
r
v
inok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
l
at
t
ice_point
.
cc: fi
x
#ifndef
USE_MODU
L
O code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
deco
m
p
o
ser
.
cc: short
_
vector: rem
o
ve
redundant code
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdo
o
l
aege
decompo
s
er
.
cc: s
h
ort_vector: negate lambda
if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
ba
r
vinok
.
cc: s
e
ries: only re
q
uire
rays to
b
e
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ve
r
doolae
g
e
barvinok
.
cc: series: pass
full options to ba
r
vinok_count
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ver
d
oola
e
ge
n
p
_b
a
se
:
:handle: pas
s
around rays matrix
ins
t
ea
d
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ve
r
do
o
laege
deco
m
p
o
ser
.
c
c
:
support primal
decompositi
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
er
d
oolaege
decomp
o
ser
.
cc
:
b
arvinok_deco
m
pose:
i
m
p
lement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
barv
i
nok_e
n
umerat
e
: respect incremental_specializa
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
introduce s
i
gned
_
c
o
ne
struct
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
d
o
olaege
s
ep
a
rate ou
t
decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
test: use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolae
g
e
upda
t
e argp fr
o
m
g
n
ul
i
b and ad
d
progname module
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolaege
barvinok_enumerate_e
.
cc: don't ex
i
t on
un
r
ecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
ven
Verdoolae
g
e
lib/argp
.
h: remo
v
e __NTH for __argp_us
a
ge
i
nline fu
n
ction
commit
|
commitdiff
|
tree
2006-12-27
S
v
en
V
erdoola
e
ge
barvinok_enume
r
ate_
e
.
cc: remov
e
an
o
t
h
e
r du
p
licate de
f
inition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
laege
barvi
n
ok_enumerate_e: use argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoola
e
ge
barvino
k
_count:
u
se argp p
a
rs
e
r
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaege
options
.
c: add argp p
a
r
s
e
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaeg
e
a
dd argp from gn
u
l
ib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdool
a
ege
scarf
.
c
c
: make
compatible
w
i
t
h
older versions
o
f
P
olyL
i
b
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoola
e
g
e
ad
d
missing assert
.
h
#includes
commit
|
commitdiff
|
tree
2006-12-26
S
ven
V
e
r
doolae
g
e
Makefil
e
.
am
:
add re
m
o
ve
_
equa
l
it
i
es
.
h
t
o
distribut
i
on
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdoolaege
configure
.
in: only
con
f
ig
u
re bernstein if GiN
a
C
was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sv
e
n
V
e
rdoolaege
bernstein: config
u
re
.
in:
c
hec
k
for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
ber
n
s
t
ein: remove extra qua
l
if
i
cat
i
o
ns from polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
ven Ver
d
oo
l
ae
g
e
be
r
n
s
te
i
n/
s
rc/main
.
cpp: remove redund
a
nt i
n
clude
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
s
hort_rat::normal
i
z
e
:
mak
e
powers in the d
e
nominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven V
e
rdoolaege
gen
_
f
u
n:
:
substitute: norm
a
lize term
s
commit
|
commitdiff
|
tree
2006-12-18
Sven V
e
rd
o
olaege
dp
o
ly_r: store
terms in a se
t
rather t
h
an in a
vect
o
r
commit
|
commitdiff
|
tree
2006-12-18
Sven Verd
o
olaege
gen_fun: store term
s
in
a set rather
than in a
v
ector
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
d
oolaege
le
x
min: all
o
w emptiness
c
h
ec
k
through counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
lexmin
.
c
c: move c
o
nstruction o
f
s
u
bdom
a
in
s
to ed
o
main
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
edomain
.
cc:
m
ove sample computation
c
ompletely
t
o EDom
a
in
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Ve
r
doolae
g
e
lexm
i
n
.
cc: partial_order::compare: use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
lexmin
.
c
c
: indicator::combin
e
:
more efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verd
o
olaege
lexmin
.
c
c: keep head
s
in parti
a
l
o
r
der separate
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edomain
.
cc: E
D
omain:
:
add_ge_cons
t
raint:
s
implify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
g
e
lexmin
.
cc: partial_or
d
er::c
o
mpare: a
d
d cache of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
lexmin: make sure le s
e
t in
p
ar
t
ial order only
c
ontains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
min: more sani
t
y
c
hecks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lemxin
:
us
e
s
table o
r
dering of
i
ndicator_terms in
partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
gen
f
un
.
cc:
move lex_cmp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
l
exmin:
indicator:
:
combine: directly
add s
o
me know
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
b
a
rvinok/polylib
.
h:
s
eparate include
of polyl
i
b
h
eader
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
le
x
m
i
n: opti
o
nall
y
c
omp
u
te sign of affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
e
xm
i
n: option
a
lly ski
p
red
u
ct
i
on of evalues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoola
e
ge
evalue_
f
rac2floor: only make
argument nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
erdoolaege
le
x
min: Polyhedron
_
not_emp
t
y: be ca
r
e
ful
about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doola
e
g
e
lex
m
in: i
n
di
c
ator_term::is_opposi
t
e: assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
re
m
ove
_
al
l
_equalit
i
es: handle compress
_
va
r
i
able
s
returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
Verdoolaege
lex
m
in: optionally use cdd
d
uring basis r
e
duc
t
ion
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
Polyhedron_Reduced_Basis: optionally use cdd to
s
olve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdool
a
ege
configure
.
in: check for
c
ddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
l
e
xmin
:
P
o
lyhed
r
on_
n
ot_empty
:
continue removing equ
a
lities
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaege
lexmin: handl
e
e
qua
l
ities among parameters
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdool
a
ege
remo
v
e_all_
e
qualities: ignore identity pa
r
ameter com
p
r
e
ssion
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Ver
d
oolaege
re
m
ove_equalities
.
c
:
extr
a
c
ted from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
genfun: add short_rat::normali
z
e
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verd
o
olaege
genfun: add short_rat con
s
tructors
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n Verdoolaege
e
v
alue
.
c
:
e
v
alue_
d
enom: imp
r
ove co
m
ment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexm
i
n
: Polyhe
d
ron_not_empty: check res
u
lt returne
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Verd
o
olaege
barvino
k
.
cc: series
:
remove
equ
a
lities using Prei
m
a
g
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
Verd
o
olaege
barvinok_count: collect stats on n
u
mber
of unimo
d
ul
a
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Verdoolaege
util
.
c: tr
i
angulate
_
c
one: use bigger random values
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
sample
.
c: Polyhedr
o
n_RemoveFixe
d
Column
s
: copy constant
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
bernstein: piecewise_ls
t
::e
v
a
l
uate: fix typo
commit
|
commitdiff
|
tree
2006-12-06
S
v
en
V
erdoola
e
ge
con
f
igure
.
in: only add -lbernstein to
barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolae
g
e
configure
.
in:
rena
m
e --wit
h
-ginac to --without-bernstei
n
commit
|
commitdiff
|
tree
2006-11-10
Sven
Verdo
o
l
a
ege
configure
.
i
n
: all
o
w
build
w
ithout G
i
N
a
C (and theref
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
c
onfigure
.
i
n: add -lbernstein
t
o barvinok
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
ut
i
l
.
c: compress_variables:
c
orrec
t
c
h
eck for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
util
.
c
: som
e
d
o
c
umentatio
n
for compr
e
ss
_
va
r
iables
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
doolaeg
e
verif_ehrha
r
t: ad
d
-
-print-all o
p
tion
to replace PR
I
NT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoo
l
aeg
e
mat_util: make
a
rgume
n
ts of lex_cmp co
n
st
commit
|
commitdiff
|
tree
2006-11-09
S
v
en
Verdo
o
laege
add AU
T
HOR
S
file
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdo
o
laege
bump v
e
rsion
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolae
g
e
Mak
e
fil
e
.
am: m
a
ke
s
u
r
e c
o
r
rec
t
files are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: mention rest
r
iction of barvinok_enumera
t
e_
s
carf_series
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rd
o
olaege
d
o
c: minimal d
o
cumentation
for t
h
e lexmin application
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
b
e
r
nstein/con
f
igu
r
e
.
in: set AC_CONFIG_
A
UX_DIR to ber
n
s
tein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
ven Ver
d
oo
l
aege
doc
:
document polytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven
Ver
d
ool
a
ege
doc: document polyhedron_sampl
e
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
doc:
include barvinok library ve
r
s
i
o
n
in
title
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
c
o
nfigu
r
e
.
in: fix ty
p
o
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c
:
bi
b
: name Kevi
n
M
.
Woods consisten
t
ly
commit
|
commitdiff
|
tree
next