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
topcom: fix heuristic for selecting rows to use as non-negativity constraints
2007-09-15
Sven Verdoolaege
t
o
pcom
:
fix
h
e
uristic
f
o
r
selecti
n
g ro
w
s to
use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
b
arvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdool
a
ege
Merge branc
h
'topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Document TOPCOM based chamb
e
r
d
ecompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
test TOPCOM c
h
amber decompo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
Optional
l
y use TOPCOM
to c
o
mp
u
t
e
chamb
e
r
d
ecompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: ad
d
(pr
o
tect
e
d)
m
i
s
sing algorithm
include
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
d
o
o
laege
M
a
k
e
file
.
am
:
ad
d
target
for cr
e
a
ti
n
g d
i
st with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
d
o
c: upd
a
te v
o
ting t
h
eory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
document b
a
rvinok_
s
ummate and barvin
o
k_maximize
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
doc: consistent use of
Ba
r
vinok'
s
in
i
tials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
doolaeg
e
ba
r
vinok_summate: correct optio
n
s
d
escription
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verd
o
olaeg
e
Document Eule
r
-Macl
a
urin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
c
h
ange e
x
ample envir
o
nment
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaeg
e
d
o
c
:
add
som
e
hidden
s
ecti
o
ns to
t
able
of conte
n
ts
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c: a
n
o
t
her
d
o
c
u
m
ent
r
efering to
th
e
lib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
add some
t
e
st
s
f
or Euler-Macl
a
urin bas
e
d summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
Euler-Maclaurin
b
ased s
u
mm
a
t
ion for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
E
uler-Maclaurin based su
m
mation f
o
r
2D prob
l
e
ms
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoo
l
aege
dec
o
mposer
.
c
c: avoid use of
half-ope
n
con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
ba
r
vinok_s
u
mmate: verify so
l
ution
over
w
h
ole
p
ar
a
met
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
intro
d
uce barv
i
n
o
k_sum
m
at
e
a
s
a wrap
p
er for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolaege
add
e
val
u
e_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{div,mu
l
}: handle s
o
me
tr
i
v
ial cases more e
f
ficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_poin
t
: ex
p
ort fra
c
tional_part
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
ev
a
l
u
e
.
c:
ex
t
r
act common cod
e
for c
o
nstruc
t
ion based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdool
a
ege
vo
l
ume
.
c: export Pa
r
am_Polyhe
d
ron_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add
e
value_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
f
i
x typ
e
of e
v
alue_po
l
ynomial
argumen
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
support compu
t
ation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
separate
c
omputation of Bernoulli
c
o
effic
i
ents
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
lattice_point:
use Par
a
m
_Vertex_
C
ommon_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
olae
g
e
m
ake decomposer
.
h self-contain
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
ge
r
e
duce_domain: a
v
o
i
d us
e
of macro paramet
e
r with na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
l
aege
export eva
l
u
e
_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
U
s
e
p
iplib d
u
r
i
ng basis reduction if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaege
Use bund
l
ed pip
l
ib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
add piplib
m
o
d
ule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bund
l
ed PolyL
i
b by default
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdool
a
ege
add polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
ber
n
stein: allow link
i
ng against
uninst
a
lled
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
Verdoolaege
add more
m
is
s
ing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Verdool
a
ege
a
dd dummy
impl
e
mentations
o
f functions
t
hat depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n
V
erdo
o
l
aege
u
pdat
e
"
C
ounting w
i
th
rati
o
nal gen
e
r
ating
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
barvin
o
k
.
cc:
s
p
lit
o
ff part
constructing g
e
n
er
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdool
a
ege
barvinok
.
cc: spl
i
t off pa
r
t d
e
a
l
in
g
with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven
V
erdoolaege
*counter:
a
void recomputation
o
f denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolaege
count
e
r: remove re
d
undan
t
me
m
ber
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoola
e
ge
cha
n
ge type
o
f some "si
g
n"s
to int
a
s
t
h
e
y can o
n
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Ver
d
ool
a
eg
e
do
c
: updat
e
Algorithmica
p
ublication
commit
|
commitdiff
|
tree
2007-08-10
Sven Ver
d
oolae
g
e
evalue
.
c
:
m
ake parameter name
s
of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c: P
o
lyhedro
n
_Re
m
oveFi
x
edColumns
:
cor
r
ectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n Ver
d
oolaege
u
til
.
c:
remove_
e
qua
l
ities: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Para
m
_Polyhedr
o
n_Pri
n
t: print everyth
i
ng to given
fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
barvino
k
_enumerate_with_options: don't add c
o
n
te
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rd
o
olaege
b
a
rvinok
.
cc: don't fr
e
e P arg
u
m
e
nt i
n
enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Ve
r
doolaeg
e
remov
e
_all_equal
i
ties:
a
l
so remo
v
e equalitie
s
in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
v
ol
u
me
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n Verdoolaeg
e
expo
r
t
Param
_
Inne
r
_Product
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
Verdoolaege
barvino
k
_enumerate
.
cc:
a
d
d
m
ini
m
al check on input
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n
Verdoolaege
m
ore
p
ro
t
otype changes to co
n
st char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Ve
r
doolaege
evalue: print_
e
value:
m
ake parame
t
er
n
ames const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaeg
e
Always comp
i
le
polyt
o
pe_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Ver
d
oo
l
aege
pol
y
top
e
_scan: use argp for argum
e
n
t
pars
i
ng
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoola
e
ge
d
o
c: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n Verdoolae
g
e
con
f
igur
e
.
in: allow
s
pecifi
c
ation of
d
efaul
t
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdo
o
laege
cons
o
lidate cal
l
s to Polyhedron2Par
a
m_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n Verd
o
ola
e
ge
vo
l
u
me
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verd
o
olaege
M
akefi
l
e
.
am:
a
d
d
$(EXEEXT) for c
y
gwin
commit
|
commitdiff
|
tree
2007-07-01
S
ven V
e
r
doolaeg
e
Makefile
.
am: force
rebuil
d
libraries in subd
i
rs
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolae
g
e
onl
y
test ba
r
vino
k
_maximize
if it
h
as been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
a
eg
e
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testlib
.
c
c
:
w
ork
a
round inco
m
plete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoo
l
a
e
g
e
sc
a
le
.
c: enumera
t
e_nar
r
ow_fl
a
ted:
d
on
'
t sim
p
lify constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declare variable
s
at
s
tart of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc
:
updat
e
documentation of options and some func
t
ion
s
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ve
r
d
oola
e
ge
Po
l
yhedron
_
Samp
l
e:
f
actor
p
olyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
Polyhedron_Sample: c
o
m
p
ute vertic
e
s of
1D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
l
y
hedron_Sample: remove all equal
i
ties from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoo
l
aege
add
p
o
s
sibility to use GLP
K
as
LP solver
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verdoolaege
Polyhedron_Samp
l
e: postpone remova
l
of
r
ay
s
until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ver
d
ool
a
ege
P
ol
y
h
e
dron_Samp
l
e
: use l
p
s
olve
r
for find
i
n
g range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
do
o
laege
lexmin: mov
e
ch
o
ice of lp solver to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
polysi
g
n
.
h: use correct na
m
e of PL_polyhedr
o
n_af
f
ine_
s
ign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Ver
d
oolae
g
e
barv
i
no
k
_enumerate:
plug memory lea
k
in Bernou
l
li approximation
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdo
o
laege
b
arvinok_enum
e
ra
t
e_e_r: don't assume A
d
d
Constrai
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
evalue_
f
r
a
c2po
l
ynomial: recheck
evalue
a
fter evalue_
s
pli
t
_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rd
o
olaege
util
.
c: Line_Le
n
gth: don't get
confused by p
o
sitivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdo
o
lae
g
e
Makefile
.
am: stop after first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoo
l
aeg
e
b
er
n
stein
:
carry thro
u
gh
variable renaming to
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolaege
bernstein:
don't assu
m
e i
n
p
u
t polynomi
a
l has been
expa
n
de
d
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Ve
r
d
o
olaege
evalue_
r
e
a
d
.
c: corr
e
ct const
n
ess of
n
ame in
parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
eval
u
e_read: accept
c
o
nstant multiple
o
f
variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven
Ver
d
o
o
laege
evalue
.
c
:
evalue_sum: b
e
tter handling of negati
v
e valu
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sven
V
e
rdoolaege
eva
l
ue
.
c
:
reorde
r
_terms: fix
typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolaege
e
valu
e
: d
e
clare first argument of emul
cons
t
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalu
e
.
c: emul:
d
on
'
t us
e
explicit_
c
omple
m
ent on
a
rgume
n
ts
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oolaege
add a test for evalue_s
p
lit_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Ver
d
o
olaege
evalue
.
c: evalue_sp
l
it_periods: m
a
ke sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
Verdool
a
e
ge
eval
u
e
.
c:
p
o
lynomial_projectio
n
: use
e
value_e
x
tract_affin
e
commit
|
commitdiff
|
tree
next