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 Verdoo
l
a
ege
barvino
k
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge br
a
nch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
D
ocumen
t
T
O
PCOM
b
ased ch
a
m
b
er decomposit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
test TO
P
COM cha
m
ber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
O
ptio
n
a
lly use T
O
PCOM to comput
e
ch
a
mber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en V
e
rd
o
olaege
lexmin: add (pr
o
t
ected) missi
n
g
alg
o
rithm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
Makefil
e
.
am: add
t
a
rge
t
f
o
r creating dist with
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verd
o
olaege
doc:
upd
a
te voting
t
h
eory referenc
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c
u
ment barvinok_su
m
mate a
n
d
b
a
rvinok_maximiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoola
e
ge
doc: consistent use of
B
arvin
o
k's
i
nitia
l
s
commit
|
commitdiff
|
tree
2007-09-10
S
v
en V
e
rdoolaeg
e
barvinok_summat
e
: correct options desc
r
iption
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oo
l
aege
Docum
e
nt Euler-M
a
claurin based
s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoola
e
ge
doc: change example environment
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
d
o
c:
add some hidden sections to ta
b
le of co
n
tents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: another doc
u
ment
r
eferi
n
g to the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdoolaeg
e
add some
t
es
t
s
f
o
r Eule
r
-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin based summ
a
tion f
o
r 1D pro
b
lems
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Eu
l
e
r
-Maclau
r
in based sum
m
ation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
d
e
com
p
oser
.
cc
:
avoid use of half-
o
pe
n
cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
b
ar
v
ino
k
_summa
t
e: verify
so
l
ution over whole p
a
rame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
in
t
roduce ba
r
vinok_su
m
mate as a wrap
p
er f
o
r eva
l
u
e_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
add
e
value_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
evalue_{div,mul}: handl
e
so
m
e trivial
c
a
s
e
s more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
l
at
t
ice_poi
n
t:
e
xport fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
e
v
alue
.
c
:
extract
c
ommon code
f
o
r construction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
volume
.
c: export Param_Poly
h
edron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
f
ix t
y
pe of
e
v
alue_polynomi
a
l argument
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoolaeg
e
support compu
t
ation
of Bernoul
l
i polynom
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
g
e
separate com
p
utation of Ber
n
oulli coe
f
ficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
l
a
ttice_poin
t
: use Par
a
m_Vertex_
C
ommon_Denominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaeg
e
make decompos
e
r
.
h sel
f
-co
n
tained
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
er
d
oolaege
reduce_domain:
a
vo
i
d use o
f
macr
o
param
e
ter with nam
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
Use piplib dur
i
n
g basis
redu
c
tion if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
bundled piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add pipli
b
m
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
s
e bundled Po
l
y
L
i
b
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
add poly
l
ib s
u
bmo
d
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
berns
t
e
in: a
l
low
linking against uninstalled, but bu
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
erdoola
e
ge
add more missing
a
ssert
.
h
#
i
ncludes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdo
o
laeg
e
add dumm
y
implementat
i
ons o
f
f
unctio
n
s that dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
update "
C
ounting with rational
g
enerating f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
bar
v
in
o
k
.
cc: split off part constr
u
c
t
ing gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Verdoolaege
barvinok
.
cc: split off pa
r
t dealing with exis
t
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
rdo
o
laege
*co
u
nter:
a
void recomputation of denominat
o
rs when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
counter: remove
r
edundant
m
ember
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolae
g
e
c
h
an
g
e type of some
"
sign"s to int as
they
c
an
o
nly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoolaege
doc
:
upda
t
e Algo
r
ithmica pub
l
i
c
at
i
on
commit
|
commitdiff
|
tree
2007-08-10
S
ve
n
Verdoola
e
ge
evalue
.
c: make
p
arameter
n
a
mes of
t
yp
e
c
o
n
st char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
V
erdoolaege
sampl
e
.
c: Polyhedron_Re
m
o
v
eFixedColumns: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
V
erdoola
e
ge
util
.
c: remo
v
e
_
equalities:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Pol
y
hedron_Pr
i
nt: print everythi
n
g
to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoo
l
aege
b
arvinok_enume
r
ate_with_option
s
: don't add c
o
n
text
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verd
o
olaege
barvinok
.
cc: don't free P argumen
t
i
n enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remo
v
e_all_equalities: also remo
v
e equalities in conte
x
t
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
o
olaege
volume
.
c: av
o
id w
a
rnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
e
x
p
o
rt Param_Inner_Produ
c
t
commit
|
commitdiff
|
tree
2007-07-25
Sven
V
erdool
a
eg
e
bar
v
inok_enumera
t
e
.
c
c
: add minimal
c
heck on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdo
o
l
a
ege
more prototy
p
e changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Ver
d
o
o
la
e
ge
eval
u
e:
prin
t
_
e
val
u
e:
m
a
ke p
a
ram
e
ter n
a
mes
const char*
s
commit
|
commitdiff
|
tree
2007-07-11
S
ven Verdo
o
laege
A
lw
a
y
s
compile po
l
ytope_scan
commit
|
commitdiff
|
tree
2007-07-11
S
ven Ve
r
doola
e
g
e
polytope_s
c
a
n
:
use argp
fo
r
a
r
gument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc: fi
x
t
y
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n Verd
o
o
l
aege
confi
g
ure
.
in: al
l
ow spe
c
ification of default pref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
doolaege
co
n
solidate calls
to Pol
y
hedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n
Verd
o
olaege
volu
m
e
.
c
:
fix ty
p
o
in
comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am
:
add $(EXE
E
XT)
for
c
ygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am: force rebuil
d
libraries in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdoolaege
o
n
ly test ba
r
vinok_ma
x
imize if it
h
as
b
ee
n
/can
be created
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
bar
v
i
n
o
k 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verd
o
olaege
testlib
.
c
c
:
w
ork around incomplete
na
m
es
p
ac
e
su
p
port
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
ool
a
ege
scale
.
c:
e
numerate_narrow_
f
l
a
ted: don't
s
i
mplify const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oo
l
aege
d
e
c
lare
variables
at start of code bl
o
ck
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
d
o
c: update do
c
umentation o
f
options a
n
d s
o
me functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
P
o
lyh
e
dron_Sampl
e
: factor polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolae
g
e
Polyhe
d
r
on_Sample
:
comp
u
t
e
ve
r
tices of 1D po
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
P
o
lyhedr
o
n_Sample: remove
all equali
t
ies fro
m
polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
g
e
a
dd possibil
i
ty t
o
u
se
GL
P
K
as LP
s
olver
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoo
l
aege
Po
l
yhedron_Sample
:
p
ostpo
n
e re
m
oval of rays until w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdo
o
laege
Po
l
yhedr
o
n_Sample: use lp sol
v
er for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
le
x
min: mov
e
choice of lp solver t
o
use outside ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olae
g
e
p
o
lysign
.
h:
use correct
name of PL_pol
y
hedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolae
g
e
barvinok_enumerate: plug memory leak in
Bern
o
ulli approxi
m
at
i
on
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
l
aege
bar
v
in
o
k_enum
e
rat
e
_e_r: don't assume AddConstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
evalue_fra
c
2polynomial: rech
e
ck ev
a
lue after eva
l
ue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoo
l
aege
ut
i
l
.
c: Line_Length: do
n
't
g
et c
o
nfused by po
s
it
i
vity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoo
l
a
e
ge
M
akefile
.
am:
s
top after
first failed tes
t
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verd
o
olae
g
e
bernstein: car
r
y through variable renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
r
doolaege
b
e
r
nst
e
in: don't as
s
ume input polynomial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
ev
a
lue_read
.
c
: cor
r
e
ct constness of name in parame
t
er_ne
w
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
ev
a
lue_r
e
ad: accept constant
m
ultiple o
f
varia
b
le w
i
t
h
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c: evalue_sum: better h
a
ndling of neg
a
tive
v
alu
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sven Ve
r
doolaege
ev
a
l
ue
.
c: reorder_terms:
fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
eval
u
e: declare
f
irst argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
e
value
.
c: emu
l
:
don't use e
x
plici
t
_complement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oolaege
add a tes
t
for evalue_split_p
e
riod
s
commit
|
commitdiff
|
tree
2007-06-12
Sven Ver
d
oolaege
evalue
.
c
:
evalu
e
_split_periods
:
make sure
s
el
e
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalu
e
.
c: polynomial_pr
o
je
c
tion: use e
v
a
lue_extr
a
ct_affine
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Ve
r
d
oolaege
add a test f
o
r barvinok_maximize a
n
d ba
r
vinok_summ
a
te
commit
|
commitdiff
|
tree
next