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-12-12
skimo
bump version
commit
|
commitdiff
|
tree
2004-12-12
skimo
m
e
mory leak
commit
|
commitdiff
|
tree
2004-12-12
skimo
micro optimization
commit
|
commitdiff
|
tree
2004-12-12
skimo
t
a
ke c
o
ntext into
a
c
count
commit
|
commitdiff
|
tree
2004-12-12
skimo
exp
o
r
t Polyhedron_
P
roject
commit
|
commitdiff
|
tree
2004-12-12
s
kimo
make use of incremen
t
al algor
i
thm conf
i
gurable
commit
|
commitdiff
|
tree
2004-12-02
s
kimo
remove r
e
dundant e
q
ualities
commit
|
commitdiff
|
tree
2004-12-02
skimo
remove zero terms
commit
|
commitdiff
|
tree
2004-12-02
ski
m
o
target for c
h
ecking series
c
o
n
version
commit
|
commitdiff
|
tree
2004-12-02
skimo
only print series on
request
commit
|
commitdiff
|
tree
2004-12-02
s
kimo
use
v
a
lu
e
s a
f
ter norm
a
lizat
i
o
n
commit
|
commitdiff
|
tree
2004-11-29
skimo
shoehorn in non
-
frac
t
ional
versio
n
of increm
e
n
t
al
e
numer
a
tion
commit
|
commitdiff
|
tree
2004-11-29
s
k
imo
o
ption
a
ll
y
compute series fir
s
t be
f
ore verification
commit
|
commitdiff
|
tree
2004-11-29
s
k
imo
split verif_
e
hrhart into c and c++
part
commit
|
commitdiff
|
tree
2004-11-29
skimo
combine terms with common
denom
i
nator
commit
|
commitdiff
|
tree
2004-11-21
skim
o
remove possib
l
y inc
o
rre
c
t optimization
commit
|
commitdiff
|
tree
2004-11-21
skim
o
incremental enumerator
commit
|
commitdiff
|
tree
2004-11-18
ski
m
o
no
n
eed for lambda anymo
r
e
commit
|
commitdiff
|
tree
2004-11-18
skimo
don
'
t store z
e
ro t
e
r
m
s
commit
|
commitdiff
|
tree
2004-11-17
skimo
bump version
commit
|
commitdiff
|
tree
2004-11-17
skimo
dead cod
e
elimina
t
ion
commit
|
commitdiff
|
tree
2004-11-17
s
kimo
reuse ne
w
infrastructure
to com
p
ute Ehrhart series
commit
|
commitdiff
|
tree
2004-11-17
skimo
typo
commit
|
commitdiff
|
tree
2004-11-17
skimo
m
o
r
e
refact
o
ring
commit
|
commitdiff
|
tree
2004-11-17
skimo
m
o
r
e reordering
commit
|
commitdiff
|
tree
2004-11-17
skimo
micro-optim
i
zation ?
commit
|
commitdiff
|
tree
2004-11-17
skimo
so
m
e
code re
o
r
dering
commit
|
commitdiff
|
tree
2004-11-17
s
k
imo
r
e
m
o
ve duplicate code
commit
|
commitdiff
|
tree
2004-11-17
ski
m
o
add and use incr
e
m
ental counter
commit
|
commitdiff
|
tree
2004-11-17
skimo
s
u
pp
o
rt mul
t
ipl
e
div
i
sions and cle
a
n up memory
commit
|
commitdiff
|
tree
2004-11-17
skimo
also dump recently added d
e
nominator
commit
|
commitdiff
|
tree
2004-11-17
skimo
appare
n
tly
,
sign
was ignored before
commit
|
commitdiff
|
tree
2004-11-17
skimo
multiply with
c
orrect
coeff
i
cient 1/d
commit
|
commitdiff
|
tree
2004-11-17
skimo
remove duplicate
factor
commit
|
commitdiff
|
tree
2004-11-17
skimo
add denominator to dpoly_r a
n
d split div me
t
ho
d
commit
|
commitdiff
|
tree
2004-11-16
sk
i
mo
chan
g
e arguments of norma
l
ize
m
ethods
commit
|
commitdiff
|
tree
2004-11-03
skimo
really on
l
y rem
o
ve redun
d
a
nt
constraints when
factor==0
commit
|
commitdiff
|
tree
2004-10-31
skimo
conv
e
r
sio
n
t
o
exp
l
icit functio
n
on re
q
u
e
st
commit
|
commitdiff
|
tree
2004-10-31
skimo
conversi
o
n
from genfu
n
to evalue
commit
|
commitdiff
|
tree
2004-10-31
skimo
e
xport
z
z2value
commit
|
commitdiff
|
tree
2004-10-31
skimo
"s
u
pport" floor conver
s
ion for par
a
metric
p
o
lyt
o
pes
commit
|
commitdiff
|
tree
2004-10-31
skimo
u
s
e evalue
instea
d
of Enumer
a
tio
n
commit
|
commitdiff
|
tree
2004-10-31
ski
m
o
p
r
int different s
t
atistic
s
commit
|
commitdiff
|
tree
2004-10-31
skimo
remove redundant code
commit
|
commitdiff
|
tree
2004-10-16
skimo
bump versio
n
commit
|
commitdiff
|
tree
2004-10-12
s
k
imo
Tes
t
wh
e
ther linear co
m
binat
i
on of e
x
i
s
te
n
tial vari
a
bles
commit
|
commitdiff
|
tree
2004-10-12
skimo
h
a
ndle cas
e
where fir
s
t
part does not
hav
e
a solution
commit
|
commitdiff
|
tree
2004-10-06
skimo
sma
l
l
tool for removing
red
u
ndant
e
qualities
commit
|
commitdiff
|
tree
2004-10-06
s
kimo
use bigger values for
r
a
ndo
m
vector
commit
|
commitdiff
|
tree
2004-10-05
skimo
warn on flo
o
r
c
onv
e
rsion
commit
|
commitdiff
|
tree
2004-10-05
skim
o
ad
d
col
l
ect_polytopes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
reduce c
o
nstant aft
e
r inve
r
si
o
n; avoid infinite loop
commit
|
commitdiff
|
tree
2004-10-04
s
kimo
d
on't call pip when
there
are n
o
existentia
l
variables
commit
|
commitdiff
|
tree
2004-10-03
skimo
bump ve
r
sion
commit
|
commitdiff
|
tree
2004-10-03
skimo
f
urther merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
more merging
commit
|
commitdiff
|
tree
2004-10-03
skimo
compute EP only once for each vertex
,
a
t
the expense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
minor
e
x
t
ra merge
commit
|
commitdiff
|
tree
2004-10-03
s
k
i
mo
remove bottleneck +
m
erge
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
a
d
d NTL_5_
3
_2
.
patch
commit
|
commitdiff
|
tree
2004-10-01
skimo
de
e
per loop merge
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
dead code
commit
|
commitdiff
|
tree
2004-09-30
skimo
array contra
c
t
i
on
commit
|
commitdiff
|
tree
2004-09-30
skim
o
r
em
o
ve bottlene
c
k
+
merge
loops
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo in comm
e
n
t
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
dist
r
ibute cdd2poly
l
ib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
ensure all r
a
ys
a
re
po
s
it
i
ve
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
use provi
d
ed parameter nam
e
s
commit
|
commitdiff
|
tree
2004-09-30
skimo
a
void +-
commit
|
commitdiff
|
tree
2004-09-30
skimo
colle
c
t terms with the same denominato
r
commit
|
commitdiff
|
tree
2004-09-30
skim
o
ignore zero terms
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo
commit
|
commitdiff
|
tree
2004-09-29
ski
m
o
in
c
lude unist
d
.
h for platforms wit
h
out getop
t
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack to igno
r
e
rays
commit
|
commitdiff
|
tree
2004-09-19
s
k
imo
ma
k
e ray lexico-positi
v
e
commit
|
commitdiff
|
tree
2004-09-19
sk
i
mo
i
n
it
i
al support for Ehrhar
t
ser
i
es
commit
|
commitdiff
|
tree
2004-09-19
skimo
al
l
ow constr
u
ction of 0D "nonorthogonal" v
e
ctor
commit
|
commitdiff
|
tree
2004-09-19
ski
m
o
extract check for infinite parametr
i
c poly
t
opes
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
m
o
chan
g
e l
a
ttice_point slightly (us
e
d in pr
e
vious patch)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't make numera
t
or power positive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
do
n
't make numerator po
w
er positive + me
r
ge loops
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
allow negative powers
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
t
y
p
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
bump version
commit
|
commitdiff
|
tree
2004-09-18
skimo
u
p
dat
e
commit
|
commitdiff
|
tree
2004-09-18
skimo
point to PIP locati
o
n
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
s
hift po
l
ytope for P
I
P
if variables range over
n
egati
v
e
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
allow
v
erificati
o
n of d
i
rect
p
ip u
s
e
commit
|
commitdiff
|
tree
2004-09-18
skim
o
don't overal
l
oca
t
e if we don't
h
ave to
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't overallocate if
we
d
on
'
t have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
over
r
i
d
e b
a
rvinok
_
enumerate_
e
v instead
o
f bar
v
inok_enumerat
e
commit
|
commitdiff
|
tree
2004-09-18
skimo
optional
l
y use
pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
re
n
am
e
and
exp
o
rt pip-b
a
sed
e
numeration
commit
|
commitdiff
|
tree
2004-09-18
skimo
converter for cdd
input
t
o pol
y
l
i
b
in
p
u
t
commit
|
commitdiff
|
tree
2004-09-18
skimo
c
o
nform to
C
89
commit
|
commitdiff
|
tree
2004-09-07
s
k
im
o
hooks to
c
o
u
n
t the inp
u
t and
o
u
t
p
ut size in bits
commit
|
commitdiff
|
tree
2004-09-07
skimo
be careful about
what to
n
ega
t
e
commit
|
commitdiff
|
tree
2004-09-04
ski
m
o
some vector partition ex
a
mples
commit
|
commitdiff
|
tree
2004-08-31
skim
o
av
o
id gc
c
isms
commit
|
commitdiff
|
tree
2004-08-31
skimo
include string need for memcpy
commit
|
commitdiff
|
tree
next