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
eliminate parameters if we can
2004-08-03
s
k
i
m
o
elimina
t
e
para
m
eters if w
e
can
commit
|
commitdiff
|
tree
2004-08-03
skimo
o
n
ly perform vd ba
s
id reduction
i
f the polytope
h
a
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfringe polyhedron
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
r
emove debuggin
g
o
utput in unfring
e
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend
a
ddeliminat
e
d
params to part
i
tions
commit
|
commitdiff
|
tree
2004-08-01
skimo
b
ail early on empt
y
polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduce higher de
g
r
ees
o
f fra
c
tional parts
w
i
t
h f
l
oor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
only
r
a
y
s
i
nvolving
t
h
e
real var
i
ables lead t
o
unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform range r
e
d
uction if re
q
ue
s
ted
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
on
l
y
c
a
l
culate once for part that is independent
of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
per
f
orm
another
r
ange reduction
a
f
ter summati
o
n
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decompo
s
i
tions based on validity domains and p
a
ram
e
tric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split
off part t
h
at certa
i
nly contains l
a
tti
c
e po
i
n
t
s
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
mo
rout
i
ne for redu
c
ing to zero va
r
iables case
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
s
e newly added ro
u
t
i
ne
commit
|
commitdiff
|
tree
2004-07-30
skimo
a polytope with rays ind
e
pen
d
e
n
t of
th
e
exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
che
c
k
for
em
p
ty polytop
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify
c
onst
r
a
ints on each invocation of barvinok_
e
numerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
ext
r
act out
r
ou
t
ine
f
o
r "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
nused
r
o
u
tine for removing d
o
u
ble bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send
d
ebug o
u
tput to std
e
rr in (
u
nu
s
ed) unfr
i
nge
commit
|
commitdiff
|
tree
2004-07-30
skim
o
m
a
k
e debugg
i
n easi
e
r
by k
e
epi
n
g
track of recur
s
ion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
ext
r
act out routine to
a
l
i
gn constraint along
a
l
inear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If
o
n
e
o
f the hy
p
erplan
e
s ha
s
to be in
d
ependent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
En
s
ure t
h
at first
variable is
made negative inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that
splittin
g
will
r
e
duce the number of existential
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstra
c
t out handlin
g
of mu
l
tiple
validity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
E
x
tra ch
e
ck t
h
at is proba
b
ly not needed
commit
|
commitdiff
|
tree
2004-07-29
s
k
i
mo
handle composed validi
t
y domain
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
r
e
duce after s
u
mm
a
tion
commit
|
commitdiff
|
tree
2004-07-29
skimo
d
on't
c
r
eat
e
empty p
a
r
titions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow evaluation
o
f
f
loor
i
ngs
commit
|
commitdiff
|
tree
2004-07-29
skimo
pe
r
form (tr
i
vial) redu
c
tion on floor
i
n
g
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
make reo
r
der_terms wo
r
k for flo
o
ring
s
commit
|
commitdiff
|
tree
2004-07-29
s
k
im
o
c
o
rr
e
c
t
check fo
r
1
commit
|
commitdiff
|
tree
2004-07-29
skimo
b
e more strict
when
comp
a
ring t
w
o r
a
t
ionals
commit
|
commitdiff
|
tree
2004-07-29
skim
o
ty
p
o in
c
omment
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle case o
f
all empty val
i
dity do
m
a
ins
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
s
uppor
t
polynomials i
n
"rea
l
" para
m
et
e
rs
commit
|
commitdiff
|
tree
2004-07-21
skimo
h
a
ndle
n
egative va
l
ues of summed varia
b
le
commit
|
commitdiff
|
tree
2004-07-21
skimo
check
whether POLYTOPE_
P
REFIX is actually set
commit
|
commitdiff
|
tree
2004-07-20
skimo
flo
o
r convers
i
o
n
and partial imp
l
ementation of
esum
commit
|
commitdiff
|
tree
2004-07-20
skimo
pos starts at 1
commit
|
commitdiff
|
tree
2004-07-19
sk
i
mo
min
o
r reordering of code
commit
|
commitdiff
|
tree
2004-07-19
skimo
split off more common code
commit
|
commitdiff
|
tree
2004-07-19
skim
o
revert
c
hange commit
e
d by accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
add col
l
ect_po
l
ytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
s
kimo
recurse into the co
r
rect
v
e
rsion of count_points
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
"or"-split for
c
ase with
only
e
xistent
i
al
v
aria
b
l
e
s
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow s
p
lit on othe
r
than first existenti
a
l variable
commit
|
commitdiff
|
tree
2004-07-18
s
kimo
extract out co
d
e to split on a con
s
traint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existential"
version o
f
veri
f
_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide evalu
e
to
e
nume
r
ation conversio
n
commit
|
commitdiff
|
tree
2004-07-17
skimo
ad
a
pt to deal with existential var
i
ables
commit
|
commitdiff
|
tree
2004-07-16
ski
m
o
copie
d
fr
o
m ehrh
a
rt
.
c fro
m
Po
l
ylib distribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle
trivial case o
f
only exi
s
ten
t
ial variables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It
s
hould
b
e sufficient that one
o
f
the bounds is inde
p
endent
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't c
o
u
nt storage spac
e
for the ray
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump vers
i
on
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
fix up chan
g
e
l
og
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
bump vers
i
on
s
ome m
o
re since we changed the interface
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of debugging mess
a
g
e
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
u
p
da
t
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
bri
e
f
d
escri
p
tio
n
of the i
n
p
ut
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
r
e
place mod
u
lo b
y
fra
c
t
ional
commit
|
commitdiff
|
tree
2004-07-06
skimo
remove em
p
ty partitions in place
commit
|
commitdiff
|
tree
2004-07-06
skim
o
more mem
o
ry l
e
aks
commit
|
commitdiff
|
tree
2004-07-06
skim
o
m
emory
l
e
ak
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
p
o
tential memory
l
eak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential) mem
o
ry leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
print more
info
commit
|
commitdiff
|
tree
2004-07-05
skimo
preloa
d
library to count th
e
numbe
r
of validity domains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skim
o
memory
l
eak
commit
|
commitdiff
|
tree
2004-07-01
sk
i
mo
me
m
ory lea
k
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory
leak
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use fu
n
ction for copying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
orde
r
pe
r
iodic
s
in multip
l
i
cati
o
n as well
commit
|
commitdiff
|
tree
2004-06-26
skimo
copy
value be
f
ore
freeing
commit
|
commitdiff
|
tree
2004-06-26
s
k
imo
regres
s
i
on
te
s
t
commit
|
commitdiff
|
tree
2004-06-26
s
k
imo
handle case wh
e
r
e
polytope has no "r
e
al" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use
s
m
all
e
st representa
t
ive in absolute value rather
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skim
o
Debugging output to evalu
a
te the us
e
f
ulness of several
commit
|
commitdiff
|
tree
2004-06-25
ski
m
o
Add co
n
s
traint
i
f expression is only integer
f
o
r a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skim
o
perform range re
d
uction on cond
i
ti
o
n
of rel
a
t
io
n
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully prop
a
gate reordering
commit
|
commitdiff
|
tree
2004-06-24
skimo
par
t
ially
prop
a
g
ate reordering and
r
educe
i
n c
a
se of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
r
emove comment
commit
|
commitdiff
|
tree
2004-06-24
skimo
Range reduction and some auxiliary funct
i
on
s
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
I
nvert a fractional if leading coefficient becom
e
s
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
remove debugging ou
t
p
u
t
commit
|
commitdiff
|
tree
2004-06-24
skimo
R
emove
inv
a
l
id memory access
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
r
e
c
ompu
t
e
d
o
mains
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
compute si
z
e of all subdoma
i
ns
commit
|
commitdiff
|
tree
2004-06-23
skimo
trivial r
e
combination
commit
|
commitdiff
|
tree
2004-06-23
skimo
a
lso inv
e
r
t
when constant is ha
l
f
the
m
odulo, si
n
ce
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Allow more fr
a
cit
o
n
a
l s
u
bstitutions, in particular
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
search for pair o
f
fractiona
l
s that c
a
n
(
optimally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
alwa
y
s provi
d
e
subst st
r
uct
u
r
e
(even i
f
emp
t
y)
commit
|
commitdiff
|
tree
2004-06-22
skimo
a
v
o
id i
n
finite
loop caus
e
d by splitti
n
g of
f
nothing
commit
|
commitdiff
|
tree
next