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 Ver
d
o
ola
e
g
e
ve
r
ify_lexsmaller:
a
dd missing stati
c
q
u
alifier
.
commit
|
commitdiff
|
tree
2005-09-08
Sv
e
n
Verd
o
olae
g
e
verify
_
lexsmaller
:
support e
x
istential vars in i
n
put
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoolaege
check_lexsmaller
:
fix error
o
utput
.
commit
|
commitdiff
|
tree
2005-09-08
Sven V
e
rdoolaege
barvinok_ra
n
king: rena
m
e
t
o barvinok_
l
exsmal
l
er
commit
|
commitdiff
|
tree
2005-09-08
Sv
e
n V
e
rdo
o
laeg
e
barvinok_
r
anking:
adapt to new
calling con
v
ent
i
on of
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdo
o
lae
g
e
Use PolyLib's copy of D
o
m
a
inConstraintSimplify if available
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
V
erdoolae
g
e
Add
a test for barvinok_ehr
h
art_e
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
Ve
r
doolaege
Propag
a
t
e renamin
g
from RankingP
o
lytope
s
to LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolae
g
e
pi
p
_
l
exmi
n
max: fix
c
o
mputation of lexmax (lightly tested)
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Ve
r
d
o
o
l
aege
pi
p
_l
e
xminma
x
: al
l
ow comp
u
ta
t
ion
of lexmax (unteste
d
)
.
commit
|
commitdiff
|
tree
2005-09-07
Sv
e
n
V
er
d
oola
e
ge
piputil
.
c: make de
b
ugging
output depe
n
d
on preproce
s
sor
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
v
en Verdoola
e
ge
pi
p
uti
l
.
c: in
c
lude piputil
.
h
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdo
o
lae
g
e
p
ip_l
e
xmin: a
l
low positi
o
n of m
i
n
imized vars t
o
be
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sve
n
Verdoolaege
barv
i
n
ok_e
n
umerat
e
_e:
make sure the inpu
t
pol
y
he
d
ra
.
.
.
commit
|
commitdiff
|
tree
2005-09-06
Sven Ver
d
o
o
laege
p
ipu
t
il
.
c:
deal wi
t
h partial Polyhedrons (untested
)
.
commit
|
commitdiff
|
tree
2005-09-04
Sven Verdoolaege
ver
i
fy_ranking
.
c
:
add some
s
an
i
ty checks
.
commit
|
commitdiff
|
tree
2005-09-03
Sven
Verdoolaege
New veri
f
y_ranking
applicati
o
n
.
commit
|
commitdiff
|
tree
2005-09-03
Sven
Ve
r
doolaege
b
a
rvin
o
k_count
:
a
fter factoriza
t
ion, P may be a union
.
.
.
commit
|
commitdiff
|
tree
2005-09-03
Sven
V
erdo
o
lae
g
e
Enumeration_
F
ree: do
m
ain may be a
u
nion of polyhedra
.
commit
|
commitdiff
|
tree
2005-09-03
S
ven
V
erdoolaege
barvi
n
ok_ra
n
king_ev: fix
t
ypo
commit
|
commitdiff
|
tree
2005-08-22
Sven Verdoolaege
barvinok_enumerate: only compute t
r
ue conte
x
t if p
o
lyt
o
p
e
.
.
.
commit
|
commitdiff
|
tree
2005-08-21
Sven V
e
r
d
oolaege
Move installed headers into
separate directory
.
commit
|
commitdiff
|
tree
2005-08-21
S
ven
V
e
rdool
a
e
ge
Renam
e
ev_operations
to
e
value
.
commit
|
commitdiff
|
tree
2005-08-21
S
ven Verdoo
l
ae
g
e
R
emove unused files
.
commit
|
commitdiff
|
tree
2005-08-21
S
ve
n
Verdoolaege
Mer
g
e
"
barvinok2
.
h
"
into "barvinok
.
h"
.
commit
|
commitdiff
|
tree
2005-08-20
Sven
V
erdoolaege
Decla
r
e barvinok_
r
anking unconditiona
l
ly
.
commit
|
commitdiff
|
tree
2005-08-20
S
ven Ver
d
oolaeg
e
barvi
n
ok_enum
e
rate: a
l
ways comp
u
te true
c
on
t
ext
even
.
.
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verd
o
o
l
aege
barvinok_r
a
nki
n
g: barvinok
v
ersion of
Po
l
y
h
edro
n
_Ranking
commit
|
commitdiff
|
tree
2005-08-18
Sven V
e
r
d
oolaege
E
n
u
me
r
a
t
ion_Free: avoid
compiler warning
.
commit
|
commitdiff
|
tree
2005-08-18
S
ven
V
erdoolaege
tes
t
: use _ev varia
n
t of barvinok_enumerate
commit
|
commitdiff
|
tree
2005-08-18
S
v
en Verdoola
e
ge
Remove PolyLib's reduce_evalue
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolaege
triang
u
la
r
i
z
e_c
o
ne:
r
ename
t
o tria
n
gulate_cone
commit
|
commitdiff
|
tree
2005-08-18
S
ven
V
erdo
o
laege
Remove {Par
a
m,}P
o
lyhedron_R
e
duce
commit
|
commitdiff
|
tree
2005-08-17
S
ven Verdoolaege
barvinok_
e
n
umerate: m
a
ke sure
t
h
e input polyhedra are
.
.
.
commit
|
commitdiff
|
tree
2005-08-17
Sven Verdoo
l
aege
b
a
rvi
n
ok_enum
e
r
ate
:
factor polyhedron i
n
t
o
independent
.
.
.
commit
|
commitdiff
|
tree
2005-08-15
S
ven
V
e
rdoolaege
Redo enumeration if random
v
ect
o
r turn
s
o
u
t to
b
e ba
d
.
commit
|
commitdiff
|
tree
2005-08-11
S
v
en Verdo
o
laege
b
arvinok_count:
i
gnore next pointe
r
of P
argument
commit
|
commitdiff
|
tree
2005-08-11
Sven Verdoolaege
Redo some
checks if
some
c
o
nstraint
s
turne
d
out t
o
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
Sv
e
n Verdoolaege
test: postpone computation of du
a
l if
a
ll
o
wed by
P
ol
y
L
i
b
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
Avo
i
d
d
u
pl
i
cate frees in ~bfe_term()
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
check_poly: fix
m
emory leak
.
commit
|
commitdiff
|
tree
2005-08-10
S
v
en Verdoolaege
Remov
e
unuse
d
variables
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdool
a
ege
barvi
n
ok_count: factor polyh
e
dr
o
n into independent
.
.
.
commit
|
commitdiff
|
tree
2005-08-08
Sven Verdoolaeg
e
barvinok
_
c
o
u
n
t
: postpone computat
i
on of
d
u
al if allowed
.
.
.
commit
|
commitdiff
|
tree
2005-08-08
Sven
Verdoola
e
ge
Polyh
e
d
r
on_Reduce: comp
u
t
e
r
e
d
uct usin
g
Constra
i
n
ts2Polyhedr
o
n
commit
|
commitdiff
|
tree
2005-08-08
Sven Verdoolaege
Merge with liacs development
.
commit
|
commitdiff
|
tree
2005-08-03
Sven Verdoola
e
ge
Fix sparse warnings
.
commit
|
commitdiff
|
tree
2005-08-02
Sven
V
erdool
a
e
g
e
F
i
x memory leak
.
commit
|
commitdiff
|
tree
2005-08-02
Sve
n
Verd
o
olaege
ver
i
f
y
_main
.
cc: another memory cl
e
anu
p
.
commit
|
commitdiff
|
tree
2005-08-02
Sven Verdoolaege
Redo who
l
e
computation if random
v
ec
t
or tu
r
ns out to
.
.
.
commit
|
commitdiff
|
tree
2005-08-02
Sven Ver
d
oolaeg
e
verify_main
.
cc: perform some memory cleanups
.
commit
|
commitdiff
|
tree
2005-08-01
S
v
e
n Ver
d
oolaege
Add polymake/R
E
AD
M
E to distributi
o
n
.
commit
|
commitdiff
|
tree
2005-08-01
S
v
en
V
e
r
doo
l
aege
version 0
.
17
commit
|
commitdiff
|
tree
2005-08-01
Sven Ve
r
doola
e
g
e
Minimal
R
E
AD
M
E fo
r
polymake cl
i
e
n
t
.
commit
|
commitdiff
|
tree
2005-08-01
Sven Verdoolaege
polym
a
ke/latice_
p
oints: handle rat
i
on
a
l
c
on
s
t
rai
n
t
s
.
commit
|
commitdiff
|
tree
2005-08-01
Sve
n
Ver
d
oo
l
aege
a
x
_cre
a
te_pkg
c
onfig_info: add d
a
t
a
ro
o
tdir
f
or autoconf
.
.
.
commit
|
commitdiff
|
tree
2005-07-31
Sven V
e
r
d
oolaege
R
un auto
c
onf in po
l
yma
k
e subdir before d
i
s
t
ri
b
uting
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Verdoolaege
A
dd polymake client to d
i
stribution
.
commit
|
commitdiff
|
tree
2005-07-31
Sve
n
Ver
d
oola
e
ge
Remove s
p
u
r
iou
s
output
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Verdo
o
laege
A
vo
i
d exit()
w
a
rning
s
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Verdoola
e
ge
Remove unused
f
il
e
s
.
commit
|
commitdiff
|
tree
2005-07-31
Sve
n
Ver
d
oolaege
a
x_create_
p
kgconf
i
g_info: pass LDFLAGS
t
o
.
pc fil
e
s
.
commit
|
commitdiff
|
tree
2005-07-31
Sven V
e
rdool
a
ege
ax_create_pkgco
n
fig_info: min
o
r
docu fix
.
commit
|
commitdiff
|
tree
2005-07-31
Sv
e
n Verdoolaege
Pass flag
s
to a
c
local
.
commit
|
commitdiff
|
tree
2005-07-31
S
v
e
n Verdoolaege
M
e
rge with
Vienna
d
e
velopment
.
commit
|
commitdiff
|
tree
2005-06-30
Sv
e
n V
e
rdoolaege
Bump
v
e
r
sion
.
commit
|
commitdiff
|
tree
2005-06-30
Sven Verd
o
ola
e
ge
Br
i
ef
e
xplanatio
n
of
the different specializ
a
tion algori
t
hms
.
commit
|
commitdiff
|
tree
2005-06-30
Sven Verdoola
e
ge
Fix non-fractional co
m
pilation
.
commit
|
commitdiff
|
tree
2005-06-30
Sven Verdoolaeg
e
Add e
x
tra
i
nfo to v
e
rsion string
.
commit
|
commitdiff
|
tree
2005-06-29
Sven
V
er
d
oo
l
aeg
e
Support non-i
n
cremen
t
al sp
e
ci
a
lization for s
e
ries com
p
utatio
n
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Verdoolaeg
e
Rena
m
e
partial_red
u
c
e
r to partial_ire
d
ucer
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Verdoolaege
S
plit off
s
plitting of
nume
r
ator an
d
denominator
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Ver
d
o
o
laege
Constant propag
a
tion
.
commit
|
commitdiff
|
tree
2005-06-29
Sven
Verdoolaege
Remo
v
e unused a
t
tribute
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Verdo
o
laege
All
o
w
c
hoice of
incremental algo
r
ithm t
o
b
e used
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Verdoolaege
Remove potentially incorrect optimi
z
ation
completely
.
commit
|
commitdiff
|
tree
2005-06-29
Sv
e
n Verdoola
e
ge
Implement a
n
d
us
e
breadth-firs
t
enumerator
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Verdool
a
ege
Extract out commo
n
enumeration part
.
commit
|
commitdiff
|
tree
2005-06-29
Sven
V
erdoola
e
ge
Extract out base part o
f
breadth-first compu
t
ation
.
commit
|
commitdiff
|
tree
2005-06-28
Sv
e
n Verd
o
ol
a
e
g
e
Remove unneede
d
lin
e
.
commit
|
commitdiff
|
tree
2005-06-28
Sven
V
erd
o
ola
e
ge
Co
m
me
n
t on powers in case no_
p
aram + only_param ==
.
.
.
commit
|
commitdiff
|
tree
2005-06-28
Sven Ve
r
doolaege
R
emove
dead code
.
commit
|
commitdiff
|
tree
2005-06-26
S
ven Ve
r
do
o
laege
Add --version option t
o
barvinok_
c
ount
.
commit
|
commitdiff
|
tree
2005-06-26
Sven Verdoolaege
Keep track of head id
.
commit
|
commitdiff
|
tree
2005-06-24
Sven Verdoolae
g
e
Ad
d
ver
s
ion string
.
commit
|
commitdiff
|
tree
2005-06-21
Sven Verdo
o
laege
Set execute permissi
o
ns
l
ost i
n
c
on
v
ersion from cvs
.
commit
|
commitdiff
|
tree
2005-06-21
Sven V
e
rdoolaege
Perf
o
rm autoheade
r
befo
r
e a
u
to
m
ake and
au
t
o
c
onf
.
commit
|
commitdiff
|
tree
2005-06-21
Sven Ve
r
doolae
g
e
Factor out bf
c
o
u
n
ter_base
.
commit
|
commitdiff
|
tree
2005-06-21
Sven
V
e
r
doola
e
ge
U
s
e
"breadt
h
-fir
s
t" versi
o
n to com
p
ute series
.
commit
|
commitdiff
|
tree
2005-06-20
S
v
e
n
Verdoolaege
Use
"
breadth-first" ve
r
sion
.
commit
|
commitdiff
|
tree
2005-06-20
Sven Verdoolaege
Docume
n
t
meani
n
g of some
variables
.
commit
|
commitdiff
|
tree
2005-06-20
Sven Verdoolae
g
e
dump to cerr ins
t
ead of
cout
.
commit
|
commitdiff
|
tree
2005-06-04
Sv
e
n
Verdoolaege
Make
r
a
n
dom vecto
r
the
default
.
commit
|
commitdiff
|
tree
2005-06-01
S
v
en Ver
d
o
olaege
Add
m
issing file
.
commit
|
commitdiff
|
tree
2005-06-01
Sven Verdoolaege
Get
number of param
e
ters right
i
n some cor
n
er cases
.
commit
|
commitdiff
|
tree