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
check for getopt
2004-08-31
skimo
c
h
eck f
o
r ge
t
op
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
move
"
const
a
nt" constant part
o
ut
s
i
d
e
o
f
f
r
actional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
combine r
e
sult
commit
|
commitdiff
|
tree
2004-08-29
skimo
small memory leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use pip
if
availa
b
l
e
commit
|
commitdiff
|
tree
2004-08-29
skimo
che
c
k for p
i
plib
commit
|
commitdiff
|
tree
2004-08-29
s
k
i
mo
convert
to lookup-table
i
f
requested
commit
|
commitdiff
|
tree
2004-08-29
skimo
t
e
s
t program for pip support
commit
|
commitdiff
|
tree
2004-08-29
s
ki
m
o
a
d
d support for compu
t
in
g
the lexicographical min
i
m
u
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
l
s
o lo
o
k at den
o
minator of the constant
commit
|
commitdiff
|
tree
2004-08-28
skimo
more p
a
r
t
ia
l
r
a
y re
m
ova
l
(lar
g
ely untest
e
d
commit
|
commitdiff
|
tree
2004-08-23
skimo
s
/
vd/ve
r
tices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check that polyli
b
is recent enough to correct
l
y co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add t12
.
i
n
e
sum
.
i
n
commit
|
commitdiff
|
tree
2004-08-23
skim
o
new tests f
r
om polylib
commit
|
commitdiff
|
tree
2004-08-23
skim
o
perform
c
or
r
ect
periodic number
l
o
okup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more info
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
correct test for m
p
z_di
v
i
s
ible_p
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
rep
e
at workaround in loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
older g
m
ps seem to
h
a
ve
p
r
o
blems
with a str
i
ng constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support older
gmp versions
commit
|
commitdiff
|
tree
2004-08-13
s
kimo
don't assu
m
e C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
rem
o
v
e code dup
l
i
cation
commit
|
commitdiff
|
tree
2004-08-09
skim
o
e
x
tract out common c
o
de
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract ou
t
code to construct negative
t
est cons
t
raint
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
code reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect more unhandle
d
cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
s
i
m
plif
y
some cod
e
commit
|
commitdiff
|
tree
2004-08-08
skimo
remove red
u
ndant rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
al
l
o
w any number of
p
ar
t
s in enume
r
a
t
e_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"imp
l
e
m
ent" eor
commit
|
commitdiff
|
tree
2004-08-08
s
k
i
mo
handle (single) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
remove (some)
l
i
nes
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
set nparam back to use as
n
u
m
ber of dimensions
i
n
p
artition
commit
|
commitdiff
|
tree
2004-08-05
skimo
make compute_enode work
a
gain in general
c
ase
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
remove debugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove debu
g
ging o
u
tput
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
use evalu
e
rather than en
u
meration and some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend printi
n
g and comput
i
ng to
handle
s
"
m
o
dulo
s
"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternative to in_domai
n
tha
t
handles "modulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
store "real" dimension in pos field of part
i
tion
commit
|
commitdiff
|
tree
2004-08-04
skimo
rem
o
ve dupli
c
ate implementation
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
be slightly more co
n
servativ
e
(
correct)
i
n determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a
ray that depends on the
p
a
r
ameters should be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
cl
e
an up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
mory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
o
ry leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
mo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
mem
o
ry
l
eak
commit
|
commitdiff
|
tree
2004-08-03
skimo
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debugging output
commit
|
commitdiff
|
tree
2004-08-03
skimo
check whether proje
c
ti
o
n is
b
ounded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on parametric
ver
t
ex
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
I
f one of the ve
r
tice
s
in
the com
b
ined space
i
s a l
a
t
t
i
c
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate
p
aramete
r
s if we can
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
only
p
e
rf
o
rm
v
d
b
a
sid red
u
ction if the polytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfringe polyhedron
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
remove de
b
uggi
n
g output in u
n
fri
n
ge
commit
|
commitdiff
|
tree
2004-08-03
skimo
e
x
te
n
d
a
ddelimin
a
tedparams t
o
p
artitions
commit
|
commitdiff
|
tree
2004-08-01
skimo
bail early on empty polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
red
u
ce higher deg
r
ee
s
of fra
c
tional parts w
i
th floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
kim
o
onl
y
r
ays i
n
volving the re
a
l va
r
iables lead t
o
unbound
e
d
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skim
o
perf
o
rm range r
e
duction if requeste
d
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
only ca
l
culate once for pa
r
t that i
s
in
d
ependent o
f
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform
a
nother r
a
nge
r
e
d
ucti
o
n after summatio
n
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decomposi
t
i
o
ns
b
ased o
n
validity domains a
n
d par
a
metric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
split
off p
a
rt
t
h
at certain
l
y conta
i
ns lattice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
routine for reducing
t
o zer
o
variables case
commit
|
commitdiff
|
tree
2004-07-30
skim
o
u
s
e newl
y
added ro
u
ti
n
e
commit
|
commitdiff
|
tree
2004-07-30
skim
o
a
p
o
lyto
p
e wi
t
h
rays indepe
n
dent of the existentia
l
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
im
o
check for empty polyt
o
pe
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
m
o
si
m
plify c
o
n
s
t
r
a
ints
on
e
ach invocation of
barvi
n
ok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
extract out routine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
nused routi
n
e for removing
double bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
end debug output to stderr in (unused
)
unfringe
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
make
d
ebuggin e
a
s
ier by
k
ee
p
i
n
g track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out routine to align cons
t
raint along a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of the
hyperp
l
ane
s
has to be i
n
depende
n
t as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
Ensure that first va
r
i
ab
l
e is mad
e
n
egative inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that
s
pl
i
tti
n
g will reduce the num
b
e
r
of existenti
a
l
commit
|
commitdiff
|
tree
2004-07-30
skimo
ab
s
tract out h
a
ndli
n
g of multipl
e
validity domai
n
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra c
h
eck that is pr
o
bably not needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
han
d
le composed
v
ali
d
ity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce a
f
ter s
u
m
m
ation
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't create e
m
pty partitions
commit
|
commitdiff
|
tree
2004-07-29
s
k
i
m
o
allow evalua
t
ion of fl
o
o
r
ings
commit
|
commitdiff
|
tree
2004-07-29
skimo
perf
o
rm (tri
v
ial) reduc
t
ion on floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
make reorder_
t
erms w
o
rk
for
f
loorings
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
correc
t
check for 1
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
be more stri
c
t when com
p
arin
g
two rationals
commit
|
commitdiff
|
tree
2004-07-29
skimo
typ
o
i
n
c
o
mment
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
han
d
le case of a
l
l emp
t
y
val
i
dity doma
i
ns
commit
|
commitdiff
|
tree
2004-07-21
skimo
support polynomials
in
"real" parameters
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
handle negat
i
ve values of summed va
r
i
a
b
le
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
check
whether
P
O
LYTOPE_PREFIX is actually s
e
t
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor conv
e
rsion
and part
i
al
impl
e
mentation of e
s
um
commit
|
commitdiff
|
tree
2004-07-20
skimo
pos starts
at 1
commit
|
commitdiff
|
tree
next