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
converter for cdd input to polylib input
2004-09-18
skimo
converter for cdd input
t
o polylib
i
n
put
commit
|
commitdiff
|
tree
2004-09-18
skimo
conf
o
rm to C89
commit
|
commitdiff
|
tree
2004-09-07
sk
i
mo
hooks
to coun
t
the
inpu
t
and
o
utput si
z
e
in bits
commit
|
commitdiff
|
tree
2004-09-07
skimo
be care
f
ul about what
to negate
commit
|
commitdiff
|
tree
2004-09-04
s
k
imo
s
o
m
e
vector partition
e
xamples
commit
|
commitdiff
|
tree
2004-08-31
skimo
a
v
o
id gccisms
commit
|
commitdiff
|
tree
2004-08-31
skimo
include st
r
ing
nee
d
for memcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
a
voi
d
g
ccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
for
c
e c++ linkin
g
instead
of linking in libstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
for
c
e
ins
t
allation
of (pos
s
i
b
l
y
) new
v
ersi
o
n
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
c
heck fo
r
getopt
commit
|
commitdiff
|
tree
2004-08-29
s
k
im
o
move "constant" cons
t
ant part ou
t
side of fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
com
b
ine result
commit
|
commitdiff
|
tree
2004-08-29
skimo
sma
l
l memo
r
y
lea
k
commit
|
commitdiff
|
tree
2004-08-29
skimo
u
se pip if avai
l
able
commit
|
commitdiff
|
tree
2004-08-29
skimo
chec
k
for
piplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert
t
o lookup-table if requested
commit
|
commitdiff
|
tree
2004-08-29
skimo
te
s
t pr
o
g
ram for p
i
p sup
p
ort
commit
|
commitdiff
|
tree
2004-08-29
skimo
ad
d
support
f
or computing the lexicographi
c
al m
i
n
i
mum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
also look at denominator of the constant
commit
|
commitdiff
|
tree
2004-08-28
skimo
more partial ra
y
r
e
moval
(
largely untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s
/vd/v
e
rtices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check that polylib
is
recent e
n
oug
h
to correctly comput
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skim
o
add t12
.
in es
u
m
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests from polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform correct peri
o
dic
number
l
o
okup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
m
ore info
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
correct test for
m
p
z_div
i
sible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
r
epea
t
workarou
n
d in loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
o
lder g
m
p
s see
m
to h
a
v
e pr
o
ble
m
s with a stri
n
g constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
sk
i
m
o
support
o
l
der gmp versi
o
n
s
commit
|
commitdiff
|
tree
2004-08-13
s
ki
m
o
d
o
n't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
re
m
ove
c
o
de
d
u
plic
a
tion
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out common cod
e
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract ou
t
code t
o
c
o
n
struct negative
t
es
t
constraint
commit
|
commitdiff
|
tree
2004-08-09
skimo
code
reuse
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
detect more unhand
l
ed c
a
ses
commit
|
commitdiff
|
tree
2004-08-09
skimo
s
i
mplify some co
d
e
commit
|
commitdiff
|
tree
2004-08-08
skimo
remove
r
e
dundant ray
s
commit
|
commitdiff
|
tree
2004-08-08
skimo
a
l
low any number of
p
arts in enumerate_or
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
"
implement" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
hand
l
e
(single) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
rem
o
ve
(so
m
e) lines
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
set n
p
aram back to
u
s
e
as n
u
mber of dimensions in par
t
ition
commit
|
commitdiff
|
tree
2004-08-05
skimo
make
compute_
e
n
ode work again
i
n
g
e
n
er
a
l ca
s
e
commit
|
commitdiff
|
tree
2004-08-05
skimo
rem
o
ve
debugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove debu
g
ging output
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
use evalue rather t
h
a
n enumerat
i
o
n
a
n
d some
m
emory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
e
x
te
n
d printing and compu
t
in
g
t
o
han
d
l
es
"modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternat
i
v
e
to in_d
o
main that
h
andles "modulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "re
a
l" dimension in pos f
i
eld
o
f partition
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove duplicate
i
m
plement
a
tion
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
be sligh
t
ly more conservative (co
r
r
e
c
t) in determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
a
ray that
d
epe
n
ds on the par
a
meters sho
u
ld be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
clean up
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
me
m
o
ry
l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
me
m
ory
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove
d
ebugging
o
utput
commit
|
commitdiff
|
tree
2004-08-03
skimo
check
w
h
e
ther projection i
s
bounded
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
Spli
t
o
n
parametr
i
c vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one of the
ve
r
tices in the
c
ombine
d
space is
a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skim
o
eliminate p
a
ramete
r
s if we c
a
n
commit
|
commitdiff
|
tree
2004-08-03
skimo
o
n
l
y
perform vd
basid reduction i
f
the poly
t
o
p
e has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
u
nfrin
g
e polyhedron
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debugging outp
u
t in u
n
fringe
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
e
xtend addelimina
t
e
d
p
a
rams to
p
art
i
tions
commit
|
commitdiff
|
tree
2004-08-01
skimo
bail e
a
r
ly on empty pol
y
tope
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduce higher deg
r
e
e
s
of f
r
a
c
t
i
onal parts with floo
r
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skim
o
only rays
involving the
r
eal variables l
e
ad to unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform ran
g
e reduction if requeste
d
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
only calculate o
n
ce for part that is inde
p
end
e
nt of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform another
range
reduction
after summation
commit
|
commitdiff
|
tree
2004-07-31
s
k
i
m
o
D
e
compositions based on
v
a
lidi
t
y
d
omains and param
e
tric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split
o
ff part that certai
n
l
y
c
o
n
t
a
ins lattice
points
commit
|
commitdiff
|
tree
2004-07-30
skimo
rout
i
n
e fo
r
red
u
cing to zero variables case
commit
|
commitdiff
|
tree
2004-07-30
skimo
us
e
new
l
y added
r
o
u
tine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
p
o
ly
t
ope with rays indepen
d
ent of the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check for em
p
ty polytope
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
simplify constra
i
nts on each invo
c
ation of b
a
r
vinok
_
enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
extract out ro
u
tine
for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
unused ro
u
tine for removing double bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
end debug output to stderr in (unused) unfring
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
make debuggin easi
e
r by ke
e
ping track
o
f recursio
n
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
extract out r
o
utine
t
o ali
g
n constraint along
a
li
n
ear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
I
f one of the hyperplanes has to b
e
i
n
de
p
e
nd
e
n
t
as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
Ensure th
a
t fir
s
t
v
ariable is made ne
g
a
tive
i
nside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
E
nsur
e
that sp
l
it
t
ing
w
i
ll reduc
e
the number of exis
t
e
ntial
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstract out
h
andling of multiple
validity domains
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
Ex
t
ra che
c
k that is probably not needed
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
handle composed
validity d
o
mains
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
redu
c
e
after
sum
m
at
i
on
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't creat
e
empt
y
p
a
rtitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow evaluation o
f
fl
o
orings
commit
|
commitdiff
|
tree
2004-07-29
skimo
p
e
r
form (trivial) reduc
t
i
o
n on floorings
commit
|
commitdiff
|
tree
next