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
bail early on empty polytope
2004-08-01
s
kimo
bail early on
e
mpty poly
t
ope
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduce hi
g
her
d
eg
r
ees of f
r
action
a
l parts with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skim
o
o
nly rays inv
o
lving the r
e
al variables
lead
t
o un
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
p
e
rfor
m
range reduction i
f
r
e
qu
e
s
ted
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
only calculate
o
nce for part that i
s
i
n
d
e
pendent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
ski
m
o
perf
o
r
m another r
a
nge reducti
o
n after summation
commit
|
commitdiff
|
tree
2004-07-31
s
k
im
o
D
e
compo
s
iti
o
ns based
o
n
v
alidity d
o
m
ains and parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
s
p
lit
off part that certainly contains lattice
p
oi
n
ts
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
rou
t
ine for reducing to
z
ero variabl
e
s
case
commit
|
commitdiff
|
tree
2004-07-30
skimo
use newly
added rou
t
ine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
pol
y
tope with rays independ
e
nt of the existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
mo
check for empty
p
olytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
i
mplify c
o
nstraints on each invocation of ba
r
vinok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out
r
ou
t
i
n
e for "or
"
ing
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
unused
routine
for removin
g
double bounds
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
send debug output to stde
r
r
in (unused) u
n
fr
i
nge
commit
|
commitdiff
|
tree
2004-07-30
skimo
mak
e
debuggin easi
e
r
b
y keeping track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
extract out routine to align constrain
t
alo
n
g a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
I
f
one of t
h
e hyp
e
rplanes h
a
s
to be
i
ndepe
n
dent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
m
o
Ensure that first variable is made n
e
gative in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
Ensure
t
hat
s
plitting will redu
c
e the
n
umber of
existenti
a
l
commit
|
commitdiff
|
tree
2004-07-30
skim
o
abstract out handli
n
g
of mult
i
ple validit
y
do
m
a
ins
commit
|
commitdiff
|
tree
2004-07-29
skim
o
Extra check
t
hat is
probably no
t
needed
commit
|
commitdiff
|
tree
2004-07-29
skim
o
ha
n
dle composed validit
y
domains
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
reduce after summation
commit
|
commitdiff
|
tree
2004-07-29
s
kim
o
don't cr
e
ate empty partition
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow evaluation of floor
i
ngs
commit
|
commitdiff
|
tree
2004-07-29
skimo
perform (trivial) reduction on floorings
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
m
a
ke reorder_terms
work
f
or floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
co
r
r
e
ct check for
1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be mo
r
e strict when com
p
aring tw
o
rational
s
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
typo in comment
commit
|
commitdiff
|
tree
2004-07-21
skimo
ha
n
d
le case
of all emp
t
y va
l
idity domains
commit
|
commitdiff
|
tree
2004-07-21
skimo
support polynomia
l
s in
"
real" parameters
commit
|
commitdiff
|
tree
2004-07-21
skimo
h
andle negative values
o
f summed variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
check whether POLYTOPE_PREFIX
i
s a
c
tually
set
commit
|
commitdiff
|
tree
2004-07-20
ski
m
o
floor
c
onver
s
io
n
and parti
a
l im
p
lementation of esum
commit
|
commitdiff
|
tree
2004-07-20
skim
o
pos star
t
s at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
mi
n
or reord
e
ring of code
commit
|
commitdiff
|
tree
2004-07-19
skimo
split off more common code
commit
|
commitdiff
|
tree
2004-07-19
skimo
revert c
h
ange com
m
ited b
y
accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
add collect_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
recurse into
t
he correct
ve
r
sion of count_poin
t
s
commit
|
commitdiff
|
tree
2004-07-18
s
kimo
"or"-split for
case with
o
nl
y
e
xi
s
tential v
a
ria
b
les
commit
|
commitdiff
|
tree
2004-07-18
skimo
a
l
low
split on othe
r
than f
i
rst exist
e
ntial variable
commit
|
commitdiff
|
tree
2004-07-18
s
kimo
extract
o
ut
c
o
de to s
p
lit on a
constraint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existen
t
ial" version of verif_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide eval
u
e
to
e
numeration conversion
commit
|
commitdiff
|
tree
2004-07-17
s
kimo
a
dapt to deal with exis
t
e
ntia
l
variabl
e
s
commit
|
commitdiff
|
tree
2004-07-16
skimo
copied fro
m
e
h
rhart
.
c f
r
om P
o
ly
l
ib
di
s
tribu
t
ion
commit
|
commitdiff
|
tree
2004-07-14
s
k
im
o
handle trivia
l
c
ase of only ex
i
stential
v
ariables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It
shoul
d
be s
u
f
f
i
c
ient that one of the bounds is independen
t
commit
|
commitdiff
|
tree
2004-07-14
skimo
d
o
n
'
t count storage s
p
a
c
e for th
e
rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump
v
ersion
commit
|
commitdiff
|
tree
2004-07-06
skimo
f
i
x
u
p changelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump version
s
o
me more since we change
d
the i
n
terfac
e
commit
|
commitdiff
|
tree
2004-07-06
skim
o
turn of debug
g
ing messages
commit
|
commitdiff
|
tree
2004-07-06
s
k
i
mo
updat
e
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
b
rief
description
of the in
p
ut
commit
|
commitdiff
|
tree
2004-07-06
skimo
r
e
p
lace
m
od
u
l
o by fract
i
onal
commit
|
commitdiff
|
tree
2004-07-06
skimo
remove empty partitions
in p
l
a
ce
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
more memory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
m
emory leak
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
po
t
e
ntial memory
l
e
a
k
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
(po
t
ential) mem
o
ry l
e
aks
commit
|
commitdiff
|
tree
2004-07-06
s
k
i
m
o
print more info
commit
|
commitdiff
|
tree
2004-07-05
skimo
p
r
e
load
l
ibrary to count the numb
e
r
o
f validit
y
domai
n
s
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
emor
y
l
e
ak
commit
|
commitdiff
|
tree
2004-07-01
ski
m
o
memory lea
k
commit
|
commitdiff
|
tree
2004-07-01
ski
m
o
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-06-26
skimo
U
s
e f
u
nction for
copying e
v
a
l
ue
.
commit
|
commitdiff
|
tree
2004-06-26
skim
o
order periodics i
n
mu
l
tiplication as well
commit
|
commitdiff
|
tree
2004-06-26
skimo
c
o
py value before freei
n
g
commit
|
commitdiff
|
tree
2004-06-26
skimo
regression test
commit
|
commitdiff
|
tree
2004-06-26
ski
m
o
hand
l
e
c
a
se wher
e
polytope h
a
s no "real" dim
e
n
s
i
ons
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use smalles
t
repr
e
s
entat
i
ve i
n
abso
l
u
t
e value ra
t
h
er
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
De
b
ugging output
t
o
e
v
aluate the
usefulness of sev
e
ral
commit
|
commitdiff
|
tree
2004-06-25
skimo
Ad
d
constraint i
f
e
x
pre
s
sion
is only integer fo
r
a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
perform r
a
ng
e
reduction
o
n co
n
dition o
f
rela
t
i
on
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully prop
a
gate reorder
i
ng
commit
|
commitdiff
|
tree
2004-06-24
skimo
p
a
r
tia
l
ly
propagate reor
d
ering and reduce in c
a
se of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove
c
omm
e
nt
commit
|
commitdiff
|
tree
2004-06-24
skim
o
Ra
n
g
e
r
eduction
and some au
x
iliary
fu
n
ctions
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
Inv
e
rt a fractional if leading coefficie
n
t
b
ecomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove debugging output
commit
|
commitdiff
|
tree
2004-06-24
sk
i
m
o
Remo
v
e inval
i
d
m
e
m
o
ry ac
c
ess
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recomp
u
te domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
comp
u
te size of all
subdomains
commit
|
commitdiff
|
tree
2004-06-23
skimo
trivial recom
b
ination
commit
|
commitdiff
|
tree
2004-06-23
skimo
al
s
o invert when constant is half
t
he modu
l
o,
since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Allow more fracitonal subst
i
t
uti
o
ns
,
in particular
commit
|
commitdiff
|
tree
2004-06-23
skimo
search fo
r
pair
of fractiona
l
s
that can (o
p
t
i
mally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
always provi
d
e
s
ubst structure (even if empty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
a
v
o
id infini
t
e l
o
o
p cause
d
by splitti
n
g off nothing
commit
|
commitdiff
|
tree
2004-06-22
sk
i
mo
r
emo
v
e r
e
lation if b
r
a
n
c
h
es are id
e
ntical
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove re
d
u
c
e
d rela
t
ions
commit
|
commitdiff
|
tree
2004-06-21
skimo
replace { E/m
}
by { (E-1)/m } + 1/m if {
E
/m } != 0
commit
|
commitdiff
|
tree
2004-06-21
s
kimo
n
u
m
erator can nev
e
r
be negative
i
nside fractional
commit
|
commitdiff
|
tree
2004-06-21
skimo
optionally print "si
z
e" of enumer
a
t
i
on
commit
|
commitdiff
|
tree
next