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
apparently, sign was ignored before
2004-08-09
skimo
s
i
m
p
l
ify some
c
ode
commit
|
commitdiff
|
tree
2004-08-08
skimo
r
emove redundan
t
rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
a
l
lo
w
any number of
parts
i
n enumer
a
te_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"implement" eor
commit
|
commitdiff
|
tree
2004-08-08
skim
o
han
d
l
e
(sin
g
le) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
rem
o
ve (some) lines
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
set nparam ba
c
k t
o
u
se as numbe
r
o
f dimension
s
i
n part
i
tion
commit
|
commitdiff
|
tree
2004-08-05
skimo
make c
o
mpute_enode work again in general
c
ase
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove debugging
o
utput
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
remove d
e
bugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
use eval
u
e
rather than enumerati
o
n
a
nd
s
ome memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend pri
n
ting and com
p
u
ting to h
a
ndles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
alternati
v
e to in_d
o
main that handles "mo
d
ulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
sto
r
e "rea
l
"
dimension
in po
s
field of par
t
itio
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove duplicat
e
implementation
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
b
e
s
l
ig
h
tl
y
m
o
re conserv
a
tive (correc
t
)
in d
e
termin
i
ng
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skim
o
a
ray that depends on
t
h
e
parameters shou
l
d be ok
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
clean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
m
emory leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
m
e
mo
r
y
l
eak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
emo
r
y leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kim
o
r
emove d
e
bugging outp
u
t
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
che
c
k whether pro
j
ection is bounded
commit
|
commitdiff
|
tree
2004-08-03
s
kim
o
Split on parametric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
If
o
ne of the vertices in the
c
om
b
ined space
is a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
elim
i
na
t
e pa
r
ameters if we can
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
o
n
ly perform vd basid
reduction
if th
e
p
olytope h
a
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
unfringe polyhe
d
r
o
n
commit
|
commitdiff
|
tree
2004-08-03
skimo
r
e
move
d
e
b
ugging output in unfring
e
commit
|
commitdiff
|
tree
2004-08-03
sk
i
m
o
extend addeliminatedparams to partit
i
o
ns
commit
|
commitdiff
|
tree
2004-08-01
skimo
bai
l
e
arly
o
n
empty po
l
yto
p
e
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduce h
i
gher degrees of fractiona
l
p
art
s
with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
o
n
ly rays invo
l
ving the real variables lead to unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform range
reduction i
f
req
u
ested
commit
|
commitdiff
|
tree
2004-08-01
skimo
onl
y
cal
c
ula
t
e once for part that
i
s
inde
p
endent
o
f
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform
another rang
e
reduction after
s
u
mmati
o
n
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decomposi
t
ion
s
b
a
sed on
v
alidity domains and parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
sp
l
it off part
that cer
t
ain
l
y
cont
a
ins lat
t
ice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
rout
i
ne for red
u
c
ing to zero variables case
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
u
s
e newly ad
d
ed routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a poly
t
ope wi
t
h r
a
ys indep
e
nden
t
of
the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
che
c
k for em
p
ty p
o
l
y
tope
commit
|
commitdiff
|
tree
2004-07-30
s
kim
o
simpl
i
fy c
o
nstraints on eac
h
invocation of barvinok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
extract out routine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused routine for
removi
n
g doubl
e
bo
u
n
d
s
commit
|
commitdiff
|
tree
2004-07-30
skim
o
send
d
ebug
o
u
tput to s
t
d
e
r
r in (unused) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
make debuggin easier
b
y k
e
eping tra
c
k o
f
rec
u
rsion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
im
o
e
x
t
ract
o
u
t
r
ou
t
ine to align
constr
a
i
n
t along
a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one
o
f
the hy
p
erplanes has to be indepe
n
d
ent
a
s
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
Ensur
e
that fi
r
st
v
ariable is
m
ade negative inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that spl
i
tting will
r
educe the
n
um
b
er of
existentia
l
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstra
c
t
o
u
t h
a
ndli
n
g
of multiple va
l
idity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
E
x
tra c
h
eck that is pr
o
bably
n
o
t
needed
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
handle composed
v
alidity do
m
ains
commit
|
commitdiff
|
tree
2004-07-29
skimo
r
e
duce af
t
er summation
commit
|
commitdiff
|
tree
2004-07-29
skimo
don'
t
create
e
mpty parti
t
ion
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
a
l
low ev
a
luation
o
f
floorings
commit
|
commitdiff
|
tree
2004-07-29
skim
o
pe
r
form (trivial) reduc
t
ion on floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
make reorder_te
r
ms work for floor
i
ngs
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
correct check f
o
r
1
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
be more strict when
c
ompari
n
g t
w
o
rationals
commit
|
commitdiff
|
tree
2004-07-29
s
k
i
mo
ty
p
o in comm
e
nt
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle case of all em
p
ty v
a
lidity domains
commit
|
commitdiff
|
tree
2004-07-21
skimo
suppo
r
t
p
olynomials in "r
e
al" paramet
e
r
s
commit
|
commitdiff
|
tree
2004-07-21
s
kimo
handle
negative values of
s
umme
d
varia
b
le
commit
|
commitdiff
|
tree
2004-07-21
skimo
check whether POLYTOP
E
_
PREFIX is ac
t
ua
l
ly set
commit
|
commitdiff
|
tree
2004-07-20
s
k
i
mo
floor c
o
n
version and p
a
rtial implementation of esum
commit
|
commitdiff
|
tree
2004-07-20
skimo
po
s
starts
at
1
commit
|
commitdiff
|
tree
2004-07-19
skimo
minor reordering of code
commit
|
commitdiff
|
tree
2004-07-19
skimo
split
off more common
code
commit
|
commitdiff
|
tree
2004-07-19
skimo
revert
c
hange
c
ommited by acci
d
ent
commit
|
commitdiff
|
tree
2004-07-19
skim
o
add co
l
lect_polytop
e
s
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
r
ecurse
i
nto th
e
correct ver
s
ion of c
o
unt_points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or
"
-
s
plit
f
or case with onl
y
existent
i
al variables
commit
|
commitdiff
|
tree
2004-07-18
sk
i
m
o
allow
s
plit
on ot
h
er than first existen
t
ial
v
ari
a
b
l
e
commit
|
commitdiff
|
tree
2004-07-18
sk
i
mo
extract out code to sp
l
it on a cons
t
raint
commit
|
commitdiff
|
tree
2004-07-17
s
k
i
mo
"e
x
istenti
a
l" version of verif_ehrha
r
t
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide eval
u
e to enumeration
c
onv
e
rsion
commit
|
commitdiff
|
tree
2004-07-17
ski
m
o
a
d
apt to deal wi
t
h ex
i
stenti
a
l variable
s
commit
|
commitdiff
|
tree
2004-07-16
skimo
copied from eh
r
hart
.
c
f
ro
m
Polylib distribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
h
a
ndle trivial case of
only exis
t
ential va
r
iable
s
commit
|
commitdiff
|
tree
2004-07-14
skimo
It sho
u
ld be suffic
i
ent tha
t
one of the
b
o
unds is independen
t
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't count storage s
p
ace for t
h
e rays
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
b
ump ve
r
sion
commit
|
commitdiff
|
tree
2004-07-06
skimo
f
i
x
u
p
c
hange
l
o
g
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump ve
r
sio
n
s
o
me more since
w
e
changed the interfac
e
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
turn of debug
g
ing messages
commit
|
commitdiff
|
tree
2004-07-06
skimo
update
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
b
r
ief
d
escr
i
ption of
t
he input
commit
|
commitdiff
|
tree
2004-07-06
skimo
r
e
pla
c
e
modulo by frac
t
ional
commit
|
commitdiff
|
tree
2004-07-06
skimo
remove empty
partitions
i
n plac
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
more memory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
potential memory lea
k
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
(
potential) mem
o
ry leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
pri
n
t more info
commit
|
commitdiff
|
tree
next