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
don't make numerator power positive + merge loops
2004-09-18
ski
m
o
don't make numerator powe
r
positive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow nega
t
ive power
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
b
ump version
commit
|
commitdiff
|
tree
2004-09-18
skimo
u
p
date
commit
|
commitdiff
|
tree
2004-09-18
skimo
p
oint to PI
P
l
o
cation
commit
|
commitdiff
|
tree
2004-09-18
skimo
shift polyt
o
pe
f
or PIP if
variab
l
es range over nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
allow verific
a
ti
o
n of
d
irect pip us
e
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't overallocate if we don't h
a
ve to
commit
|
commitdiff
|
tree
2004-09-18
skimo
d
o
n't overallocate if w
e
don't
h
ave
t
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
override ba
r
v
i
n
o
k_enume
r
ate_ev inste
a
d of barvinok_enumerate
commit
|
commitdiff
|
tree
2004-09-18
skimo
optionally use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
r
e
name and expo
r
t pip-based e
n
um
e
ration
commit
|
commitdiff
|
tree
2004-09-18
skimo
c
onver
t
e
r
f
or cdd input
to pol
y
li
b
input
commit
|
commitdiff
|
tree
2004-09-18
skimo
c
o
nform to C
8
9
commit
|
commitdiff
|
tree
2004-09-07
ski
m
o
hook
s
to
c
o
unt
t
he input and output size
i
n
bi
t
s
commit
|
commitdiff
|
tree
2004-09-07
skimo
be ca
r
ef
u
l about what to negate
commit
|
commitdiff
|
tree
2004-09-04
ski
m
o
so
m
e
v
ecto
r
partition e
x
ampl
e
s
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
avoid gccism
s
commit
|
commitdiff
|
tree
2004-08-31
skimo
i
n
cl
u
d
e stri
n
g ne
e
d
f
or memcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
av
o
i
d g
c
cism
commit
|
commitdiff
|
tree
2004-08-31
skimo
f
orce c++ linking i
n
stea
d
of link
i
ng in li
b
stdc+
+
commit
|
commitdiff
|
tree
2004-08-31
skimo
force
installation
of (possibl
y
) new version
commit
|
commitdiff
|
tree
2004-08-31
skimo
check for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
mov
e
"constant" constant part
outside of fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skim
o
combine result
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
small m
e
mo
r
y leak
commit
|
commitdiff
|
tree
2004-08-29
skim
o
u
se pi
p
i
f
available
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
heck
f
or piplib
commit
|
commitdiff
|
tree
2004-08-29
skim
o
convert
to lookup-table if re
q
uested
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
test pr
o
gram
f
or pip s
u
pport
commit
|
commitdiff
|
tree
2004-08-29
skimo
add support for computin
g
the lexicograp
h
ical mi
n
imum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
a
l
so
loo
k
at denominator of the con
s
t
a
nt
commit
|
commitdiff
|
tree
2004-08-28
skimo
mo
r
e p
a
rtial
r
a
y
removal (
l
argely
u
ntested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/
v
d/vertices/
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
check
t
h
a
t
polylib is recent en
o
ugh to correctly comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add t12
.
i
n
esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tes
t
s from pol
y
l
ib
commit
|
commitdiff
|
tree
2004-08-23
skimo
p
erf
o
rm correc
t
pe
r
iodic nu
m
b
e
r lookup for nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
mo
r
e i
n
fo
commit
|
commitdiff
|
tree
2004-08-14
skim
o
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
correct test
f
or
m
pz_divisib
l
e_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat
w
orkaround in loo
p
commit
|
commitdiff
|
tree
2004-08-14
skimo
older gmps see
m
t
o
hav
e
proble
m
s w
i
th a string constis
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support
o
lder
gm
p
versions
commit
|
commitdiff
|
tree
2004-08-13
ski
m
o
d
on't assume C
9
9
commit
|
commitdiff
|
tree
2004-08-10
sk
i
m
o
remove
c
ode d
u
plication
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out common code
commit
|
commitdiff
|
tree
2004-08-09
skimo
extrac
t
o
u
t code to construct
n
egati
v
e
t
e
s
t
co
n
s
t
raint
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
code
re
u
se
commit
|
commitdiff
|
tree
2004-08-09
s
kimo
dete
c
t m
o
re unhandled ca
s
es
commit
|
commitdiff
|
tree
2004-08-09
skimo
simp
l
i
f
y s
o
m
e code
commit
|
commitdiff
|
tree
2004-08-08
skimo
rem
o
ve re
d
undant rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow any number of
p
arts
in enu
m
erate_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"
i
mp
l
ement" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
handle (single)
ray
commit
|
commitdiff
|
tree
2004-08-06
s
kimo
rem
o
v
e (some) lines
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
set
nparam back to use as
n
umber of
d
i
m
ensions i
n
pa
r
t
i
t
i
on
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
make
c
omput
e
_
enode
work
a
gain in general case
commit
|
commitdiff
|
tree
2004-08-05
skimo
re
m
ove deb
u
ggin
g
outp
u
t
commit
|
commitdiff
|
tree
2004-08-05
skimo
remo
v
e debugging
output
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
u
s
e
evalue r
a
th
e
r than enumeratio
n
and some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend pr
i
nting a
n
d computing to handles "mo
d
ulo
s
"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
alter
n
a
tive
t
o
in_domain that handles "modul
o
s
" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
sto
r
e
"real" dimension in pos field of partition
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
remove d
u
p
l
icat
e
implementa
t
i
o
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
be slightl
y
more c
o
nservative
(
co
r
rect) in determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a ray t
h
at depends on the parameters
s
h
o
uld be ok
commit
|
commitdiff
|
tree
2004-08-04
skim
o
clean
u
p
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memor
y
le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
memo
r
y leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debugg
i
ng output
commit
|
commitdiff
|
tree
2004-08-03
skimo
c
heck whet
h
e
r
projec
t
ion is bound
e
d
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split
o
n param
e
tric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
s
ki
m
o
If one
o
f the vertices in the combined space is
a
la
t
t
ice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
elimina
t
e parameters if we
c
an
commit
|
commitdiff
|
tree
2004-08-03
skimo
only perform vd basi
d
r
e
d
u
ction if t
h
e polytope ha
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
unfringe
polyhedro
n
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debuggin
g
output i
n
unfringe
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
ext
e
n
d addelimin
a
tedparams t
o
partit
i
o
n
s
commit
|
commitdiff
|
tree
2004-08-01
skimo
bail early on
e
mpt
y
polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
r
ed
u
ce higher degrees of fractional part
s
with
f
loor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only
r
ays
involving the real v
a
ria
b
les
lead to unbo
u
nd
e
d
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
perform range
redu
c
tion
i
f req
u
ested
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
only c
a
lculate once for
p
ar
t
that is in
d
ependen
t
of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perfo
r
m another
r
a
nge r
e
duction
after summ
a
tion
commit
|
commitdiff
|
tree
2004-07-31
skim
o
Dec
o
mposit
i
ons based on vali
d
ity domains and parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split off part t
h
at certainly conta
i
ns l
a
ttice
points
commit
|
commitdiff
|
tree
2004-07-30
skimo
r
o
utine for reducing to zero variab
l
es
ca
s
e
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
use newly
added rout
i
n
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
polytope with rays independen
t
of
t
he
existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
check for empt
y
polytope
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
simpl
i
fy
constra
i
nts
o
n each invocation o
f
barvinok_
e
numera
t
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extra
c
t o
u
t ro
u
tine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unuse
d
r
out
i
ne
for removin
g
d
o
ubl
e
bo
u
nds
commit
|
commitdiff
|
tree
next