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
don't overallocate if we don't have to
2004-09-18
skimo
don't overallocate
i
f we don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't o
v
eralloc
a
te if we don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
overri
d
e barvinok_e
n
u
merate_ev
i
n
stead o
f
barvinok_enume
r
ate
commit
|
commitdiff
|
tree
2004-09-18
skimo
optionally use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
rename
and export
pip-based en
u
meration
commit
|
commitdiff
|
tree
2004-09-18
skimo
converter f
o
r cdd input
to polyli
b
input
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
conform to C89
commit
|
commitdiff
|
tree
2004-09-07
sk
i
mo
hoo
k
s to count the input and outpu
t
size
in bi
t
s
commit
|
commitdiff
|
tree
2004-09-07
skimo
be
c
a
r
ef
u
l
about
wha
t
t
o negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
som
e
v
e
c
tor par
t
i
t
ion
e
xamples
commit
|
commitdiff
|
tree
2004-08-31
s
k
i
m
o
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
i
n
clude string need
f
o
r memcpy
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
av
o
id gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c++ linking instead of li
n
kin
g
i
n
libstdc++
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
f
orce
i
nsta
l
lat
i
on
o
f
(p
o
ssibly) n
e
w v
e
rs
i
on
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
chec
k
for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
m
o
v
e "constant" constant
p
ar
t
outside of fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
comb
i
ne
result
commit
|
commitdiff
|
tree
2004-08-29
s
k
im
o
s
mall memory le
a
k
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
use pip
i
f
available
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
heck f
o
r pip
l
i
b
commit
|
commitdiff
|
tree
2004-08-29
skimo
conv
e
rt t
o
lookup-tabl
e
i
f r
e
queste
d
commit
|
commitdiff
|
tree
2004-08-29
skimo
test program for pip support
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
d
d support for co
m
putin
g
the lex
i
c
ograp
h
ical min
i
mum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
al
s
o
l
ook at d
e
no
m
inator
of the
c
onst
a
nt
commit
|
commitdiff
|
tree
2004-08-28
skimo
more p
a
r
t
ial ray removal
(
largely
unt
e
st
e
d
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
s/vd/ver
t
ices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check that
p
o
l
ylib is r
e
c
e
nt
enough
t
o
c
orrectly
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skim
o
add
t
1
2
.
i
n
esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new
t
ests
f
rom
polylib
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
perform
c
orre
c
t periodic number loo
k
up for neg
a
t
i
ve
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more info
commit
|
commitdiff
|
tree
2004-08-14
skim
o
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
co
r
rect
t
est for mpz_divisible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat workar
o
und
in loop
commit
|
commitdiff
|
tree
2004-08-14
s
kimo
older g
m
ps seem to have problems with a
s
tring c
o
nstisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support older gmp ver
s
ions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't
ass
u
m
e C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove co
d
e
d
uplication
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out common code
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out cod
e
to constr
u
ct
negative tes
t
cons
t
raint
commit
|
commitdiff
|
tree
2004-08-09
skimo
code reuse
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
d
e
tect more unhandled case
s
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
simplify some code
commit
|
commitdiff
|
tree
2004-08-08
s
k
i
mo
remove re
d
unda
n
t rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow a
n
y nu
m
ber of parts in enumerate_or
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
"implement" eor
commit
|
commitdiff
|
tree
2004-08-08
s
k
imo
handle
(
single) ray
commit
|
commitdiff
|
tree
2004-08-06
s
k
imo
remove (some)
l
ines
commit
|
commitdiff
|
tree
2004-08-05
skim
o
set np
a
ram back to use
a
s number of
d
ime
n
s
i
ons in partition
commit
|
commitdiff
|
tree
2004-08-05
skimo
make comput
e
_
e
node work again
in general ca
s
e
commit
|
commitdiff
|
tree
2004-08-05
skimo
r
e
mo
v
e debug
g
i
ng
o
utput
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove deb
u
gging
o
utput
commit
|
commitdiff
|
tree
2004-08-05
skim
o
use evalue
rather than
e
n
umeratio
n
a
nd some mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
e
x
tend
p
rintin
g
and c
o
mput
i
n
g
t
o
h
andles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternative to in_domain
t
h
at
handles "modulos" i
n
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
s
t
o
r
e "real" dimension in pos
f
iel
d
of partition
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
remove duplica
t
e implementation
commit
|
commitdiff
|
tree
2004-08-04
skimo
b
e
slightly
m
o
re cons
e
rvative (correct
)
in determi
n
ing
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
a ray tha
t
dep
e
nds on the parameters should be
o
k
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
c
l
ean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
m
e
mory
l
ea
k
commit
|
commitdiff
|
tree
2004-08-03
skim
o
m
emo
r
y
leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
m
e
mory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
m
o
r
y leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
remove deb
u
gging outp
u
t
commit
|
commitdiff
|
tree
2004-08-03
skimo
ch
e
ck whether projec
t
ion is bou
n
ded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Spli
t
on par
a
me
t
ric
v
er
t
e
x
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
If one of the ve
r
tice
s
in the comb
i
ned space is
a
l
a
t
tice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
eliminate parameters if w
e
can
commit
|
commitdiff
|
tree
2004-08-03
sk
i
m
o
on
l
y per
f
or
m
vd basid re
d
uction if the po
l
y
to
p
e
has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
u
n
fringe
polyhedron
commit
|
commitdiff
|
tree
2004-08-03
skimo
remov
e
debugging out
p
ut
in unfri
n
ge
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend adde
l
imin
a
tedparams to partitions
commit
|
commitdiff
|
tree
2004-08-01
skimo
bail
e
arly on e
m
p
t
y po
l
ytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
redu
c
e highe
r
degre
e
s
o
f fractional p
a
rts with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
ki
m
o
only rays
i
n
v
olvi
n
g the real var
i
abl
e
s lead to un
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
p
e
rform
r
ange r
e
duction if req
u
ested
commit
|
commitdiff
|
tree
2004-08-01
skimo
only
c
alculate once for part that
i
s
independent
o
f
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform
a
nother
r
ange red
u
ction
af
t
er su
m
m
ation
commit
|
commitdiff
|
tree
2004-07-31
sk
i
mo
Decompositions ba
s
ed o
n
validity domains and paramet
r
i
c
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
s
p
l
it off
p
art that
certainly contai
n
s lat
t
ice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
routine for
r
e
ducing t
o
zero var
i
ables case
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
mo
us
e
newly added ro
u
tine
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
a
p
o
lytop
e
with rays
in
d
epe
n
d
ent of t
h
e e
x
i
s
t
e
n
tial
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
chec
k
for e
m
pty polytope
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
s
implify constraints
on ea
c
h
i
nvocation of bar
v
inok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
ex
t
ract
o
ut routine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused r
o
utine for
removing
double
b
ounds
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
send debug
o
utp
u
t
to s
t
d
e
rr in (unused) unf
r
inge
commit
|
commitdiff
|
tree
2004-07-30
skimo
make debuggin easie
r
by kee
p
i
ng track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
e
xtract
o
ut
r
outine to align c
o
nstra
i
nt along
a
linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If
one
of
t
h
e hyperplane
s
has
t
o
be indep
e
ndent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that first var
i
abl
e
is made negative i
n
side
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
E
n
sure that spli
t
ting wil
l
r
edu
c
e
t
he nu
m
ber of exi
s
tenti
a
l
commit
|
commitdiff
|
tree
2004-07-30
s
kim
o
abstract out handling
of mul
t
iple v
a
lidity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra
check t
h
at is probabl
y
n
ot needed
commit
|
commitdiff
|
tree
next