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
warn on floor conversion
2004-08-04
sk
i
mo
m
emor
y
le
a
k
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
memory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
emory
leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
remove d
e
bugging out
p
ut
commit
|
commitdiff
|
tree
2004-08-03
skimo
ch
e
ck
w
hether pr
o
jec
t
ion is bo
u
nde
d
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on
p
ar
a
metri
c
vertex
.
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
If o
n
e of
t
h
e
v
ertices in the
combined space is a
lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminat
e
parameters if
we can
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
m
o
on
l
y perform vd basid reductio
n
if the poly
t
ope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
m
o
un
f
r
i
nge pol
y
h
e
dron
commit
|
commitdiff
|
tree
2004-08-03
skimo
r
e
mo
v
e debu
g
ging output
i
n
u
n
f
r
i
nge
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend add
e
liminatedp
a
rams to partitions
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
b
a
il early on
e
mpt
y
polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
red
u
ce higher de
g
rees
of fract
i
onal parts with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
only rays
involving
t
h
e
real v
a
r
i
ables lead
to unbo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform ra
n
ge reduction i
f
reques
t
ed
commit
|
commitdiff
|
tree
2004-08-01
skimo
only calc
u
late
once for p
a
rt that
i
s independent
o
f
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
s
k
i
m
o
perform
an
o
ther ra
n
ge
r
eduction a
f
ter s
u
mmat
i
on
commit
|
commitdiff
|
tree
2004-07-31
sk
i
m
o
Decompo
s
ition
s
based on validity domains a
n
d p
a
r
ametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
split off part that ce
r
t
ainly con
t
ai
n
s lattice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
routi
n
e for red
u
cing
to zero
variables
c
a
se
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
use newly added routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a polytope with rays independent of the exist
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
check
for empt
y
polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify constraints on each i
n
vocation
of
b
arvi
n
ok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out
routi
n
e for "or"
i
ng
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused routine
f
or r
e
mo
v
ing dou
b
l
e
bound
s
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
e
nd debug
o
utput
to stderr in
(unus
e
d) unfrin
g
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
make debuggin eas
i
er
b
y
k
eeping tra
c
k of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extr
a
ct out
routine to align
c
onstraint a
l
ong
a
lin
e
a
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
If one of t
h
e hyperplanes has to be independent a
s
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
Ensure that
firs
t
variabl
e
i
s made negativ
e
ins
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure
t
h
at spl
i
ttin
g
will reduce the number of existen
t
ial
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstract
out handl
i
ng of
m
u
ltipl
e
validity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extr
a
check that is probably no
t
nee
d
e
d
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle composed val
i
dity domains
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
reduce after summation
commit
|
commitdiff
|
tree
2004-07-29
skimo
do
n
't create emp
t
y parti
t
i
o
ns
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
al
l
ow evaluation of f
l
o
o
ri
n
g
s
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
pe
r
fo
r
m (trivial) reduc
t
ion on floorin
g
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
ma
k
e reorder_te
r
ms work for flooring
s
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
corr
e
ct chec
k
for 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be more str
i
ct when comparing
two r
a
ti
o
n
a
ls
commit
|
commitdiff
|
tree
2004-07-29
skimo
ty
p
o in co
m
m
ent
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle ca
s
e of
a
ll empty validity domains
commit
|
commitdiff
|
tree
2004-07-21
skim
o
support polyn
o
mials in "real" parameter
s
commit
|
commitdiff
|
tree
2004-07-21
skimo
hand
l
e negative
v
alues of summed
v
ariable
commit
|
commitdiff
|
tree
2004-07-21
sk
i
mo
ch
e
ck whether POLYTOPE_PR
E
FIX is actuall
y
s
e
t
commit
|
commitdiff
|
tree
2004-07-20
s
k
imo
flo
o
r convers
i
on and
p
artial impleme
n
tat
i
on of es
u
m
commit
|
commitdiff
|
tree
2004-07-20
skimo
pos starts at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
minor
reordering of
c
ode
commit
|
commitdiff
|
tree
2004-07-19
ski
m
o
s
p
lit of
f
more
common code
commit
|
commitdiff
|
tree
2004-07-19
skimo
r
evert change
comm
i
ted by acc
i
dent
commit
|
commitdiff
|
tree
2004-07-19
s
k
imo
add collect_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
r
e
curse
in
t
o the correct version
of count_po
i
nts
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or
"
-split f
o
r case with on
l
y existenti
a
l
v
a
ri
a
bles
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow s
p
l
it on other than first existential v
a
ria
b
le
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
extract
o
u
t code to split on a constr
a
int
commit
|
commitdiff
|
tree
2004-07-17
s
k
i
m
o
"
existential
"
versio
n
of
v
eri
f
_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
skimo
p
r
o
v
ide e
v
alue to
en
u
m
eration con
v
ersion
commit
|
commitdiff
|
tree
2004-07-17
skimo
adapt to
deal
w
i
th exi
s
tential
v
ar
i
a
b
l
es
commit
|
commitdiff
|
tree
2004-07-16
skimo
copied from eh
r
hart
.
c from Polylib distributio
n
commit
|
commitdiff
|
tree
2004-07-14
skimo
handl
e
t
r
ivial case of
o
nly ex
i
stential variables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It shoul
d
be suffici
e
nt that one of the bounds i
s
i
ndepe
n
dent
commit
|
commitdiff
|
tree
2004-07-14
skimo
d
on't count storage space for
th
e
ra
y
s
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
bu
m
p ver
s
ion
commit
|
commitdiff
|
tree
2004-07-06
skim
o
fix
up
c
hangelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
ump
v
ersion some more
since we
changed the
i
nterf
a
c
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of
deb
u
gging messages
commit
|
commitdiff
|
tree
2004-07-06
skim
o
update
commit
|
commitdiff
|
tree
2004-07-06
skimo
brief descriptio
n
of the input
commit
|
commitdiff
|
tree
2004-07-06
skimo
repl
a
ce
m
o
d
ulo by fractional
commit
|
commitdiff
|
tree
2004-07-06
sk
i
m
o
remov
e
e
mp
t
y partitions
i
n
p
lac
e
commit
|
commitdiff
|
tree
2004-07-06
skim
o
more memory lea
k
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
pot
e
ntial memory lea
k
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential) m
e
mory leak
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
print mo
r
e in
f
o
commit
|
commitdiff
|
tree
2004-07-05
skimo
preloa
d
library t
o
coun
t
the
n
u
mber
of validity dom
a
ins
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
s
kimo
memory
l
eak
commit
|
commitdiff
|
tree
2004-07-01
s
k
i
m
o
memo
r
y leak
commit
|
commitdiff
|
tree
2004-06-26
s
kimo
Use functio
n
for copy
i
ng eval
u
e
.
commit
|
commitdiff
|
tree
2004-06-26
sk
i
mo
orde
r
p
e
riodics
in
multiplication as well
commit
|
commitdiff
|
tree
2004-06-26
skimo
copy val
u
e b
e
fore free
i
ng
commit
|
commitdiff
|
tree
2004-06-26
skimo
reg
r
e
s
s
i
o
n te
s
t
commit
|
commitdiff
|
tree
2004-06-26
skimo
h
a
n
dle
case where pol
y
tope has no "real" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
U
se smallest representative in abs
o
lute va
l
ue rather
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debugging output to ev
a
luate
the
u
sefulness of severa
l
commit
|
commitdiff
|
tree
2004-06-25
s
k
imo
A
dd constrai
n
t if expression is o
n
ly in
t
eger for a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
p
erform range red
u
c
t
ion on condition of rela
t
ion
commit
|
commitdiff
|
tree
2004-06-25
skim
o
full
y
p
ropagate reordering
commit
|
commitdiff
|
tree
2004-06-24
skimo
p
a
rtially
p
r
opagate reorde
r
ing
and reduc
e
i
n case of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remo
v
e comment
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
Range
reduc
t
io
n
and some auxiliary
f
u
nc
t
ions
.
commit
|
commitdiff
|
tree
next