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
warn on floor conversion
2004-08-04
skimo
m
e
mo
r
y le
a
k
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
m
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
m
emory
leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
me
m
or
y
leak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
memory l
e
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove
d
ebu
g
g
i
ng output
commit
|
commitdiff
|
tree
2004-08-03
skim
o
check whether
p
r
o
je
c
tion is b
o
unded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on parametric v
e
r
t
ex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one
of the ve
r
tices in the combined s
p
ace i
s
a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
el
i
minate pa
r
ameters if w
e
can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only perform v
d
bas
i
d reduction
if t
h
e polytope
has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfringe
p
olyhedron
commit
|
commitdiff
|
tree
2004-08-03
skim
o
remo
v
e debuggin
g
output in unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
exten
d
addelim
i
n
a
tedpa
r
ams to part
i
t
ions
commit
|
commitdiff
|
tree
2004-08-01
skimo
bai
l
early on empty
p
oly
t
ope
commit
|
commitdiff
|
tree
2004-08-01
skimo
re
d
uce hi
g
he
r
degrees of frac
t
ional p
a
rts with flo
o
r
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
on
l
y
rays invol
v
ing the real variab
l
es lead
t
o
unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
perform ra
n
g
e
reduction
if r
e
que
s
ted
commit
|
commitdiff
|
tree
2004-08-01
skimo
only
calculate on
c
e for part that
is independent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skim
o
per
f
orm an
o
ther ra
n
ge r
e
duction afte
r
s
u
mma
t
ion
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decompositions b
a
sed
on val
i
dity domains and p
a
rametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split off part that
c
e
r
ta
i
nly
c
o
n
tains lattice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
ro
u
t
ine for r
e
ducing to zero v
a
riables cas
e
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
use n
e
wl
y
add
e
d
r
ou
t
ine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a pol
y
to
p
e with
r
ays independent of the existen
t
ia
l
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
c
hec
k
for emp
t
y p
o
lyt
o
pe
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify co
n
s
traints o
n
each invocation of barvinok_enum
e
r
at
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
extra
c
t
o
ut routine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skim
o
unus
e
d routine
f
or remov
i
ng
d
ouble b
o
u
nds
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
s
end
d
ebug outp
u
t to st
d
e
r
r
in (u
n
used) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
m
ake debuggin ea
s
ier by keeping track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
e
x
t
ract out routine t
o
align co
n
s
traint along a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
If one o
f
th
e
hyperplanes has to b
e
ind
e
pendent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure
th
a
t fi
r
st variable is made negativ
e
inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure
t
hat splitt
i
ng will re
d
uce
the number of e
x
i
stent
i
al
commit
|
commitdiff
|
tree
2004-07-30
skimo
abst
r
act out handling of mul
t
iple validity
d
omains
commit
|
commitdiff
|
tree
2004-07-29
skimo
E
x
tra check that is proba
b
ly n
o
t
n
e
eded
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
hand
l
e composed validity
doma
i
ns
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
reduce
a
f
t
er summation
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
don't cre
a
te
e
mpty
partitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow evaluation
of
fl
o
o
r
i
n
gs
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
perfo
r
m
(
tri
v
i
a
l) reduction
o
n floorin
g
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
m
ake reorder_terms w
o
rk for floor
i
ngs
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct check for 1
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
be
m
ore s
t
r
i
ct when comparing two rationals
commit
|
commitdiff
|
tree
2004-07-29
skimo
t
y
po i
n
comment
commit
|
commitdiff
|
tree
2004-07-21
skimo
h
a
ndl
e
case of
all empty validity
d
om
a
ins
commit
|
commitdiff
|
tree
2004-07-21
skimo
support polynomials in "re
a
l" parameters
commit
|
commitdiff
|
tree
2004-07-21
skimo
hand
l
e n
e
g
a
tive values of summed variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
chec
k
whethe
r
POLYTOPE_PREFIX is act
u
ally set
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor convers
i
on and par
t
ia
l
imp
l
emen
t
ation of e
s
um
commit
|
commitdiff
|
tree
2004-07-20
ski
m
o
pos
starts at 1
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
minor reorder
i
ng of c
o
de
commit
|
commitdiff
|
tree
2004-07-19
skimo
s
p
lit o
f
f m
o
re common
code
commit
|
commitdiff
|
tree
2004-07-19
skimo
r
e
vert change c
o
mmited by
ac
c
ident
commit
|
commitdiff
|
tree
2004-07-19
skimo
a
dd
c
ollect_polytope
s
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
recurse
i
nto the correct version of count
_
points
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
"or"-split for case with only exis
t
ential variables
commit
|
commitdiff
|
tree
2004-07-18
sk
i
mo
a
llow split on other than
f
ir
s
t
existential variabl
e
commit
|
commitdiff
|
tree
2004-07-18
skimo
extract
o
ut code to split
o
n
a
constraint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existential
"
version of ve
r
if
_
ehrha
r
t
commit
|
commitdiff
|
tree
2004-07-17
skimo
pr
o
vide
e
value to enumeration conversion
commit
|
commitdiff
|
tree
2004-07-17
skimo
adapt
t
o deal wit
h
ex
i
stential variabl
e
s
commit
|
commitdiff
|
tree
2004-07-16
ski
m
o
copied
f
rom ehrhart
.
c
from Polyl
i
b dis
t
ribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
ha
n
dle
t
r
i
vial case of only exi
s
ten
t
ial variables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It sho
u
ld be sufficie
n
t that one
of t
h
e bounds is independent
commit
|
commitdiff
|
tree
2004-07-14
skimo
d
on't count storage spac
e
for the rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump version
commit
|
commitdiff
|
tree
2004-07-06
s
kim
o
fix up c
h
angelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
ump
vers
i
o
n so
m
e more since
we chang
e
d th
e
inte
r
face
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn
o
f debugging messag
e
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
update
commit
|
commitdiff
|
tree
2004-07-06
skimo
brief desc
r
iption of the
i
nput
commit
|
commitdiff
|
tree
2004-07-06
skimo
replace modulo by fractional
commit
|
commitdiff
|
tree
2004-07-06
skimo
remove empty partitions
in p
l
ace
commit
|
commitdiff
|
tree
2004-07-06
s
ki
m
o
more
memory
l
e
a
ks
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
potential
memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential
)
m
emor
y
le
a
ks
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
print mo
r
e info
commit
|
commitdiff
|
tree
2004-07-05
skimo
preload library to count the nu
m
ber of v
a
lidity
domains
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
emory leak
commit
|
commitdiff
|
tree
2004-07-01
s
k
imo
m
emor
y
leak
commit
|
commitdiff
|
tree
2004-07-01
ski
m
o
memory lea
k
commit
|
commitdiff
|
tree
2004-07-01
skimo
me
m
or
y
leak
commit
|
commitdiff
|
tree
2004-06-26
ski
m
o
Us
e
funct
i
on for c
o
p
ying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
order periodics in multip
l
ication
a
s well
commit
|
commitdiff
|
tree
2004-06-26
skimo
c
opy value before f
r
eeing
commit
|
commitdiff
|
tree
2004-06-26
skimo
re
g
ressi
o
n
t
est
commit
|
commitdiff
|
tree
2004-06-26
s
kim
o
handle case where polyto
p
e has no "real"
dimen
s
ions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use
s
m
a
llest r
e
presentative in absolute
value
r
a
t
he
r
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debuggin
g
ou
t
put t
o
ev
a
luate the useful
n
es
s
of several
commit
|
commitdiff
|
tree
2004-06-25
s
kimo
Add constraint if expressio
n
is
only i
n
teger fo
r
a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skim
o
perf
o
r
m
ra
n
ge
r
eduction
on
c
ondition of relation
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully propagate r
e
o
r
dering
commit
|
commitdiff
|
tree
2004-06-24
skimo
part
i
ally propag
a
te reorderi
n
g an
d
r
e
duce in case of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove comment
commit
|
commitdiff
|
tree
2004-06-24
skim
o
Range reduction an
d
some auxiliary functions
.
commit
|
commitdiff
|
tree
next