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
force installation of (possibly) new version
2004-08-31
sk
i
mo
force inst
a
llation
of (possib
l
y
)
new versi
o
n
commit
|
commitdiff
|
tree
2004-08-31
skimo
check for
getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move
"
con
s
tant" con
s
t
ant part outside of frac
t
i
onal
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
co
m
bine result
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
small memory leak
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
u
se pip if a
v
ailable
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
check for
p
iplib
commit
|
commitdiff
|
tree
2004-08-29
skim
o
convert t
o
looku
p
-t
a
ble if requ
e
sted
commit
|
commitdiff
|
tree
2004-08-29
s
k
i
m
o
te
s
t program for
p
ip support
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
add su
p
p
o
rt for c
o
mputing th
e
lexicogra
p
hical minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
al
s
o look at denominato
r
o
f
the const
a
nt
commit
|
commitdiff
|
tree
2004-08-28
skimo
m
o
re partial ray removal (largely untested
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
s/vd/vert
i
ces/
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
check that po
l
ylib is recent enou
g
h to
correctly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add
t12
.
i
n
esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests
f
r
om
p
olyli
b
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform corr
e
ct
p
e
r
iod
i
c number lookup for neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
m
ore in
f
o
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
correct test for
m
pz
_
divis
i
ble_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
r
e
peat work
a
round in
l
oop
commit
|
commitdiff
|
tree
2004-08-14
skimo
ol
d
er gmps seem to have p
r
oblems
with
a strin
g
c
onstisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
supp
o
rt
older
g
mp versi
o
ns
commit
|
commitdiff
|
tree
2004-08-13
sk
i
mo
don't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove code duplica
t
ion
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
extract out common co
d
e
commit
|
commitdiff
|
tree
2004-08-09
skimo
e
x
tract out
cod
e
to co
n
s
truct ne
g
at
i
ve
test co
n
straint
commit
|
commitdiff
|
tree
2004-08-09
skimo
code
r
e
u
se
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect
more unhandled
c
as
e
s
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify some c
o
d
e
commit
|
commitdiff
|
tree
2004-08-08
s
kimo
remov
e
redundan
t
rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
a
l
low any number of
pa
r
ts i
n
en
u
merate_or
commit
|
commitdiff
|
tree
2004-08-08
s
k
imo
"impl
e
ment" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
han
d
le (single) r
a
y
commit
|
commitdiff
|
tree
2004-08-06
skimo
r
e
m
ov
e
(
som
e
) lines
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
set np
a
ram back to use as number of dimensions in partition
commit
|
commitdiff
|
tree
2004-08-05
skimo
make comput
e
_enode
w
ork
again in general case
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove
d
ebu
g
ging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
remo
v
e
d
e
bugging o
u
t
p
u
t
commit
|
commitdiff
|
tree
2004-08-05
skim
o
use evalue rather
t
h
an en
u
meration and
s
ome mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend prin
t
i
n
g and co
m
puti
n
g to h
a
nd
l
e
s "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skim
o
alt
e
r
na
t
i
ve to
in_domain that han
d
l
es "modulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
store
"real" dimension in
p
os f
i
eld of partition
commit
|
commitdiff
|
tree
2004-08-04
s
ki
m
o
r
emove dupl
i
ca
t
e implementation
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
be sl
i
ghtly more conserva
t
ive (correc
t
) in determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a r
a
y
that depe
n
ds on
t
he
p
a
rameter
s
should be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
c
lea
n
up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
m
emory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
rem
o
ve debugging out
p
ut
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
check whet
h
er projecti
o
n
is bou
n
de
d
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on parametric v
e
rt
e
x
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one of the v
e
rtice
s
in the
combined sp
a
ce is a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
eliminate parameters if we
c
an
commit
|
commitdiff
|
tree
2004-08-03
skimo
only perform vd basid reduction if the polytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfringe polyhe
d
ro
n
commit
|
commitdiff
|
tree
2004-08-03
skimo
r
emove debugging output
in unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
exte
n
d addeli
m
in
a
tedp
a
ram
s
to par
t
i
tions
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
bail early on empty poly
t
ope
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
reduce high
e
r degrees
of
f
r
actional parts
w
ith
f
lo
o
r
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only rays inv
o
l
v
ing the real variables
lead to unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skim
o
p
e
r
form range reducti
o
n
if
r
equ
e
sted
commit
|
commitdiff
|
tree
2004-08-01
skim
o
only calcul
a
te
o
nce
f
or
p
art that is ind
e
p
endent
of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
s
k
imo
perform
a
nother range redu
c
tion after summation
commit
|
commitdiff
|
tree
2004-07-31
s
k
imo
Decomposit
i
on
s
based on validity do
m
ain
s
and parame
t
ri
c
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
spl
i
t off part
that cer
t
a
i
nly con
t
ains lat
t
ice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
r
o
utine for
r
educing
to
z
e
r
o
v
ariabl
e
s
c
ase
commit
|
commitdiff
|
tree
2004-07-30
skimo
use newl
y
added
r
outine
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
a pol
y
t
o
pe
w
ith r
a
y
s
independ
e
nt of the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check for empty polytop
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
i
mplify constrain
t
s on e
a
ch invocati
o
n
of barvinok
_
enu
m
erat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extrac
t
out routine
for "
o
r
"
i
ng
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
nused
r
outi
n
e for r
e
mo
v
i
n
g
double boun
d
s
commit
|
commitdiff
|
tree
2004-07-30
skimo
send de
b
ug output
to stderr in
(
u
nused)
u
nfringe
commit
|
commitdiff
|
tree
2004-07-30
skim
o
ma
k
e debug
g
i
n
easier by keeping track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
ext
r
act
o
ut rout
i
ne to align constraint
a
lon
g
a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of
the hy
p
e
r
planes
h
a
s to be inde
p
endent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
m
o
E
nsur
e
that
first
v
ar
i
able is made negative inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
En
s
ur
e
that sp
l
itting will
r
e
duc
e
the numb
e
r
o
f
e
x
iste
n
tial
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
m
o
abstra
c
t out h
a
ndling
o
f multipl
e
validi
t
y d
o
m
a
ins
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
Extra check that is probably not needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
h
a
ndle compo
s
ed validity domains
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
reduce after summ
a
tion
commit
|
commitdiff
|
tree
2004-07-29
skimo
d
on't create empty partitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
al
l
o
w evaluation of floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
perform
(
tri
v
ial) re
d
ucti
o
n on f
l
oorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
make r
e
order
_
term
s
w
ork for floori
n
gs
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct
c
heck for
1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be
more st
r
ict w
h
en com
p
ari
n
g two rationals
commit
|
commitdiff
|
tree
2004-07-29
skimo
ty
p
o
in
comm
e
nt
commit
|
commitdiff
|
tree
2004-07-21
skimo
ha
n
dle
case of all empty validity domains
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
su
p
po
r
t
p
olynomia
l
s
i
n "real
"
par
a
meters
commit
|
commitdiff
|
tree
2004-07-21
skimo
h
a
ndl
e
negative values of sum
m
ed variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
chec
k
whether POLYTO
P
E_P
R
E
F
IX is actual
l
y set
commit
|
commitdiff
|
tree
2004-07-20
skim
o
floor
c
onversion and parti
a
l i
m
plement
a
tion of esum
commit
|
commitdiff
|
tree
next