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
optionally use pip
2004-09-18
skimo
o
p
t
ionally use pi
p
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
re
n
ame an
d
export pip-b
a
sed en
u
m
e
ration
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
conve
r
ter for cdd input to polylib input
commit
|
commitdiff
|
tree
2004-09-18
skim
o
conform to C8
9
commit
|
commitdiff
|
tree
2004-09-07
s
k
imo
hooks
to count the input and ou
t
p
u
t
size in bits
commit
|
commitdiff
|
tree
2004-09-07
skimo
be car
e
fu
l
a
b
o
ut wh
a
t to nega
t
e
commit
|
commitdiff
|
tree
2004-09-04
skimo
so
m
e
vec
t
or
p
artition ex
a
m
p
les
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
av
o
id gcci
s
m
s
commit
|
commitdiff
|
tree
2004-08-31
skimo
i
n
clud
e
strin
g
n
eed fo
r
m
emcp
y
commit
|
commitdiff
|
tree
2004-08-31
skimo
av
o
id gccism
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
f
o
rce c++ li
n
ki
n
g
i
nstead of linkin
g
in l
i
bstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
for
c
e inst
a
llation of (p
o
ssibly) n
e
w version
commit
|
commitdiff
|
tree
2004-08-31
skimo
c
h
e
ck for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
m
o
ve
"
co
n
stant" co
n
stant p
a
rt
ou
t
s
i
de of fr
a
c
tio
n
al
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combine resu
l
t
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
s
mall memory
leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use
p
ip if available
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
h
eck for pipli
b
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
c
o
nvert to look
u
p
-table i
f
req
u
este
d
commit
|
commitdiff
|
tree
2004-08-29
skimo
tes
t
pr
o
gram for pip s
u
pport
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
d
d
su
p
p
ort for computing the lexicogr
a
phic
a
l m
i
nimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
also look at de
n
ominator of the constant
commit
|
commitdiff
|
tree
2004-08-28
skimo
more partial ray removal (largely unte
s
ted
commit
|
commitdiff
|
tree
2004-08-23
skimo
s
/v
d
/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
ch
e
ck th
a
t
p
o
l
y
l
ib
i
s rec
e
nt enough to corr
e
ctly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
add t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests from polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform co
r
re
c
t periodic num
b
er lookup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
more info
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
cor
r
ec
t
test f
o
r mpz_div
i
si
b
le_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat workaround in loop
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
older gmps
see
m
to have pr
o
blems with a string cons
t
i
s
ting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skim
o
s
u
pport older g
m
p
versions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove c
o
d
e
dup
l
ication
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out common c
o
de
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract o
u
t code to constru
c
t
n
egative
t
est co
n
strain
t
commit
|
commitdiff
|
tree
2004-08-09
skimo
code reu
s
e
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
detect more un
h
a
n
dled cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify
s
o
me
c
o
d
e
commit
|
commitdiff
|
tree
2004-08-08
skimo
re
m
ove r
e
dunda
n
t
r
a
ys
commit
|
commitdiff
|
tree
2004-08-08
skimo
a
l
low any numbe
r
of
parts in enumerate_or
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
"impl
e
m
ent"
e
o
r
commit
|
commitdiff
|
tree
2004-08-08
skimo
handl
e
(s
i
ngle)
ray
commit
|
commitdiff
|
tree
2004-08-06
s
kimo
rem
o
ve
(
some) lines
commit
|
commitdiff
|
tree
2004-08-05
skim
o
se
t
nparam
back to u
s
e
as number o
f
dimensions
i
n part
i
tion
commit
|
commitdiff
|
tree
2004-08-05
skimo
mak
e
com
p
ute_en
o
de work
again in general
c
ase
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove debugging output
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
r
e
m
ove debugg
i
ng output
commit
|
commitdiff
|
tree
2004-08-05
skimo
use e
v
a
l
u
e
ra
t
her than enumeration and some
memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend printi
n
g and compu
t
ing to handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternative to in_domain th
a
t
h
andles "modulos"
in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "real"
d
imension in
po
s
field of par
t
it
i
on
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
remove duplicate implem
e
ntation
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
be
s
lig
h
tl
y
more c
o
nservative (corr
e
ct) in determi
n
ing
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a r
a
y th
a
t de
p
e
n
ds on th
e
p
arameter
s
sho
u
ld be ok
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
c
l
ean up
commit
|
commitdiff
|
tree
2004-08-04
sk
i
m
o
m
emory leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
m
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memory leak
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
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
r
emove
debugging outp
u
t
commit
|
commitdiff
|
tree
2004-08-03
skimo
c
heck wheth
e
r projection is
b
oun
d
ed
commit
|
commitdiff
|
tree
2004-08-03
skimo
Spli
t
on par
a
metric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
I
f
one
o
f the verti
c
es in th
e
combined space
is a latti
c
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
elimin
a
te parameters if we
c
an
commit
|
commitdiff
|
tree
2004-08-03
skimo
only
perform vd basid redu
c
tion if the po
l
y
tope ha
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skim
o
unfringe polyhedron
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
remove debugging out
p
ut in
u
nfringe
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
mo
extend ad
d
elimin
a
tedp
a
rams to partition
s
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
bail early o
n
e
m
pty polyto
p
e
commit
|
commitdiff
|
tree
2004-08-01
sk
i
m
o
reduce higher
d
egre
e
s of fr
a
ction
a
l
p
arts
with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only
rays
i
nvolving the re
a
l
v
a
r
iables
lea
d
t
o
unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
pe
r
form r
a
nge reduction if req
u
ested
commit
|
commitdiff
|
tree
2004-08-01
skimo
only calculate once f
o
r part
t
hat is independent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
s
kimo
per
f
o
r
m
another
ran
g
e
reduction
a
fter summation
commit
|
commitdiff
|
tree
2004-07-31
ski
m
o
D
e
compos
i
tions bas
e
d o
n
va
l
i
d
ity dom
a
ins and parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split off part that certainly conta
i
ns lattice p
o
ints
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
rout
i
ne for r
e
ducing to zero variables ca
s
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
use newly
ad
d
ed
r
outi
n
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
polytope
with rays i
n
d
e
p
en
d
ent of
the exist
e
nti
a
l
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check
for e
m
pty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
i
m
plify
constraints on each
i
n
v
oc
a
ti
o
n
of ba
r
vinok_enume
r
a
t
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extra
c
t
out routine fo
r
"or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unuse
d
ro
u
tine for
r
e
moving double bound
s
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
end deb
u
g
ou
t
put to std
e
r
r in (unuse
d
) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skim
o
make de
b
uggin ea
s
ier
by
k
eep
i
ng track
o
f
r
ecursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
extr
a
ct out
routin
e
to a
l
i
g
n constraint along a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
If one of the hyperplanes has to be independent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
Ensu
r
e that f
i
rs
t
variable
is ma
d
e negative in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
Ensure that sp
l
it
t
ing w
i
ll reduce the number of
e
xistenti
a
l
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstract
out handling of m
u
ltiple validi
t
y domains
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
Extra
c
he
c
k
that is prob
a
bl
y
not
n
e
eded
commit
|
commitdiff
|
tree
2004-07-29
s
k
i
mo
h
a
nd
l
e
composed
v
alid
i
ty domains
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
reduc
e
after summation
commit
|
commitdiff
|
tree
2004-07-29
skimo
do
n
't create
empty partitions
commit
|
commitdiff
|
tree
next