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
verify_lexsmaller: add missing static qualifier.
2005-09-08
Sven Verdo
o
laege
verify_lexsmaller:
a
dd m
i
ssing
s
t
atic qualifier
.
commit
|
commitdiff
|
tree
2005-09-08
S
v
en Verdoola
e
ge
verify
_
lexsmaller: support existenti
a
l vars in
i
nput
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
S
v
e
n Ve
r
d
oolaege
c
h
eck_lexs
m
aller: fi
x
error outpu
t
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoola
e
ge
barv
i
n
o
k_r
a
nking: renam
e
to barvinok_lexsmalle
r
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoola
e
g
e
bar
v
inok_ranking: adapt to new calling convention of
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
ven Verdoolaege
verify_
r
a
nking: on
l
y compile if
LexSmaller found in
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
v
en Verdoolaege
ParamLine
_
Len
g
th: correct number of
parame
t
ers in
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Ve
r
doolaege
U
s
e
PolyLib's c
o
py of DomainC
o
nstraintSi
m
pl
i
fy if available
.
commit
|
commitdiff
|
tree
2005-09-07
S
ven
V
erdoolaege
A
dd a
test for b
a
rvinok_ehrhart_
e
.
commit
|
commitdiff
|
tree
2005-09-07
Sv
e
n
V
e
rdo
o
laege
Propagate renaming from RankingPolytopes to
L
exSmaller
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaege
pi
p
_lexminmax: fix com
p
utation of lexmax (lightl
y
t
e
sted)
.
commit
|
commitdiff
|
tree
2005-09-07
S
ven Verdool
a
ege
pip_lexminm
a
x: allow computati
o
n of le
x
m
a
x (unte
s
ted)
.
commit
|
commitdiff
|
tree
2005-09-07
S
v
en Ver
d
oolaege
piputi
l
.
c: make debugging output depend on prepr
o
cessor
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
v
en Ver
d
ool
a
ege
piputil
.
c: inc
l
u
de p
i
p
util
.
h
commit
|
commitdiff
|
tree
2005-09-07
Sven
V
erdoola
e
ge
p
ip_lexmin: a
l
low positi
o
n
of mi
n
i
mized var
s
to be
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Ve
r
doolaege
barvi
n
ok_enumerate_e: make sure
t
h
e
i
n
p
ut polyhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2005-09-06
Sven Verdoolaege
piputil
.
c
: deal with partia
l
Polyhedron
s
(untested)
.
commit
|
commitdiff
|
tree
2005-09-04
S
v
en Ve
r
doolaege
verify_ran
k
ing
.
c:
a
dd s
o
m
e sanit
y
chec
k
s
.
commit
|
commitdiff
|
tree
2005-09-03
Sven
V
erdoolaege
New
v
erify_
r
anki
n
g
ap
p
lication
.
commit
|
commitdiff
|
tree
2005-09-03
S
v
en Ve
r
doolaeg
e
bar
v
inok_c
o
u
n
t: after fa
c
torization, P may be a union
.
.
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Verdoolaeg
e
Enume
r
at
i
on_Free: doma
i
n
m
ay be
a uni
o
n of
polyhed
r
a
.
commit
|
commitdiff
|
tree
2005-09-03
Sv
e
n Ve
r
doo
l
aege
b
a
rvinok_ranking_e
v
:
fix ty
p
o
commit
|
commitdiff
|
tree
2005-08-22
Sven
V
e
rdoolaege
barvinok_enumerate: only compute true context if polytope
.
.
.
commit
|
commitdiff
|
tree
2005-08-21
S
ven V
e
r
d
oolaege
M
o
ve installed he
a
ders in
t
o sep
a
rate
d
i
r
ec
t
or
y
.
commit
|
commitdiff
|
tree
2005-08-21
Sven
V
erdoolae
g
e
R
e
n
a
me
e
v_operati
o
ns to
e
v
alue
.
commit
|
commitdiff
|
tree
2005-08-21
Sven Verdoolaege
Remove un
u
sed files
.
commit
|
commitdiff
|
tree
2005-08-21
Sv
e
n Verdoolaeg
e
M
erge "barvin
o
k2
.
h" into "
b
arv
i
nok
.
h"
.
commit
|
commitdiff
|
tree
2005-08-20
Sven
Verdoolaege
Decla
r
e barvinok_ra
n
king unc
o
n
ditionally
.
commit
|
commitdiff
|
tree
2005-08-20
Sven Verdoola
e
g
e
barvinok_enumerate:
a
lw
a
ys com
p
ut
e
t
r
ue
c
ontext even
.
.
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolae
g
e
b
a
rv
i
nok_ranking:
b
arvinok version
o
f
P
oly
h
edro
n
_Rankin
g
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolaege
Enumeration_Free: avoi
d
compi
l
er warning
.
commit
|
commitdiff
|
tree
2005-08-18
Sven
V
erdoolaege
test: use
_ev variant o
f
barvinok
_
en
u
merate
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolaege
Rem
o
ve PolyLib'
s
reduce_eva
l
u
e
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolaege
trian
g
ularize_cone: rename to tria
n
gu
l
ate
_
cone
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolaege
Remo
v
e
{Param,}Polyhe
d
r
on_Red
u
c
e
commit
|
commitdiff
|
tree
2005-08-17
Sven Verdoolaege
S
o
laris: warn about l
i
btoo
l
pr
o
blem
.
commit
|
commitdiff
|
tree
2005-08-17
Sven Verdoolaege
barvinok_e
n
umerate: m
a
k
e
su
r
e
the input poly
h
edra
are
.
.
.
commit
|
commitdiff
|
tree
2005-08-17
Sven
V
e
rdo
o
l
a
ege
b
a
r
v
inok_enumerat
e
: fac
t
or
p
o
l
y
hed
r
on into independent
.
.
.
commit
|
commitdiff
|
tree
2005-08-15
S
v
en V
e
r
d
oola
e
ge
R
edo en
u
merat
i
on
i
f random
v
ector tu
r
ns out
to be bad
.
commit
|
commitdiff
|
tree
2005-08-12
Sven V
e
rdoolaege
verif_
e
h
rhart
:
o
nly do manual c
o
u
n
t for param
e
ter values
.
.
.
commit
|
commitdiff
|
tree
2005-08-12
S
v
en Verdoola
e
ge
Pol
y
h
e
dro
n
_Factor: don't
ignore
pivot ro
w
s
.
commit
|
commitdiff
|
tree
2005-08-12
Sven Verdoolaege
Mor
e
pro
d
uct poly
t
ope tests
.
commit
|
commitdiff
|
tree
2005-08-11
Sve
n
Verdoo
l
aege
barvinok_count: igno
r
e nex
t
pointe
r
of P arg
u
ment
commit
|
commitdiff
|
tree
2005-08-11
Sve
n
V
erdoolaege
Red
o
some chec
k
s if some
constra
i
n
ts tur
n
ed out to
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
Sve
n
Verdoolaege
test: pos
t
pone co
m
p
u
tatio
n
of du
a
l if allowed b
y
PolyLib
.
commit
|
commitdiff
|
tree
2005-08-10
Sven
V
erdoolae
g
e
A
void duplicate free
s
in ~bf
e
_ter
m
()
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdo
o
laege
check_poly: fix memory le
a
k
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
Remove unused variables
.
commit
|
commitdiff
|
tree
2005-08-10
Sven
V
erdoola
e
ge
ba
r
v
i
nok_count: fa
c
tor
p
o
l
yhedron into indepe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Ve
r
doolaege
b
a
rvinok_co
u
nt: properly h
a
nd
l
e 0
D
polytope
s
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdo
o
laege
barvinok_count
.
c: remove ma
g
ic constan
t
commit
|
commitdiff
|
tree
2005-08-08
Sve
n
Verdoolaeg
e
bar
v
inok_cou
n
t: postpone
c
omputation of dual if allowed
.
.
.
commit
|
commitdiff
|
tree
2005-08-08
S
v
e
n Verdoolaege
Polyhedron_Reduce:
compute reduct using Constraints2Polyhedro
n
commit
|
commitdiff
|
tree
2005-08-08
Sven Ver
d
oolaege
Mer
g
e w
i
t
h l
i
acs
dev
e
lopment
.
commit
|
commitdiff
|
tree
2005-08-03
Sv
e
n V
e
rdool
a
ege
Fix sp
a
rse
w
arnings
.
commit
|
commitdiff
|
tree
2005-08-03
Sven
Ver
d
o
olaege
P
r
opagate sp
e
lling correction from PolyLib
.
commit
|
commitdiff
|
tree
2005-08-02
Sve
n
Verdo
o
la
e
ge
Fix memory l
e
a
k
.
commit
|
commitdiff
|
tree
2005-08-02
Sven Verdool
a
ege
ver
i
fy_main
.
c
c: another
memory cleanup
.
commit
|
commitdiff
|
tree
2005-08-02
Sve
n
Verdo
o
laege
R
e
do who
l
e computation if
ra
n
dom vector tur
n
s out to
.
.
.
commit
|
commitdiff
|
tree
2005-08-02
Sven Verd
o
olae
g
e
ver
i
fy_main
.
cc: perform s
o
m
e
m
em
o
ry
c
leanups
.
commit
|
commitdiff
|
tree
2005-08-01
Sv
e
n
Ver
d
oolaege
Add
p
olym
a
ke/
R
EADME to
distribution
.
commit
|
commitdiff
|
tree
2005-08-01
S
ven Verdoolaege
ver
s
ion 0
.
1
7
commit
|
commitdiff
|
tree
2005-08-01
Sven
V
erdoolaege
Minima
l
README for polymake
client
.
commit
|
commitdiff
|
tree
2005-08-01
Sven Verdoolaege
po
l
yma
k
e
/latice_poi
n
ts: h
a
ndle rat
i
on
a
l constraints
.
commit
|
commitdiff
|
tree
2005-08-01
S
v
en
V
erdoolaege
ax
_
create_p
k
gconfig_info
:
add d
a
tarootdir for
autoco
n
f
.
.
.
commit
|
commitdiff
|
tree
2005-07-31
Sv
e
n
V
e
rdoolaeg
e
R
u
n auto
c
o
nf in polymake subdir befo
r
e
dis
t
rib
u
t
i
ng
.
commit
|
commitdiff
|
tree
2005-07-31
S
v
e
n V
e
rdoolaege
Add po
l
ymake client to distribution
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Verdoola
e
ge
Remov
e
sp
u
rious outp
u
t
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Verdoolaeg
e
Avoid ex
i
t(
)
warnings
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Ver
d
oolaege
Remove unused f
i
le
s
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Verdoola
e
ge
ax_create_pkgconfig_i
n
fo: pass L
D
FLAGS
t
o
.
p
c
files
.
commit
|
commitdiff
|
tree
2005-07-31
S
ven Verdoolaege
ax_
c
reate_pkgconf
i
g_info: minor do
c
u fi
x
.
commit
|
commitdiff
|
tree
2005-07-31
S
v
en
V
erdoolaege
Pa
s
s flags to a
c
local
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Verdoolaege
Merge with
V
ienna de
v
elopment
.
commit
|
commitdiff
|
tree
2005-07-29
Sv
e
n V
e
r
doolaege
Bare
-
bones p
o
l
y
make c
l
ient
.
commit
|
commitdiff
|
tree
2005-07-28
Sve
n
V
e
r
do
o
laege
Explain
how
t
o s
p
ecify
loca
t
ion o
f
g
mp
lib
.
commit
|
commitdiff
|
tree
2005-07-28
Sv
e
n Verdoolaege
Create pkgconfig fil
e
.
commit
|
commitdiff
|
tree
2005-07-28
S
v
e
n Ve
r
d
o
olaege
t
y
po
commit
|
commitdiff
|
tree
2005-07-27
Sven Verdoolaege
He
l
per library to
c
o
l
lect
non-si
m
ple con
e
s
.
commit
|
commitdiff
|
tree
2005-07-27
Sven Verdoo
l
aege
Set
N
T
L incl
u
d
e directory before checking GM
P
support
.
commit
|
commitdiff
|
tree
2005-07-26
Sven
V
erdoolaege
Rebuild versio
n
.
h in c
a
se
it
g
ot l
o
s
t somehow
.
commit
|
commitdiff
|
tree
2005-06-30
Sven Ver
d
oolae
g
e
Bump v
e
rsion
.
commit
|
commitdiff
|
tree
2005-06-30
Sven Verdoolaege
Brief explanation of
th
e
d
i
fferent sp
e
cial
i
zatio
n
algorithms
.
commit
|
commitdiff
|
tree
2005-06-30
Sven Verdoolae
g
e
F
i
x non-fractiona
l
c
om
p
ilatio
n
.
commit
|
commitdiff
|
tree
2005-06-30
Sve
n
Ve
r
doolaege
A
d
d extra info to vers
i
on string
.
commit
|
commitdiff
|
tree
2005-06-29
Sve
n
Verdoolaege
Suppo
r
t
no
n
-in
c
remen
t
al special
i
z
a
t
i
o
n for series comput
a
tion
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Ver
d
oolae
g
e
Ren
a
me par
t
ia
l
_reducer to partial_ireducer
.
commit
|
commitdiff
|
tree
2005-06-29
S
v
en Verdoolaege
Spl
i
t off split
t
ing of numerat
o
r an
d
denominator
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Verdool
a
ege
Co
n
st
a
nt propagati
o
n
.
commit
|
commitdiff
|
tree
2005-06-29
Sve
n
Verdoolaege
Remove unused attribut
e
.
commit
|
commitdiff
|
tree
2005-06-29
Sve
n
Verdo
o
l
a
ege
Allow choice of incremental algorithm to b
e
used
.
commit
|
commitdiff
|
tree
2005-06-29
S
ven Verdoolaeg
e
Remove pote
n
tially incorrect opti
m
iza
t
ion
c
ompl
e
tely
.
commit
|
commitdiff
|
tree
2005-06-29
S
ven Verdoolaege
Implement and
use
b
readth-first enumera
t
or
.
commit
|
commitdiff
|
tree
2005-06-29
S
ve
n
Verdoola
e
ge
Extract
o
ut com
m
o
n e
n
u
m
e
ration part
.
commit
|
commitdiff
|
tree
2005-06-29
Sve
n
Verdoolaeg
e
Extract
out base
p
art of bre
a
d
th-first computatio
n
.
commit
|
commitdiff
|
tree
2005-06-28
Sve
n
Verdoolaege
Rem
o
ve unneeded line
.
commit
|
commitdiff
|
tree
2005-06-28
Sve
n
Verd
o
o
l
aege
Comment o
n
powers
i
n case no_p
a
ram + only_p
a
r
am
=
=
.
.
.
commit
|
commitdiff
|
tree
2005-06-28
S
v
en Verdoolaege
Remove dead code
.
commit
|
commitdiff
|
tree
2005-06-26
Sven Verdoolaege
Add --versi
o
n option to barvi
n
ok_count
.
commit
|
commitdiff
|
tree
2005-06-26
Sven Verdoolaege
Keep tra
c
k of head id
.
commit
|
commitdiff
|
tree
next