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
update
2004-09-18
skimo
upd
a
t
e
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
point to PIP loca
t
i
o
n
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
shift polytope for
PI
P
if va
r
iables range o
v
er
negat
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
a
l
low verification of
d
irect pip use
commit
|
commitdiff
|
tree
2004-09-18
skimo
d
on't
o
veral
l
ocat
e
if we d
o
n'
t
have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't ove
r
allocate if
w
e don't have t
o
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
overri
d
e
b
arvinok
_
enumerate_ev instea
d
of bar
v
inok_enumerate
commit
|
commitdiff
|
tree
2004-09-18
skimo
optional
l
y use pip
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
renam
e
and
e
xport p
i
p-based enumera
t
i
on
commit
|
commitdiff
|
tree
2004-09-18
skimo
converter
for c
d
d input to p
o
ly
l
ib
i
nput
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
confor
m
t
o
C
8
9
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks to c
o
un
t
the i
n
put and output size in bit
s
commit
|
commitdiff
|
tree
2004-09-07
skimo
be car
e
ful
a
b
o
ut what to n
e
gate
commit
|
commitdiff
|
tree
2004-09-04
s
kimo
some vector partition examples
commit
|
commitdiff
|
tree
2004-08-31
skimo
a
v
oid
gccisms
commit
|
commitdiff
|
tree
2004-08-31
skimo
i
nclud
e
string need for memcp
y
commit
|
commitdiff
|
tree
2004-08-31
s
k
i
m
o
avoid gccism
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
force c++ linki
n
g ins
t
ead of linking
in libstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
for
c
e inst
a
llat
i
on of (possibly) new versi
o
n
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
check
f
or g
e
t
o
p
t
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
move "cons
t
ant" constant part outside o
f
fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combine
r
e
sult
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
small memory le
a
k
commit
|
commitdiff
|
tree
2004-08-29
skimo
use pip if ava
i
l
a
ble
commit
|
commitdiff
|
tree
2004-08-29
s
k
i
mo
check fo
r
p
i
p
l
ib
commit
|
commitdiff
|
tree
2004-08-29
skimo
co
n
ver
t
to l
o
okup-
t
able
if re
q
uested
commit
|
commitdiff
|
tree
2004-08-29
skimo
t
e
st p
r
o
gram
f
o
r
p
i
p support
commit
|
commitdiff
|
tree
2004-08-29
skimo
add suppo
r
t for c
o
mputing
t
he lexicographical min
i
mum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
als
o
look
a
t
denominator of
t
he con
s
tant
commit
|
commitdiff
|
tree
2004-08-28
skimo
m
ore part
i
al ray
r
emoval (largely
u
ntested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
chec
k
tha
t
polylib is r
e
cent enough to correctly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add t12
.
in
esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skim
o
n
ew t
e
sts from polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform correct period
i
c
number lookup for nega
t
i
ve
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more info
commit
|
commitdiff
|
tree
2004-08-14
sk
i
m
o
t
y
po
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
c
o
rrect te
s
t for mpz
_
div
i
sibl
e
_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat workar
o
und in loop
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
older gmps seem to hav
e
probl
e
ms wit
h
a
s
t
ring constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
s
u
pport
o
lder gmp ve
r
sions
commit
|
commitdiff
|
tree
2004-08-13
s
kimo
d
o
n't assume C9
9
commit
|
commitdiff
|
tree
2004-08-10
ski
m
o
remove code du
p
lication
commit
|
commitdiff
|
tree
2004-08-09
s
kimo
extract ou
t
common code
commit
|
commitdiff
|
tree
2004-08-09
skim
o
extr
a
ct out c
o
de to cons
t
ruc
t
negative test
c
onstraint
commit
|
commitdiff
|
tree
2004-08-09
skimo
cod
e
reu
s
e
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
d
e
tect mo
r
e unhandled cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
si
m
plify some
c
ode
commit
|
commitdiff
|
tree
2004-08-08
skim
o
r
e
m
ove redunda
n
t
ra
y
s
commit
|
commitdiff
|
tree
2004-08-08
skimo
a
l
low
any number of
p
a
rts i
n
enumerate_or
commit
|
commitdiff
|
tree
2004-08-08
skim
o
"impleme
n
t" eor
commit
|
commitdiff
|
tree
2004-08-08
skim
o
ha
n
dle (single) ray
commit
|
commitdiff
|
tree
2004-08-06
s
k
i
mo
re
m
ove (some)
l
ines
commit
|
commitdiff
|
tree
2004-08-05
skimo
se
t
nparam back to use as numbe
r
of
d
i
mensi
o
ns in pa
r
titi
o
n
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
m
ake compute_en
o
de work a
g
ain in
gener
a
l case
commit
|
commitdiff
|
tree
2004-08-05
skimo
remov
e
debu
g
g
i
ng output
commit
|
commitdiff
|
tree
2004-08-05
skim
o
remov
e
debugg
i
n
g
output
commit
|
commitdiff
|
tree
2004-08-05
skimo
use e
v
alu
e
rather than enu
m
eration and some memor
y
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
extend p
r
i
nting
a
n
d
com
p
uti
n
g to
h
a
ndles "mod
u
los"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
a
lternative to in_do
m
ain that handles "modulo
s
"
i
n
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
st
o
re "r
e
al" dimension in pos field of
partitio
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove duplica
t
e i
m
plementation
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
be
s
lightl
y
more cons
e
rvative (correct
)
in det
e
r
mining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
s
k
im
o
a
ray th
a
t depends
on
the
p
a
r
a
meters should be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
clean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
m
emory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memo
r
y
l
eak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
remove debugging output
commit
|
commitdiff
|
tree
2004-08-03
skimo
check whether pr
o
j
e
cti
o
n is bounde
d
commit
|
commitdiff
|
tree
2004-08-03
sk
i
m
o
S
p
li
t
on parametric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
I
f
one o
f
th
e
vertices in the combined space is a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
eliminate p
a
rameters if
we c
a
n
commit
|
commitdiff
|
tree
2004-08-03
skim
o
o
nly
perf
o
rm vd ba
s
i
d
re
d
uction
i
f
t
he polyt
o
p
e
has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
unf
r
inge polyhedron
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
r
emove
d
e
bugging
output in unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend
a
ddelim
i
nated
p
arams to par
t
itions
commit
|
commitdiff
|
tree
2004-08-01
skimo
bai
l
e
a
rly
o
n
empty poly
t
ope
commit
|
commitdiff
|
tree
2004-08-01
skimo
r
educe higher degre
e
s
of frac
t
io
n
a
l
p
ar
t
s
with f
l
oor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
only ra
y
s involving the real
v
ariables lead to unbounde
d
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perfor
m
range reduc
t
i
o
n
i
f r
e
quested
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
only calculate once
for p
a
rt
t
hat is independent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
pe
r
form another range re
d
u
ction
a
fter su
m
ma
t
ion
commit
|
commitdiff
|
tree
2004-07-31
skimo
Deco
m
p
o
sition
s
based on validity dom
a
ins
a
nd parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
plit off part that cert
a
inly
c
o
ntains lattice points
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
rou
t
ine f
o
r r
e
ducing to zero variables case
commit
|
commitdiff
|
tree
2004-07-30
skimo
use ne
w
ly added rout
i
ne
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
polytope with rays independent of th
e
existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
c
h
eck
f
o
r
em
p
ty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
i
mplif
y
constraints
o
n
e
ach invocation of
b
a
r
vinok_e
n
umerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
e
x
t
rac
t
out routi
n
e f
o
r "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused routi
n
e for re
m
oving doub
l
e bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send debug output to stderr
i
n (unused) un
f
ringe
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
make debuggin
easier by
k
eeping track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out routine to
al
i
gn c
o
nstra
i
n
t along a linea
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
I
f
one of the
h
yperpla
n
es has to be
ind
e
pendent as
.
.
.
commit
|
commitdiff
|
tree
next