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 0.25
2007-09-11
Sven
V
erdo
o
laege
barvi
n
ok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Merge branch
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
rdoolaege
Docu
m
ent TOPCOM based
c
hamber decompo
s
iti
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
l
a
ege
te
s
t TOP
C
OM chambe
r
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Op
t
ionally use TOP
C
OM to comp
u
te chamber deco
m
p
o
sitio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoola
e
ge
lexmin: ad
d
(protecte
d
)
m
issing
algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefile
.
am: a
d
d target for c
r
eating dist
with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c
:
update vo
t
i
n
g theory
reference
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
doolaege
d
o
cume
n
t ba
r
v
i
n
o
k_summat
e
an
d
barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdool
a
ege
d
oc: consistent use
o
f Ba
r
vinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
barvinok_summ
a
te: correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Docume
n
t
Euler-Mac
l
aurin based
s
um
m
atio
n
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
erdoolaege
doc: change e
x
ample
e
nv
i
ronment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
a
dd some hidden s
e
ctions to tab
l
e of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: another document refering
to the
libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
add some tests
for Euler-Mac
l
a
u
rin b
a
sed summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erd
o
olaege
Eu
l
er-Maclaurin based summatio
n
for
1
D
p
robl
e
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolae
g
e
Euler-Ma
c
l
a
urin
b
a
s
e
d summation for
2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
d
e
c
omposer
.
cc: avoid use of
half-o
p
en cones
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
b
a
r
v
inok_summate:
verify sol
u
tion over whol
e
parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
intro
d
uce barvi
n
o
k
_summa
t
e as a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
rdoolaeg
e
add
ev
a
l
ue_mul_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
evalue
_
{
div,mul}: handle so
m
e tri
v
i
a
l cases more ef
f
icien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdool
a
ege
lattice_point: export fractio
n
al
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalu
e
.
c
:
extract com
m
on c
o
de
f
or constructi
o
n ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verd
o
olaege
volume
.
c:
export Par
a
m_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
er
d
oolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
f
ix type of evalue_polyno
m
ial argu
m
en
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
suppor
t
c
omputat
i
on o
f
Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
separate computati
o
n of Bernoulli co
e
fficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoo
l
aege
lattice_poi
n
t: use Param_Vertex_Common
_
Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
make d
e
composer
.
h s
e
lf-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
red
u
ce_domain: avoid
u
se
of macro
p
arameter wi
t
h name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
piplib during basis reduction if
no oth
e
r LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use b
u
n
dled piplib b
y
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
do
o
laege
add pi
p
lib
mo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ve
r
doolaege
Use bundled PolyLib by
defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add p
o
lylib
s
ubmodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
olaege
bernstein: allow
linking
against unin
s
t
a
lled, bu
t
buil
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven
Verdo
o
l
a
ege
ad
d
more missing ass
e
rt
.
h
#
inclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sven Ver
d
ool
a
ege
add dum
m
y implementati
o
n
s
o
f
functions
t
hat
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoola
e
ge
update "
C
ount
i
n
g
with rational gene
r
at
i
ng functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
barvinok
.
cc: s
p
lit off part c
o
nstructing gene
r
at
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n
Verdoolaege
b
a
r
vino
k
.
cc: split o
f
f part
d
eali
n
g wit
h
existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
e
g
e
*counter:
avoid recompu
t
a
t
ion of denomi
n
ato
r
s when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoola
e
ge
counter: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaege
change typ
e
o
f
s
ome "sign"s t
o
int a
s
th
e
y
can
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en
V
e
rdoolaege
doc: upd
a
t
e Algo
r
i
thmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: make para
m
eter
n
a
m
es
o
f t
y
pe const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
V
e
r
doolaeg
e
samp
l
e
.
c: Pol
y
hedron_R
e
moveFixedColu
m
ns: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
en
V
erdoolaege
util
.
c: r
e
move_equalities: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sven V
e
rdoolaeg
e
Param_Polyhedron_Print
:
print ev
e
ry
t
hing to given fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
barv
i
nok_enumerate_with_options:
d
o
n't add
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoo
l
aeg
e
bar
v
inok
.
c
c
: don't free P argument
i
n enu
m
erate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoola
e
g
e
remove_all_e
q
u
a
litie
s
: also remove equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
d
oolaege
v
o
l
u
me
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
export Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
Verdoola
e
ge
ba
r
vinok_en
u
merate
.
cc: ad
d
minimal check on
i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
erdoolaege
mo
r
e prototype changes to const
c
har *
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Verdool
a
e
ge
e
v
alue:
p
ri
n
t_evalue:
m
ake param
e
ter nam
e
s
const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verdoolaege
Al
w
ays
compile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
pol
y
tope
_
scan: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
S
ve
n
Verdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
Verd
o
olaege
config
u
re
.
in: allow specifi
c
ation of default
p
refi
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consolidate calls
t
o
Polyh
e
dron2Par
a
m_Domai
n
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
d
oolaege
v
o
lume
.
c
:
fix
typ
o
in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
Makefile
.
a
m
: add $(E
X
EEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am:
f
orce rebu
i
l
d
libra
r
ies
i
n subd
i
rs
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Ver
d
oolaege
only
te
s
t barvinok_maxi
m
ize if it
h
a
s
b
een/can be crea
t
ed
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ver
d
oola
e
ge
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolae
g
e
testlib
.
cc: work aroun
d
incom
p
lete namespace s
u
p
por
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaeg
e
s
cale
.
c: enumerate_
n
arrow_flat
e
d: don't
s
i
m
p
l
ify
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdool
a
eg
e
decl
a
re var
i
ables at sta
r
t of code block
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ver
d
oolaege
doc: upda
t
e doc
u
m
e
n
t
a
tion of opti
o
ns
a
nd some functions
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ver
d
o
ol
a
ege
P
olyhedron
_
S
a
m
p
l
e
:
fa
c
tor polyhed
r
on i
f
possible
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doo
l
aege
Polyhedron_Sa
m
ple: compute
ver
t
ices of
1
D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdo
o
laege
Polyhedron_Sa
m
ple: remove all equalities from polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
add possi
b
ility
to use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolae
g
e
Polyhedron_Sa
m
ple: postpon
e
removal of r
a
y
s until w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample:
use l
p
sol
v
er
f
o
r
f
inding r
a
ng
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oo
l
a
e
ge
lexmin: move choice of
l
p s
o
l
v
e
r to
u
se outsi
d
e basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
pol
y
si
g
n
.
h: use correct name o
f
P
L
_polyh
e
d
ron_affine
_
s
ign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ve
r
doolaege
barvi
n
ok_enumera
t
e: plu
g
memory leak i
n
Bern
o
ulli approximatio
n
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
barvinok_enumer
a
te_e
_
r:
don't assume A
d
d
C
o
nstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ver
d
oola
e
g
e
eva
l
ue_fr
a
c2
p
olynom
i
al: recheck evalue afte
r
evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
aege
u
til
.
c: Line_Length: don't get c
o
nfused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
o
laege
Makefile
.
am
:
stop after first failed test
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolae
g
e
bernstein: carry thr
o
ugh
v
ariable r
e
naming
t
o d
e
b
uggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoola
e
ge
bernstein: don'
t
assume input pol
y
nomial h
a
s b
e
en expa
n
ded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read
.
c
:
correct constness of n
a
me in
p
arameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
rdoolaege
evalue_read: a
c
cept consta
n
t mul
t
iple
of
v
ariable w
i
thout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ve
r
doolaege
evalue
.
c
: e
v
a
lue_
s
u
m
: bette
r
handling
o
f negative v
a
lues
commit
|
commitdiff
|
tree
2007-06-15
Sven
V
erdoolaeg
e
evalue
.
c: reorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdo
o
laege
eval
u
e: declare first argument
of emul con
s
t
commit
|
commitdiff
|
tree
2007-06-14
S
ven
V
erdoolaege
evalue
.
c: em
u
l: d
o
n't use
e
xpli
c
it_complement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add a t
e
st for
e
val
u
e_s
p
lit_peri
o
ds
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoola
e
ge
ev
a
lue
.
c
: eva
l
ue_sp
l
it_periods: make sure selec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en
V
er
d
oolaege
eval
u
e
.
c: po
l
ynomial_pro
j
ec
t
i
o
n: u
s
e e
v
alue_extract_a
f
fine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoo
l
aege
a
d
d
a
test
f
or
b
arvinok_maximize and barvinok_summ
a
te
commit
|
commitdiff
|
tree
next