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: make sure distribution contains required files
2007-04-20
Sven V
e
rdool
a
ege
Makefile
.
am: make
sure distri
b
u
t
ion contai
n
s requi
r
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_enumerate: don't pri
n
t (non-existing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Ver
d
oolaeg
e
edomain
.
c
c
: avoid use of fdst
r
eam
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
V
erdoolaege
confi
g
ure
.
in
:
check for polylib/polyl
i
bg
m
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
g
e
declare variable at start of co
d
e
b
l
ock
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
Verdool
a
ege
Makefile
.
am: rebuild l
i
brar
i
es
in subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verd
o
olaege
barvin
o
k_en
u
merate: rec
h
eck for e
q
ualities after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n V
e
rdoolae
g
e
d
o
c: a v
o
ting theory report th
a
t
refe
r
s to
the
l
ibrar
y
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
er
d
oolaege
doc: update
primal Ba
r
vi
n
ok r
e
ference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
o
c
:
add journ
a
l
v
e
rsion
o
f
improved de
r
ivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdool
a
e
ge
volume
.
c: keep track
of number of s
i
mpl
i
c
es in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
rdoolaege
te
s
t
_ap
p
ro
x
: test volum
e
com
p
utation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdo
o
laege
vol
u
me
.
c: volume_t
r
iangulate
:
use
v
e
r
te
x
inste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
vo
l
ume
.
c: fac
e
_verti
c
es: use
P
a
r
am_In
n
er_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
redu
c
e
_domain: ex
p
l
o
it t
h
at no caller uses
P
olyhedron
2
Pa
r
am_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexmin: stop using P
o
lyhedron2P
a
ram_Si
m
plifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok
.
cc: s
t
op
using Po
l
y
h
edr
o
n
2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdool
a
eg
e
Require a
v
er
s
ion
o
f
PolyL
i
b th
a
t computes
corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
volume
.
c:
n
on_empty_point: si
m
ply use inter
n
al point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
o
olae
g
e
add an ehrh
a
rt example with interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
test_approx: test c
h
amber based scali
n
g
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
s
c
a
le
.
c: opt
i
onally perform scal
i
ng
o
n individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
a
r
vinok_enumerate
:
use
"variable compression
"
t
o
remov
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
ut
i
l
.
c:
left_i
n
v
e
r
se: handle constant map
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erd
o
olaege
eval
u
e
.
c: evalue_subs
t
itut
e
: move
from edoma
i
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
ev
a
lue
.
c:
affi
n
e2evalue: e
x
t
racted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
red
u
c
e_doma
i
n: parti
t
i
on ch
a
m
ber
com
p
lex based o
n
inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoo
l
aege
reduce_do
m
ain
.
c: extract
inner_point
a
nd is
_
internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verdoolae
g
e
r
educe_domain: c
h
eck for adja
c
ent chambers in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
ool
a
ege
FORALL_REDU
C
E
D_DOMAIN:
extract common handling
o
f reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoolaege
barvinok_enu
m
er
a
te: m
o
ve r
e
cu
r
si
v
e call d
u
ring scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
ege
barvinok
.
cc: Param
_
Polyhedr
o
n_
E
numerate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoolaege
a
d
d
s
ome i
n
teresting test cas
e
s
f
or volume computatio
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
perform
v
ery basic polyno
m
ial
a
p
p
roximation
t
e
st
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doolaege
test
_
approx: compare diffe
r
ent polyno
m
ial appro
x
im
a
tions
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
evalue_
c
onvert
.
cc: partial support for p
r
inting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en
V
er
d
oolaege
Param_Polyh
e
d
ron_Volume: pe
r
form l
i
fting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
volume
.
c: introduce parame
t
er_point ab
s
tra
c
tion
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoola
e
g
e
scale
.
c
:
export Para
m
_Vert
e
x_Common_
D
e
n
ominator
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Ver
d
ool
a
ege
volume
.
c: drop redundant ar
g
umen
t
s to volu
m
e_simplex
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n
Verd
o
olae
g
e
options
.
c: se
p
arate polynomial approx
i
mat
i
on re
l
ated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoola
e
ge
barvinok_o
p
t
ions_new_with
_
de
f
au
l
ts: initialize
scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaege
triangulate_cone: skip D
e
l
a
unay tria
n
gula
t
ion by def
a
ul
t
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verd
o
olaege
e
v
alue_conv
e
rt: print lattice when printing a
s
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoola
e
g
e
evalue_conv
e
rt:
add verb
o
se arg
u
m
e
n
t and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verd
o
olaege
Polyhed
r
on
_
Flate:
i
ntersect infl
a
t
e
d polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolae
g
e
doc: bib: fix up name in
title
of A
l
gorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolae
g
e
add missing v
o
lu
m
e
.
h fi
l
e
commit
|
commitdiff
|
tree
2007-04-04
Sven V
e
rdoolaege
vo
l
ume
.
c: delay computati
o
n of
po
i
nt where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
er
d
o
olaege
Param_
P
olyhedron_Volume: set p
o
l
yno
m
i
a
l
_
approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volume
.
c: allow
c
om
p
utation o
f
lo
w
er a
n
d upper
b
ou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaege
scale: export Polyh
e
d
ron_Flat
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
barvinok_en
u
m
e
rate: optionally compute
"
vo
l
ume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdo
o
laege
po
l
ytope_v
o
l
u
m
e
: co
m
p
ute vo
l
ume of parametric polyto
p
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
olae
g
e
reduce
_
d
omai
n
.
c: plug memory l
e
ak
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doo
l
aeg
e
verify
.
c: mo
v
e
c
om
p
utation of true
c
ontext i
n
to c
h
eck_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
sc
a
le
.
c: add simp
l
ified method of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
barvinok_enumerate
:
optio
n
ally compute ti
g
hter po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
polyhedron_sample
.
c
: remov
e
redunda
n
t MAXRAY
S
d
efine
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
evalue
.
c: evalu
e
_eval: support r
e
lati
o
ns
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
e
value
.
c: ev
a
lue
_
f
r
ac2
p
olyn
o
mial: properl
y
handl
e
rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
ba
r
vinok
_
enumerate: su
p
port appro
x
imati
o
n by me
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
sc
a
le
.
c: avoid simpli
f
ica
t
ion
o
f constraints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolae
g
e
ba
r
vi
n
ok/util
.
h: add
P
OL_UN
S
E
T
macro for uns
e
tting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
s
ca
l
e
.
c
: Param
_
P
o
lyhedron_Scale_Int
e
ger_Fast:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
er
d
oolaege
mo
v
e P
a
ram_Polyhedron_S
c
ale_Intege
r
to sca
l
e
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoola
e
ge
u
s
e
separate fla
g
s option for sc
a
le approx
i
mation method
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ver
d
oolaege
ba
r
vinok
.
c
c: move s
c
a
l
ing
to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
v
en
V
e
rdoolaeg
e
scale
.
c: correct extract_lattice in
c
ase o
f
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sv
e
n Ver
d
o
olae
g
e
doc: update CC2005 referen
c
e
commit
|
commitdiff
|
tree
2007-03-26
Sven Ve
r
do
o
laege
verif_ehrha
r
t
.
c
:
r
ound i
n
exact evalu
a
tion up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_
e
h
rhart
.
c: op
t
ionally use exact
e
valuatio
n
for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
Verdoolae
g
e
e
v
alue
.
c: add
e
valu
e
_eval for
e
xact evaluation of evalue
commit
|
commitdiff
|
tree
2007-03-25
S
v
en V
e
rdoolaege
evalue
.
c: fix
e
value_frac2polynomial fo
r
negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoola
e
ge
barvinok_enumerate:
perform slo
w
scaling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ver
d
ool
a
ege
fix P
a
ram_Polyhedro
n
_Scale_Inte
g
e
r
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolae
g
e
barvinok_enumer
a
t
e
: more
a
c
curate polynomial app
r
oximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laeg
e
r
e
o
r
ganize
p
olynomial approxima
t
ion op
t
ions
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
aege
util
.
c: Par
a
m_Polyhedr
o
n
_
P
r
in
t
: actually use
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix me
r
ge of check_poly
f
ro
m
verif_ehrhart
.
c and
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
v
en V
e
rdoolaege
doc:
u
pdate Koeppe
-
Verdoolaege refe
r
enc
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
o
l
ae
g
e
barvinok_maximize:
s
upport verific
a
t
i
o
n
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
m
e
rge check_poly from verif_e
h
r
h
art
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdool
a
ege
eval
u
e
.
c: make
so
m
e ev
a
lue
arguments const
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
er
d
oolaege
evalue_frac2f
l
oor2: al
s
o
co
n
vert non-partiti
o
n if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Ve
r
doolaege
v
erify
.
c: chang
e
verify_opt
i
ons
_
s
et_ra
n
ge p
r
otot
y
p
e
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
bernst
e
i
n: piecewi
s
e_lst::evalu
a
t
e
:
sup
p
ort dif
f
e
r
ent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdo
o
laege
v
e
ri
f
y
.
c:
turn of
f
cont
i
nue_on_
e
rror by default
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erd
o
olaege
b
erns
t
ei
n
: export numeric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven
V
erdoolaege
do
c
: proof of exi
s
tence of s
u
itabl
e
y fo
r
primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
Verdoola
e
ge
doc: fix proof of ex
i
st
e
n
c
e of suit
a
bl
e
y for prim
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olaege
bernstein
.
cc:
be
r
nstein
_
c
oeffic
i
ents: cr
e
ate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
arvino
k
_maximize: opt
i
onally u
s
e recur
s
ive
b
e
r
nstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
bernstei
n
.
cc
:
be
r
nstein_coef
f
ici
e
n
t
s
:
support gene
r
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
b
ernst
e
i
n
.
cc: refa
c
tor bernstein
_
co
e
f
f
i
c
ients
_
p
ro
d
uct
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
la
e
ge
bernstein: p
i
ecewise_
l
st: add
s
ign and r
e
mo
v
e redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
e
r
doo
l
a
ege
b
ernstein: add remo
v
e_red
u
ndants
m
ethod
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laege
d
o
c: pri
m
al decompo
s
ition:
typo fixes + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
doc: fix primal dec
o
mpositi
o
n
example + clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
D
ocument primal d
e
c
om
p
osit
i
on
commit
|
commitdiff
|
tree
next