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
version 0.19
2006-01-20
Sven Ver
d
ool
a
eg
e
v
ersion 0
.
19
commit
|
commitdiff
|
tree
2006-01-20
S
ven Verd
o
olaege
add some requi
r
ed files to distribution
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdoo
l
a
e
g
e
U
se c
o
rrect include dir for omega headers
.
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdoolaege
piptest: dec
l
ar
e
variable at s
t
art
o
f
code block
.
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdoola
e
ge
occ: corre
c
t calculation
o
f
d
i
m
ens
i
on
.
commit
|
commitdiff
|
tree
2006-01-13
S
ven Verd
o
olaeg
e
export EV
A
LUE_IS_ONE macro
commit
|
commitdiff
|
tree
2006-01-11
S
ve
n
Ve
r
dool
a
e
g
e
evalu
e
/
p
ri
n
t_enode: create n
a
mes if none are p
r
o
v
ided
.
commit
|
commitdiff
|
tree
2006-01-07
Sven
V
erdool
a
ege
occ: add "ranking"
operation
.
commit
|
commitdiff
|
tree
2006-01-07
Sven
Ver
d
o
o
l
a
eg
e
occ/c
a
r
d
: fix memory leak
.
commit
|
commitdiff
|
tree
2006-01-07
Sven V
e
rdoolaege
occ
:
comp
u
te number of
e
xisten
t
i
al v
a
r
i
a
bles correctly
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Verdoolaege
i
s
_
z
ero_on: fix invalid read
.
commit
|
commitdiff
|
tree
2006-01-04
S
v
en Verdoolae
g
e
Pol
y
h
edron_is_infi
n
ite
:
simplif
y
and
warn that it may
.
.
.
commit
|
commitdiff
|
tree
2006-01-04
Sve
n
Verdoola
e
ge
occ
:
rename "co
u
nt"
o
p
e
ration
t
o "card"
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdoolaege
o
cc
:
add "coun
t
" operati
o
n
.
commit
|
commitdiff
|
tree
2005-12-28
Sven
V
erdoolaeg
e
ome
g
a/
p
arser
.
y:
rename some cons
t
ants
.
commit
|
commitdiff
|
tree
2005-12-28
Sven V
e
rdoolaege
omega
/
par
s
er
.
y
: use free to fre
e
malloc'ed memory
.
commit
|
commitdiff
|
tree
2005-12-28
Sven
V
erdoolaege
Comp
i
le topdir before om
e
ga
s
ubdir
.
commit
|
commitdiff
|
tree
2005-12-28
Sv
e
n Verdoolaeg
e
barvinok
/
b
a
rvinok
.
h
: inc
l
u
de barvi
n
ok/evalu
e
.
h
commit
|
commitdiff
|
tree
2005-12-28
S
v
en V
e
rdoolaege
barvinok/evalue
.
h: un
d
efine divide f
r
om polylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaege
o
c
c: base
o
meg
a
calculat
o
r
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolae
g
e
Files copied from
o
mega_c
a
lc
.
commit
|
commitdiff
|
tree
2005-12-27
S
v
en Verdoolaege
eadd_partitions: try to combine multi
p
le dom
a
ins
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaege
util: add DomainConcat
.
commit
|
commitdiff
|
tree
2005-12-27
Sven V
e
rdool
a
ege
b
arvino
k
_e
n
umerate: use
PO
L
_NO_
D
UAL if a
v
ai
l
a
ble
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaege
Don't call Polyhedro
n
2P
a
ram_Simplifie
d
Dom
a
i
n with P
O
L_NO_D
U
AL
.
commit
|
commitdiff
|
tree
2005-12-26
S
v
e
n Verdoo
l
aeg
e
Regressio
n
test
.
commit
|
commitdiff
|
tree
2005-12-26
Sven
V
erdoolaege
M
or
e
use of
P
OL_NO_DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
Sv
e
n Verdoolae
g
e
barvinok_enumerat
e
_e
v
: compute verti
c
e
s o
f
po
l
yto
p
e
.
.
.
commit
|
commitdiff
|
tree
2005-12-26
Sv
e
n Verd
o
ol
a
ege
reduce_e
v
a
lue: ensure a dom
a
in is
r
eally empty
b
efore
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
Sve
n
Verdoolaege
piputil: remove unneeded functiona
l
i
t
y
.
commit
|
commitdiff
|
tree
2005-12-08
S
v
en Verdoolaege
b
a
r
v
i
nok_enumerate
_
pi
p
:
simply p
r
oje
c
t out
e
xis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
S
v
en Ve
r
doolaege
Update piputil
.
c with some
n
ew f
u
n
ctionality currently
.
.
.
commit
|
commitdiff
|
tree
2005-10-27
Sven Verdoo
l
a
e
ge
piputil
.
q
u
ast2
p
oly: pass in the numb
e
r of
PI
P
p
a
r
ame
t
ers
commit
|
commitdiff
|
tree
2005-10-27
Sven Ver
d
oolaege
Also
t
est t
h
e --pip
v
ariant of
b
arvin
o
k_
e
hrha
r
t_e
.
commit
|
commitdiff
|
tree
2005-09-12
Sv
e
n Verdo
o
laege
ba
r
vinok_lexsmall
e
r_ev:
t
r
eat extra vari
a
bles
a
s
e
x
i
sten
t
i
al
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoolaege
verify_lexsmal
l
e
r: a
d
d
m
is
s
ing static qualifier
.
commit
|
commitdiff
|
tree
2005-09-08
Sven
V
e
rdoolaege
verify_
l
exsm
a
ller: suppor
t
e
xistential va
r
s in
inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoola
e
ge
check
_
lexsmall
e
r: fix error o
u
t
p
ut
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdool
a
ege
barvinok_rank
i
ng: re
n
ame to barvinok
_
lexsmaller
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoolaege
b
a
rvinok
_
ranking: adapt to new call
i
ng convention of
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verd
o
olaege
Use Poly
L
ib
'
s c
o
py of DomainC
o
nstr
a
intSimplify if availabl
e
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaege
Add a t
e
st for b
a
rvinok_ehrha
r
t_
e
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
V
e
rdoolaeg
e
Propagate renaming f
r
om RankingPolytopes t
o
LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sve
n
Ve
r
doolaege
pip_lexminm
a
x: fix comput
a
tion of lexmax (lightly tested)
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoo
l
a
e
g
e
pip_lexminmax: allow computation o
f
lexmax (u
n
test
e
d)
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaege
pi
p
util
.
c: make debugg
i
ng output depe
n
d on preprocess
o
r
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaege
piputil
.
c: include pi
p
util
.
h
commit
|
commitdiff
|
tree
2005-09-07
Sv
e
n V
e
rdoo
l
aege
pip_lexmin: allow positio
n
of
mi
n
i
m
i
zed vars to be
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
v
en Verdoo
l
aege
barvinok_enumera
t
e_e:
make sur
e
the i
n
put
p
olyhedra
.
.
.
commit
|
commitdiff
|
tree
2005-09-06
Sven Verdoo
l
aege
p
iputil
.
c: d
e
a
l
with partial
Polyhedro
n
s (untested)
.
commit
|
commitdiff
|
tree
2005-09-04
Sven
Ver
d
oolaege
verify_ranking
.
c: add some sani
t
y checks
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Verdo
o
laege
New verify_
r
anking applic
a
tion
.
commit
|
commitdiff
|
tree
2005-09-03
S
v
e
n Verd
o
o
laege
barvinok_co
u
nt: after facto
r
i
z
ation, P m
a
y be
a
union
.
.
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Verdoolaege
E
numeration_Free: domain may be a union of po
l
yhed
r
a
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Verdoolaege
b
a
rvinok_ranking_ev
:
fix typo
commit
|
commitdiff
|
tree
2005-08-22
Sven
V
e
rdoolaeg
e
b
arvinok_enumerate:
only c
o
mpute true context if polyt
o
pe
.
.
.
commit
|
commitdiff
|
tree
2005-08-21
Sven Verdoo
l
aege
Move instal
l
ed headers into separa
t
e d
i
rector
y
.
commit
|
commitdiff
|
tree
2005-08-21
Sven V
e
rdoolaege
Rename ev_operations
t
o evalue
.
commit
|
commitdiff
|
tree
2005-08-21
Sven
V
erdoolaege
Remove
u
nused file
s
.
commit
|
commitdiff
|
tree
2005-08-21
S
ven Ve
r
doola
e
ge
M
e
rge "bar
v
inok2
.
h
"
i
n
to "
b
arvinok
.
h"
.
commit
|
commitdiff
|
tree
2005-08-20
Sven Verdoolaege
D
eclare b
a
rvinok_ranking uncond
i
tionally
.
commit
|
commitdiff
|
tree
2005-08-20
Sv
e
n
Ver
d
ool
a
ege
ba
r
vinok
_
enumerate: always compute t
r
ue context
e
v
e
n
.
.
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verd
o
olaeg
e
barvinok
_
ra
n
king: barvinok ver
s
ion of
P
olyhedron_Rank
i
ng
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolaege
Enumera
t
ion
_
F
ree: avoid c
o
mpiler warning
.
commit
|
commitdiff
|
tree
2005-08-18
Sven V
e
r
do
o
laege
test: use _ev variant
o
f barvinok_enumera
t
e
commit
|
commitdiff
|
tree
2005-08-18
Sve
n
Verdoolaege
Remove
P
olyLi
b
's reduce_eva
l
u
e
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdool
a
ege
tri
a
ngularize_cone: rename to tria
n
gulate_cone
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolaege
Remove {Param,}Polyhedron_Reduce
commit
|
commitdiff
|
tree
2005-08-17
S
ve
n
Verdo
o
laege
bar
v
inok
_
enu
m
erate: make sure the in
p
ut polyhedra a
r
e
.
.
.
commit
|
commitdiff
|
tree
2005-08-17
Sven Verd
o
o
l
aeg
e
barv
i
n
ok
_
en
u
merate:
f
a
c
tor polyhedron into indepen
d
e
nt
.
.
.
commit
|
commitdiff
|
tree
2005-08-15
Sven Verdoola
e
ge
Redo enumera
t
ion if random ve
c
tor turns
out
t
o
be bad
.
commit
|
commitdiff
|
tree
2005-08-11
S
v
en Ve
r
doolaege
barvi
n
ok_count: ignore next
pointer of P argu
m
ent
commit
|
commitdiff
|
tree
2005-08-11
Sven Verd
o
o
l
a
e
ge
Redo some c
h
ecks if
s
ome constraints turn
e
d out to
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
Sven Ve
r
doolaege
test
:
postpone compu
t
ation of dual
if allowed by Pol
y
Lib
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
Avoid duplicat
e
f
r
ees in ~bfe_term()
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
check_poly: fix m
e
mory leak
.
commit
|
commitdiff
|
tree
2005-08-10
Sv
e
n
Verdoolaege
R
emove
u
nused variab
l
es
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
barvinok
_
count: factor polyhedron into independent
.
.
.
commit
|
commitdiff
|
tree
2005-08-08
Sven Verdoola
e
ge
barvinok_count
:
postpone computation of dual
if all
o
w
ed
.
.
.
commit
|
commitdiff
|
tree
2005-08-08
S
ven Verdoolaege
Polyh
e
dron_Red
u
c
e: compute reduct using Constrain
t
s2Pol
y
hedron
commit
|
commitdiff
|
tree
2005-08-08
Sv
e
n
Ver
d
oolaege
Merge with
l
iacs develo
p
ment
.
commit
|
commitdiff
|
tree
2005-08-03
Sven Ver
d
oolaege
Fix
s
parse warnings
.
commit
|
commitdiff
|
tree
2005-08-02
S
v
en
Verdoolaege
Fix memory le
a
k
.
commit
|
commitdiff
|
tree
2005-08-02
Sven Verdoolaege
verify_main
.
cc: ano
t
her
memo
r
y cle
a
nu
p
.
commit
|
commitdiff
|
tree
2005-08-02
Sven Verdoolaege
Redo wh
o
le computation
if random vector turns out to
.
.
.
commit
|
commitdiff
|
tree
2005-08-02
Sve
n
Verdoolae
g
e
verify
_
m
a
in
.
cc: perform s
o
me memo
r
y cleanu
p
s
.
commit
|
commitdiff
|
tree
2005-08-01
Sve
n
Verdoolaege
Add polymake/READM
E
to distribution
.
commit
|
commitdiff
|
tree
2005-08-01
Sven Verdoolaege
vers
i
on
0
.
17
commit
|
commitdiff
|
tree
2005-08-01
Sve
n
Verdoola
e
ge
Minimal README for polymake clie
n
t
.
commit
|
commitdiff
|
tree
2005-08-01
S
v
en Ver
d
oolaege
p
olym
a
ke/latice_poi
n
ts:
h
andl
e
rational c
o
nst
r
ain
t
s
.
commit
|
commitdiff
|
tree
2005-08-01
Sven Verdool
a
e
g
e
ax_create_pkgconfig_
i
n
fo: ad
d
datarootd
i
r for autocon
f
.
.
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Verdoolaege
R
un autoconf
i
n polyma
k
e
subdir before distributing
.
commit
|
commitdiff
|
tree
2005-07-31
S
ven
V
erdoo
l
aege
Add polymake client to distribut
i
on
.
commit
|
commitdiff
|
tree
2005-07-31
S
v
en V
e
rdoo
l
aege
Re
m
ove s
p
urious output
.
commit
|
commitdiff
|
tree
2005-07-31
Sv
e
n Verdoolaege
A
v
oid exit()
w
arnings
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Verdo
o
lae
g
e
Remo
v
e unused
files
.
commit
|
commitdiff
|
tree
2005-07-31
Sven
V
erd
o
olaege
ax_
c
rea
t
e_pk
g
config_info:
pa
s
s LD
F
L
A
GS
to
.
pc files
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Ve
r
doolaege
ax_cre
a
t
e_pk
g
c
o
nfig_info: min
o
r docu fix
.
commit
|
commitdiff
|
tree
2005-07-31
S
v
en Verd
o
o
l
aege
Pass f
l
ags to aclocal
.
commit
|
commitdiff
|
tree
2005-07-31
Sven Verdoolaege
Merge
w
ith Vienna development
.
commit
|
commitdiff
|
tree
next