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
bail early on empty polytope
2004-08-01
s
kimo
bail early on empty
polytope
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
r
e
duce highe
r
deg
r
ees of f
r
actional part
s
with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
only rays
i
nvolving the real variab
l
es le
a
d to unbounde
d
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perf
o
rm r
a
nge reducti
o
n if
r
equeste
d
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
o
n
ly cal
c
ulate once for part
that is i
n
depende
n
t of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform another
r
ange reduction after summation
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decomposi
t
i
ons bas
e
d on v
a
lidi
t
y domains and param
e
tri
c
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
s
plit off part
t
h
a
t certa
i
nly con
t
ai
n
s lat
t
ice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
r
o
ut
i
ne fo
r
redu
c
ing
t
o zero varia
b
les c
a
se
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
u
s
e newly added routine
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
a polytope with rays independent of
th
e
exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check for
e
mpty
polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
sim
p
lify con
s
tra
i
nts on ea
c
h invocation
o
f
b
arvinok_enum
e
rat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
ex
t
ract
o
u
t
rou
t
ine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
nuse
d
r
outine for removing do
u
ble bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send debug outpu
t
to stderr in (
u
nused
)
u
nfring
e
commit
|
commitdiff
|
tree
2004-07-30
skim
o
make debuggin easier by
ke
e
ping
t
r
a
ck
o
f recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extra
c
t out routine
t
o a
l
ign constraint
along
a
linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
I
f
one of the h
y
perplanes h
a
s to be independent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure
t
hat fi
r
st
variable is ma
d
e negativ
e
inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
E
n
s
ure that
s
p
litti
n
g will reduce the num
b
er o
f
e
x
i
s
tential
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
abs
t
ract out handling of multiple validity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Ext
r
a
c
he
c
k that is p
r
o
b
a
b
l
y not needed
commit
|
commitdiff
|
tree
2004-07-29
sk
i
m
o
hand
l
e c
o
m
p
osed
v
alidity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
r
e
duce
after summa
t
ion
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't create empty p
a
rtitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
all
o
w evaluati
o
n of flo
o
rings
commit
|
commitdiff
|
tree
2004-07-29
skimo
perform (trivial) reduct
i
on
on floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
make reorder_terms work for
fl
o
orings
commit
|
commitdiff
|
tree
2004-07-29
s
k
i
m
o
corr
e
ct che
c
k for
1
commit
|
commitdiff
|
tree
2004-07-29
sk
i
m
o
be
m
ore strict w
h
en c
o
mparing two rationals
commit
|
commitdiff
|
tree
2004-07-29
skimo
ty
p
o in
c
omm
e
n
t
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
handle case
of all
empty va
l
idity do
m
ai
n
s
commit
|
commitdiff
|
tree
2004-07-21
skimo
supp
o
rt poly
n
o
m
ia
l
s in "real" paramet
e
rs
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle
n
e
g
ative values o
f
summed variab
l
e
commit
|
commitdiff
|
tree
2004-07-21
s
k
i
m
o
ch
e
ck whether PO
L
YT
O
P
E
_PREFIX is
a
ct
u
ally set
commit
|
commitdiff
|
tree
2004-07-20
ski
m
o
f
l
oor co
n
version and partia
l
i
m
plementation of esum
commit
|
commitdiff
|
tree
2004-07-20
skimo
pos sta
r
t
s at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
minor reord
e
r
i
ng of c
o
d
e
commit
|
commitdiff
|
tree
2004-07-19
s
k
i
mo
sp
l
it off
more common cod
e
commit
|
commitdiff
|
tree
2004-07-19
ski
m
o
revert cha
n
ge commited b
y
acc
i
dent
commit
|
commitdiff
|
tree
2004-07-19
skimo
add collect_
p
olytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
recurse i
n
t
o
t
h
e correct
v
e
r
sion of count_
p
oi
n
ts
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
"or"-split f
o
r
case with only existent
i
a
l
variable
s
commit
|
commitdiff
|
tree
2004-07-18
sk
i
mo
allow split on ot
h
er than first existential variable
commit
|
commitdiff
|
tree
2004-07-18
skimo
extract out code to s
p
lit on a constraint
commit
|
commitdiff
|
tree
2004-07-17
skim
o
"
exist
e
ntial" ve
r
sion
of ve
r
if_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
sk
i
mo
provide evalue t
o
enu
m
era
t
ion
c
o
nversion
commit
|
commitdiff
|
tree
2004-07-17
sk
i
m
o
ad
a
pt to d
e
al with
e
x
iste
n
tial
variables
commit
|
commitdiff
|
tree
2004-07-16
s
k
i
mo
copie
d
from ehrhart
.
c from Po
l
ylib distribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle t
r
ivial
case
o
f
o
nly existent
i
a
l variables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It sh
o
uld be s
u
fficient th
a
t
o
ne of the
bo
u
nds is indepen
d
ent
commit
|
commitdiff
|
tree
2004-07-14
skim
o
don'
t
coun
t
storage space
f
or the rays
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
bump
version
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix up changelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump version som
e
more since we changed the int
e
rface
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
turn of d
e
bugging messages
commit
|
commitdiff
|
tree
2004-07-06
skimo
update
commit
|
commitdiff
|
tree
2004-07-06
skimo
brief description of the
i
np
u
t
commit
|
commitdiff
|
tree
2004-07-06
skimo
replace modulo by fract
i
on
a
l
commit
|
commitdiff
|
tree
2004-07-06
skimo
r
e
move empty partitio
n
s in p
l
ace
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
more
m
emory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
memory l
e
a
k
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
potenti
a
l memo
r
y leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(p
o
t
e
n
tial)
memo
r
y leaks
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
print m
o
re i
n
f
o
commit
|
commitdiff
|
tree
2004-07-05
sk
i
m
o
preloa
d
library to count the number of
validity domains
commit
|
commitdiff
|
tree
2004-07-01
s
kimo
memory
l
eak
commit
|
commitdiff
|
tree
2004-07-01
s
kimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
s
k
i
m
o
memory l
e
ak
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use fun
c
ti
o
n for cop
y
ing evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
order pe
r
iodi
c
s in mu
l
t
iplic
a
tion
a
s well
commit
|
commitdiff
|
tree
2004-06-26
skimo
copy v
a
lue before free
i
n
g
commit
|
commitdiff
|
tree
2004-06-26
skimo
reg
r
ession test
commit
|
commitdiff
|
tree
2004-06-26
skimo
handle case where polytope has
n
o "r
e
al
"
d
i
mens
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use
sm
a
llest representative in
a
bsolute
va
l
ue rathe
r
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
sk
i
mo
Debugging outpu
t
to
e
v
aluate the u
s
e
f
ulne
s
s of sever
a
l
commit
|
commitdiff
|
tree
2004-06-25
skimo
Add const
r
ai
n
t i
f
exp
r
es
s
ion is only intege
r
for a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
perform range
reduction o
n
co
n
di
t
ion
of relat
i
on
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully p
r
opagate
re
o
rdering
commit
|
commitdiff
|
tree
2004-06-24
skimo
p
a
rtial
l
y p
r
opagate reorderi
n
g
a
nd reduce in
c
ase of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
k
imo
remove comment
commit
|
commitdiff
|
tree
2004-06-24
skimo
Range redu
c
t
i
on and some a
u
x
i
l
iary f
u
n
ctions
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
Invert a fracti
o
nal
i
f leadin
g
coeff
i
cient becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
k
imo
remove debugging outp
u
t
commit
|
commitdiff
|
tree
2004-06-24
skimo
Remove invalid
memory access
.
commit
|
commitdiff
|
tree
2004-06-23
s
k
i
mo
recom
p
ute d
o
mains
commit
|
commitdiff
|
tree
2004-06-23
sk
i
mo
compute size of all
su
b
dom
a
ins
commit
|
commitdiff
|
tree
2004-06-23
skim
o
tr
i
via
l
recomb
i
nation
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
a
lso invert when constant is half
the
modulo, sin
c
e
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Allow more fracitonal su
b
s
tit
u
ti
o
ns, in pa
r
ticular
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
search
for pair of fract
i
onals that ca
n
(o
p
t
i
mally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
always provide subs
t
structure (even
if empty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
a
void inf
i
nite l
o
op caused by s
p
l
i
t
t
i
ng off nothing
commit
|
commitdiff
|
tree
2004-06-22
skimo
re
m
ove relation if b
r
anches a
r
e identical
commit
|
commitdiff
|
tree
2004-06-22
skim
o
remove re
d
u
c
ed
r
elations
commit
|
commitdiff
|
tree
2004-06-21
skimo
r
e
p
lace { E/m
}
by { (
E
-1)/m } + 1/
m
if {
E
/m } != 0
commit
|
commitdiff
|
tree
2004-06-21
ski
m
o
numerator can never b
e
ne
g
ativ
e
inside fra
c
tional
commit
|
commitdiff
|
tree
2004-06-21
skimo
o
p
t
i
onally pri
n
t "size" of enumerat
i
on
commit
|
commitdiff
|
tree
next