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
Sve
n
Ve
r
d
o
olaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
ven
Verdoolaege
M
e
rge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doola
e
ge
Do
c
u
ment TO
P
COM b
a
se
d
chamber
dec
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolae
g
e
test
TOP
C
OM chamber de
c
o
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
Opt
i
onally use
T
O
P
C
OM to comput
e
chamber de
c
ompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
le
x
min: add (protected) missing algorit
h
m include
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Ma
k
efile
.
am: add target for creat
i
ng dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
V
erdoola
e
ge
d
o
c: upd
a
te
v
oting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
d
oc
u
ment
b
arv
i
n
ok_summat
e
and
b
a
rvinok
_
maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
c
o
nsistent use
of Barvi
n
ok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
barvino
k
_summa
t
e: correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Documen
t
Eul
e
r-Mac
l
aurin ba
s
ed summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
c
hange exampl
e
env
i
ronment
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
er
d
oolaege
doc: add
som
e
hidde
n
sections to t
a
ble o
f
c
o
nte
n
ts
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oolaege
d
o
c: an
o
ther do
c
u
ment
refering to the librar
y
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoola
e
ge
add some test
s
for
E
uler-Maclaurin base
d
summ
a
tion
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdoolaege
E
uler-Maclaurin based summ
a
tion fo
r
1D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Eule
r
-Maclaurin bas
e
d
summ
a
tio
n
for
2
D pro
b
lems
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
decomposer
.
cc:
avo
i
d use of half-
o
pen con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
barvinok_summate:
v
erify
so
l
ution over who
l
e para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduce ba
r
vinok_s
u
mmate a
s
a wr
a
p
p
er for
eval
u
e
_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add eva
l
u
e
_
m
ul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{d
i
v,mul}: handle s
o
me
t
rivial ca
s
es more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: export
fra
c
tio
n
a
l_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c:
e
x
t
r
ac
t
comm
o
n
code f
o
r c
o
ns
t
r
uction b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
v
o
lume
.
c:
exp
o
rt P
a
ram_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
ad
d
e
value_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of
e
value_p
o
lyn
o
mial argum
e
nt
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaeg
e
s
u
pport computation of Bern
o
ulli po
l
y
nomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
separate computation of B
e
r
noulli coeff
i
cients
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ve
r
doolaege
l
a
ttice_point: use Pa
r
am_Vertex_Co
m
m
on
_
D
en
o
minator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdo
o
laege
make decompos
e
r
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ol
a
ege
reduce_domain: avo
i
d use of macro parameter with n
a
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaeg
e
expo
r
t
e
v
a
lue
_
dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
U
s
e p
i
plib during b
a
sis redu
c
t
i
on if no
other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bun
d
led piplib
by d
e
f
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
add pi
p
lib module
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdo
o
laege
Use bundl
e
d P
o
l
y
Lib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
add pol
y
lib subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
o
l
aege
bern
s
tein: a
l
low linking
a
g
ai
n
st uninstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoola
e
ge
add m
o
re missing
a
ssert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add d
u
mmy implement
a
tions of func
t
i
on
s
that d
e
p
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoo
l
aege
updat
e
"C
o
un
t
ing with rat
i
o
n
al gener
a
ti
n
g functio
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Ver
d
oolaege
ba
r
v
i
nok
.
c
c: split off part constructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Verdoolaege
b
arvinok
.
cc: split off part dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoo
l
aege
*co
u
nter: avo
i
d
re
c
o
m
putatio
n
of denomina
t
ors when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdo
o
laege
counter:
r
emove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven
Ver
d
oolaege
change
t
y
pe of some
"sign
"
s to
i
nt as they can
o
n
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: u
p
dat
e
Algorith
m
i
c
a publication
commit
|
commitdiff
|
tree
2007-08-10
Sven
Verdo
o
laeg
e
evalue
.
c
:
ma
k
e
p
arameter na
m
e
s of type cons
t
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sv
e
n Verdoolaege
sa
m
ple
.
c: Polyhedron_Rem
o
ve
F
ixedColumns: co
r
r
ectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven V
e
r
d
oolaege
util
.
c: rem
o
ve_eq
u
alities:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
S
ven
Ve
r
doolae
g
e
Param_Polyhedron_Pr
i
n
t
: print everything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolae
g
e
barvinok_enum
e
rate_with_
o
ptions: don't a
d
d
con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Ve
r
doo
l
a
ege
barvin
o
k
.
cc:
don't fre
e
P
argument in en
u
merate
commit
|
commitdiff
|
tree
2007-07-29
S
v
en V
e
rdoola
e
ge
remove_
a
ll_equalities: als
o
remove
equali
t
ies in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c
: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven
Verdoola
e
ge
export Par
a
m_I
n
ner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
barvinok_e
n
umerate
.
cc: a
d
d
mini
m
al check on inp
u
t
commit
|
commitdiff
|
tree
2007-07-19
S
v
en
Verd
o
olaege
more pr
o
totype ch
a
nges to
const char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Ve
r
doolaege
evalu
e
: print_ev
a
lue:
m
ake parameter
name
s
co
n
st char
*
s
commit
|
commitdiff
|
tree
2007-07-11
Sven Ve
r
doolaeg
e
Always compile polyto
p
e_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoo
l
aege
polytope_scan:
u
s
e a
r
g
p
for argument p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
Sven V
e
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en
V
erdoolaege
con
f
igure
.
in: allow s
p
ec
i
f
i
cation of default
p
refix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaeg
e
con
s
o
l
idate c
a
lls t
o
P
o
lyhedro
n
2Par
a
m_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
doolaege
volum
e
.
c: f
i
x
t
ypo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am: ad
d
$(
E
XEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolae
g
e
Mak
e
file
.
a
m: force re
b
uild
libraries in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdool
a
ege
only test barvinok_maximize if it has
be
e
n/ca
n
b
e created
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
ool
a
ege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
te
s
tlib
.
cc: work ar
o
und incom
p
l
e
te namespac
e
s
u
pport
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
scale
.
c:
enumerate_narrow_flat
e
d: d
o
n
't simplify c
o
nstra
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
de
c
lare variables at start
o
f code block
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoolaege
d
o
c: update docume
n
t
ation of options and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: factor polyhedron
i
f possible
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
Pol
y
he
d
ron_Sampl
e
:
c
ompu
t
e vertices of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Polyhedron_Sampl
e
: r
e
m
o
ve
a
ll
e
qualities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
add possi
b
ility to u
s
e
G
LPK as LP
s
olver
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
Polyhed
r
on_Sample: postpone
r
emoval of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
Polyhedron_Sample:
use lp solver f
o
r finding
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Verdoolaege
lexmin: mo
v
e
choice of lp so
l
ver to
u
se o
u
tside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
polysign
.
h: use correct nam
e
of PL_polyhe
d
ron_affin
e
_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
barvinok_enumer
a
te: plug memory lea
k
i
n Be
r
noulli appr
o
x
im
a
tion
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
o
laege
b
a
rvinok_e
n
um
e
rate_e_r: don'
t
assume AddCo
n
straints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
aege
evalue
_
frac2
p
o
lynomial: rech
e
ck evalue a
f
ter evalu
e
_spl
i
t_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c: Line_Leng
t
h: don't get conf
u
sed by
positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
M
a
kefi
l
e
.
am: stop after first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdo
o
l
a
ege
bernst
e
in: carry through variable renam
i
ng to debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bern
s
tein: d
o
n't assume input p
o
l
y
nom
i
a
l h
a
s b
e
en expand
e
d
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoola
e
g
e
evalue_read
.
c: correct constness of na
m
e
in parameter_ne
w
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read:
accept constant multiple of variable wi
t
hout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sve
n
Verdool
a
eg
e
evalue
.
c: eva
l
u
e
_
s
um:
b
et
t
er hand
l
i
n
g o
f
negativ
e
values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdool
a
ege
e
v
a
lue
.
c: reorder_ter
m
s: fix
typo
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdo
o
laeg
e
ev
a
lue: declar
e
first argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
S
v
e
n
Verd
o
olaege
evalue
.
c: emul: d
o
n
'
t us
e
explicit_com
p
lement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n V
e
rd
o
olaege
a
d
d a t
e
st for
ev
a
l
ue_split
_
periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaeg
e
e
value
.
c: evalue_s
p
lit_periods: m
a
ke
s
ure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: polynom
i
al_project
i
on: use
e
v
alue_
e
xt
r
act_aff
i
ne
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
add a test
f
or bar
v
inok_maximi
z
e a
n
d bar
v
inok_s
u
mmate
commit
|
commitdiff
|
tree
next