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
some vector partition examples
2004-09-04
skimo
s
o
me vec
t
o
r
partit
i
on
e
xamples
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
a
v
o
id g
c
cis
m
s
commit
|
commitdiff
|
tree
2004-08-31
skimo
inc
l
ude string
need for memcpy
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
a
void gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c++ linking instea
d
of
linking in libstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
force installation
of (possibl
y
)
n
ew v
e
rsion
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
check f
o
r getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move "con
s
t
ant" constant part outside of fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combine result
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
small memory leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
u
se pip if available
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
check for piplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert
t
o
l
o
okup
-
t
a
ble
if requested
commit
|
commitdiff
|
tree
2004-08-29
skim
o
test p
r
o
gram for pi
p
s
uppo
r
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
add support fo
r
computing the
l
exic
o
graphical minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
l
so loo
k
at deno
m
inator
of the constant
commit
|
commitdiff
|
tree
2004-08-28
skimo
more par
t
ial r
a
y
remov
a
l
(l
a
rgely unt
e
sted
commit
|
commitdiff
|
tree
2004-08-23
s
k
i
mo
s/vd/
v
ertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
c
h
eck that polylib is
r
ecent enough to corr
e
ctly
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
sk
i
mo
new tests fro
m
polylib
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
p
e
r
f
orm correc
t
pe
r
i
o
d
i
c n
u
mber lo
o
kup for
neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
k
i
mo
more inf
o
commit
|
commitdiff
|
tree
2004-08-14
skimo
t
y
p
o
commit
|
commitdiff
|
tree
2004-08-14
skimo
correc
t
te
s
t for mp
z
_d
i
v
i
sible
_
p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repea
t
workaround
i
n
loop
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
older gmps seem to
h
a
v
e
problems with a string co
n
stisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support olde
r
gmp versions
commit
|
commitdiff
|
tree
2004-08-13
sk
i
mo
don
'
t as
s
ume C99
commit
|
commitdiff
|
tree
2004-08-10
s
kim
o
r
em
o
ve code
duplicat
i
on
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out
c
o
mmon code
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
extrac
t
out cod
e
t
o c
o
nst
r
uct nega
t
i
v
e t
e
st constraint
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
code re
u
se
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
d
etect more unh
a
n
dled cases
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
simplify
some c
o
de
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
remove redundant
r
a
y
s
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow any
number of pa
r
ts
i
n e
n
umerate
_
or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"i
m
p
l
em
e
nt" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
h
a
nd
l
e
(single) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
remove
(some)
lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
set npa
r
am b
a
ck to use
as number
o
f dimensions in partiti
o
n
commit
|
commitdiff
|
tree
2004-08-05
skimo
make compute_enode work again in general ca
s
e
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove debuggin
g
outp
u
t
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
rem
o
ve
debugging o
u
t
p
ut
commit
|
commitdiff
|
tree
2004-08-05
skimo
us
e
evalue
r
ather t
h
a
n
enumerat
i
o
n and some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
ex
t
end printing
a
nd c
o
mputin
g
to ha
n
dles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skim
o
alternati
v
e to in_domain that handles "modulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
st
o
re "real" dimens
i
on in pos fie
l
d of partition
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove du
p
licate impl
e
mentati
o
n
commit
|
commitdiff
|
tree
2004-08-04
s
k
i
mo
be slightly more conservative (cor
r
ec
t
) in
d
eter
m
ining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
sk
i
m
o
a
ray that
d
epends o
n
t
h
e paramete
r
s
s
hould be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
clean up
commit
|
commitdiff
|
tree
2004-08-04
s
k
i
m
o
m
e
mory leak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
memo
r
y leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
mory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
me
m
ory
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memo
r
y leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
r
e
move debugging output
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
mo
check whethe
r
proje
c
ti
o
n is bounded
commit
|
commitdiff
|
tree
2004-08-03
skim
o
S
pl
i
t
o
n parame
t
ric
ve
r
tex
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
I
f
one of the vertices
i
n the combined s
p
ace is
a
l
a
ttice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
el
i
min
a
te parame
t
ers i
f
we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only perfor
m
vd ba
s
id reduct
i
on i
f
t
he polytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
unfr
i
nge
polyhedr
o
n
commit
|
commitdiff
|
tree
2004-08-03
skimo
rem
o
v
e debugging output
i
n unfr
i
nge
commit
|
commitdiff
|
tree
2004-08-03
skimo
e
x
tend addeliminatedparams to p
a
rtiti
o
ns
commit
|
commitdiff
|
tree
2004-08-01
skimo
b
a
il early
on empt
y
polyt
o
pe
commit
|
commitdiff
|
tree
2004-08-01
s
k
i
mo
reduce
h
igher degr
e
e
s
o
f
f
ractional
p
arts
w
i
t
h fl
o
o
r
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
on
l
y rays
involving the r
e
al variables lea
d
t
o unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
pe
r
fo
r
m
range reduction if
r
equested
commit
|
commitdiff
|
tree
2004-08-01
s
k
i
m
o
only calculate on
c
e for part
t
h
a
t is
i
n
dependent o
f
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
ski
m
o
per
f
orm an
o
t
her ran
g
e reduction after
summa
t
i
o
n
commit
|
commitdiff
|
tree
2004-07-31
skimo
D
e
compositions bas
e
d on vali
d
i
ty domains
a
n
d
p
aramet
r
i
c
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split of
f
part that certain
l
y contain
s
lattic
e
points
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
routine for r
e
duci
n
g t
o
z
er
o
variables
cas
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
se n
e
wly
added
r
outine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a polytope
with
r
ays independ
e
nt
of the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
che
c
k for empty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
implify
constraints on eac
h
in
v
ocation
of barvi
n
ok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
e
xtract out routine f
o
r "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
nused routine f
o
r remov
i
ng double bound
s
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
sen
d
de
b
ug output t
o
std
e
rr in (unused) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
make deb
u
ggin easier by keeping track of
r
e
cursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
extract out rou
t
in
e
t
o align const
r
aint a
l
o
ng a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If
o
ne of the hy
p
erplanes has to
be independ
e
nt as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure th
a
t fi
r
st va
r
i
able
i
s made negative insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
Ensu
r
e tha
t
splitting will reduc
e
the number of existent
i
a
l
commit
|
commitdiff
|
tree
2004-07-30
skim
o
abstract
out handl
i
ng of mul
t
iple validity doma
i
ns
commit
|
commitdiff
|
tree
2004-07-29
skimo
Ext
r
a
chec
k
that is probably not needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle comp
o
s
e
d validity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduc
e
aft
e
r summation
commit
|
commitdiff
|
tree
2004-07-29
skimo
do
n
't create e
m
pty
p
a
rtitions
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
al
l
o
w
e
v
aluation
o
f floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
per
f
o
rm (tri
v
ial
)
red
u
ction on floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
make reo
r
de
r
_te
r
ms work
f
or floori
n
g
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
c
o
r
rect ch
e
ck for 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be
m
o
re
s
trict when comparing two
r
ationals
commit
|
commitdiff
|
tree
2004-07-29
skimo
ty
p
o in
c
ommen
t
commit
|
commitdiff
|
tree
next