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
"support" floor conversion for parametric polytopes
2004-08-05
skimo
r
em
o
ve debugging
o
utput
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
use
evalue rather than
e
nume
r
ation and some
m
em
o
r
y
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
ex
t
end print
i
ng and c
o
mputing to handles "modul
o
s"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternative to in_domain that h
a
ndles "modulos"
i
n
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "real" dimension in p
o
s fiel
d
of partiti
o
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove duplicate implementa
t
ion
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
be slightly more conservative (corre
c
t) in
d
etermining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
a ra
y
t
h
a
t d
e
pends on the par
a
m
et
e
rs should be ok
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
clean up
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
mem
o
r
y
leak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
memor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
or
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
m
o
r
y
leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
m
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debugging out
p
ut
commit
|
commitdiff
|
tree
2004-08-03
skimo
chec
k
wheth
e
r projection is bounded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Spli
t
on pa
r
ametric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one of th
e
verti
c
es in the c
o
mbined spac
e
is
a lattic
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
elimina
t
e parameters if w
e
can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only p
e
r
form vd
b
asid reduct
i
o
n
if the polytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
unfringe po
l
yhedron
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
r
em
o
ve
d
ebuggin
g
output in unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend addelimin
a
t
e
dpa
r
a
ms to
partition
s
commit
|
commitdiff
|
tree
2004-08-01
skimo
bail ea
r
l
y on
e
m
p
t
y polytope
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
reduc
e
hig
h
er
deg
r
ees o
f
f
r
a
c
t
i
o
na
l
parts
wit
h
floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
o
n
l
y rays involving the real variab
l
es le
a
d
to unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform
range reduction if requ
e
st
e
d
commit
|
commitdiff
|
tree
2004-08-01
skim
o
only calculate on
c
e
f
or part that is in
d
epen
d
ent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform anoth
e
r range reduction after sum
m
ation
commit
|
commitdiff
|
tree
2004-07-31
skimo
De
c
omposition
s
b
a
s
ed on validity
d
omains an
d
para
m
etric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
m
o
split off part that certainl
y
cont
a
ins l
a
ttice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
ro
u
tine f
o
r
reducing to
zero
v
ariables case
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
use
n
ewly added rou
t
ine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
polytope
with rays
indep
e
ndent of th
e
existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
ki
m
o
chec
k
for empty polytope
commit
|
commitdiff
|
tree
2004-07-30
s
k
im
o
simplify constraints
o
n each
invoc
a
tion
of
b
arvinok
_
enume
r
at
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out routine for "o
r
"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused rout
i
ne for rem
o
ving double bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send de
b
ug
output to stderr
i
n (
u
nus
e
d) unfr
i
ng
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
ma
k
e debuggin
e
asier by keeping tra
c
k of recur
s
ion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
e
xtract out
routine to align constraint along a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of
t
he hyper
p
lan
e
s has to be independent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
mo
E
ns
u
r
e that first variable
i
s made n
e
gative i
n
side
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ens
u
r
e
that spli
t
ting
w
i
ll reduce the number of
ex
i
stenti
a
l
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
b
stract out hand
l
ing
of multiple validity
d
oma
i
ns
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
Extra check that i
s
pr
o
bably not needed
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
handle co
m
posed v
a
lidity doma
i
ns
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
r
educe after summatio
n
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
do
n
't create em
p
ty part
i
tions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow
e
val
u
ation of floorin
g
s
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
perform (trivial) reducti
o
n
o
n floori
n
g
s
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
make reorder_terms work for fl
o
orings
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
cor
r
ec
t
c
h
eck for 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
b
e
more
s
trict when comp
a
ring two rational
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo in comme
n
t
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle case
o
f a
l
l
emp
t
y
va
l
idity doma
i
ns
commit
|
commitdiff
|
tree
2004-07-21
skimo
s
up
p
ort polynomial
s
i
n
"real" parameters
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
ha
n
dl
e
negative values
of summed varia
b
le
commit
|
commitdiff
|
tree
2004-07-21
skimo
check
w
hether POLYTOPE_PRE
F
I
X
is actually set
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor conversi
o
n and pa
r
tial implem
e
n
t
ation of esum
commit
|
commitdiff
|
tree
2004-07-20
s
kimo
pos starts at 1
commit
|
commitdiff
|
tree
2004-07-19
s
k
imo
mi
n
or
r
e
o
rderin
g
of code
commit
|
commitdiff
|
tree
2004-07-19
s
k
imo
split off more
common c
o
de
commit
|
commitdiff
|
tree
2004-07-19
skimo
rev
e
r
t change
commited
b
y accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
add collect_po
l
ytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
recurse i
n
to
t
he
cor
r
ect versi
o
n of count_points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split for
case with only existen
t
i
a
l variables
commit
|
commitdiff
|
tree
2004-07-18
skimo
a
l
l
ow split on ot
h
er than first existential
variable
commit
|
commitdiff
|
tree
2004-07-18
skimo
extract out c
o
de to
s
pl
i
t on a
c
onstraint
commit
|
commitdiff
|
tree
2004-07-17
s
kimo
"existential"
versio
n
of verif_e
h
rhart
commit
|
commitdiff
|
tree
2004-07-17
s
k
imo
provide evalue to enume
r
ation conversion
commit
|
commitdiff
|
tree
2004-07-17
skimo
adap
t
to deal with existential
va
r
iable
s
commit
|
commitdiff
|
tree
2004-07-16
skimo
c
o
pied from eh
r
hart
.
c from Polylib dis
t
r
ibution
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle trivial c
a
se of only existential variables
commit
|
commitdiff
|
tree
2004-07-14
s
k
i
mo
I
t
s
h
o
u
ld
b
e
s
uffic
i
ent that one of the bounds is
i
ndependent
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't coun
t
stora
g
e s
p
ace for the rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
u
mp
v
ers
i
on
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
fix up changelo
g
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
bump ve
r
si
o
n some more sin
c
e we changed the interface
commit
|
commitdiff
|
tree
2004-07-06
s
k
im
o
turn of debugging
m
essa
g
es
commit
|
commitdiff
|
tree
2004-07-06
skimo
update
commit
|
commitdiff
|
tree
2004-07-06
skimo
brief descript
i
on of
t
he input
commit
|
commitdiff
|
tree
2004-07-06
skimo
repla
c
e
modulo by fracti
o
nal
commit
|
commitdiff
|
tree
2004-07-06
skim
o
r
e
mo
v
e empty partitions in place
commit
|
commitdiff
|
tree
2004-07-06
sk
i
m
o
m
o
re memory lea
k
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
potential memory leak
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
(potential)
m
emory leaks
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
print more info
commit
|
commitdiff
|
tree
2004-07-05
skimo
preload library to cou
n
t
th
e
numb
e
r of validity
do
m
ains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
e
m
o
ry le
a
k
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-06-26
s
kimo
Us
e
function for copying
e
value
.
commit
|
commitdiff
|
tree
2004-06-26
s
k
imo
order periodics
in mult
i
plicati
o
n as we
l
l
commit
|
commitdiff
|
tree
2004-06-26
skimo
co
p
y v
a
lue before
freei
n
g
commit
|
commitdiff
|
tree
2004-06-26
skim
o
regressi
o
n
te
s
t
commit
|
commitdiff
|
tree
next