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
d
o
n't
o
verallocate
if we don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
d
o
n't overalloc
a
te if we don't have to
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
overr
i
de barvinok_enumerate_ev i
n
stead
o
f barvinok_e
n
umer
a
te
commit
|
commitdiff
|
tree
2004-09-18
skimo
optionally u
s
e
p
ip
commit
|
commitdiff
|
tree
2004-09-18
skimo
rename
and expor
t
pip-based enumerati
o
n
commit
|
commitdiff
|
tree
2004-09-18
skimo
converte
r
for cdd input
t
o polylib
i
nput
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
conform to
C
89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hook
s
t
o
count the
input and outpu
t
size in bits
commit
|
commitdiff
|
tree
2004-09-07
s
k
imo
be ca
r
eful about what to negate
commit
|
commitdiff
|
tree
2004-09-04
s
k
imo
som
e
vector pa
r
tition
e
xampl
e
s
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid
gcci
s
ms
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
include
s
tring need
f
or memcpy
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
avoid gcci
s
m
commit
|
commitdiff
|
tree
2004-08-31
skimo
f
o
rc
e
c++ linking inst
e
a
d
of
l
inking in libst
d
c++
commit
|
commitdiff
|
tree
2004-08-31
skimo
f
o
r
c
e inst
a
llation of (
p
oss
i
bly) new versio
n
commit
|
commitdiff
|
tree
2004-08-31
skimo
check
for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move "c
o
nstant" c
o
nstant
p
a
rt outside of fr
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
combine result
commit
|
commitdiff
|
tree
2004-08-29
skim
o
small memory
leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use
p
ip i
f
a
vaila
b
le
commit
|
commitdiff
|
tree
2004-08-29
skimo
check
fo
r
pipl
i
b
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert to look
u
p-table if
r
equested
commit
|
commitdiff
|
tree
2004-08-29
s
k
i
mo
te
s
t progra
m
for p
i
p
s
u
pport
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
add sup
p
ort for computing the lexicographic
a
l
minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
al
s
o look at d
e
nominato
r
of
the const
a
nt
commit
|
commitdiff
|
tree
2004-08-28
s
k
imo
more
partial ray
re
m
oval (largely u
n
tested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
c
h
eck t
h
a
t
polylib is
recent enoug
h
to co
r
rectly compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new test
s
from polylib
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
perform correct
p
eriodic num
b
er lookup for negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
mo
r
e
i
nfo
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
c
o
rrect test for mpz_divisib
l
e_p
commit
|
commitdiff
|
tree
2004-08-14
skim
o
r
e
p
e
at workarou
n
d in loop
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
older
gmps se
e
m to ha
v
e p
r
oblem
s
wi
t
h a string consti
s
ting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skim
o
s
u
pport older gmp versions
commit
|
commitdiff
|
tree
2004-08-13
sk
i
mo
don't a
s
sume C99
commit
|
commitdiff
|
tree
2004-08-10
s
kimo
remov
e
cod
e
dupli
c
ation
commit
|
commitdiff
|
tree
2004-08-09
skimo
extra
c
t o
u
t common
code
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
extr
a
ct out code
t
o construct negati
v
e test
constr
a
int
commit
|
commitdiff
|
tree
2004-08-09
skimo
code reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
d
etect more unhan
d
led cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
simpli
f
y
some code
commit
|
commitdiff
|
tree
2004-08-08
s
kimo
remove
r
ed
u
ndant rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
a
llo
w
any
number
o
f parts
in enumerat
e
_
o
r
commit
|
commitdiff
|
tree
2004-08-08
skimo
"implement
"
eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
handle (single) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
remove (some
)
lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
set nparam bac
k
t
o
u
s
e as numb
e
r of
dime
n
si
o
ns in pa
r
t
i
tion
commit
|
commitdiff
|
tree
2004-08-05
skimo
make compute_enode work again in general case
commit
|
commitdiff
|
tree
2004-08-05
skimo
remo
v
e d
e
bugging outp
u
t
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
remove debugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
use
e
v
alue ra
t
her than enumer
a
tion and so
m
e memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
i
m
o
extend printing and computing to
h
andles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
a
lte
r
native to in_do
m
a
i
n that handles "m
o
d
u
los
"
in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
store
"real" dimension in pos field of part
i
tion
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove duplicate implementati
o
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
be s
l
ightly
more
conservative (correct) in d
e
termining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
a ra
y
t
hat depends on the parameters shoul
d
b
e ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
c
le
a
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
s
k
imo
me
m
o
ry leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
emory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
memor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
emor
y
l
eak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debugging output
commit
|
commitdiff
|
tree
2004-08-03
skimo
c
heck whether
p
r
ojection is
b
ounded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on paramet
r
ic vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
I
f
one of
t
h
e
ver
t
ices
i
n the combined
s
pace is
a
la
t
t
i
ce
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
el
i
minate
p
a
rameter
s
if we c
a
n
commit
|
commitdiff
|
tree
2004-08-03
skimo
only
p
erform
v
d basid re
d
uction if the polytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
unf
r
inge poly
h
e
dron
commit
|
commitdiff
|
tree
2004-08-03
skimo
rem
o
v
e
debu
g
ging
output
i
n unfringe
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
extend a
d
deliminatedpar
a
ms to partitions
commit
|
commitdiff
|
tree
2004-08-01
skim
o
bail early on empty polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduce higher degr
e
e
s
of frac
t
i
o
nal parts with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
kim
o
only r
a
ys involving
the real variables lea
d
t
o
u
n
bo
u
nde
d
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform r
a
n
ge reduction
i
f requeste
d
commit
|
commitdiff
|
tree
2004-08-01
skimo
o
nly
cal
c
ulat
e
once for part that is independent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
per
f
orm another range reduction after summat
i
on
commit
|
commitdiff
|
tree
2004-07-31
ski
m
o
Decomposit
i
ons based on validi
t
y d
o
mai
n
s an
d
pa
r
ametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split
off part
t
hat certainly cont
a
i
ns lattice po
i
nts
commit
|
commitdiff
|
tree
2004-07-30
skimo
r
outin
e
for
r
e
ducing to z
e
r
o
variables
c
ase
commit
|
commitdiff
|
tree
2004-07-30
skimo
use newly
added routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a po
l
yto
p
e wit
h
r
a
ys independent
o
f the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check for empty
p
olytope
commit
|
commitdiff
|
tree
2004-07-30
skim
o
simplify con
s
tr
a
i
nts
o
n
each i
n
vocat
i
on of ba
r
v
i
nok
_
en
u
merat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
ex
t
r
act
o
ut routine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused routine for remov
i
ng
doubl
e
bou
n
ds
commit
|
commitdiff
|
tree
2004-07-30
skimo
sen
d
d
ebug output to stderr in (unused) un
f
r
inge
commit
|
commitdiff
|
tree
2004-07-30
skimo
mak
e
debug
g
i
n e
a
sier by keeping
track of recur
s
ion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out
r
o
utine
t
o ali
g
n
c
ons
t
rai
n
t
along a line
a
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of the hy
p
erpla
n
es has
t
o
b
e inde
p
endent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure t
h
at first vari
a
ble
is made
n
ega
t
ive insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that splitting
will reduce the
n
umbe
r
of existential
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
abstract out ha
n
dling of m
u
ltiple valid
i
ty
domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra chec
k
that is probably not
needed
commit
|
commitdiff
|
tree
next