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
remove redundant rays
2004-08-08
skimo
remove redundant ray
s
commit
|
commitdiff
|
tree
2004-08-08
s
k
i
mo
allow any number of parts in
e
n
u
merate_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"impl
e
ment" eo
r
commit
|
commitdiff
|
tree
2004-08-08
skimo
hand
l
e (single) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
remove
(some) lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
s
et np
a
ram back to
u
se as
n
umber of dimensio
n
s
in partition
commit
|
commitdiff
|
tree
2004-08-05
skimo
make
c
ompute_en
o
de work again i
n
ge
n
eral case
commit
|
commitdiff
|
tree
2004-08-05
skimo
rem
o
ve debuggi
n
g ou
t
p
u
t
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove debugging o
u
tput
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
use evalue rather
t
han enumer
a
tion and some m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend
p
rinting and co
m
put
i
ng to handl
e
s "
m
o
dulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternat
i
ve to in_do
m
a
in that
handles "modulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
i
mo
s
t
ore "r
e
al" dimension in
p
os field of partiti
o
n
commit
|
commitdiff
|
tree
2004-08-04
skim
o
r
e
move d
u
pl
i
cat
e
im
p
lem
e
ntation
commit
|
commitdiff
|
tree
2004-08-04
skimo
be slightly more
con
s
ervative (corr
e
c
t
) in dete
r
mi
n
ing
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
a ray that depen
d
s on the parameters
shou
l
d
be ok
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
c
l
e
an up
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
me
m
ory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
mory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
o
r
y leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
rem
o
ve debugging o
u
tput
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
mo
ch
e
ck w
h
e
t
her
p
rojec
t
io
n
i
s
bounded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on
p
a
rametri
c
vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
I
f
one of the
v
ertices i
n
t
he combi
n
ed space
is
a
lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
e
l
iminat
e
parameters if we can
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
mo
o
n
ly perform vd basid
reductio
n
if th
e
polytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skim
o
un
f
ringe polyhedron
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove de
b
uggi
n
g o
u
t
put in
unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend adde
l
iminated
p
arams to parti
t
ions
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
b
a
i
l
e
arly on e
m
pty po
l
ytop
e
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduce higher d
e
gr
e
es o
f
fr
a
ctiona
l
pa
r
ts with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
o
nly
ra
y
s involving the re
a
l
v
ariab
l
e
s
lead t
o
u
n
boun
d
ed
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
perform range reduction if req
u
ested
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
onl
y
c
a
l
c
ulate once for part that is
i
ndependen
t
of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
pe
r
form another range reducti
o
n
af
t
er
s
ummation
commit
|
commitdiff
|
tree
2004-07-31
skimo
D
ecomposi
t
ions based
on validity
d
om
a
i
ns and
p
a
r
ametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
split off part that cert
a
inly con
t
ains
l
attice point
s
commit
|
commitdiff
|
tree
2004-07-30
skimo
routine
for reduc
i
n
g to z
e
ro variables ca
s
e
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
mo
use newly a
d
ded routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a polyto
p
e wit
h
ra
y
s
i
ndepend
e
n
t
of the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
check
f
or
e
mp
t
y polytope
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
s
i
mplify constraints on each invocation of barvin
o
k
_
en
u
m
erat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out routi
n
e for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
unu
s
ed ro
u
tine for removing d
o
uble bo
u
nds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send debug outp
u
t t
o
stderr in
(
u
n
u
sed) un
f
ringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
make debuggin ea
s
ier
b
y keepi
n
g tr
a
ck of recurs
i
on
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out routin
e
to align
c
o
ns
t
raint a
l
ong a
line
a
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
If one o
f
th
e
hyp
e
rpl
a
nes has to be independen
t
a
s
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that fir
s
t
variable is
m
ade neg
a
ti
v
e
inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
Ensure that s
p
lit
t
ing will
r
edu
c
e
t
he number of ex
i
stential
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstract out handl
i
ng of mu
l
tiple validity domains
commit
|
commitdiff
|
tree
2004-07-29
skim
o
Ex
t
r
a
check that is pr
o
bably not
neede
d
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
hand
l
e
c
ompo
s
ed
v
alid
i
ty
domai
n
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
red
u
ce after
s
ummation
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't c
r
eate empty pa
r
titions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow eval
u
at
i
on of floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
perf
o
r
m
(tri
v
i
a
l) reduction on floorings
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
make reorder_
t
erms work fo
r
flo
o
rings
commit
|
commitdiff
|
tree
2004-07-29
skimo
co
r
rect check
for 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be more strict w
h
en co
m
paring two r
a
tionals
commit
|
commitdiff
|
tree
2004-07-29
skimo
typ
o
in
comme
n
t
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
hand
l
e
case of a
l
l empty validity do
m
ains
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
s
uppo
r
t
p
o
lynomials in "real" parameters
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
handl
e
negat
i
ve values
of
s
ummed variable
commit
|
commitdiff
|
tree
2004-07-21
sk
i
m
o
check whether
POLYTOPE
_
PREFIX is actually set
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor conversion
an
d
parti
a
l
implementation o
f
esum
commit
|
commitdiff
|
tree
2004-07-20
s
kimo
pos
s
tarts
at 1
commit
|
commitdiff
|
tree
2004-07-19
s
k
i
m
o
minor reordering of cod
e
commit
|
commitdiff
|
tree
2004-07-19
skimo
spli
t
off more common code
commit
|
commitdiff
|
tree
2004-07-19
skimo
revert ch
a
nge c
o
mmited by a
c
cident
commit
|
commitdiff
|
tree
2004-07-19
skimo
add col
l
ect_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
re
c
urse in
t
o the correct version
of count_points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"o
r
"
-
s
p
l
i
t for ca
s
e
with
o
nly
e
xist
e
ntial var
i
ables
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow split on other than first existe
n
tial var
i
ab
l
e
commit
|
commitdiff
|
tree
2004-07-18
skimo
extract
o
ut code t
o
spl
i
t o
n
a const
r
a
int
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existen
t
ial"
version of verif
_
ehrh
a
rt
commit
|
commitdiff
|
tree
2004-07-17
s
k
imo
provide evalue t
o
enumeration conversion
commit
|
commitdiff
|
tree
2004-07-17
skim
o
adapt to deal
w
i
t
h existential variables
commit
|
commitdiff
|
tree
2004-07-16
skimo
c
o
pi
e
d f
r
om ehrhart
.
c fro
m
P
o
lyli
b
distributi
o
n
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle
t
rivial case of only existential variables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It sh
o
uld be sufficient
that one of
t
h
e
b
ounds is independen
t
commit
|
commitdiff
|
tree
2004-07-14
ski
m
o
don'
t
c
o
unt storage space for the ray
s
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
bump version
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix
u
p changelog
commit
|
commitdiff
|
tree
2004-07-06
s
k
im
o
bump
version
s
o
m
e mo
r
e
s
ince we changed the interface
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of d
e
bugging messages
commit
|
commitdiff
|
tree
2004-07-06
s
k
i
mo
upda
t
e
commit
|
commitdiff
|
tree
2004-07-06
s
ki
m
o
brief descript
i
on of th
e
input
commit
|
commitdiff
|
tree
2004-07-06
skimo
r
eplace m
o
dulo by fractional
commit
|
commitdiff
|
tree
2004-07-06
skimo
r
emove
empty partitions in place
commit
|
commitdiff
|
tree
2004-07-06
skimo
more
m
emory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
po
t
entia
l
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential)
m
emory lea
k
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
print more info
commit
|
commitdiff
|
tree
2004-07-05
s
kimo
prel
o
a
d li
b
r
ar
y
to
c
ount the numb
e
r of validity
domains
commit
|
commitdiff
|
tree
next