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
dead code elimination
2004-11-17
s
kim
o
d
ead co
d
e e
l
im
i
nation
commit
|
commitdiff
|
tree
2004-11-17
skimo
reuse new i
n
fras
t
ructur
e
to comp
u
te Ehrhart
s
eries
commit
|
commitdiff
|
tree
2004-11-17
skim
o
typo
commit
|
commitdiff
|
tree
2004-11-17
skimo
more refactoring
commit
|
commitdiff
|
tree
2004-11-17
skimo
more reord
e
ring
commit
|
commitdiff
|
tree
2004-11-17
skim
o
micro-optimizatio
n
?
commit
|
commitdiff
|
tree
2004-11-17
skimo
some co
d
e reorderi
n
g
commit
|
commitdiff
|
tree
2004-11-17
skimo
remove
d
uplicat
e
code
commit
|
commitdiff
|
tree
2004-11-17
skim
o
a
dd a
n
d use
i
ncremental counter
commit
|
commitdiff
|
tree
2004-11-17
skimo
support multiple d
i
visions and clean up me
m
ory
commit
|
commitdiff
|
tree
2004-11-17
skim
o
a
lso
dump r
e
cently added d
e
n
o
minator
commit
|
commitdiff
|
tree
2004-11-17
skimo
ap
p
aren
t
l
y, sign was
i
gnor
e
d
bef
o
re
commit
|
commitdiff
|
tree
2004-11-17
skimo
m
u
ltiply
w
ith co
r
rect coefficient
1
/d
commit
|
commitdiff
|
tree
2004-11-17
skimo
remove duplicate factor
commit
|
commitdiff
|
tree
2004-11-17
skimo
ad
d
d
enominato
r
to
dpoly_r and split div method
commit
|
commitdiff
|
tree
2004-11-16
skimo
c
h
ange argu
m
ents o
f
nor
m
alize
m
ethods
commit
|
commitdiff
|
tree
2004-11-03
skimo
really on
l
y
re
m
o
ve
redundant constraints when factor==0
commit
|
commitdiff
|
tree
2004-10-31
skimo
conversion to
expli
c
it funct
i
on on re
q
uest
commit
|
commitdiff
|
tree
2004-10-31
s
kim
o
c
o
nversion from gen
f
u
n to
e
val
u
e
commit
|
commitdiff
|
tree
2004-10-31
skimo
export zz2valu
e
commit
|
commitdiff
|
tree
2004-10-31
skimo
"suppo
r
t"
floor conversion for p
a
rametr
i
c polytopes
commit
|
commitdiff
|
tree
2004-10-31
s
kimo
use ev
a
l
u
e instead
of En
u
m
eration
commit
|
commitdiff
|
tree
2004-10-31
s
k
i
mo
pr
i
nt
d
iffere
n
t statistic
s
commit
|
commitdiff
|
tree
2004-10-31
ski
m
o
remove redundant code
commit
|
commitdiff
|
tree
2004-10-16
s
kimo
b
ump
v
ersion
commit
|
commitdiff
|
tree
2004-10-12
s
k
i
m
o
Test
w
hether
linear co
m
bi
n
ation of existenti
a
l v
a
riables
commit
|
commitdiff
|
tree
2004-10-12
sk
i
mo
handle case where first part d
o
e
s
n
o
t have a solution
commit
|
commitdiff
|
tree
2004-10-06
skimo
small tool fo
r
removi
n
g
r
e
dundant
e
qu
a
lities
commit
|
commitdiff
|
tree
2004-10-06
skimo
use b
i
gger values for random vector
commit
|
commitdiff
|
tree
2004-10-05
s
k
imo
w
a
rn on floor conversion
commit
|
commitdiff
|
tree
2004-10-05
s
kimo
a
dd collect_polyto
p
es2
.
c
commit
|
commitdiff
|
tree
2004-10-04
sk
i
mo
redu
c
e constant after inversion; avo
i
d infinite loop
commit
|
commitdiff
|
tree
2004-10-04
skimo
don't c
a
ll pip when ther
e
are no e
x
i
stential variable
s
commit
|
commitdiff
|
tree
2004-10-03
skimo
bum
p
v
ersion
commit
|
commitdiff
|
tree
2004-10-03
skimo
fu
r
ther merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
more
m
erging
commit
|
commitdiff
|
tree
2004-10-03
skimo
compute E
P
o
n
ly on
c
e for each vert
e
x, at the expense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
s
k
imo
minor ext
r
a me
r
ge
commit
|
commitdiff
|
tree
2004-10-03
skimo
remove
bottl
e
ne
c
k
+ merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
add
N
TL_5_
3
_2
.
pat
c
h
commit
|
commitdiff
|
tree
2004-10-01
ski
m
o
deeper loop m
e
rge
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
dead code
commit
|
commitdiff
|
tree
2004-09-30
skimo
arr
a
y contraction
commit
|
commitdiff
|
tree
2004-09-30
skimo
remove bottlene
c
k + merge
loops
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo in co
m
m
e
nt
commit
|
commitdiff
|
tree
2004-09-30
skimo
distribut
e
cdd2polylib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
skimo
ens
u
re all rays are positive
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
u
se provided parameter names
commit
|
commitdiff
|
tree
2004-09-30
skimo
a
voi
d
+-
commit
|
commitdiff
|
tree
2004-09-30
skimo
c
o
llec
t
t
er
m
s w
i
th the s
a
me denominator
commit
|
commitdiff
|
tree
2004-09-30
skimo
ignore zero t
e
r
ms
commit
|
commitdiff
|
tree
2004-09-30
s
k
i
m
o
typo
commit
|
commitdiff
|
tree
2004-09-29
skimo
in
c
lude unistd
.
h f
o
r pl
a
tfor
m
s without getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack to ignore rays
commit
|
commitdiff
|
tree
2004-09-19
skimo
make ray le
x
i
c
o-
p
ositive
commit
|
commitdiff
|
tree
2004-09-19
skimo
initial support f
o
r Ehrhart s
e
ries
commit
|
commitdiff
|
tree
2004-09-19
skimo
allow
c
onst
r
uction of 0D "no
n
orthogonal" vecto
r
commit
|
commitdiff
|
tree
2004-09-19
s
k
imo
extra
c
t check for
inf
i
nite para
m
etr
i
c po
l
ytopes
commit
|
commitdiff
|
tree
2004-09-18
skimo
change latti
c
e_point slight
l
y (us
e
d in previou
s
patch)
commit
|
commitdiff
|
tree
2004-09-18
skim
o
don't ma
k
e numerator power positive + merge lo
o
p
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't make n
u
merator
power positive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow
negative powers
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
bum
p
vers
i
on
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
upd
a
te
commit
|
commitdiff
|
tree
2004-09-18
skimo
poi
n
t to PIP location
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
shift po
l
ytope f
o
r PIP if variable
s
r
a
nge over negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
allow ver
i
f
i
c
a
t
ion of
d
i
rect pip use
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
do
n
't
o
v
e
r
alloc
a
te if we don't have to
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
don't
o
verallocate if
we
don't have
t
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
override barvinok_enumerate_ev instead o
f
barvino
k
_enumerate
commit
|
commitdiff
|
tree
2004-09-18
skimo
optionally use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
rename and
e
x
port pip-based
enumerati
o
n
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
mo
converter for cdd input to polylib input
commit
|
commitdiff
|
tree
2004-09-18
skimo
conform to
C
89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks
to count the i
n
put and output size in bits
commit
|
commitdiff
|
tree
2004-09-07
skimo
be careful about wh
a
t
to negate
commit
|
commitdiff
|
tree
2004-09-04
s
kimo
some vect
o
r
p
a
rtitio
n
exam
p
les
commit
|
commitdiff
|
tree
2004-08-31
skimo
a
v
oid g
c
cis
m
s
commit
|
commitdiff
|
tree
2004-08-31
sk
i
m
o
includ
e
stri
n
g
need f
o
r m
e
mc
p
y
commit
|
commitdiff
|
tree
2004-08-31
s
ki
m
o
a
v
oid
g
ccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c++ l
i
nkin
g
instead of
l
inking
i
n
l
ibs
t
d
c
+
+
commit
|
commitdiff
|
tree
2004-08-31
skim
o
for
c
e install
a
tion of (
p
ossibly) n
e
w
version
commit
|
commitdiff
|
tree
2004-08-31
skimo
chec
k
for g
e
topt
commit
|
commitdiff
|
tree
2004-08-29
s
k
i
mo
move "constant" constant par
t
outside of fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
k
i
m
o
combine result
commit
|
commitdiff
|
tree
2004-08-29
skimo
s
m
a
l
l memory leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
us
e
pip if available
commit
|
commitdiff
|
tree
2004-08-29
skimo
check for
piplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
o
n
vert to lookup-tab
l
e if requested
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
test program
fo
r
pip support
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
d
d s
u
ppo
r
t fo
r
com
p
ut
i
ng the
lex
i
cograph
i
cal minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
al
s
o loo
k
a
t
d
enominator of the
c
o
nsta
n
t
commit
|
commitdiff
|
tree
2004-08-28
skimo
mo
r
e parti
a
l
r
ay removal
(largely untes
t
ed
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
s
/
v
d
/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check
t
h
at
p
olylib is
r
ecen
t
enough to cor
r
ec
t
ly com
p
u
t
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
k
i
mo
add
t
12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests from po
l
ylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perf
o
rm correct periodic number lookup f
o
r
negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more
i
n
f
o
commit
|
commitdiff
|
tree
next