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
bump version
2004-11-17
skimo
bum
p
version
commit
|
commitdiff
|
tree
2004-11-17
skimo
de
a
d code elimin
a
t
i
on
commit
|
commitdiff
|
tree
2004-11-17
skimo
reuse
n
ew in
f
r
a
s
tr
u
cture to compute Ehr
h
art ser
i
es
commit
|
commitdiff
|
tree
2004-11-17
sk
i
mo
typo
commit
|
commitdiff
|
tree
2004-11-17
skimo
more refactoring
commit
|
commitdiff
|
tree
2004-11-17
skimo
more reo
r
deri
n
g
commit
|
commitdiff
|
tree
2004-11-17
s
k
i
m
o
micro-op
t
i
m
ization ?
commit
|
commitdiff
|
tree
2004-11-17
ski
m
o
some code reordering
commit
|
commitdiff
|
tree
2004-11-17
skimo
remove duplicate code
commit
|
commitdiff
|
tree
2004-11-17
skimo
add and use
inc
r
emental counter
commit
|
commitdiff
|
tree
2004-11-17
skimo
support m
u
lt
i
ple divisions an
d
cl
e
an up memory
commit
|
commitdiff
|
tree
2004-11-17
s
kimo
also dump
recently added d
e
nomi
n
ator
commit
|
commitdiff
|
tree
2004-11-17
skimo
apparen
t
ly,
s
ign was ignore
d
before
commit
|
commitdiff
|
tree
2004-11-17
s
k
imo
multiply
w
i
t
h correct c
o
efficie
n
t 1/
d
commit
|
commitdiff
|
tree
2004-11-17
skimo
remove
d
u
plicat
e
factor
commit
|
commitdiff
|
tree
2004-11-17
skimo
add
d
e
nominato
r
to dp
o
ly_r and split
div met
h
od
commit
|
commitdiff
|
tree
2004-11-16
ski
m
o
change argu
m
ents
of
n
ormalize methods
commit
|
commitdiff
|
tree
2004-11-03
skimo
really
only remove redundant constraints
when factor==0
commit
|
commitdiff
|
tree
2004-10-31
skimo
conversion
to explicit fun
c
tion on request
commit
|
commitdiff
|
tree
2004-10-31
s
k
imo
con
v
ersion fr
o
m genfun to evalue
commit
|
commitdiff
|
tree
2004-10-31
skimo
e
xpo
r
t zz2va
l
ue
commit
|
commitdiff
|
tree
2004-10-31
skim
o
"support" floor c
o
nversion for parametric polytopes
commit
|
commitdiff
|
tree
2004-10-31
s
k
imo
us
e
evalue ins
t
ead of
E
numeration
commit
|
commitdiff
|
tree
2004-10-31
skimo
prin
t
diff
e
rent stati
s
tics
commit
|
commitdiff
|
tree
2004-10-31
skimo
remove redu
n
da
n
t code
commit
|
commitdiff
|
tree
2004-10-16
skimo
bump version
commit
|
commitdiff
|
tree
2004-10-12
skimo
Te
s
t
whether linear
combination of ex
i
stential
v
a
r
iables
commit
|
commitdiff
|
tree
2004-10-12
skimo
hand
l
e case where first part does not ha
v
e a solution
commit
|
commitdiff
|
tree
2004-10-06
s
kim
o
sm
a
ll
tool for removing redu
n
da
n
t equalities
commit
|
commitdiff
|
tree
2004-10-06
s
k
i
mo
use
b
igge
r
va
l
ues for
random vect
o
r
commit
|
commitdiff
|
tree
2004-10-05
skimo
warn on floor conversion
commit
|
commitdiff
|
tree
2004-10-05
ski
m
o
a
d
d collect_polytopes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
re
d
uce consta
n
t
aft
e
r
inversion; avoi
d
infinite
loop
commit
|
commitdiff
|
tree
2004-10-04
skimo
don'
t
ca
l
l pi
p
whe
n
there
a
re no
e
x
iste
n
tial variables
commit
|
commitdiff
|
tree
2004-10-03
skimo
bum
p
version
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
further merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
more mergi
n
g
commit
|
commitdiff
|
tree
2004-10-03
skimo
compu
t
e
E
P
only on
c
e for each v
e
rtex, at t
h
e ex
p
ense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skimo
minor extra merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
r
emove
bott
l
e
n
eck + merge
commit
|
commitdiff
|
tree
2004-10-03
sk
i
mo
a
d
d
N
TL_5_3
_
2
.
patch
commit
|
commitdiff
|
tree
2004-10-01
s
kim
o
deeper
loop
merge
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
dead
code
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
array c
o
ntrac
t
ion
commit
|
commitdiff
|
tree
2004-09-30
skimo
remove bottleneck
+
merge loo
p
s
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo in comment
commit
|
commitdiff
|
tree
2004-09-30
sk
i
m
o
d
i
stribu
t
e cdd
2
po
l
ylib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
skim
o
e
nsur
e
all rays
a
re positive
commit
|
commitdiff
|
tree
2004-09-30
s
k
i
mo
use
pro
v
i
ded
parameter names
commit
|
commitdiff
|
tree
2004-09-30
skimo
avoid +
-
commit
|
commitdiff
|
tree
2004-09-30
skim
o
c
o
llect terms
w
i
th the
s
ame denomina
t
o
r
commit
|
commitdiff
|
tree
2004-09-30
skimo
ignor
e
zer
o
terms
commit
|
commitdiff
|
tree
2004-09-30
skimo
typ
o
commit
|
commitdiff
|
tree
2004-09-29
skimo
include unist
d
.
h
f
o
r platforms without geto
p
t
.
h
commit
|
commitdiff
|
tree
2004-09-28
s
kimo
hack to igno
r
e
ra
y
s
commit
|
commitdiff
|
tree
2004-09-19
skimo
m
a
ke
r
ay lexico-pos
i
t
i
v
e
commit
|
commitdiff
|
tree
2004-09-19
skimo
initial support
for
E
h
rha
r
t series
commit
|
commitdiff
|
tree
2004-09-19
ski
m
o
all
o
w
constru
c
tion of 0D "nono
r
th
o
g
o
nal" vecto
r
commit
|
commitdiff
|
tree
2004-09-19
skimo
e
x
tr
a
ct
check
for infinite
p
arametric polytope
s
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
change
lattic
e
_point sli
g
htly (used in previous p
a
tch
)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't ma
k
e numera
t
or power positive + merge
l
oops
commit
|
commitdiff
|
tree
2004-09-18
s
k
im
o
don't make
nu
m
erator powe
r
po
s
itive
+ merge loops
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
a
l
low negative
p
o
wers
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
b
ump version
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
update
commit
|
commitdiff
|
tree
2004-09-18
skimo
point to PIP locat
i
on
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
m
o
shif
t
polyto
p
e for PIP
i
f variables range
o
v
er negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
m
o
allow verifi
c
ation of
d
irect pip use
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
don't ove
r
allocate if we do
n
'
t
h
a
ve
t
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't ove
r
a
l
locate if we do
n
't ha
v
e
to
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
o
verride ba
r
vinok
_
enumerate_ev
i
nstead of barvinok_enumerate
commit
|
commitdiff
|
tree
2004-09-18
skimo
optionally
use pip
commit
|
commitdiff
|
tree
2004-09-18
skim
o
r
e
name and export pip-based enumeration
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
conver
t
er for
cdd input t
o
p
o
lylib
in
p
ut
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
c
o
nf
o
rm to C8
9
commit
|
commitdiff
|
tree
2004-09-07
skimo
h
o
ok
s
to count the input and output
s
i
z
e in bit
s
commit
|
commitdiff
|
tree
2004-09-07
skim
o
be
careful a
b
out what to negate
commit
|
commitdiff
|
tree
2004-09-04
s
k
i
mo
some vector parti
t
ion e
x
amples
commit
|
commitdiff
|
tree
2004-08-31
s
k
i
mo
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
include
st
r
ing nee
d
fo
r
mem
c
py
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
a
v
oid gcci
s
m
commit
|
commitdiff
|
tree
2004-08-31
skimo
force
c++ linking i
n
stead
o
f linking in libst
d
c++
commit
|
commitdiff
|
tree
2004-08-31
s
k
i
mo
forc
e
installation of (possibly) new ve
r
s
i
on
commit
|
commitdiff
|
tree
2004-08-31
skimo
check for getopt
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
m
ove "c
o
n
s
tant" co
n
stant part o
u
tside of
f
r
actional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
o
mbine result
commit
|
commitdiff
|
tree
2004-08-29
skimo
sma
l
l memory lea
k
commit
|
commitdiff
|
tree
2004-08-29
skimo
use pip if available
commit
|
commitdiff
|
tree
2004-08-29
s
k
i
mo
che
c
k for pip
l
ib
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert to lo
o
kup-table if
requested
commit
|
commitdiff
|
tree
2004-08-29
skimo
te
s
t pro
g
ram for pip support
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
add
s
u
ppor
t
f
or compu
t
ing the lexicographi
c
a
l
m
in
i
mu
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
also look a
t
denominator of t
h
e cons
t
an
t
commit
|
commitdiff
|
tree
2004-08-28
sk
i
mo
m
ore
partial ray remov
a
l (lar
g
ely untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
s
k
i
mo
check that polyl
i
b is rec
e
nt enough to correctly co
m
p
ute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
a
d
d t12
.
in e
s
um
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests f
r
om polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform correct periodic number lookup
f
or negative
.
.
.
commit
|
commitdiff
|
tree
next