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
warn on floor conversion
2004-10-05
skimo
warn on fl
o
or conver
s
ion
commit
|
commitdiff
|
tree
2004-10-05
skimo
add co
l
lect_po
l
ytopes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
redu
c
e
const
a
n
t
a
fte
r
i
n
versi
o
n; av
o
id
i
nfi
n
ite l
o
op
commit
|
commitdiff
|
tree
2004-10-04
sk
i
mo
d
o
n't call pip
whe
n
there are n
o
exi
s
tential
v
aria
b
les
commit
|
commitdiff
|
tree
2004-10-03
skimo
bump
v
ersion
commit
|
commitdiff
|
tree
2004-10-03
skim
o
further merg
e
commit
|
commitdiff
|
tree
2004-10-03
skimo
m
o
re merging
commit
|
commitdiff
|
tree
2004-10-03
skimo
comput
e
EP only once f
o
r each vert
e
x,
a
t the expen
s
e
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skimo
minor extra merge
commit
|
commitdiff
|
tree
2004-10-03
s
k
imo
r
emove bott
l
e
neck + me
r
ge
commit
|
commitdiff
|
tree
2004-10-03
skimo
add NTL_5_3_2
.
patc
h
commit
|
commitdiff
|
tree
2004-10-01
skimo
deeper loop mer
g
e
commit
|
commitdiff
|
tree
2004-09-30
skimo
dead code
commit
|
commitdiff
|
tree
2004-09-30
skimo
ar
r
ay cont
r
action
commit
|
commitdiff
|
tree
2004-09-30
skimo
remove
bottleneck + merge lo
o
ps
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
typo in comment
commit
|
commitdiff
|
tree
2004-09-30
skimo
di
s
tribute cd
d
2pol
y
lib
.
p
l
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
ensure all r
a
ys are positive
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
use
p
rovid
e
d par
a
m
ete
r
name
s
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
avo
i
d +-
commit
|
commitdiff
|
tree
2004-09-30
skimo
collect term
s
wit
h
the same d
e
nominator
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
ignore zero
t
er
m
s
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
t
ypo
commit
|
commitdiff
|
tree
2004-09-29
skimo
i
nclu
d
e unistd
.
h
for pla
t
forms wi
t
hout getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack to igno
r
e rays
commit
|
commitdiff
|
tree
2004-09-19
skim
o
mak
e
ray lexico-positi
v
e
commit
|
commitdiff
|
tree
2004-09-19
skimo
i
nitial supp
o
r
t for
Ehr
h
art series
commit
|
commitdiff
|
tree
2004-09-19
skimo
allow construct
i
on of 0D "nono
r
tho
g
onal"
vector
commit
|
commitdiff
|
tree
2004-09-19
s
kimo
ex
t
ract ch
e
ck for infinite p
a
rametri
c
polytopes
commit
|
commitdiff
|
tree
2004-09-18
skimo
change lattic
e
_point slig
h
tly (used in previous patch
)
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
don't
make numer
a
tor power p
o
sitive +
merge
l
oop
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
do
n
't make numerat
o
r po
w
er posit
i
ve + mer
g
e lo
o
p
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
a
l
l
o
w negat
i
ve
powers
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
bump vers
i
on
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
update
commit
|
commitdiff
|
tree
2004-09-18
skimo
poi
n
t
t
o PI
P
lo
c
ation
commit
|
commitdiff
|
tree
2004-09-18
skim
o
s
h
ift polytope for PIP if variables
range
o
ver n
e
gativ
e
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
a
l
low ver
i
fication
o
f d
i
rect pi
p
us
e
commit
|
commitdiff
|
tree
2004-09-18
skimo
don'
t
overallocate if we
d
o
n
't have
t
o
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
do
n
't overallocate if we
don't h
a
ve to
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
override
b
arvi
n
ok_enum
e
rate_
e
v instead of ba
r
vino
k
_
e
numerate
commit
|
commitdiff
|
tree
2004-09-18
skimo
optionally use pip
commit
|
commitdiff
|
tree
2004-09-18
skim
o
rename and export pip-based enumer
a
tion
commit
|
commitdiff
|
tree
2004-09-18
skimo
converter for cdd input to pol
y
lib input
commit
|
commitdiff
|
tree
2004-09-18
skimo
conform to
C
89
commit
|
commitdiff
|
tree
2004-09-07
skim
o
hooks to count
t
he input
a
nd ou
t
put
size in bi
t
s
commit
|
commitdiff
|
tree
2004-09-07
skimo
be careful ab
o
ut w
h
at t
o
nega
t
e
commit
|
commitdiff
|
tree
2004-09-04
skim
o
s
ome
ve
c
tor partition examples
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
a
v
oid gccism
s
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
in
c
lu
d
e strin
g
n
e
e
d fo
r
m
emcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
fo
r
ce
c
++ linking instead o
f
linking i
n
li
b
stdc
+
+
commit
|
commitdiff
|
tree
2004-08-31
skimo
force installation of (possibl
y
)
new vers
i
on
commit
|
commitdiff
|
tree
2004-08-31
skimo
che
c
k for getopt
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
move "consta
n
t" constan
t
part out
s
i
d
e of fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combi
n
e r
e
sult
commit
|
commitdiff
|
tree
2004-08-29
skimo
small me
m
ory leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use pip if available
commit
|
commitdiff
|
tree
2004-08-29
skimo
chec
k
f
or piplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert
t
o l
o
okup
-
table if requ
e
sted
commit
|
commitdiff
|
tree
2004-08-29
skimo
test program for
pip suppo
r
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
add
support for computing the lexicograp
h
ica
l
minimu
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
a
l
so
l
ook at denominator
o
f the co
n
st
a
n
t
commit
|
commitdiff
|
tree
2004-08-28
skimo
m
o
r
e
p
a
rt
i
al ray removal (
l
argely untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check that polylib is r
e
cent en
o
u
gh to correctly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
a
dd t12
.
in esum
.
i
n
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
new tests
from polylib
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
perform corre
c
t periodic number lookup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
mor
e
info
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
co
r
r
ect
test for m
p
z_divisible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat workaround in loop
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
ol
d
er gmp
s
see
m
to have prob
l
ems wi
t
h a
s
tring constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support olde
r
gmp
v
ersi
o
ns
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remov
e
code duplic
a
tion
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
extract out co
m
mon code
commit
|
commitdiff
|
tree
2004-08-09
skim
o
extr
a
ct out code t
o
c
onstruct
negative test constraint
commit
|
commitdiff
|
tree
2004-08-09
skimo
code
r
eu
s
e
commit
|
commitdiff
|
tree
2004-08-09
sk
i
m
o
detect
m
or
e
unh
a
ndled cases
commit
|
commitdiff
|
tree
2004-08-09
s
k
i
mo
simplify so
m
e
co
d
e
commit
|
commitdiff
|
tree
2004-08-08
skimo
remove redu
n
dant rays
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
allow any number of parts in enumerate_or
commit
|
commitdiff
|
tree
2004-08-08
skim
o
"impl
e
ment" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
handle (single) ray
commit
|
commitdiff
|
tree
2004-08-06
sk
i
m
o
remove (some) lines
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
set
n
param back to use as number of d
i
mensions
in partition
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
make
compute_en
o
d
e
work again in g
e
neral case
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
r
emove debugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
r
emove debugging
o
utput
commit
|
commitdiff
|
tree
2004-08-05
skimo
use evalue rat
h
er than enumeration a
n
d some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
e
x
tend print
i
ng and c
o
mputing to handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
al
t
e
rnativ
e
to in_domain that
handle
s
"modulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "real"
d
imens
i
on in p
o
s field o
f
part
i
t
ion
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
remo
v
e dupl
i
ca
t
e
i
mplementation
commit
|
commitdiff
|
tree
2004-08-04
skimo
be
sl
i
ght
l
y m
o
r
e
con
s
e
rva
t
i
v
e (
c
orrect)
in determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a ray that d
e
p
ends on the
paramet
e
rs s
h
ould be
o
k
commit
|
commitdiff
|
tree
2004-08-04
s
k
i
mo
clean
up
commit
|
commitdiff
|
tree
next