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
omega/convert.cc: add conversion from PolyLib to Omega
2006-01-28
Sven Ver
d
oolaege
o
m
e
g
a
/
conver
t
.
c
c:
a
dd conv
e
rsion from PolyLi
b
to Omega
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
omega/convert
.
c
c
: ex
t
ract ou
t
c
o
nversion from Omega
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
b
a
rv
i
nok/uti
l
.
h
:
i
n
c
lude gmp
.
h
commit
|
commitdiff
|
tree
2006-01-28
Sven Ve
r
do
o
laege
le
t
OMEGA
_
vars
c
ontain omega related flags exclusive
l
y
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
r
e
d
uce_in_domain: fix
s
ome memory leaks
commit
|
commitdiff
|
tree
2006-01-28
Sve
n
V
e
r
doolaege
scan_quast:
combi
n
e
qua
s
t parts if we are p
r
ojecting
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven
Ver
d
o
olaege
barvinok_enu
m
e
r
ate_pip: no need to remove negative
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verd
o
olaege
p
i
p
_projectout: allow unknows and
parameters to
be
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
S
ve
n
Verdoolaege
pip_projectout:
l
et piplib simplify
solution
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdoolaeg
e
b
arvinok_enumerate_e: print current problem
in form
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Ver
d
o
o
l
aege
occ: red
u
ce evalue before p
r
inting
commit
|
commitdiff
|
tree
2006-01-20
Sven V
e
rdo
o
laege
ver
s
ion 0
.
19
commit
|
commitdiff
|
tree
2006-01-20
S
ven
V
e
rdool
a
ege
add some required
f
i
l
e
s
t
o
dis
t
ribu
t
ion
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdoolaege
U
se cor
r
e
ct
i
nclude dir for
omega h
e
ader
s
.
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdoolaeg
e
piptes
t
: declare variable at
s
tart of code block
.
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdoolaege
occ: corre
c
t
c
alculatio
n
o
f di
m
ension
.
commit
|
commitdiff
|
tree
2006-01-13
S
ven Verdoolaege
export EVALU
E
_IS_ONE
m
acro
commit
|
commitdiff
|
tree
2006-01-11
Sven Verdoolaege
evalue/pr
i
nt_enode
:
create names if
none are provi
d
ed
.
commit
|
commitdiff
|
tree
2006-01-07
Sven
V
erdoolaege
occ
:
add "ranki
n
g"
o
p
er
a
tion
.
commit
|
commitdiff
|
tree
2006-01-07
Sven
Ve
r
doolaeg
e
occ/c
a
rd: fi
x
memory leak
.
commit
|
commitdiff
|
tree
2006-01-07
Sven Verdoola
e
ge
occ: comp
u
t
e number of existen
t
ia
l
v
ariables
c
orrectl
y
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Verdool
a
ege
is_zero_on: fix invalid read
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Verd
o
olaege
Polyhedron_
i
s_infinite: simplif
y
and
w
arn that it may
.
.
.
commit
|
commitdiff
|
tree
2006-01-04
Sv
e
n Verdoolaege
occ: r
e
name "count
"
operation
t
o
"
card"
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdoolaege
occ: add
"count"
o
perati
o
n
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Ve
r
dool
a
e
g
e
omega/p
a
rser
.
y:
r
ename some constan
t
s
.
commit
|
commitdiff
|
tree
2005-12-28
S
v
e
n
Ver
d
oolaege
omega/parser
.
y: use
free to free mal
l
oc'ed
memory
.
commit
|
commitdiff
|
tree
2005-12-28
S
v
en Verd
o
ol
a
eg
e
Comp
i
l
e
topdir be
f
ore ome
g
a
s
ubdir
.
commit
|
commitdiff
|
tree
2005-12-28
S
v
en Verdoolaege
b
a
rvinok
/
b
a
rvinok
.
h
:
include barvinok/
e
v
alue
.
h
commit
|
commitdiff
|
tree
2005-12-28
S
ven Verdoola
e
ge
b
arvinok/evalue
.
h:
unde
f
ine divi
d
e fro
m
p
o
lylib's arithmet
i
que
.
h
commit
|
commitdiff
|
tree
2005-12-27
S
ven Verd
o
olaege
o
c
c: base
o
mega calculator
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaege
Fi
l
es copi
e
d from om
e
ga_c
a
lc
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdo
o
l
aeg
e
ead
d
_part
i
ti
o
ns: try to combine multiple domain
s
with
.
.
.
commit
|
commitdiff
|
tree
2005-12-27
Sven
Verdoola
e
ge
u
til:
a
dd Do
m
ainConcat
.
commit
|
commitdiff
|
tree
2005-12-27
S
v
en Verdoola
e
ge
barvinok_enumerate: u
s
e POL_NO_D
U
A
L
i
f
a
v
a
ilable
.
commit
|
commitdiff
|
tree
2005-12-27
Sve
n
Verdoolaege
Don't call Pol
y
hedron2Param_
S
im
p
l
ifiedDo
m
ain with POL_NO_D
U
AL
.
commit
|
commitdiff
|
tree
2005-12-26
Sven Verdo
o
la
e
g
e
Regressi
o
n test
.
commit
|
commitdiff
|
tree
2005-12-26
Sven Verdoolaege
More u
s
e of
P
OL
_
N
O
_DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
Sven Verdoolaege
bar
v
i
nok_enum
e
ra
t
e_ev: compu
t
e vertices of polytope
.
.
.
commit
|
commitdiff
|
tree
2005-12-26
S
v
e
n
V
e
rdoolaege
reduce_evalue: ensure a domain is really empty before
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
Sv
e
n Verdoolaege
piputil: remove unneeded f
u
nctionality
.
commit
|
commitdiff
|
tree
2005-12-08
Sven Verd
o
olae
g
e
ba
r
vinok_enumerate_pip: simply
p
roje
c
t out exi
s
tenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
Sven Verdool
a
ege
Update
p
iputil
.
c with
s
o
m
e new
f
unctiona
l
ity c
u
r
r
ent
l
y
.
.
.
commit
|
commitdiff
|
tree
2005-10-27
Sven Verdool
a
e
g
e
piputil
.
quast2poly: pass in the number of PIP parameters
commit
|
commitdiff
|
tree
2005-10-27
Sven Verdoolaege
Also
t
est th
e
--pip varia
n
t
o
f b
a
rvin
o
k_ehrh
a
rt_e
.
commit
|
commitdiff
|
tree
2005-09-15
Sven
V
e
rdoolaege
add README
.
Solar
i
s to distribution
commit
|
commitdiff
|
tree
2005-09-15
Sven Verdoolae
g
e
Updat
e
ChangeLog
.
commit
|
commitdiff
|
tree
2005-09-15
Sve
n
Verdoola
e
ge
B
ump ver
s
ion
.
commit
|
commitdiff
|
tree
2005-09-12
Sv
e
n Verdo
o
laege
barvin
o
k_lexs
m
aller_ev: treat extra variables
as
e
x
i
stential
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sven
V
e
r
d
oola
e
ge
verify_lexsmaller: add missing static qualifier
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoolaege
ve
r
ify_
l
exs
m
aller: suppor
t
e
xisten
t
ia
l
vars in
input
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoolaege
che
c
k
_le
x
s
m
a
l
ler
:
fix er
r
o
r
o
utput
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoo
l
aege
barvinok_ranking:
rename
to bar
v
i
nok_lexsmaller
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoo
l
aege
barvi
n
ok_ran
k
ing: adapt to new
calling c
o
nvention of
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Ve
r
doolae
g
e
verify_r
a
nkin
g
: only
c
omp
i
le if LexSmaller fo
u
nd in
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sv
e
n Verdoolaege
ParamLin
e
_Lengt
h
: correct number
o
f
para
m
e
t
ers i
n
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven V
e
rdo
o
laege
Use
P
o
lyLib's copy of Doma
i
nCons
t
raintSimpli
f
y
if available
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Ve
r
doolaege
A
dd a test for barvinok_ehrhart_e
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
V
erdoolaege
Propagate renaming from Rankin
g
Polytopes to Le
x
Smaller
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sv
e
n V
e
rdoola
e
ge
p
ip_
l
exminmax
:
fix
c
omputation
o
f lexmax
(
lightly tested)
.
commit
|
commitdiff
|
tree
2005-09-07
S
ven V
e
rdoolaege
pip_lexm
i
nmax:
a
llow computation of lexmax (untested)
.
commit
|
commitdiff
|
tree
2005-09-07
Sve
n
Verd
o
o
lae
g
e
piputil
.
c
:
m
a
ke debugging output
d
epend on pr
e
pro
c
essor
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven V
e
rdoola
e
ge
piputil
.
c
:
incl
u
de pi
p
uti
l
.
h
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdo
o
laeg
e
p
i
p_lexmin:
allow position
of m
i
nimized vars to be
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Ver
d
o
o
l
aege
barvin
o
k_en
u
merate_e: make sure
the input po
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2005-09-06
Sven
V
er
d
oolaege
piputil
.
c
:
deal with partial
P
o
ly
h
edro
n
s (unt
e
sted)
.
commit
|
commitdiff
|
tree
2005-09-04
Sven Verdoolaege
v
e
rif
y
_ranking
.
c:
a
dd some sani
t
y che
c
ks
.
commit
|
commitdiff
|
tree
2005-09-03
Sven
Verd
o
o
l
aege
New ve
r
i
f
y_ranking
application
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Verdoola
e
ge
bar
v
ino
k
_c
o
unt
:
after fa
c
torization, P may
b
e a union
.
.
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Verdool
a
ege
E
numeration_Free: domain
m
ay be a union of polyhedra
.
commit
|
commitdiff
|
tree
2005-09-03
Sven Verdo
o
laege
bar
v
inok_ranking_ev: fix
typo
commit
|
commitdiff
|
tree
2005-08-22
Sven Verdo
o
l
a
ege
barvinok_enumerate: only co
m
put
e
t
r
ue context if
polytope
.
.
.
commit
|
commitdiff
|
tree
2005-08-21
Sven Verdo
o
laege
M
ov
e
installed headers into
s
eparate directory
.
commit
|
commitdiff
|
tree
2005-08-21
S
v
en Verd
o
ola
e
ge
Rename e
v
_operat
i
ons to e
v
a
lue
.
commit
|
commitdiff
|
tree
2005-08-21
Sven Verdoolaege
Remov
e
u
n
used file
s
.
commit
|
commitdiff
|
tree
2005-08-21
Sven Ver
d
oola
e
ge
Merge "barvinok2
.
h" into "ba
r
vinok
.
h"
.
commit
|
commitdiff
|
tree
2005-08-20
Sven Verdoolaege
Declare b
a
rvino
k
_ranking unc
o
ndit
i
onally
.
commit
|
commitdiff
|
tree
2005-08-20
Sven Ver
d
oolaege
b
a
rvinok_enumerate: always compute
true
c
o
n
t
e
x
t ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2005-08-18
Sven
V
e
r
d
oola
e
ge
barvinok_ranking:
b
arvino
k
version o
f
Polyhedron_
R
a
nking
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoola
e
ge
Enume
r
ation_
F
ree
:
a
v
oid co
m
piler warning
.
commit
|
commitdiff
|
tree
2005-08-18
Sven
V
er
d
oo
l
aege
test: use _ev
variant of barvinok
_
enumerate
commit
|
commitdiff
|
tree
2005-08-18
S
ven Ve
r
doolaege
Remov
e
PolyLi
b
'
s
r
educe
_
e
value
.
commit
|
commitdiff
|
tree
2005-08-18
Sven Verdoolaege
t
r
iangulari
z
e_c
o
ne: rename
t
o triangulate_cone
commit
|
commitdiff
|
tree
2005-08-18
Sven
V
erdoolaege
R
e
move {Param,}Polyhedron
_
Reduce
commit
|
commitdiff
|
tree
2005-08-17
Sven Ve
r
d
oolaege
S
o
l
a
ris: war
n
ab
o
ut
l
ibt
o
o
l pro
b
lem
.
commit
|
commitdiff
|
tree
2005-08-17
Sv
e
n Verdool
a
ege
barvi
n
o
k
_e
n
um
e
rate: make sur
e
the in
p
u
t
polyhedra a
r
e
.
.
.
commit
|
commitdiff
|
tree
2005-08-17
Sven Verdoolaege
bar
v
in
o
k
_enumerat
e
: facto
r
polyhedron in
t
o independent
.
.
.
commit
|
commitdiff
|
tree
2005-08-15
S
v
en Verd
o
o
l
a
eg
e
Redo enumerati
o
n if rando
m
v
e
ctor turns
o
ut to be ba
d
.
commit
|
commitdiff
|
tree
2005-08-12
Sve
n
V
e
rdoolaege
veri
f
_
e
h
rhart
:
only do manu
a
l count for
parame
t
er
values
.
.
.
commit
|
commitdiff
|
tree
2005-08-12
Sven
V
e
r
doola
e
ge
Poly
h
ed
r
on_Fa
c
tor:
d
o
n
't ig
n
o
re pivot rows
.
commit
|
commitdiff
|
tree
2005-08-12
Sve
n
V
e
rdoolaege
M
ore product polytope tes
t
s
.
commit
|
commitdiff
|
tree
2005-08-11
Sven Verdoolaege
b
arvino
k
_count: ig
n
or
e
ne
x
t po
i
n
ter of P ar
g
ument
commit
|
commitdiff
|
tree
2005-08-11
Sven Verdo
o
laege
Re
d
o
some checks if some constraints turn
e
d out t
o
.
.
.
commit
|
commitdiff
|
tree
2005-08-11
S
ven Verdo
o
l
aege
test: postpone com
p
utation of dual if allowed
b
y
PolyLib
.
commit
|
commitdiff
|
tree
2005-08-10
Sve
n
Ve
r
doolaege
Av
o
id dupl
i
cate frees in ~bfe_term(
)
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
check_poly: fix memory leak
.
commit
|
commitdiff
|
tree
2005-08-10
Sve
n
Verdoolaege
Remo
v
e unused variables
.
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaeg
e
barvinok_count: factor polyhe
d
r
on int
o
ind
e
pe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2005-08-10
Sv
e
n V
e
rdool
a
ege
b
arvinok_
c
ount: properly handle 0D
p
o
ly
t
o
p
e
s
commit
|
commitdiff
|
tree
2005-08-10
Sven Verdoolaege
barvinok_
c
ount
.
c: remove magic
co
n
stant
commit
|
commitdiff
|
tree
next