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
"support" floor conversion for parametric polytopes
2004-10-31
skimo
"support"
f
loor conve
r
sion for p
a
ram
e
tric poly
t
opes
commit
|
commitdiff
|
tree
2004-10-31
skimo
use evalue instead
of Enumeration
commit
|
commitdiff
|
tree
2004-10-31
skimo
print different st
a
tistics
commit
|
commitdiff
|
tree
2004-10-31
skimo
r
e
m
ove red
u
ndant c
o
d
e
commit
|
commitdiff
|
tree
2004-10-16
skimo
bum
p
version
commit
|
commitdiff
|
tree
2004-10-12
skimo
Tes
t
whether linea
r
comb
i
n
a
t
ion of existential variabl
e
s
commit
|
commitdiff
|
tree
2004-10-12
skimo
handl
e
case
w
h
e
re firs
t
part does not
have a so
l
ution
commit
|
commitdiff
|
tree
2004-10-06
skimo
small tool for remov
i
ng
r
e
dunda
n
t equa
l
ities
commit
|
commitdiff
|
tree
2004-10-06
skimo
us
e
bigg
e
r values for r
a
ndom vector
commit
|
commitdiff
|
tree
2004-10-05
skimo
warn on f
l
oor co
n
versio
n
commit
|
commitdiff
|
tree
2004-10-05
skimo
add
c
ollect_p
o
lytopes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
r
educe
constant af
t
er inversio
n
; avoid infi
n
ite loop
commit
|
commitdiff
|
tree
2004-10-04
sk
i
mo
don't call
p
ip
w
hen ther
e
ar
e
no existential var
i
abl
e
s
commit
|
commitdiff
|
tree
2004-10-03
skimo
bump version
commit
|
commitdiff
|
tree
2004-10-03
skimo
further
merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
mor
e
merging
commit
|
commitdiff
|
tree
2004-10-03
sk
i
mo
comp
u
te EP only once for each vertex, at t
h
e expen
s
e
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
sk
i
mo
minor extra merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
r
e
move bottl
e
neck + merge
commit
|
commitdiff
|
tree
2004-10-03
s
kim
o
a
d
d
N
TL_5_3_2
.
patch
commit
|
commitdiff
|
tree
2004-10-01
ski
m
o
d
eeper loop merge
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
d
e
ad code
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
array con
t
racti
o
n
commit
|
commitdiff
|
tree
2004-09-30
skimo
remove bottleneck + merge loops
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo in comment
commit
|
commitdiff
|
tree
2004-09-30
skimo
distribute cdd2
p
olylib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
skimo
ensure
al
l
r
ays a
r
e positive
commit
|
commitdiff
|
tree
2004-09-30
skimo
use pr
o
vi
d
ed pa
r
a
m
e
t
er
n
ames
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
avoid
+
-
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
collect ter
m
s with t
h
e same
d
enominator
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
ignore zero terms
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
typo
commit
|
commitdiff
|
tree
2004-09-29
skimo
inclu
d
e unistd
.
h for p
l
atforms without getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
s
k
imo
hac
k
to ig
n
ore
r
ays
commit
|
commitdiff
|
tree
2004-09-19
s
k
imo
ma
k
e ray lex
i
co-positive
commit
|
commitdiff
|
tree
2004-09-19
skim
o
initia
l
support for Ehrh
a
rt series
commit
|
commitdiff
|
tree
2004-09-19
s
k
imo
allow c
o
ns
t
ruct
i
on of 0D "nonorthogonal" vector
commit
|
commitdiff
|
tree
2004-09-19
skimo
extract check for infinit
e
parametric polytopes
commit
|
commitdiff
|
tree
2004-09-18
skimo
c
hange latt
i
c
e
_point sligh
t
ly (used in pre
v
ious patch)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don'
t
make numerator po
w
er po
s
itive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
don
'
t
m
a
k
e num
e
rato
r
power positive
+
me
r
g
e
loop
s
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
a
ll
o
w negative
pow
e
rs
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
b
u
m
p
v
ersion
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
update
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
point to PIP
location
commit
|
commitdiff
|
tree
2004-09-18
skim
o
s
h
ift
po
l
ytope
f
or PIP i
f
variables range ov
e
r negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow verifica
t
i
o
n of direct pip use
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
do
n
't o
v
erallocate
i
f we
don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't overalloc
a
te i
f
we don't h
a
ve
t
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
ov
e
rri
d
e
b
a
r
vinok
_
enu
m
era
t
e_ev ins
t
ead of ba
r
v
i
no
k
_enu
m
erate
commit
|
commitdiff
|
tree
2004-09-18
skimo
opt
i
o
n
a
l
l
y use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
rena
m
e and export pi
p
-based enum
e
rat
i
on
commit
|
commitdiff
|
tree
2004-09-18
skimo
conv
e
r
t
er
f
or cdd
i
n
put to
polylib input
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
conform
to
C89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks to count the
i
nput and outpu
t
s
ize
i
n bits
commit
|
commitdiff
|
tree
2004-09-07
s
k
imo
be careful about wh
a
t to
negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
some vector partition
examples
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
skimo
inc
l
ude string need for me
m
c
p
y
commit
|
commitdiff
|
tree
2004-08-31
skim
o
avoid gccism
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
f
o
rce c++ linking inste
a
d
of
l
in
k
ing in
libs
t
dc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
force instal
l
ation of
(
possibly)
new
v
ersion
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
check for
getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move "const
a
nt" constant par
t
outside
o
f
fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
combine
r
e
s
ult
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
small
memo
r
y
l
e
ak
commit
|
commitdiff
|
tree
2004-08-29
s
kim
o
use
p
i
p if available
commit
|
commitdiff
|
tree
2004-08-29
skimo
check fo
r
p
ipl
i
b
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert to looku
p
-table if reques
t
ed
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
test program fo
r
p
ip support
commit
|
commitdiff
|
tree
2004-08-29
skimo
add sup
p
or
t
for computing t
h
e
lexicographica
l
minim
u
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
a
l
so look
a
t denom
i
nator of t
h
e con
s
tant
commit
|
commitdiff
|
tree
2004-08-28
skimo
m
o
re
partial ray removal (l
a
rg
e
ly untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
c
hec
k
that polylib is recent enough to
c
orre
c
tly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
sk
i
mo
add t12
.
in esum
.
i
n
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
new tes
t
s from
polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform
cor
r
ect
p
eriodic
n
umbe
r
lookup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more info
commit
|
commitdiff
|
tree
2004-08-14
skimo
t
ypo
commit
|
commitdiff
|
tree
2004-08-14
skimo
correct
t
est for mpz_divisib
l
e_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat workaround in loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
olde
r
gmps seem
to have problems with
a
stri
n
g
const
i
sting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
su
p
p
o
rt older gmp versions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't
a
ssume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove
code dupl
i
cation
commit
|
commitdiff
|
tree
2004-08-09
skimo
e
x
trac
t
out common cod
e
commit
|
commitdiff
|
tree
2004-08-09
skimo
e
x
tract
out co
d
e to
c
onstruct
negati
v
e
t
e
st
co
n
straint
commit
|
commitdiff
|
tree
2004-08-09
skimo
c
o
d
e r
e
u
se
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect more unhan
d
led
case
s
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify
s
ome cod
e
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
remove redundan
t
r
a
y
s
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow any number
of parts in enumer
a
te_o
r
commit
|
commitdiff
|
tree
2004-08-08
skimo
"imp
l
ement" e
o
r
commit
|
commitdiff
|
tree
2004-08-08
skimo
h
andle (si
n
g
l
e) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
r
emove (some) lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
s
e
t npara
m
back to use as number
of
dimensi
o
ns i
n
p
artition
commit
|
commitdiff
|
tree
2004-08-05
skimo
make compu
t
e_enode wor
k
again in general cas
e
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
remove debugging
o
utput
commit
|
commitdiff
|
tree
next