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
bump version
2004-09-18
sk
i
mo
b
ump version
commit
|
commitdiff
|
tree
2004-09-18
skimo
u
p
d
a
te
commit
|
commitdiff
|
tree
2004-09-18
skimo
point to
P
I
P
l
ocation
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
shi
f
t
polytope for PI
P
if
v
ari
a
bles range over ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
all
o
w verification
o
f direct
pip
u
s
e
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't overallocate if we don't
h
av
e
to
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
don't ove
r
all
o
cat
e
if we don't have
to
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
override
b
arvinok_enumerat
e
_ev ins
t
ead of barvinok_enumerate
commit
|
commitdiff
|
tree
2004-09-18
skimo
opti
o
nally use pi
p
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
rename
a
nd export pip-b
a
sed enume
r
ation
commit
|
commitdiff
|
tree
2004-09-18
skimo
c
o
n
ve
r
ter for
cdd input
t
o po
l
ylib inpu
t
commit
|
commitdiff
|
tree
2004-09-18
skim
o
confor
m
to
C
8
9
commit
|
commitdiff
|
tree
2004-09-07
s
k
imo
hooks to count t
h
e
i
nput and
o
utp
u
t
s
ize in bi
t
s
commit
|
commitdiff
|
tree
2004-09-07
skimo
b
e
careful about
w
ha
t
to
negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
some
vector partiti
o
n examples
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
skimo
include string
n
eed f
o
r
memcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoi
d
gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c++ l
i
nking inste
a
d of linking in libstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
force inst
a
ll
a
tion of (possibly) new version
commit
|
commitdiff
|
tree
2004-08-31
skimo
che
c
k for
getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move "constant" constant part outside o
f
fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combin
e
resu
l
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
smal
l
memor
y
l
e
ak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use
pip if
a
va
i
lable
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
h
ec
k
for
p
ip
l
ib
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert
to looku
p
-t
a
ble
if
request
e
d
commit
|
commitdiff
|
tree
2004-08-29
skimo
test
p
rogram fo
r
pip support
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
add s
u
pport for
c
omputing th
e
lex
i
cographical minim
u
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
als
o
look at d
e
nominator of the const
a
n
t
commit
|
commitdiff
|
tree
2004-08-28
skimo
more partial
r
a
y remova
l
(
largel
y
un
t
ested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s
/vd
/
ve
r
t
i
ces/
commit
|
commitdiff
|
tree
2004-08-23
skimo
c
h
eck that polyli
b
is recent enough
t
o c
o
rrectl
y
co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
a
dd
t
12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests from p
o
lylib
commit
|
commitdiff
|
tree
2004-08-23
sk
i
mo
perform correct periodic num
b
er
l
ookup
fo
r
negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more info
commit
|
commitdiff
|
tree
2004-08-14
s
kimo
typo
commit
|
commitdiff
|
tree
2004-08-14
s
kimo
correct test fo
r
mpz_divisible_
p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repea
t
workar
o
un
d
in
l
oop
commit
|
commitdiff
|
tree
2004-08-14
skimo
older gmp
s
seem to h
a
ve pr
o
blems with a string constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support
o
lder gmp versions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't
a
ssume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remo
v
e code dupli
c
ation
commit
|
commitdiff
|
tree
2004-08-09
skimo
e
x
tr
a
c
t out
common code
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
extr
a
ct out c
o
d
e to c
o
nstruct nega
t
i
v
e test con
s
traint
commit
|
commitdiff
|
tree
2004-08-09
skimo
c
ode reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
d
etect more unha
n
dled
cases
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
s
i
mplify some code
commit
|
commitdiff
|
tree
2004-08-08
skimo
re
m
o
ve redundant
ray
s
commit
|
commitdiff
|
tree
2004-08-08
skimo
a
llow any n
u
mber of part
s
in
e
numerate_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"
i
mplemen
t
" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
handle (sin
g
le
)
ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
remo
v
e
(some) line
s
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
set nparam back to us
e
as n
u
mber of dimensions in
p
art
i
tion
commit
|
commitdiff
|
tree
2004-08-05
skimo
make
compute_en
o
de work again in gene
r
a
l case
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
remove de
b
uggi
n
g output
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove
d
ebugging o
u
t
p
ut
commit
|
commitdiff
|
tree
2004-08-05
s
k
i
mo
use e
v
alue rather than enume
r
ation an
d
some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend
prin
t
ing and comput
i
ng to ha
n
dle
s
"
modu
l
o
s
"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
sk
i
m
o
a
lternative to in_domain that handles
"
modulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
st
o
re "re
a
l" dimensi
o
n
in pos fie
l
d
o
f p
a
rtition
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
re
m
ove duplicate implementation
commit
|
commitdiff
|
tree
2004-08-04
skimo
be slightly mo
r
e conservative (corr
e
c
t
)
in de
t
ermining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a ray that depends on the parameters should be
ok
commit
|
commitdiff
|
tree
2004-08-04
s
ki
m
o
c
l
ean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memo
r
y leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
mem
o
r
y lea
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory lea
k
commit
|
commitdiff
|
tree
2004-08-03
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
memo
r
y le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
s
k
im
o
remove
d
ebugging
output
commit
|
commitdiff
|
tree
2004-08-03
skimo
check w
h
ether p
r
ojec
t
i
on
is bou
n
ded
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
Split on parametric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If
one of the vert
i
ces in
t
h
e
combined
space
is a
l
attice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
elimi
n
a
te par
a
meters if we
can
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
only perform vd basid
reductio
n
if the polytop
e
has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfringe polyhedron
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
remove de
b
uggi
n
g output in unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend adde
l
iminate
d
params to partiti
o
ns
commit
|
commitdiff
|
tree
2004-08-01
skimo
bail ea
r
ly on empt
y
polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduce higher
d
egrees of fractional parts with floo
r
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only rays involving th
e
real
variables le
a
d t
o
un
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
k
i
m
o
perform ra
n
ge reduction if request
e
d
commit
|
commitdiff
|
tree
2004-08-01
skimo
onl
y
cal
c
ulate
o
n
c
e
for
p
art
t
hat
is i
n
d
e
pendent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
per
f
orm another r
a
ng
e
r
e
duction aft
e
r sum
m
ation
commit
|
commitdiff
|
tree
2004-07-31
ski
m
o
Decompo
s
itions based on validity dom
a
i
ns
a
nd parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
spli
t
o
f
f par
t
that certain
l
y contain
s
l
a
t
ti
c
e point
s
commit
|
commitdiff
|
tree
2004-07-30
skimo
ro
u
t
ine for
reduc
i
ng
t
o zero variables c
a
s
e
commit
|
commitdiff
|
tree
2004-07-30
sk
i
m
o
use newly added r
o
utine
commit
|
commitdiff
|
tree
2004-07-30
sk
i
m
o
a polytope w
i
th rays
i
ndepende
n
t
o
f the exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check for
e
mpty polytop
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify constraints o
n
each i
n
vocation of
b
arvinok_en
u
me
r
a
t
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
extract out routine fo
r
"or"
i
ng
commit
|
commitdiff
|
tree
2004-07-30
skim
o
unused routine for removing double bou
n
ds
commit
|
commitdiff
|
tree
2004-07-30
skimo
sen
d
d
e
b
ug output to stderr in (
u
nused
)
unfringe
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
make debu
g
gin ea
s
ier
by
k
eeping track of recurs
i
on
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
extract o
u
t ro
u
tine to al
i
gn constraint along a linear
.
.
.
commit
|
commitdiff
|
tree
next