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
sk
i
mo
bump ve
r
sion
commit
|
commitdiff
|
tree
2004-12-12
ski
m
o
me
m
o
r
y leak
commit
|
commitdiff
|
tree
2004-12-12
skim
o
micro optimization
commit
|
commitdiff
|
tree
2004-12-12
skimo
take co
n
text
into acco
u
nt
commit
|
commitdiff
|
tree
2004-12-12
sk
i
mo
export
Polyhedro
n
_Project
commit
|
commitdiff
|
tree
2004-12-12
skimo
make use of inc
r
e
mental
a
l
g
orithm c
o
nfigurab
l
e
commit
|
commitdiff
|
tree
2004-12-02
skimo
remove redu
n
dant equa
l
ities
commit
|
commitdiff
|
tree
2004-12-02
skim
o
remove zer
o
terms
commit
|
commitdiff
|
tree
2004-12-02
ski
m
o
target for checking series conversion
commit
|
commitdiff
|
tree
2004-12-02
skimo
only p
r
i
n
t se
r
i
e
s
on request
commit
|
commitdiff
|
tree
2004-12-02
s
k
i
mo
use val
u
es afte
r
nor
m
alization
commit
|
commitdiff
|
tree
2004-11-29
skim
o
shoehorn in
non-fractional version of incrementa
l
enumeration
commit
|
commitdiff
|
tree
2004-11-29
sk
i
mo
optionally
c
omp
u
te
s
eries
first
before verific
a
tion
commit
|
commitdiff
|
tree
2004-11-29
skimo
spli
t
v
eri
f
_
e
hrhart into c and c++ pa
r
t
commit
|
commitdiff
|
tree
2004-11-29
skimo
c
o
m
b
i
ne terms w
i
th commo
n
d
en
o
minator
commit
|
commitdiff
|
tree
2004-11-21
skimo
r
emove possibl
y
inco
r
rect optimization
commit
|
commitdiff
|
tree
2004-11-21
skimo
increme
n
tal enumerator
commit
|
commitdiff
|
tree
2004-11-18
skimo
no
need fo
r
lam
b
da anym
o
re
commit
|
commitdiff
|
tree
2004-11-18
sk
i
mo
don't store zero terms
commit
|
commitdiff
|
tree
2004-11-17
skim
o
bump version
commit
|
commitdiff
|
tree
2004-11-17
skimo
dead code eliminatio
n
commit
|
commitdiff
|
tree
2004-11-17
skimo
reuse new infr
a
structure to c
o
mpu
t
e Eh
r
hart
series
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
skim
o
more reorde
r
ing
commit
|
commitdiff
|
tree
2004-11-17
skimo
micro
-
optimizatio
n
?
commit
|
commitdiff
|
tree
2004-11-17
s
kimo
some code
reorderi
n
g
commit
|
commitdiff
|
tree
2004-11-17
skimo
remove dupli
c
ate code
commit
|
commitdiff
|
tree
2004-11-17
skimo
add and use i
n
creme
n
t
a
l
c
o
unter
commit
|
commitdiff
|
tree
2004-11-17
skimo
s
u
pport
multiple d
i
visions and clean up memory
commit
|
commitdiff
|
tree
2004-11-17
s
k
imo
a
lso dump recently ad
d
e
d
den
o
mina
t
or
commit
|
commitdiff
|
tree
2004-11-17
s
k
i
m
o
apparently, sign was ignored be
f
or
e
commit
|
commitdiff
|
tree
2004-11-17
s
kimo
multip
l
y with
c
o
r
r
ect coe
f
ficient 1/d
commit
|
commitdiff
|
tree
2004-11-17
skimo
rem
o
ve du
p
lica
t
e fac
t
or
commit
|
commitdiff
|
tree
2004-11-17
skimo
a
dd deno
m
inator to
d
poly_
r
and spl
i
t div m
e
t
hod
commit
|
commitdiff
|
tree
2004-11-16
skimo
change a
r
gume
n
t
s
of normali
z
e methods
commit
|
commitdiff
|
tree
2004-11-03
skimo
really
o
n
ly remove redundant
con
s
traints when fact
o
r==0
commit
|
commitdiff
|
tree
2004-10-31
s
ki
m
o
convers
i
on to
e
xpli
c
i
t func
t
ion on request
commit
|
commitdiff
|
tree
2004-10-31
skimo
conversion
fro
m
genfun to evalue
commit
|
commitdiff
|
tree
2004-10-31
skimo
exp
o
r
t zz2value
commit
|
commitdiff
|
tree
2004-10-31
skimo
"s
u
pport" floor convers
i
on for p
a
rame
t
ric
p
oly
t
o
p
es
commit
|
commitdiff
|
tree
2004-10-31
s
kimo
use eval
u
e
i
n
stead of En
u
meration
commit
|
commitdiff
|
tree
2004-10-31
skimo
p
rint different st
a
tistic
s
commit
|
commitdiff
|
tree
2004-10-31
s
kimo
remove redundant code
commit
|
commitdiff
|
tree
2004-10-16
skimo
b
u
mp version
commit
|
commitdiff
|
tree
2004-10-12
sk
i
mo
T
e
st whether linear comb
i
n
a
tion of ex
i
stential
variables
commit
|
commitdiff
|
tree
2004-10-12
s
k
imo
handle case where first
par
t
does not
h
a
ve a solu
t
ion
commit
|
commitdiff
|
tree
2004-10-06
skimo
small tool for
r
e
moving
r
edun
d
ant equ
a
lities
commit
|
commitdiff
|
tree
2004-10-06
skimo
use bigger
v
a
lues for random vector
commit
|
commitdiff
|
tree
2004-10-05
skimo
warn
o
n floor conversion
commit
|
commitdiff
|
tree
2004-10-05
skimo
add
c
o
llect_pol
y
t
o
pe
s
2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
r
educe constant
a
f
t
e
r invers
i
on; avoid
infinite loop
commit
|
commitdiff
|
tree
2004-10-04
ski
m
o
don
'
t call pip when there are no exist
e
nt
i
al variab
l
es
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
bum
p
versi
o
n
commit
|
commitdiff
|
tree
2004-10-03
s
k
imo
further merge
commit
|
commitdiff
|
tree
2004-10-03
skim
o
more merg
i
ng
commit
|
commitdiff
|
tree
2004-10-03
s
k
imo
compute
EP only
once for each vertex, at the expense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skimo
minor extra me
r
ge
commit
|
commitdiff
|
tree
2004-10-03
sk
i
mo
remove bottle
n
eck + merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
ad
d
NT
L
_5
_
3_2
.
patch
commit
|
commitdiff
|
tree
2004-10-01
skimo
deeper loop m
e
rge
commit
|
commitdiff
|
tree
2004-09-30
skimo
dead code
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
array contraction
commit
|
commitdiff
|
tree
2004-09-30
skimo
rem
o
ve b
o
ttle
n
e
c
k + me
r
ge loops
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo in comme
n
t
commit
|
commitdiff
|
tree
2004-09-30
skimo
d
i
s
tribute cdd2p
o
lylib
.
p
l
commit
|
commitdiff
|
tree
2004-09-30
skimo
en
s
ure all rays are p
o
sitive
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
us
e
provided param
e
ter n
a
mes
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
av
o
id +-
commit
|
commitdiff
|
tree
2004-09-30
skimo
c
o
l
l
ect t
e
rms wi
t
h the same denomi
n
a
tor
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
ignore
z
ero t
e
rms
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
typo
commit
|
commitdiff
|
tree
2004-09-29
skimo
include unistd
.
h for p
l
a
tforms withou
t
getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack to ignore rays
commit
|
commitdiff
|
tree
2004-09-19
sk
i
mo
m
a
ke
ray lexico
-
posit
i
ve
commit
|
commitdiff
|
tree
2004-09-19
skimo
initial support fo
r
Ehrha
r
t serie
s
commit
|
commitdiff
|
tree
2004-09-19
skimo
allow construction of 0D "nonorthogonal" vector
commit
|
commitdiff
|
tree
2004-09-19
skimo
extra
c
t check for
i
nfin
i
t
e
p
a
rametric
polytopes
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
ch
a
nge latt
i
c
e
_poi
n
t slightly (used in previous patch)
commit
|
commitdiff
|
tree
2004-09-18
skimo
d
o
n't ma
k
e n
u
m
erator power posit
i
ve + merge loops
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
don't make nume
r
ator
p
ow
e
r
positive +
m
erge
l
o
o
ps
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow negative powers
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
b
ump vers
i
o
n
commit
|
commitdiff
|
tree
2004-09-18
skimo
update
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
po
i
n
t
t
o PIP lo
c
ation
commit
|
commitdiff
|
tree
2004-09-18
skimo
shift polytope for PIP
i
f
v
a
riables rang
e
over n
e
ga
t
ive
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
a
llow ve
r
ification
o
f
d
irect pip use
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't o
v
e
r
alloc
a
te if we d
o
n
'
t
have to
commit
|
commitdiff
|
tree
2004-09-18
skim
o
do
n
't ove
r
a
llocate if
w
e don't ha
v
e to
commit
|
commitdiff
|
tree
2004-09-18
skimo
override barvin
o
k_enumerate_ev
instead of barvinok_enume
r
ate
commit
|
commitdiff
|
tree
2004-09-18
skim
o
optionally use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
re
n
a
m
e
a
nd export
p
ip-
b
ase
d
enumer
a
tion
commit
|
commitdiff
|
tree
2004-09-18
skimo
c
o
nv
e
rt
e
r for cdd input to polylib input
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
conform to C89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks to c
o
unt
the i
n
put and out
p
ut size in bi
t
s
commit
|
commitdiff
|
tree
2004-09-07
sk
i
mo
be c
a
reful about what to negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
some vector p
a
rt
i
tion ex
a
mples
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
skim
o
include str
i
ng need for memc
p
y
commit
|
commitdiff
|
tree
next