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 redundant rays
2004-08-08
skim
o
remove redundant rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow any number
o
f
parts in enumerate_or
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
"impleme
n
t" e
o
r
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
hand
l
e
(
si
n
gle) ray
commit
|
commitdiff
|
tree
2004-08-06
sk
i
mo
remov
e
(some) lines
commit
|
commitdiff
|
tree
2004-08-05
skim
o
set npara
m
b
a
ck to us
e
as
n
umb
e
r of
d
imensi
o
ns
i
n
p
artition
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
make
c
o
m
pute_enode w
o
rk aga
i
n
in
g
e
n
eral cas
e
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove debugg
i
ng output
commit
|
commitdiff
|
tree
2004-08-05
skimo
r
emove de
b
ugg
i
ng output
commit
|
commitdiff
|
tree
2004-08-05
skimo
u
se eva
l
ue rath
e
r than enu
m
erat
i
on and
s
ome memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend printing and computing to ha
n
d
l
es "modulos
"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
i
m
o
alternat
i
ve
to in_doma
i
n
that handles "modu
l
os"
in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skim
o
store
"
real" dimension in pos fi
e
ld
o
f
partition
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove duplicate im
p
lementation
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
b
e
slightly
m
o
re cons
e
rv
a
t
i
ve (c
o
rrec
t
) in determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a ray that de
p
ends on th
e
p
ara
m
eter
s
should
be o
k
commit
|
commitdiff
|
tree
2004-08-04
skimo
cle
a
n
up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory lea
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
ory
l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
m
ory lea
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
rem
o
v
e
d
eb
u
g
ging output
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
check
w
hether projection is b
o
unded
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
Split on para
m
etri
c
ve
r
te
x
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
I
f one of the vertices in the combi
n
ed space is a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate para
m
eters if we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only perform
vd b
a
si
d
reductio
n
if
t
he p
o
lytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
m
o
u
nfringe polyhedron
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
remove debugging ou
t
p
ut
i
n unfringe
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
ext
e
nd addel
i
minatedparams to partitions
commit
|
commitdiff
|
tree
2004-08-01
skimo
ba
i
l early
on empty polytope
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
reduce higher
degrees
o
f f
r
acti
o
n
a
l parts with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
on
l
y rays involving th
e
real va
r
iables lead to unb
o
unded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform ran
g
e reductio
n
if re
q
u
e
sted
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
only c
a
lculate once for
p
ar
t
that is independent
o
f
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
p
e
rform another range
re
d
uc
t
ion af
t
er summat
i
on
commit
|
commitdiff
|
tree
2004-07-31
skimo
D
e
compositi
o
ns ba
s
ed on validity domains and parametri
c
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
sp
l
it
o
ff
par
t
t
hat certai
n
ly
c
ontains lattice points
commit
|
commitdiff
|
tree
2004-07-30
skim
o
routi
n
e for
reducing to ze
r
o variables case
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
use new
l
y added routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a polytope with ra
y
s
indepe
n
de
n
t of the e
x
is
t
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check fo
r
emp
t
y polyto
p
e
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
simp
l
ify
c
onstrain
t
s on each
invocation of barvi
n
ok_
e
numerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
ex
t
ract out routine for "
o
r"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused r
o
u
tin
e
f
or removing
d
ouble bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send debug
o
u
t
put
to stderr in (unused) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
make debuggin easier by k
e
e
p
in
g
track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
e
x
t
r
act out routi
n
e to al
i
gn constraint
along a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of the hyperplanes h
a
s to be ind
e
pendent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that fi
r
st variable is made negat
i
ve
i
n
side
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
Ensure that splitting will re
d
uce the nu
m
b
e
r of exi
s
tential
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstract out h
a
ndli
n
g of multiple
v
a
l
id
i
t
y domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra
ch
e
ck that is probably n
o
t
n
eeded
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
handl
e
compos
e
d validity domain
s
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
reduce aft
e
r summa
t
ion
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't cre
a
t
e
emp
t
y
p
a
r
t
i
t
ions
commit
|
commitdiff
|
tree
2004-07-29
skim
o
allow evaluation of
f
l
o
o
rings
commit
|
commitdiff
|
tree
2004-07-29
skimo
perf
o
rm
(
tr
i
vial) r
e
duction on floorin
g
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
make
reorder_te
r
m
s
work for floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct ch
e
c
k for 1
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
be more
stri
c
t
wh
e
n
c
o
m
p
a
ring two rationals
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo in
comm
e
nt
commit
|
commitdiff
|
tree
2004-07-21
skimo
handl
e
case
of all empt
y
validity
d
o
mains
commit
|
commitdiff
|
tree
2004-07-21
skimo
s
u
p
p
ort poly
n
omials in "re
a
l" para
m
e
ters
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
hand
l
e negative values of su
m
m
e
d variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
check whether POLYTOPE
_
PREFI
X
is act
u
a
lly set
commit
|
commitdiff
|
tree
2004-07-20
s
k
imo
floor co
n
version and p
a
rtial im
p
lemen
t
ation of
esum
commit
|
commitdiff
|
tree
2004-07-20
ski
m
o
pos s
t
arts a
t
1
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
minor reordering of cod
e
commit
|
commitdiff
|
tree
2004-07-19
skimo
split of
f
mor
e
common
c
o
d
e
commit
|
commitdiff
|
tree
2004-07-19
skimo
revert
c
hange com
m
ited by a
c
ciden
t
commit
|
commitdiff
|
tree
2004-07-19
skim
o
add
collect
_
po
l
ytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
recur
s
e
into the correct version o
f
co
u
nt
_
points
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
"or"-
s
p
lit
f
or
c
as
e
w
ith only existential variables
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow split on ot
h
er than
f
irst existential var
i
abl
e
commit
|
commitdiff
|
tree
2004-07-18
sk
i
m
o
extract out cod
e
to s
p
l
i
t
o
n
a
constraint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existential" version of veri
f
_ehr
h
art
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide evalue to en
u
meratio
n
conv
e
rsi
o
n
commit
|
commitdiff
|
tree
2004-07-17
skimo
adap
t
t
o deal with e
x
istential
v
ari
a
bles
commit
|
commitdiff
|
tree
2004-07-16
skimo
copied from ehrhart
.
c fro
m
Polylib distribution
commit
|
commitdiff
|
tree
2004-07-14
s
kimo
handle trivial case of onl
y
exist
e
ntial variables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It should be sufficient tha
t
one of the
b
ounds i
s
independent
commit
|
commitdiff
|
tree
2004-07-14
s
k
imo
don't
co
u
n
t
s
tor
a
ge space for t
h
e rays
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
bump
v
ersio
n
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix up changelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
u
m
p ver
s
ion so
m
e more si
n
ce we changed the interfac
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn
of
de
b
u
g
gin
g
messa
g
es
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
up
d
a
t
e
commit
|
commitdiff
|
tree
2004-07-06
s
k
im
o
brief de
s
cription of the input
commit
|
commitdiff
|
tree
2004-07-06
skimo
replace mod
u
lo by fra
c
t
i
o
nal
commit
|
commitdiff
|
tree
2004-07-06
skimo
r
emove e
m
pt
y
partitions in place
commit
|
commitdiff
|
tree
2004-07-06
skimo
more memory le
a
ks
commit
|
commitdiff
|
tree
2004-07-06
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
potential memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(
p
o
t
ential)
m
emory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
p
r
int
more
i
nfo
commit
|
commitdiff
|
tree
2004-07-05
skimo
preload library to coun
t
the
n
umber of validi
t
y domains
commit
|
commitdiff
|
tree
next