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
only rays involving the real variables lead to unbounded polyhedra
2004-08-01
skimo
only
r
ays i
n
volving the real
variables l
e
ad to unb
o
unded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
kim
o
per
f
orm range reduc
t
ion i
f
r
e
quested
commit
|
commitdiff
|
tree
2004-08-01
skimo
o
nly
c
alculate once for
p
art tha
t
is
i
n
dependen
t
of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
s
k
imo
perform a
n
other range reduction
a
fter summation
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decompositions based o
n
validity d
o
mains and para
m
etr
i
c
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split off part th
a
t cert
a
inly co
n
tains
lattice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
r
outin
e
for reducing t
o
zero vari
a
b
l
es case
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
u
se newly
a
dded routi
n
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
a poly
t
ope with
rays independ
e
nt
o
f
the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
check for
e
mp
t
y polyto
p
e
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
simpl
i
fy con
s
traints on each invocation of barvino
k
_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
extr
a
ct out r
o
utine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
s
k
im
o
unused routine for removing double bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send de
b
ug output to stderr in (unu
s
ed) un
f
r
i
n
ge
commit
|
commitdiff
|
tree
2004-07-30
skimo
m
a
ke d
e
b
uggin easier
by kee
p
ing track of
r
e
cursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
extr
a
c
t
out routine t
o
a
lign constraint a
l
ong a
l
inear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If o
n
e of
t
he hyperplanes ha
s
t
o
be indep
e
ndent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
En
s
ure that
f
irst variable is
made negat
i
ve in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
mo
En
s
ure th
a
t spli
t
ting wil
l
r
e
duce the number of e
x
istential
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstra
c
t
o
ut handling of multiple validity do
m
ains
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
E
x
t
r
a ch
e
ck t
h
at is probably n
o
t
needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
h
a
n
d
le c
o
mpos
e
d v
a
l
i
di
t
y domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce after summation
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't
cr
e
ate
em
p
ty partitions
commit
|
commitdiff
|
tree
2004-07-29
skim
o
allow evaluation of floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
perform (trivial) reducti
o
n on flooring
s
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
make
reor
d
er
_
terms wor
k
for fl
o
orings
commit
|
commitdiff
|
tree
2004-07-29
skimo
co
r
r
e
ct c
h
e
c
k f
o
r 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be more
s
trict when comparing tw
o
rationals
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo in
commen
t
commit
|
commitdiff
|
tree
2004-07-21
s
kimo
h
a
ndle case of a
l
l
empty validity
d
o
m
ains
commit
|
commitdiff
|
tree
2004-07-21
skimo
s
upp
o
rt pol
y
nomials in "real
"
p
arameters
commit
|
commitdiff
|
tree
2004-07-21
skimo
h
a
n
d
le
negative
values of summe
d
variable
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
check
whether POLYTOPE_PREFIX i
s
actually set
commit
|
commitdiff
|
tree
2004-07-20
skim
o
f
loo
r
c
onversion
a
nd partial
i
mplementation of
e
sum
commit
|
commitdiff
|
tree
2004-07-20
sk
i
mo
pos starts at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
minor reorder
i
n
g of c
o
d
e
commit
|
commitdiff
|
tree
2004-07-19
skimo
s
plit off more common code
commit
|
commitdiff
|
tree
2004-07-19
skimo
revert
change commited by ac
c
iden
t
commit
|
commitdiff
|
tree
2004-07-19
skimo
add co
l
l
ect_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
sk
i
m
o
re
c
u
r
se
into the correct version
o
f count_points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split for
case with o
n
l
y
e
x
istential variables
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow split on other than
first existential varia
b
l
e
commit
|
commitdiff
|
tree
2004-07-18
skim
o
extract out code to spl
i
t on a con
s
traint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"
e
xiste
n
tial" version of veri
f
_ehrh
a
rt
commit
|
commitdiff
|
tree
2004-07-17
skimo
pro
v
ide evalue to en
u
merat
i
on
c
onvers
i
on
commit
|
commitdiff
|
tree
2004-07-17
skim
o
adapt to d
e
al with
ex
i
stential variables
commit
|
commitdiff
|
tree
2004-07-16
s
kimo
cop
i
ed f
r
om ehrhart
.
c from Polylib distri
b
u
t
ion
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle trivial case
of only
e
xis
t
ential var
i
ab
l
es
commit
|
commitdiff
|
tree
2004-07-14
skimo
I
t
sh
o
uld be sufficient that
one of the bo
u
nds is independent
commit
|
commitdiff
|
tree
2004-07-14
skimo
d
o
n't count storage sp
a
c
e
for the rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bu
m
p
v
ersion
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
fix up chang
e
log
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump v
e
rsion
s
o
me
m
ore
sin
c
e
w
e ch
a
n
g
e
d
the
interf
a
ce
commit
|
commitdiff
|
tree
2004-07-06
s
kim
o
turn of debugging messages
commit
|
commitdiff
|
tree
2004-07-06
skimo
upda
t
e
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
brief description of the
i
n
put
commit
|
commitdiff
|
tree
2004-07-06
skimo
repl
a
ce
m
odulo by fraction
a
l
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
r
e
move
empty
p
a
rtiti
o
n
s in place
commit
|
commitdiff
|
tree
2004-07-06
skim
o
more memory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
memory
l
eak
commit
|
commitdiff
|
tree
2004-07-06
skimo
pot
e
n
t
i
al memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential)
memory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
print m
o
r
e info
commit
|
commitdiff
|
tree
2004-07-05
ski
m
o
pr
e
load
l
i
b
r
ary to count th
e
number of validity
d
omai
n
s
commit
|
commitdiff
|
tree
2004-07-01
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-07-01
sk
i
m
o
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-06-26
ski
m
o
Use function f
o
r
copyi
n
g
e
value
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
o
r
d
e
r periodics i
n
multiplicatio
n
as well
commit
|
commitdiff
|
tree
2004-06-26
sk
i
mo
copy value before freeing
commit
|
commitdiff
|
tree
2004-06-26
skimo
regres
s
ion test
commit
|
commitdiff
|
tree
2004-06-26
skimo
handle case where pol
y
tope has no "real" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use smalles
t
r
epresentative in absolute val
u
e rather
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debugging output to eva
l
uate the
u
sefulness of sev
e
ral
commit
|
commitdiff
|
tree
2004-06-25
skimo
A
d
d con
s
t
r
aint if
expression is only integer
f
or a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skim
o
p
er
f
orm range reduction
o
n condition of relation
commit
|
commitdiff
|
tree
2004-06-25
skimo
f
ull
y
propagate reorderin
g
commit
|
commitdiff
|
tree
2004-06-24
skimo
partially propaga
t
e
reordering and reduce in c
a
se of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove
c
o
mment
commit
|
commitdiff
|
tree
2004-06-24
skimo
Range reduction and
some auxiliary f
u
n
ctions
.
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
Invert a fracti
o
nal if
leading coefficient becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove deb
u
gging output
commit
|
commitdiff
|
tree
2004-06-24
s
k
imo
Remov
e
invalid m
e
mory access
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recompute domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
c
ompute size
o
f
a
ll subdomains
commit
|
commitdiff
|
tree
2004-06-23
skimo
trivial rec
o
mb
i
nation
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
also invert when con
s
tant
i
s half t
h
e modulo, since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
A
llow
m
ore
f
r
acitonal sub
s
titut
i
ons,
i
n particular
commit
|
commitdiff
|
tree
2004-06-23
skimo
searc
h
for pair
o
f
fractio
n
a
l
s that can (
o
ptima
l
ly
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
always p
r
ovi
d
e su
b
st s
t
ructure
(
eve
n
if
e
mpty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avoi
d
i
nfinite loop caused by
splitting
o
ff
n
othing
commit
|
commitdiff
|
tree
2004-06-22
skimo
rem
o
ve relatio
n
i
f branche
s
are identical
commit
|
commitdiff
|
tree
2004-06-22
s
kimo
remove reduced
r
elatio
n
s
commit
|
commitdiff
|
tree
2004-06-21
skimo
replace
{
E/m }
by { (
E
-1)
/
m } + 1/m if
{
E/m } !=
0
commit
|
commitdiff
|
tree
2004-06-21
skimo
numerator can never be n
e
gative
i
nside fractional
commit
|
commitdiff
|
tree
2004-06-21
skimo
optionally pri
n
t "siz
e
"
o
f
enume
r
at
i
on
commit
|
commitdiff
|
tree
2004-06-21
skimo
Enumeration_
s
i
ze
commit
|
commitdiff
|
tree
2004-06-21
skimo
export domain_si
z
e
commit
|
commitdiff
|
tree
next