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
skimo
don't make nume
r
ator power pos
i
tive
+ mer
g
e loops
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
don't
m
ake numerator p
o
we
r
p
o
s
itive + me
r
g
e loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
allo
w
negative powers
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
m
o
typo
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
bu
m
p version
commit
|
commitdiff
|
tree
2004-09-18
skimo
up
d
ate
commit
|
commitdiff
|
tree
2004-09-18
skimo
po
i
nt
t
o PIP locati
o
n
commit
|
commitdiff
|
tree
2004-09-18
s
kim
o
shift poly
t
ope for PIP if va
r
i
a
bles
range
o
ver nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow
v
erificati
o
n
of direct
pip use
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
don't
o
vera
l
locate if
we d
o
n't h
a
ve to
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
don'
t
o
vera
l
loca
t
e if we don't
h
ave to
commit
|
commitdiff
|
tree
2004-09-18
skimo
overri
d
e barv
i
nok_e
n
um
e
rate_ev
inst
e
ad
of b
a
r
vinok_enumerate
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
opt
i
onally use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
rename and export pip
-
b
ased e
n
u
merati
o
n
commit
|
commitdiff
|
tree
2004-09-18
skimo
conv
e
r
t
er for
c
d
d input to polylib
in
p
u
t
commit
|
commitdiff
|
tree
2004-09-18
skimo
conform to C89
commit
|
commitdiff
|
tree
2004-09-07
sk
i
mo
hooks to co
u
nt
the
input a
n
d out
p
u
t size in bits
commit
|
commitdiff
|
tree
2004-09-07
s
kimo
be car
e
ful ab
o
ut what to
n
ega
t
e
commit
|
commitdiff
|
tree
2004-09-04
s
k
imo
so
m
e ve
c
tor partiti
o
n exa
m
ples
commit
|
commitdiff
|
tree
2004-08-31
skimo
a
v
o
id gccisms
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
in
c
lude string need
for me
m
c
py
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
avoid gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
f
o
rce c++ linki
n
g in
s
tead of linking
i
n libstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
force in
s
tallation of
(p
o
s
sibly) new version
commit
|
commitdiff
|
tree
2004-08-31
skim
o
check for getop
t
commit
|
commitdiff
|
tree
2004-08-29
s
ki
m
o
move "const
a
nt"
constan
t
par
t
o
utsi
d
e of f
r
action
a
l
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
combine result
commit
|
commitdiff
|
tree
2004-08-29
skimo
s
m
all memory le
a
k
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
use pip if a
v
ail
a
ble
commit
|
commitdiff
|
tree
2004-08-29
skimo
check for
piplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
on
v
ert t
o
looku
p
-tab
l
e if requested
commit
|
commitdiff
|
tree
2004-08-29
s
kim
o
t
e
st pro
g
r
am for
p
ip
s
u
pport
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
d
d
s
u
pport fo
r
c
omput
i
ng th
e
l
exicog
r
aphical
m
inimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
also loo
k
at denominato
r
of the constant
commit
|
commitdiff
|
tree
2004-08-28
skimo
more partial ray remo
v
a
l
(l
a
r
gely untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/verti
c
es/
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
ch
e
ck th
a
t pol
y
lib
is recent eno
u
gh to correctly comput
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add t12
.
in es
u
m
.
in
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
new tests
f
rom polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perfor
m
correct
peri
o
dic n
u
m
b
er look
u
p for
n
egati
v
e
.
.
.
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
c
orr
e
ct test
f
or mpz_div
i
sible_
p
commit
|
commitdiff
|
tree
2004-08-14
s
kimo
repea
t
workaround in
l
oop
commit
|
commitdiff
|
tree
2004-08-14
skimo
ol
d
e
r
g
mps
s
e
em to have probl
e
m
s
with
a
string constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
s
kim
o
support o
l
der g
m
p ver
s
ions
commit
|
commitdiff
|
tree
2004-08-13
skimo
d
o
n
't a
s
sume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove code
d
u
pli
c
ation
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out c
o
mmon code
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out
c
ode to
c
onstr
u
ct negative
t
est constraint
commit
|
commitdiff
|
tree
2004-08-09
s
k
im
o
code reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
d
e
t
e
ct more unh
a
n
dled cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify s
o
me code
commit
|
commitdiff
|
tree
2004-08-08
skimo
remove redundan
t
rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow any num
b
er
o
f
parts in e
n
u
m
erate_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"implement" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
handle (singl
e
) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
r
e
move (
s
ome) lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
set npa
r
a
m
back
t
o use as nu
m
ber
of dim
e
nsi
o
n
s in partit
i
on
commit
|
commitdiff
|
tree
2004-08-05
skimo
m
ake compute_enode w
o
rk again
i
n general case
commit
|
commitdiff
|
tree
2004-08-05
skimo
r
e
move debug
g
in
g
output
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
remove debugg
i
ng
o
utput
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
use
e
valu
e
rather
t
han en
u
meration
a
nd
s
ome
m
emory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
e
x
tend prin
t
ing and
computing t
o
han
d
les "modul
o
s"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
a
l
ternative
to in_domain t
h
at h
a
ndles
"
modulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
s
t
ore "real" dimension i
n
pos field of parti
t
ion
commit
|
commitdiff
|
tree
2004-08-04
s
k
i
m
o
remove
d
upli
c
ate implement
a
t
ion
commit
|
commitdiff
|
tree
2004-08-04
skimo
be sli
g
htly more conser
v
ative (corre
c
t) in
determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a
r
ay that
depends
o
n t
h
e paramet
e
rs s
h
ould 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
ski
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
s
k
imo
memory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
o
r
y leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
mory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
remove debugging
output
commit
|
commitdiff
|
tree
2004-08-03
skimo
check
whethe
r
projection is bo
u
nded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on
p
ara
m
e
tric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one of the v
e
rti
c
es i
n
th
e
combined space is a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate param
e
ters if we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only perform vd bas
i
d reduction if the polytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfrin
g
e polyhedron
commit
|
commitdiff
|
tree
2004-08-03
skimo
remo
v
e
d
ebugging output in unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend
a
ddeli
m
inated
p
arams to parti
t
ions
commit
|
commitdiff
|
tree
2004-08-01
skimo
bail early
o
n empty polytope
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
reduce high
e
r degrees of fractional parts
with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only ra
y
s involv
i
n
g
th
e
r
e
al
v
a
ri
a
bles lead
t
o unbounde
d
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
p
erform range redu
c
ti
o
n if re
q
uested
commit
|
commitdiff
|
tree
2004-08-01
skimo
only
c
alc
u
late once for part that is
ind
e
pendent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
pe
r
f
o
rm anoth
e
r range reduction
a
fter summation
commit
|
commitdiff
|
tree
2004-07-31
s
kimo
Decomposit
i
ons based o
n
va
l
idity d
o
mai
n
s a
n
d p
a
rametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
mo
split off
part that c
e
rtainly
c
ontains lattice
p
oints
commit
|
commitdiff
|
tree
2004-07-30
skim
o
routine for r
e
ducing t
o
zero variables case
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
use newly
added rout
i
ne
commit
|
commitdiff
|
tree
2004-07-30
skim
o
a pol
y
to
p
e with
rays independent of the exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
check fo
r
em
p
ty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify cons
t
r
aints o
n
each invo
c
ation
o
f
b
a
r
v
i
nok_e
n
umerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
extract out routin
e
f
o
r "or
"
ing
commit
|
commitdiff
|
tree
next