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
make compute_enode work again in general case
2004-08-05
skimo
make co
m
pute_
e
node
w
ork again in general case
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
remove de
b
ugging outpu
t
commit
|
commitdiff
|
tree
2004-08-05
s
k
i
m
o
remo
v
e d
e
bugg
i
ng
o
u
tput
commit
|
commitdiff
|
tree
2004-08-05
skimo
use
e
val
u
e ra
t
her
than e
n
umeration and some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
extend printing a
n
d computi
n
g to
hand
l
es "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
alter
n
ative
to in_
d
omain
t
hat h
a
ndles
"
m
o
d
ulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skim
o
stor
e
"rea
l
"
dim
e
nsion in
p
os field o
f
partiti
o
n
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
remove duplicate
i
mplementation
commit
|
commitdiff
|
tree
2004-08-04
skimo
be
s
lightly more con
s
ervative (correct) in
determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
sk
i
m
o
a
ray t
h
at
depends on t
h
e
parameters should be ok
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
clean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
m
e
mory leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memo
r
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory l
e
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory lea
k
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
s
ki
m
o
memory
l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memo
r
y leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remov
e
de
b
u
g
g
i
ng out
p
ut
commit
|
commitdiff
|
tree
2004-08-03
skimo
check
w
hether pro
j
ection is bounded
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
Split on
parametric verte
x
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one of the verti
c
es i
n
the combined
s
pace is a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate paramet
e
r
s if w
e
can
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
only perform vd basid reducti
o
n
if the polytope
h
as
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfringe p
o
lyhedron
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debuggi
n
g
output in
u
nfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend addeliminatedpa
r
ams to
p
artitions
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
bail e
a
rly on empty poly
t
ope
commit
|
commitdiff
|
tree
2004-08-01
skimo
redu
c
e hi
g
h
er
d
e
g
ree
s
o
f
f
ract
i
ona
l
part
s
with fl
o
or
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skim
o
on
l
y rays involving t
h
e real vari
a
bl
e
s lead to unb
o
unded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform
r
ange
r
eduction if requeste
d
commit
|
commitdiff
|
tree
2004-08-01
skimo
only cal
c
ulate once for part that is
in
d
ependent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
sk
i
mo
perform another r
a
n
ge reduction after summation
commit
|
commitdiff
|
tree
2004-07-31
skimo
D
e
compo
s
itions based on v
a
lidity
d
omai
n
s
and parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split o
f
f
p
art tha
t
certa
i
nly contains lattice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
r
outine for
r
educing to zero variab
l
es case
commit
|
commitdiff
|
tree
2004-07-30
skimo
use
newly add
e
d routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a polytope with rays indepe
n
dent of
the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check f
o
r
e
m
pty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
i
m
plify const
r
aints
o
n eac
h
invocation of
b
a
rvinok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out routin
e
for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
n
used routine
f
or
r
emoving doubl
e
bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send debug
outp
u
t to s
t
de
r
r in (u
n
used) u
n
fri
n
ge
commit
|
commitdiff
|
tree
2004-07-30
skimo
m
a
ke
debuggin easier by
ke
e
p
i
ng t
r
ack of
recursio
n
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract ou
t
routin
e
to
a
lign constr
a
i
n
t along a li
n
e
ar
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of the
hyperplanes has to be ind
e
p
endent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
Ensure
that first variable is mad
e
ne
g
ative inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensu
r
e that splitting will reduce
t
h
e
number of ex
i
st
e
ntial
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
bstrac
t
out handling of m
u
l
t
iple validity
d
o
m
ains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Ex
t
r
a
c
heck that is pro
b
a
bly
n
o
t
needed
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
handle compose
d
val
i
dity
domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce after summation
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't create e
m
pt
y
p
artitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow evalua
t
ion
of floo
r
ings
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
perform (trivial) reduction on floo
r
ings
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
m
a
ke
r
e
or
d
e
r_terms
w
ork for
f
loorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
correc
t
check
for 1
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
be
more s
t
rict when comparing two rati
o
na
l
s
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
typo
i
n
comment
commit
|
commitdiff
|
tree
2004-07-21
skimo
hand
l
e case of a
l
l empt
y
validi
t
y doma
i
ns
commit
|
commitdiff
|
tree
2004-07-21
skimo
support polyno
m
ials in "real" p
a
ra
m
eters
commit
|
commitdiff
|
tree
2004-07-21
s
kimo
handle negative
v
alues of
s
ummed variable
commit
|
commitdiff
|
tree
2004-07-21
s
kimo
check whethe
r
POL
Y
TOPE_P
R
EFIX is actually s
e
t
commit
|
commitdiff
|
tree
2004-07-20
s
kimo
floor
c
onversio
n
a
n
d partial imp
l
ementation of esu
m
commit
|
commitdiff
|
tree
2004-07-20
skimo
pos starts at
1
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
minor reo
r
dering of
c
ode
commit
|
commitdiff
|
tree
2004-07-19
skimo
s
p
lit off more common code
commit
|
commitdiff
|
tree
2004-07-19
sk
i
mo
revert chan
g
e commite
d
b
y
accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
ad
d
c
o
llect_poly
t
opes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
recur
s
e
into the correct version of count_points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-sp
l
i
t for case with o
n
ly existent
i
al varia
b
le
s
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
all
o
w split
o
n other th
a
n first existential variable
commit
|
commitdiff
|
tree
2004-07-18
skimo
ex
t
ra
c
t out
c
ode to sp
l
it on a constr
a
int
commit
|
commitdiff
|
tree
2004-07-17
skimo
"
e
xistenti
a
l" version of verif
_
eh
r
h
a
rt
commit
|
commitdiff
|
tree
2004-07-17
s
kim
o
p
rovide
e
value to enumer
a
t
i
on conv
e
r
s
ion
commit
|
commitdiff
|
tree
2004-07-17
skimo
a
d
a
pt
to deal with existential variables
commit
|
commitdiff
|
tree
2004-07-16
s
kim
o
copied from ehrh
a
r
t
.
c from Polylib dist
r
ibut
i
on
commit
|
commitdiff
|
tree
2004-07-14
ski
m
o
handle t
r
ivi
a
l ca
s
e
of only existentia
l
variabl
e
s
commit
|
commitdiff
|
tree
2004-07-14
skimo
I
t sh
o
uld
b
e suf
f
icient that
o
ne of the bounds is independent
commit
|
commitdiff
|
tree
2004-07-14
ski
m
o
don't count
s
torage space for the
rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
u
mp version
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
f
ix up changelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
bum
p
v
e
r
s
ion so
m
e
more
sin
c
e
we changed the inte
r
face
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of
d
ebugging
messag
e
s
commit
|
commitdiff
|
tree
2004-07-06
s
k
im
o
update
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
r
i
e
f description
o
f the in
p
ut
commit
|
commitdiff
|
tree
2004-07-06
skimo
replace modu
l
o by f
r
a
c
tional
commit
|
commitdiff
|
tree
2004-07-06
skimo
r
e
m
o
ve em
p
ty partiti
o
ns in place
commit
|
commitdiff
|
tree
2004-07-06
skim
o
more memory leaks
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
memor
y
leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
poten
t
ial memo
r
y leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential)
m
e
mory l
e
a
k
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
p
r
i
nt more inf
o
commit
|
commitdiff
|
tree
2004-07-05
skimo
pr
e
load
l
ibrar
y
t
o c
o
unt t
h
e numbe
r
of validity domains
commit
|
commitdiff
|
tree
2004-07-01
sk
i
m
o
m
e
mory
l
eak
commit
|
commitdiff
|
tree
2004-07-01
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memo
r
y leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-06-26
ski
m
o
Us
e
functi
o
n fo
r
c
opying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
order
pe
r
iodi
c
s
in multiplication as well
commit
|
commitdiff
|
tree
next