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
code reuse
2004-08-09
skimo
c
ode
r
euse
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect more unhandled cases
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
simplif
y
so
m
e code
commit
|
commitdiff
|
tree
2004-08-08
skimo
remove redundant r
a
ys
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow an
y
number of parts
i
n enumer
a
te_or
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
"implem
e
nt" eo
r
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
h
andle (single) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
remove (
s
ome)
lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
set np
a
r
a
m back
t
o use as
n
umbe
r
of dimensions in partit
i
on
commit
|
commitdiff
|
tree
2004-08-05
skimo
make compute_enode wo
r
k again in general case
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
remove debugg
i
n
g
output
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove de
b
ugg
i
ng
o
ut
p
ut
commit
|
commitdiff
|
tree
2004-08-05
skimo
use evalue
rathe
r
than enumeration
a
nd some
m
emory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend printing and com
p
uti
n
g to handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternative t
o
in
_
d
o
m
ain that h
a
n
d
les
"modulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "real
"
di
m
ension
i
n pos f
i
eld of partiti
o
n
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
r
emove dup
l
icate
implementa
t
i
on
commit
|
commitdiff
|
tree
2004-08-04
skimo
be sli
g
htl
y
more conservative (
c
orrec
t
)
i
n det
e
rmining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
s
k
i
m
o
a ray that depe
n
d
s
on the parameters should be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
clean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory
l
e
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
o
r
y le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
m
o
mem
o
ry
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memo
r
y l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory l
e
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debugging output
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
check whether p
r
ojection is bounded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split
o
n parametric
v
e
r
t
ex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one of t
h
e ve
r
tices in t
h
e
combined space is a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate paramet
e
rs if we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only
p
e
r
for
m
vd basid reduct
i
on if the polytope
h
a
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
u
n
fringe polyhedron
commit
|
commitdiff
|
tree
2004-08-03
skimo
r
emove debugging outpu
t
in unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend addeli
m
inatedparams to p
a
rtitions
commit
|
commitdiff
|
tree
2004-08-01
skimo
bail early o
n
empty po
l
ytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
r
educe higher
degrees of fracti
o
nal par
t
s with flo
o
r
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only rays i
n
volvi
n
g th
e
rea
l
variables lead to
unbou
n
ded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
perform range reduction if
requested
commit
|
commitdiff
|
tree
2004-08-01
skimo
only ca
l
cul
a
te once for part that
is ind
e
pende
n
t of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
s
kimo
perform
anothe
r
ra
n
ge reduction
after
s
ummation
commit
|
commitdiff
|
tree
2004-07-31
skimo
De
c
ompos
i
tions bas
e
d on validit
y
domai
n
s and par
a
metric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
sp
l
it off part that c
e
rtainly contains lattice points
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
mo
routine for reducing to zero varia
b
les case
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
use newly
a
dded r
o
u
t
i
n
e
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
a polytope with rays independent of the existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check for
e
mpty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify constraints o
n
e
ach invo
c
a
t
ion of barvinok_
e
n
umerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extr
a
c
t
out ro
u
ti
n
e f
o
r
"o
r
"ing
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
unused
r
o
utine for
r
e
m
oving double bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send
d
ebug output to stderr
i
n (un
u
sed) unfri
n
ge
commit
|
commitdiff
|
tree
2004-07-30
skimo
make deb
u
ggin e
a
sier
b
y keepin
g
trac
k
o
f recursi
o
n
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out r
o
utine to align constraint
a
lon
g
a linea
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
If one of the
h
yp
e
rplane
s
has to be independent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
Ensure th
a
t
first variable is
m
ade negat
i
ve ins
i
de
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
E
n
sure tha
t
s
plitting will re
d
uce t
h
e number of existenti
a
l
commit
|
commitdiff
|
tree
2004-07-30
skimo
abs
t
rac
t
o
u
t han
d
lin
g
of mult
i
ple vali
d
ity d
o
m
ains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra check
t
hat is
proba
b
ly not needed
commit
|
commitdiff
|
tree
2004-07-29
skim
o
handle composed validit
y
domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
r
e
duce
a
fter summatio
n
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
don'
t
c
reate em
p
ty p
a
r
titions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow eval
u
ation of flo
o
r
i
ngs
commit
|
commitdiff
|
tree
2004-07-29
skimo
perfo
r
m (trivial) red
u
ction on
floori
n
gs
commit
|
commitdiff
|
tree
2004-07-29
skimo
make reorder_
t
e
rms
work fo
r
f
looring
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
c
o
r
rect
c
heck for 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be
m
o
re
s
t
rict wh
e
n comparing
two rati
o
nals
commit
|
commitdiff
|
tree
2004-07-29
skim
o
typo in comment
commit
|
commitdiff
|
tree
2004-07-21
skimo
h
and
l
e
cas
e
of
all empty
vali
d
ity d
o
mains
commit
|
commitdiff
|
tree
2004-07-21
skimo
supp
o
rt pol
y
nomials
in "r
e
al" parameters
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle nega
t
ive val
u
es of sum
m
ed variabl
e
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
ch
e
ck
w
hether POLYTOPE
_
PREFIX
is actu
a
lly
s
et
commit
|
commitdiff
|
tree
2004-07-20
sk
i
mo
f
l
o
or con
v
ersio
n
and
partial imp
l
ement
a
tion of esum
commit
|
commitdiff
|
tree
2004-07-20
skimo
pos starts a
t
1
commit
|
commitdiff
|
tree
2004-07-19
skimo
mi
n
or reordering of
cod
e
commit
|
commitdiff
|
tree
2004-07-19
skim
o
split off more common
c
ode
commit
|
commitdiff
|
tree
2004-07-19
skimo
rever
t
change comm
i
ted by accide
n
t
commit
|
commitdiff
|
tree
2004-07-19
skimo
add collect_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
recurse into the corr
e
ct version of co
u
nt_points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"o
r
"-split for case with only exis
t
ential varia
b
les
commit
|
commitdiff
|
tree
2004-07-18
s
kimo
allow split on
o
ther than first ex
i
stential variable
commit
|
commitdiff
|
tree
2004-07-18
skimo
extract out code
to
sp
l
it on a constraint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"exist
e
nt
i
a
l"
ve
r
sion of verif_
e
hr
h
art
commit
|
commitdiff
|
tree
2004-07-17
skim
o
provide evalu
e
to enu
m
erati
o
n conv
e
rsion
commit
|
commitdiff
|
tree
2004-07-17
skim
o
adapt to d
e
al wi
t
h
exi
s
tent
i
al va
r
iab
l
es
commit
|
commitdiff
|
tree
2004-07-16
skimo
copied from ehrhart
.
c from Pol
y
l
i
b
distribution
commit
|
commitdiff
|
tree
2004-07-14
sk
i
mo
han
d
le tri
v
ial case
o
f
only
e
xistential variab
l
es
commit
|
commitdiff
|
tree
2004-07-14
skimo
I
t
s
h
ould b
e
suf
f
icien
t
that one of the bou
n
ds
is indepen
d
ent
commit
|
commitdiff
|
tree
2004-07-14
s
k
imo
d
o
n't
count st
o
rage space for
t
h
e
ray
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
bu
m
p versi
o
n
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
fix up chan
g
elog
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump v
e
rsion som
e
more si
n
ce we change
d
the interface
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
tur
n
of
d
eb
u
gging m
e
s
s
ages
commit
|
commitdiff
|
tree
2004-07-06
skimo
update
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
brief description of the
i
np
u
t
commit
|
commitdiff
|
tree
2004-07-06
skimo
replace modulo by
f
ractional
commit
|
commitdiff
|
tree
2004-07-06
skimo
re
m
ove empty
p
a
rtitions in place
commit
|
commitdiff
|
tree
2004-07-06
skimo
more memory
leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
m
emory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
potential memo
r
y leak
commit
|
commitdiff
|
tree
next