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
perform range reduction if requested
2004-08-01
skim
o
perform range red
u
ction if requested
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
only calc
u
late once for p
a
rt that is indepen
d
ent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
s
kimo
perform another range redu
c
tion aft
e
r
summation
commit
|
commitdiff
|
tree
2004-07-31
skimo
Deco
m
positions based on
vali
d
ity domains
a
n
d parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
im
o
split off
p
art that certainly contains lat
t
ice
p
oints
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
ro
u
t
ine for
reduci
n
g to zero v
a
riab
l
e
s
case
commit
|
commitdiff
|
tree
2004-07-30
skimo
use ne
w
l
y ad
d
ed
r
outine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
polytope with
r
ays i
n
depen
d
ent of
the existen
t
ia
l
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
ch
e
c
k for empty
polytope
commit
|
commitdiff
|
tree
2004-07-30
skim
o
s
implify
c
o
n
straints on eac
h
in
v
o
c
at
i
on of barvinok_enumera
t
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
extract ou
t
routine for "or
"
ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
nu
s
ed r
o
utine for removing
d
ouble bound
s
commit
|
commitdiff
|
tree
2004-07-30
skimo
send d
e
bu
g
ou
t
put to st
d
err in (unused) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
m
ake debuggin easi
e
r
b
y
kee
p
i
n
g track of rec
u
r
sion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
e
xtract
o
u
t
r
o
utine to a
l
ign c
o
ns
t
raint
a
l
ong a l
i
n
ear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of the hyperplanes has
t
o
be independ
e
nt as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
E
n
s
ure that first variable is made negative insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
En
s
ure that splitting will
r
e
duc
e
the number
o
f
e
xistential
commit
|
commitdiff
|
tree
2004-07-30
skimo
ab
s
t
r
act ou
t
handlin
g
of multiple validity domains
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
Extra
check t
h
a
t
i
s
probably not needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
han
d
le co
m
p
o
sed valid
i
ty
d
om
a
ins
commit
|
commitdiff
|
tree
2004-07-29
sk
i
m
o
r
e
duce after summation
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't create empty partit
i
ons
commit
|
commitdiff
|
tree
2004-07-29
skimo
allo
w
e
valuat
i
on
o
f floo
r
ing
s
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
p
erfor
m
(trivia
l
) reduction on
f
loorings
commit
|
commitdiff
|
tree
2004-07-29
s
k
i
m
o
mak
e
reo
r
der_terms
work for floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct check
f
or 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be more strict w
h
en co
m
parin
g
two rationals
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
typo in comm
e
nt
commit
|
commitdiff
|
tree
2004-07-21
skimo
h
a
n
d
l
e
cas
e
of all empt
y
va
l
idity domain
s
commit
|
commitdiff
|
tree
2004-07-21
sk
i
m
o
supp
o
rt pol
y
no
m
ials in "real" paramet
e
rs
commit
|
commitdiff
|
tree
2004-07-21
skimo
ha
n
dle negative values of su
m
m
ed
v
ar
i
a
b
le
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
ch
e
ck whether
POLYTOPE_
P
REFIX i
s
act
u
a
lly s
e
t
commit
|
commitdiff
|
tree
2004-07-20
skimo
fl
o
o
r
con
v
e
rsio
n
and pa
r
tia
l
implementation
o
f es
u
m
commit
|
commitdiff
|
tree
2004-07-20
skim
o
pos
st
a
rts at
1
commit
|
commitdiff
|
tree
2004-07-19
s
k
imo
minor reordering o
f
code
commit
|
commitdiff
|
tree
2004-07-19
sk
i
mo
split
o
ff
m
ore common code
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
revert
c
hang
e
commited
by acci
d
ent
commit
|
commitdiff
|
tree
2004-07-19
s
k
imo
add col
l
e
ct_poly
t
opes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
recurse into the
c
orr
e
c
t
v
e
rsion of count_
p
oint
s
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split for case with
o
nly e
x
is
t
ential va
r
iabl
e
s
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow
s
plit o
n
other than first existent
i
al variable
commit
|
commitdiff
|
tree
2004-07-18
skimo
extrac
t
out
cod
e
t
o split on
a
const
r
aint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existential" versi
o
n of verif_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
skim
o
provide e
v
alue t
o
enumeration
con
v
ersion
commit
|
commitdiff
|
tree
2004-07-17
skimo
adapt to deal with existential variables
commit
|
commitdiff
|
tree
2004-07-16
s
kimo
copied from ehrhart
.
c from Polylib distribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle
t
rivi
a
l
case of only existential
va
r
i
ables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It sho
u
ld be su
f
fic
i
ent th
a
t
one of the boun
d
s
i
s indepen
d
ent
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't count storage space for the rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bu
m
p version
commit
|
commitdiff
|
tree
2004-07-06
sk
i
m
o
fix up
changelog
commit
|
commitdiff
|
tree
2004-07-06
s
ki
m
o
bump v
e
r
s
ion some more
since we
c
h
anged
t
he interface
commit
|
commitdiff
|
tree
2004-07-06
skimo
t
u
rn of de
b
u
g
gi
n
g m
e
ssages
commit
|
commitdiff
|
tree
2004-07-06
skim
o
updat
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
bri
e
f de
s
c
ription of the
i
nput
commit
|
commitdiff
|
tree
2004-07-06
skim
o
replace modulo by fra
c
tional
commit
|
commitdiff
|
tree
2004-07-06
skimo
remove empty partitions in place
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
more
memory leak
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
m
e
mory
leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
p
o
tential me
m
ory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential) memory
l
eaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
print
m
o
re info
commit
|
commitdiff
|
tree
2004-07-05
skimo
preload librar
y
t
o count the number
of validit
y
domains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
sk
i
mo
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-07-01
sk
i
mo
m
emory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-06-26
skimo
U
s
e
f
uncti
o
n for co
p
ying eva
l
ue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
orde
r
pe
r
iodics in multiplication
as well
commit
|
commitdiff
|
tree
2004-06-26
ski
m
o
copy value before freein
g
commit
|
commitdiff
|
tree
2004-06-26
skimo
regr
e
ssion
t
es
t
commit
|
commitdiff
|
tree
2004-06-26
s
kimo
hand
l
e case wher
e
polyt
o
p
e
h
as no "real
"
dimensio
n
s
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use smallest representative in
absolute value ra
t
her
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
s
k
imo
Debugging output t
o
evaluate
the us
e
ful
n
ess of several
commit
|
commitdiff
|
tree
2004-06-25
skimo
Ad
d
constrai
n
t if expr
e
ssio
n
is
only integer for
a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
sk
i
mo
perform
r
ange reduction on condition
o
f
relat
i
on
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully propagate reor
d
ering
commit
|
commitdiff
|
tree
2004-06-24
sk
i
m
o
parti
a
lly propaga
t
e reo
r
d
eri
n
g and reduce i
n
c
ase of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
r
em
o
v
e comment
commit
|
commitdiff
|
tree
2004-06-24
skimo
Range reducti
o
n and some auxiliary functions
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
In
v
ert a fractiona
l
if leading coeff
i
cient
b
ecomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
rem
o
ve debu
g
ging
outpu
t
commit
|
commitdiff
|
tree
2004-06-24
s
k
imo
Remov
e
inval
i
d me
m
ory acc
e
ss
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recom
p
ute
d
omains
commit
|
commitdiff
|
tree
2004-06-23
skimo
compute size o
f
all
s
ubdomains
commit
|
commitdiff
|
tree
2004-06-23
skimo
trivial recom
b
ination
commit
|
commitdiff
|
tree
2004-06-23
skimo
a
l
so i
n
vert when const
a
n
t
is half the m
o
dulo, sinc
e
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Allow more fracitonal substi
t
utions
,
in parti
c
u
l
a
r
commit
|
commitdiff
|
tree
2004-06-23
s
kim
o
search for
p
air
of fractional
s
that can
(
optima
l
ly
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
s
ki
m
o
alw
a
ys provide subst stru
c
tur
e
(eve
n
if empty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
a
void infin
i
te loop caused by splitting off
n
othing
commit
|
commitdiff
|
tree
2004-06-22
s
k
imo
remove
r
el
a
tion if branches
a
r
e identical
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove reduc
e
d r
e
lation
s
commit
|
commitdiff
|
tree
2004-06-21
s
kimo
r
eplac
e
{ E
/
m } by
{ (E-1)/m } + 1/m if { E/m } != 0
commit
|
commitdiff
|
tree
2004-06-21
sk
i
mo
numerator can ne
v
er be ne
g
ative inside fractional
commit
|
commitdiff
|
tree
2004-06-21
skimo
optionally
p
ri
n
t
"
siz
e
" of en
u
meration
commit
|
commitdiff
|
tree
2004-06-21
skimo
E
n
umer
a
t
ion_size
commit
|
commitdiff
|
tree
2004-06-21
skim
o
ex
p
ort domain_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
reduce after conversion
commit
|
commitdiff
|
tree
next