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
extend addeliminatedparams to partitions
2004-08-03
s
k
imo
e
xte
n
d
adde
l
iminatedparams to partit
i
ons
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
bail ea
r
ly on empty p
o
l
ytope
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
reduce h
i
gh
e
r
de
g
re
e
s of f
r
actio
n
al parts
w
ith
f
loor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
only
rays involving the real vari
a
b
les lead t
o
u
nbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
pe
r
form range
re
d
uction if req
u
ested
commit
|
commitdiff
|
tree
2004-08-01
s
k
i
mo
only calcul
a
te once for part that is independent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
ski
m
o
perform
a
nother range r
e
duction
a
fter summ
a
t
ion
commit
|
commitdiff
|
tree
2004-07-31
ski
m
o
De
c
ompo
s
i
t
ions based
on
validi
t
y
domains and parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
split
off
part that ce
r
tainly contains lattic
e
p
o
ints
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
routine for
re
d
ucing to zero va
r
iables case
commit
|
commitdiff
|
tree
2004-07-30
skimo
us
e
newly added routine
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
a polytope with ra
y
s in
d
ependent of the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
m
o
ch
e
ck for
empty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
impli
f
y constra
i
nts o
n
e
a
ch invoc
a
tion
of barvinok_
e
numerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extr
a
ct out routine
f
or "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused routine for removi
n
g dou
b
l
e
bounds
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
se
n
d debug output to
s
tde
r
r in
(
u
nused) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
make debuggin eas
i
e
r by keeping
t
rack of rec
u
rsion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
ext
r
act ou
t
routine to ali
g
n constraint along a lin
e
a
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
If o
n
e of the hyperplanes has
t
o
be independent
as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
E
nsure
t
hat first v
a
r
i
able
i
s made negative i
n
side
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
Ensure that splitt
i
n
g
will
reduc
e
the
n
u
mber o
f
existential
commit
|
commitdiff
|
tree
2004-07-30
skimo
abs
t
ract out handling of mult
i
ple validity
d
om
a
ins
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
Extr
a
ch
e
ck
that is probab
l
y
not
n
eeded
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle
c
omp
o
sed validi
t
y domains
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
reduc
e
after summation
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't create empty partitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow eval
u
ation of floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
p
erform (
t
rivial
)
re
d
u
cti
o
n on f
l
o
o
r
ing
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
m
ake reorder_t
e
rms work for floor
i
ngs
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct chec
k
for 1
commit
|
commitdiff
|
tree
2004-07-29
skim
o
b
e
m
o
r
e strict wh
e
n
compa
r
ing t
w
o rat
i
onals
commit
|
commitdiff
|
tree
2004-07-29
skimo
typ
o
in
c
om
m
ent
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle case
o
f
all empty validity
domains
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
supp
o
rt polyno
m
ia
l
s in "real" par
a
meters
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
handle ne
g
ative values
o
f
s
u
m
med va
r
i
a
b
le
commit
|
commitdiff
|
tree
2004-07-21
skimo
ch
e
ck whethe
r
POLYTOPE_PR
E
F
I
X is actuall
y
set
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor conversion and par
t
i
a
l
imp
l
ementation o
f
esum
commit
|
commitdiff
|
tree
2004-07-20
skimo
pos starts at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
m
i
nor r
e
o
rdering o
f
c
o
de
commit
|
commitdiff
|
tree
2004-07-19
sk
i
mo
split
o
f
f more common code
commit
|
commitdiff
|
tree
2004-07-19
s
ki
m
o
revert
change c
o
mmited b
y
a
c
ci
d
e
n
t
commit
|
commitdiff
|
tree
2004-07-19
skimo
ad
d
collect
_
p
o
lytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
r
e
c
urse into the cor
r
ect version
of count
_
points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-
s
plit for case wit
h
only existential variables
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow split on other than
f
ir
s
t existenti
a
l variabl
e
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
extra
c
t out cod
e
to spl
i
t on a
c
onstraint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"exis
t
e
ntial" version of veri
f
_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
skimo
provid
e
e
v
alue
to enumeration conversi
o
n
commit
|
commitdiff
|
tree
2004-07-17
skimo
adapt to deal
with
e
x
i
stential
v
ariables
commit
|
commitdiff
|
tree
2004-07-16
skimo
copi
e
d from
e
hrhart
.
c from Polyl
i
b
dist
r
i
b
ution
commit
|
commitdiff
|
tree
2004-07-14
skimo
han
d
le trivial case o
f
onl
y
exist
e
ntial
variab
l
es
commit
|
commitdiff
|
tree
2004-07-14
skimo
I
t
sho
u
ld be
s
ufficient that one of
t
he bounds is
independent
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't count st
o
rage space fo
r
the
rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump
v
er
s
ion
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
fix up
changelog
commit
|
commitdiff
|
tree
2004-07-06
skim
o
bump
v
ersion som
e
more since we cha
n
ge
d
th
e
inte
r
face
commit
|
commitdiff
|
tree
2004-07-06
skim
o
t
urn of debu
g
ging messages
commit
|
commitdiff
|
tree
2004-07-06
skimo
up
d
ate
commit
|
commitdiff
|
tree
2004-07-06
skimo
br
i
ef descripti
o
n of the inpu
t
commit
|
commitdiff
|
tree
2004-07-06
skimo
repl
a
ce modulo by f
r
a
ctional
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
remove emp
t
y
part
i
tions in place
commit
|
commitdiff
|
tree
2004-07-06
s
k
i
m
o
mor
e
memo
r
y leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
memo
r
y lea
k
commit
|
commitdiff
|
tree
2004-07-06
s
k
i
m
o
p
o
t
e
n
t
ial memory leak
commit
|
commitdiff
|
tree
2004-07-06
skim
o
(potentia
l
)
memory le
a
ks
commit
|
commitdiff
|
tree
2004-07-06
skimo
print more info
commit
|
commitdiff
|
tree
2004-07-05
s
k
imo
preload
lib
r
ary to
c
o
unt the number of val
i
dity d
o
mains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory
l
e
ak
commit
|
commitdiff
|
tree
2004-07-01
skim
o
memor
y
leak
commit
|
commitdiff
|
tree
2004-07-01
s
k
imo
m
emo
r
y
l
e
ak
commit
|
commitdiff
|
tree
2004-07-01
skim
o
m
emory
l
e
a
k
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use function for copy
i
ng evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
order p
e
riod
i
cs in mul
t
iplication
a
s
well
commit
|
commitdiff
|
tree
2004-06-26
s
k
i
mo
c
o
p
y
val
u
e before freeing
commit
|
commitdiff
|
tree
2004-06-26
skimo
reg
r
essi
o
n test
commit
|
commitdiff
|
tree
2004-06-26
skimo
handl
e
case whe
r
e
p
ol
y
tope has n
o
"real" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use smallest represent
a
t
iv
e
in
absolute v
a
lue
r
ather
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debuggi
n
g
output t
o
evaluate
t
h
e usefulness of sever
a
l
commit
|
commitdiff
|
tree
2004-06-25
skimo
Ad
d
const
r
aint if exp
r
essi
o
n is
on
l
y
inte
g
e
r
for a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
s
k
i
mo
perfo
r
m
r
ange r
e
du
c
tion on condi
t
ion o
f
r
elation
commit
|
commitdiff
|
tree
2004-06-25
skim
o
fully p
r
opag
a
te reorde
r
ing
commit
|
commitdiff
|
tree
2004-06-24
skimo
partial
l
y
propagate reordering and reduce in case of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
remo
v
e comment
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
R
a
n
ge redu
c
tion
a
nd some aux
i
l
iary functi
o
ns
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
Invert a fractio
n
al i
f
leading coeffici
e
nt bec
o
m
e
s
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
r
emo
v
e debugging output
commit
|
commitdiff
|
tree
2004-06-24
s
ki
m
o
Remove invalid
memo
r
y
access
.
commit
|
commitdiff
|
tree
2004-06-23
sk
i
m
o
r
ecompute domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
compute siz
e
of a
l
l
s
u
bdomai
n
s
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
trivial r
e
c
o
mbination
commit
|
commitdiff
|
tree
2004-06-23
skimo
also
i
nvert when constan
t
is
h
a
l
f
t
he modul
o
, s
i
nc
e
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
A
llo
w
more fracitonal substitut
i
o
n
s, i
n
particula
r
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
search for pa
i
r
of fractionals tha
t
can (op
t
ima
l
ly
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
a
l
ways provide subst structure (e
v
en if empty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
a
v
oid infinite loop
caused by sp
l
itting off nothing
commit
|
commitdiff
|
tree
2004-06-22
ski
m
o
rem
o
ve relation
i
f
b
ranc
h
es are
ide
n
ti
c
al
commit
|
commitdiff
|
tree
2004-06-22
s
kimo
r
emove redu
c
e
d
r
e
lat
i
ons
commit
|
commitdiff
|
tree
2004-06-21
ski
m
o
rep
l
ace { E/m } by
{
(
E
-1)/m } +
1
/
m
if { E/m } != 0
commit
|
commitdiff
|
tree
2004-06-21
skimo
numerato
r
can never b
e
n
e
g
ative i
n
side fra
c
tional
commit
|
commitdiff
|
tree
next