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
remove (some) lines
2004-08-06
sk
i
mo
remove (some) lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
set npa
r
am bac
k
t
o
u
s
e as num
b
er of di
m
ensions in pa
r
tition
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
make c
o
m
p
u
t
e_enode work again i
n
general ca
s
e
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
rem
o
v
e debug
g
ing
o
utput
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
remove d
e
bugging
o
utput
commit
|
commitdiff
|
tree
2004-08-05
skimo
use evalue ra
t
her
t
han enu
m
er
a
tion an
d
som
e
memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
ex
t
end printing and comput
i
n
g
t
o
handles
"
mod
u
l
os"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternative
t
o in_do
m
ain t
h
at h
a
ndles
"
mod
u
los"
i
n
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
s
to
r
e "real" dim
e
n
s
io
n
i
n
pos fie
l
d of partit
i
on
commit
|
commitdiff
|
tree
2004-08-04
skim
o
re
m
o
v
e du
p
licate implemen
t
ation
commit
|
commitdiff
|
tree
2004-08-04
skimo
b
e slight
l
y
m
ore conservative
(
correct) i
n
determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a
ray t
h
at depends on t
h
e par
a
meters
should be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
clean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory lea
k
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
mo
memor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
m
o
m
e
mor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
ki
m
o
remove debugg
i
ng outpu
t
commit
|
commitdiff
|
tree
2004-08-03
skim
o
check whe
t
her projectio
n
is bou
n
d
e
d
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split o
n
para
m
etric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one o
f
the ve
r
tice
s
in th
e
combined space
i
s
a
lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
eliminate paramet
e
rs if we
can
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
only p
e
r
f
orm
v
d
basid
r
eduction if the polytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
u
nfringe polyhedron
commit
|
commitdiff
|
tree
2004-08-03
skimo
remov
e
debugging
o
utput in u
n
f
r
inge
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
ex
t
e
nd adde
l
im
i
natedparams
to partitions
commit
|
commitdiff
|
tree
2004-08-01
skimo
bail e
a
r
ly on empty polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduce higher degrees of fractional parts with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only rays invo
l
ving the rea
l
variables lead
t
o
unbou
n
ded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perfor
m
ra
n
ge reduc
t
io
n
if re
q
uested
commit
|
commitdiff
|
tree
2004-08-01
skimo
only calculate once for pa
r
t t
h
at is in
d
ependent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
sk
i
mo
p
erform another range reduction after
s
u
m
mation
commit
|
commitdiff
|
tree
2004-07-31
s
kimo
D
ec
o
mpos
i
tions based on validity
domains an
d
param
e
tric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kim
o
split off p
a
rt
t
hat certa
i
nly contains lattic
e
points
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
routine for reducing to ze
r
o v
a
riables case
commit
|
commitdiff
|
tree
2004-07-30
skimo
use newly
added routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
p
oly
t
ope with
r
ays i
n
dependent of the existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
c
h
eck
for emp
t
y polytope
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
simpl
i
f
y
cons
t
raints on each invocat
i
o
n
of barvinok_enum
e
rat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
extra
c
t o
u
t routine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
u
n
used routine for re
m
ovi
n
g d
o
ub
l
e bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send debug output to st
d
er
r
in (unused) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skim
o
make debuggin easie
r
by kee
p
i
n
g track of rec
u
rsion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
extract out routine to align constraint along a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of the
hyp
e
rp
l
anes has to be independent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
E
n
su
r
e
t
h
a
t
first variable is m
a
de ne
g
at
i
ve in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
E
n
sure that
sp
l
itting wil
l
reduce the number of existential
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
abstract ou
t
handling of m
u
l
t
ipl
e
validity do
m
ai
n
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
Ext
r
a check tha
t
is pro
b
ab
l
y no
t
needed
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
handle
c
omposed validity domains
commit
|
commitdiff
|
tree
2004-07-29
skim
o
reduc
e
after summation
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't create empty parti
t
ions
commit
|
commitdiff
|
tree
2004-07-29
skimo
a
l
low evaluation of floorings
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
p
erform (
t
rivial) reduction on floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
m
a
ke reo
r
der_ter
m
s work f
o
r
floor
i
ngs
commit
|
commitdiff
|
tree
2004-07-29
skimo
corre
c
t c
h
eck for
1
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
be more strict
when comparing two rationals
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
typo in comment
commit
|
commitdiff
|
tree
2004-07-21
s
kimo
h
a
ndle case of
a
ll
empty val
i
dity domains
commit
|
commitdiff
|
tree
2004-07-21
skimo
support polynomia
l
s in "
r
eal" pa
r
a
meters
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle ne
g
ative values o
f
summed variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
check whether POLYTOPE_PREFIX is actually set
commit
|
commitdiff
|
tree
2004-07-20
sk
i
mo
floo
r
c
onversion and p
a
rtial implementation of esum
commit
|
commitdiff
|
tree
2004-07-20
s
kim
o
pos starts at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
mino
r
reorde
r
i
n
g of
c
ode
commit
|
commitdiff
|
tree
2004-07-19
skimo
split
o
f
f more co
m
mon
c
ode
commit
|
commitdiff
|
tree
2004-07-19
skimo
revert
change com
m
i
t
ed b
y
ac
c
ident
commit
|
commitdiff
|
tree
2004-07-19
skimo
add col
l
ect_polyto
p
e
s
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
rec
u
rse in
t
o the correct v
e
r
s
i
o
n of
c
ount_points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-
s
plit for case wi
t
h only existenti
a
l variables
commit
|
commitdiff
|
tree
2004-07-18
s
kimo
a
l
l
o
w split o
n
other
t
han f
i
r
st existenti
a
l variable
commit
|
commitdiff
|
tree
2004-07-18
skim
o
extract out cod
e
to s
p
lit o
n
a constraint
commit
|
commitdiff
|
tree
2004-07-17
s
k
imo
"existential" version of
v
erif_e
h
r
h
a
r
t
commit
|
commitdiff
|
tree
2004-07-17
sk
i
mo
provi
d
e
evalue to enume
r
ation conv
e
rsion
commit
|
commitdiff
|
tree
2004-07-17
skimo
adapt to dea
l
with exis
t
ential variabl
e
s
commit
|
commitdiff
|
tree
2004-07-16
skimo
copied f
r
om ehrhart
.
c from Polylib d
i
stribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle trivial
c
ase of o
n
ly ex
i
stential
v
ariables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It should be sufficient that one
o
f the bounds i
s
in
d
epe
n
dent
commit
|
commitdiff
|
tree
2004-07-14
skim
o
don't
count storage space for the rays
commit
|
commitdiff
|
tree
2004-07-06
sk
i
m
o
b
ump vers
i
on
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix u
p
changelog
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
bump version some more
since we changed
t
h
e i
n
terfa
c
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of deb
u
gging messages
commit
|
commitdiff
|
tree
2004-07-06
skimo
updat
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
bri
e
f description of th
e
input
commit
|
commitdiff
|
tree
2004-07-06
sk
i
m
o
r
eplace modul
o
by f
r
actional
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
remove empty
p
art
i
tions in p
l
ace
commit
|
commitdiff
|
tree
2004-07-06
skimo
more memory l
e
a
k
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
potential
memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potentia
l
)
memory
l
eaks
commit
|
commitdiff
|
tree
2004-07-06
sk
i
m
o
print more info
commit
|
commitdiff
|
tree
2004-07-05
skimo
p
r
eload library to c
o
un
t
the numb
e
r of validity do
m
ains
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
e
mory l
e
ak
commit
|
commitdiff
|
tree
2004-07-01
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
emory lea
k
commit
|
commitdiff
|
tree
2004-07-01
skimo
me
m
ory l
e
ak
commit
|
commitdiff
|
tree
next