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
rename and export pip-based enumeration
2004-09-18
sk
i
mo
rename a
n
d expor
t
pip
-
based enumerati
o
n
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
converter for cdd input to polyli
b
input
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
mo
conform to
C89
commit
|
commitdiff
|
tree
2004-09-07
s
k
i
m
o
h
o
oks to co
u
n
t the inp
u
t
a
nd output
s
ize in bits
commit
|
commitdiff
|
tree
2004-09-07
skimo
b
e
careful about what to
negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
som
e
vec
t
or partitio
n
examp
l
es
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gccis
m
s
commit
|
commitdiff
|
tree
2004-08-31
skimo
i
nclude st
r
in
g
need
f
or memcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gccis
m
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c++ linkin
g
instead of linking
i
n
libst
d
c
+
+
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
force i
n
stallation of (possibly)
n
ew versi
o
n
commit
|
commitdiff
|
tree
2004-08-31
skimo
check for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move "constant" constant part outside of f
r
actional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combine re
s
ult
commit
|
commitdiff
|
tree
2004-08-29
skimo
small memory le
a
k
commit
|
commitdiff
|
tree
2004-08-29
skimo
use p
i
p
i
f available
commit
|
commitdiff
|
tree
2004-08-29
skimo
check
f
or piplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert
to lo
o
k
u
p-table if requ
e
sted
commit
|
commitdiff
|
tree
2004-08-29
skimo
t
e
s
t
progr
a
m for pip support
commit
|
commitdiff
|
tree
2004-08-29
skimo
add support for com
p
ut
i
ng
the lexicogr
a
phi
c
a
l
m
inimu
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
also l
o
ok at
d
enominator of
the constant
commit
|
commitdiff
|
tree
2004-08-28
s
k
im
o
more part
i
a
l ray remo
v
a
l (l
a
r
g
ely untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/v
d
/vertice
s
/
commit
|
commitdiff
|
tree
2004-08-23
sk
i
mo
c
h
ec
k
that pol
y
l
i
b is r
e
cent eno
u
gh to
c
o
r
rectly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
k
im
o
add
t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new
tests
f
rom pol
y
lib
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
perf
o
rm correct
p
eriodic num
b
er
loo
k
up for
n
egative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skim
o
more info
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
typo
commit
|
commitdiff
|
tree
2004-08-14
s
kimo
cor
r
ect test for mpz_divisib
l
e_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat wor
k
around in loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
olde
r
gmps seem to have problems
with
a
string
c
onstisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skim
o
suppo
r
t
older
g
mp versions
commit
|
commitdiff
|
tree
2004-08-13
ski
m
o
don't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove code duplication
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
ex
t
ra
c
t
out
c
ommon cod
e
commit
|
commitdiff
|
tree
2004-08-09
s
kimo
extr
a
c
t
o
u
t code t
o
c
onst
r
u
c
t
n
egative t
e
st cons
t
raint
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
code reu
s
e
commit
|
commitdiff
|
tree
2004-08-09
skimo
det
e
ct more un
h
andled
cases
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
s
i
mplify
s
om
e
code
commit
|
commitdiff
|
tree
2004-08-08
skimo
rem
o
ve redundant rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow any number
of
parts in
enume
r
ate_o
r
commit
|
commitdiff
|
tree
2004-08-08
skimo
"implement" eo
r
commit
|
commitdiff
|
tree
2004-08-08
skimo
handle (si
n
gle) r
a
y
commit
|
commitdiff
|
tree
2004-08-06
ski
m
o
remove (s
o
me) li
n
es
commit
|
commitdiff
|
tree
2004-08-05
s
k
i
m
o
set
nparam back to use a
s
nu
m
b
er of dimensio
n
s
i
n
par
t
itio
n
commit
|
commitdiff
|
tree
2004-08-05
skimo
make compute_enode w
o
r
k
aga
i
n in general case
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove deb
u
gging ou
t
put
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove d
e
b
u
gging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
use evalue rather t
h
an enumeration an
d
some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
ki
m
o
ext
e
n
d
pri
n
t
i
n
g and c
o
mputing to handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
a
l
ternativ
e
to
in_do
m
ai
n
that handle
s
"mo
d
ulos" i
n
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "real" d
i
mension in pos field o
f
p
ar
t
itio
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
r
e
m
ove du
p
licate implementation
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
be slightly mo
r
e c
o
nserv
a
tive (corr
e
ct) in determ
i
ning
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a ra
y
tha
t
depends on the
p
ar
a
meters
should be o
k
commit
|
commitdiff
|
tree
2004-08-04
skimo
c
l
ean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
emory leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
m
emory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
re
m
ove debugg
i
ng o
u
tput
commit
|
commitdiff
|
tree
2004-08-03
skimo
check w
h
ether
projection is bounde
d
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
Split
o
n parametr
i
c v
e
rte
x
.
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
If o
n
e of the ve
r
tices
in the combined sp
a
ce is a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
elimin
a
t
e
parameters i
f
we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only
p
erform vd basid reduction if t
h
e
pol
y
tope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfringe
polyh
e
dron
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debugging
o
utput in unfringe
commit
|
commitdiff
|
tree
2004-08-03
skim
o
ex
t
end
a
d
deli
m
ina
t
edparams to partit
i
ons
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
bail
early
on emp
t
y polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
re
d
uce higher degrees of fractional parts
w
ith floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
only
r
ays invo
l
ving the re
a
l variabl
e
s lead to
u
n
b
ounde
d
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
ki
m
o
perform range re
d
uction
i
f
r
eque
s
ted
commit
|
commitdiff
|
tree
2004-08-01
s
k
i
m
o
only calcula
t
e once for part that is indepen
d
ent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform a
n
o
t
h
er range r
e
duc
t
io
n
aft
e
r summation
commit
|
commitdiff
|
tree
2004-07-31
s
kimo
Decompositions bas
e
d on
v
ali
d
ity do
m
ains
a
nd
p
arametr
i
c
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split off part that c
e
rtain
l
y contains lat
t
ice points
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
r
outine for
r
educing
to zero var
i
ables case
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
us
e
n
ewly a
d
ded routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a polytope with rays
independent of t
h
e
existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
c
he
c
k for empty polytope
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
m
o
simplify const
r
a
i
n
ts on ea
c
h invo
c
ati
o
n of barvi
n
ok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
extrac
t
o
u
t routi
n
e for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skim
o
unused routine for rem
o
vin
g
dou
b
le
bound
s
commit
|
commitdiff
|
tree
2004-07-30
skimo
se
n
d debug output
to
s
t
der
r
in (unu
s
ed
)
unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
m
ake debuggin easier by
k
e
epi
n
g
track o
f
recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extr
a
ct
o
ut r
o
uti
n
e to ali
g
n
c
onstr
a
int a
l
ong a li
n
e
a
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one
of the hyperplanes ha
s
to be
in
d
epe
n
dent a
s
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that
first va
r
iable is
made
ne
g
ative i
n
side
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that splitti
n
g will reduce t
h
e number of
existential
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
abstract out han
d
ling of
m
ultiple validi
t
y domai
n
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra check that
i
s probably not needed
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
handle compo
s
ed validity domai
n
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce after s
u
mmation
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
don't
c
reate empty partitio
n
s
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
al
l
ow
e
valua
t
i
o
n
of flo
o
r
i
n
gs
commit
|
commitdiff
|
tree
next