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
force installation of (possibly) new version
2004-08-31
s
kimo
for
c
e
installati
o
n o
f
(possibly
)
ne
w
v
e
rsion
commit
|
commitdiff
|
tree
2004-08-31
skimo
check for get
o
pt
commit
|
commitdiff
|
tree
2004-08-29
skimo
mo
v
e
"c
o
nstant" consta
n
t
part outside of
fraction
a
l
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
comb
i
ne resu
l
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
small memor
y
l
eak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use
pip if avai
l
able
commit
|
commitdiff
|
tree
2004-08-29
skimo
check
f
or piplib
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
convert to lo
o
kup-table if requested
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
t
es
t
program fo
r
pip sup
p
ort
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
add support for co
m
pu
t
ing the
lexicogr
a
p
h
ical mi
n
i
m
um
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
als
o
look at
d
e
nominator of
t
he constant
commit
|
commitdiff
|
tree
2004-08-28
skim
o
mor
e
partial ra
y
removal (l
a
rgel
y
untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/v
d
/vertices/
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
check tha
t
po
l
ylib is recen
t
enou
g
h to
correctly
c
ompu
t
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
a
dd t
1
2
.
in esum
.
i
n
commit
|
commitdiff
|
tree
2004-08-23
skimo
ne
w
tests
from
p
olylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
pe
r
form corr
e
c
t
p
e
riodic n
u
mber
looku
p
f
or negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more
i
n
fo
commit
|
commitdiff
|
tree
2004-08-14
s
kimo
typo
commit
|
commitdiff
|
tree
2004-08-14
s
ki
m
o
correct test for mpz_divisible_
p
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
repeat
w
orkar
o
und in loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
olde
r
gmps seem to
h
ave pr
o
blems with a string
c
on
s
tisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
suppo
r
t
older g
m
p
versi
o
ns
commit
|
commitdiff
|
tree
2004-08-13
skimo
do
n
't assum
e
C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove code duplication
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
onstruct
n
egative test co
n
straint
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
code re
u
se
commit
|
commitdiff
|
tree
2004-08-09
skimo
de
t
e
c
t
m
o
r
e unhandle
d
cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify some code
commit
|
commitdiff
|
tree
2004-08-08
skimo
remove
r
edunda
n
t rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow any number of parts
i
n enumerate_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"implement"
e
o
r
commit
|
commitdiff
|
tree
2004-08-08
skimo
handle
(single) r
a
y
commit
|
commitdiff
|
tree
2004-08-06
skimo
re
m
ov
e
(some
)
li
n
es
commit
|
commitdiff
|
tree
2004-08-05
s
k
i
m
o
s
e
t nparam back
t
o u
s
e
a
s num
b
er of dimens
i
ons in
p
ar
t
ition
commit
|
commitdiff
|
tree
2004-08-05
skimo
m
a
ke compute_enode work
again in
g
eneral case
commit
|
commitdiff
|
tree
2004-08-05
skim
o
rem
o
ve
d
ebugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove deb
u
g
g
ing output
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
u
se
e
value r
a
ther than en
u
merati
o
n and some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend
p
r
i
nt
i
ng and
c
omputin
g
t
o handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
a
l
ternat
i
ve to in_domain that h
a
ndles "modulo
s
"
in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "rea
l
" di
m
ens
i
on in pos
f
ield of partiti
o
n
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
remo
v
e duplica
t
e imp
l
ementation
commit
|
commitdiff
|
tree
2004-08-04
skimo
be
slightly mo
r
e co
n
ser
v
ative (correct)
i
n determin
i
ng
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
a ray that dep
e
nds on
t
he para
m
eters
sho
u
ld be ok
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
cl
e
an up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
or
y
le
a
k
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
mo
memory
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory
l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove
d
ebugging
output
commit
|
commitdiff
|
tree
2004-08-03
skimo
check whether
projectio
n
is b
o
unded
commit
|
commitdiff
|
tree
2004-08-03
skimo
S
p
l
it on pa
r
ametric
vert
e
x
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
I
f
one
of the
v
ertices i
n
the
c
ombined space i
s
a
lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
eliminate para
m
et
e
rs
if we can
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
mo
onl
y
perform
v
d basid reduction if
the polytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
u
n
fringe
pol
y
hedron
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
remove debugging output
i
n u
n
fringe
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
extend addelimi
n
a
t
edp
a
rams to partit
i
ons
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
b
ail earl
y
on empt
y
polytope
commit
|
commitdiff
|
tree
2004-08-01
s
k
i
m
o
reduce higher degrees of f
r
a
c
tional
parts with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
onl
y
rays involving
the real var
i
ab
l
es
l
e
a
d
t
o un
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
per
f
orm range reduct
i
on
i
f requested
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
only cal
c
ulate
o
nce for part
that is
independ
e
n
t of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
s
ki
m
o
pe
r
form a
n
o
ther ra
n
g
e
redu
c
tion a
f
t
er summation
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decom
p
ositions based
o
n validity domains and
p
arametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
p
l
it
o
ff part that
c
ertainly contains
lattice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
routi
n
e for reducing to
zero variables case
commit
|
commitdiff
|
tree
2004-07-30
skim
o
use newl
y
added rout
i
ne
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
polytop
e
with
r
a
ys independent of the existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
chec
k
for empty poly
t
ope
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify co
n
strain
t
s
o
n
e
ach invo
c
atio
n
of ba
r
v
i
n
ok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extra
c
t out routine
f
o
r
"or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused
r
outin
e
for
r
e
moving double
b
ounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send debu
g
out
p
ut to stderr in (unused
)
unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
make
d
ebugg
i
n easier by keeping track of rec
u
rsion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract
o
u
t
routine to align const
r
aint a
l
ong a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
If one of
the hyper
p
lanes ha
s
to be
i
ndep
e
ndent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
E
n
sur
e
that
f
irst va
r
iable is made nega
t
ive i
n
side
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that sp
l
it
t
in
g
will redu
c
e the
number of existential
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstract
out handling of mul
t
i
p
le validity domains
commit
|
commitdiff
|
tree
2004-07-29
s
kim
o
Extr
a
check that
i
s prob
a
bly n
o
t needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle composed v
a
lidity d
o
m
ains
commit
|
commitdiff
|
tree
2004-07-29
s
k
im
o
red
u
c
e
after summati
o
n
commit
|
commitdiff
|
tree
2004-07-29
skimo
don'
t
create empty
p
arti
t
io
n
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow eval
u
at
i
on of flo
o
rings
commit
|
commitdiff
|
tree
2004-07-29
skim
o
perform (trivial) reduction
o
n
flooring
s
commit
|
commitdiff
|
tree
2004-07-29
skim
o
make
reord
e
r_term
s
work
f
or
flooring
s
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
correct check f
o
r 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
b
e
more strict whe
n
compar
i
ng two rational
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo in comment
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
hand
l
e
case of all
emp
t
y validity domains
commit
|
commitdiff
|
tree
2004-07-21
skimo
sup
p
o
rt polyn
o
m
ials in "real" par
a
me
t
ers
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
handle negativ
e
values
o
f summed variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
c
heck whether
PO
L
Y
T
OPE_PREFIX
is actu
a
l
ly set
commit
|
commitdiff
|
tree
2004-07-20
s
kimo
floor conversion a
n
d partial
implementat
i
on o
f
esum
commit
|
commitdiff
|
tree
next