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
also dump recently added denominator
2004-11-17
skimo
also d
u
m
p r
e
cently
a
d
ded
denominator
commit
|
commitdiff
|
tree
2004-11-17
ski
m
o
appar
e
ntly, sign
wa
s
igno
r
ed befor
e
commit
|
commitdiff
|
tree
2004-11-17
skimo
multiply with c
o
rrect coefficient
1/d
commit
|
commitdiff
|
tree
2004-11-17
skimo
remove duplicate facto
r
commit
|
commitdiff
|
tree
2004-11-17
skimo
add d
e
nominator to dpo
l
y_r and split
div method
commit
|
commitdiff
|
tree
2004-11-16
skimo
change ar
g
ument
s
of norm
a
li
z
e
m
ethods
commit
|
commitdiff
|
tree
2004-11-03
skimo
r
e
ally only remove redunda
n
t
c
onstraint
s
when fact
o
r
=
=
0
commit
|
commitdiff
|
tree
2004-10-31
sk
i
mo
conversio
n
t
o
explicit f
u
n
ction on reque
s
t
commit
|
commitdiff
|
tree
2004-10-31
skimo
conversion
fro
m
genfun to eval
u
e
commit
|
commitdiff
|
tree
2004-10-31
skimo
export z
z
2value
commit
|
commitdiff
|
tree
2004-10-31
skimo
"suppo
r
t"
f
loor c
o
nversion for par
a
metric polytopes
commit
|
commitdiff
|
tree
2004-10-31
skimo
us
e
evalue
i
nstead of Enumer
a
ti
o
n
commit
|
commitdiff
|
tree
2004-10-31
skimo
print
differe
n
t statistics
commit
|
commitdiff
|
tree
2004-10-31
sk
i
mo
re
m
ove redundant
c
ode
commit
|
commitdiff
|
tree
2004-10-16
skimo
bump version
commit
|
commitdiff
|
tree
2004-10-12
skimo
T
est whether linear
c
om
b
ination of existenti
a
l
v
ari
a
bles
commit
|
commitdiff
|
tree
2004-10-12
s
kimo
handle c
a
se w
h
e
re f
i
rst part
d
o
es n
o
t have a solution
commit
|
commitdiff
|
tree
2004-10-06
skimo
sma
l
l tool for remov
i
ng redu
n
da
n
t equa
l
it
i
es
commit
|
commitdiff
|
tree
2004-10-06
skimo
u
s
e bigger va
l
ues for ra
n
dom vector
commit
|
commitdiff
|
tree
2004-10-05
skimo
warn on floo
r
con
v
er
s
i
o
n
commit
|
commitdiff
|
tree
2004-10-05
skimo
add collect
_
poly
t
opes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
r
e
duce constan
t
after inversion; avoid infini
t
e loop
commit
|
commitdiff
|
tree
2004-10-04
s
ki
m
o
don't c
a
l
l pip
w
hen th
e
re
are no ex
i
stential v
a
riables
commit
|
commitdiff
|
tree
2004-10-03
skimo
bump
v
ersion
commit
|
commitdiff
|
tree
2004-10-03
skimo
further merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
m
o
re merging
commit
|
commitdiff
|
tree
2004-10-03
skimo
c
o
m
p
ute EP only
once for each vertex, at th
e
ex
p
e
nse
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skimo
minor
ex
t
r
a
merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
remo
v
e bottleneck + merg
e
commit
|
commitdiff
|
tree
2004-10-03
skimo
add N
T
L_5_3_2
.
pat
c
h
commit
|
commitdiff
|
tree
2004-10-01
skimo
dee
p
er loop
m
erge
commit
|
commitdiff
|
tree
2004-09-30
skimo
dead co
d
e
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
array
c
ontr
a
ction
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
remove bottl
e
n
eck + merge loops
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
ty
p
o
i
n comment
commit
|
commitdiff
|
tree
2004-09-30
skim
o
d
i
s
tribute cdd2polylib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
s
k
i
mo
e
nsure
all rays are positive
commit
|
commitdiff
|
tree
2004-09-30
skimo
us
e
provid
e
d parameter names
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
a
void +-
commit
|
commitdiff
|
tree
2004-09-30
s
k
i
mo
collect
terms wi
t
h th
e
same denominator
commit
|
commitdiff
|
tree
2004-09-30
skimo
i
gnore zero terms
commit
|
commitdiff
|
tree
2004-09-30
skimo
typ
o
commit
|
commitdiff
|
tree
2004-09-29
ski
m
o
i
n
c
l
ud
e
unistd
.
h for platforms without
g
e
t
opt
.
h
commit
|
commitdiff
|
tree
2004-09-28
ski
m
o
hack
to ign
o
re rays
commit
|
commitdiff
|
tree
2004-09-19
skimo
make
ray lexico-positive
commit
|
commitdiff
|
tree
2004-09-19
sk
i
m
o
initial support for Ehrhart s
e
ries
commit
|
commitdiff
|
tree
2004-09-19
skimo
allo
w
cons
t
r
u
ction of 0D "nonorthogonal" vect
o
r
commit
|
commitdiff
|
tree
2004-09-19
skimo
extra
c
t
ch
e
ck
f
o
r
infinite parametric
p
olytope
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
cha
n
g
e l
a
t
t
ice_point slightly (use
d
in p
r
evious patch)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't m
a
ke
n
u
merator
power
pos
i
t
i
ve +
m
erge loo
p
s
commit
|
commitdiff
|
tree
2004-09-18
skim
o
don't make nu
m
er
a
to
r
power positive + m
e
rge loo
p
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow negative power
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
bump v
e
rsion
commit
|
commitdiff
|
tree
2004-09-18
skimo
u
p
date
commit
|
commitdiff
|
tree
2004-09-18
skimo
point to PIP location
commit
|
commitdiff
|
tree
2004-09-18
skimo
shif
t
poly
t
o
p
e for PIP if vari
a
ble
s
ran
g
e over
negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
allow v
e
rification
o
f
d
i
rect
pip use
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
don't
o
ve
r
a
l
locate i
f
we don
'
t have to
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
don't ove
r
allocate if we don't hav
e
to
commit
|
commitdiff
|
tree
2004-09-18
skimo
o
v
erride b
a
rvinok
_
enumerate_
e
v i
n
st
e
ad of barvinok_enume
r
ate
commit
|
commitdiff
|
tree
2004-09-18
skimo
o
ptionally use pip
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
renam
e
and
e
xport pip-base
d
enumerat
i
o
n
commit
|
commitdiff
|
tree
2004-09-18
skimo
converter fo
r
c
d
d input to polylib input
commit
|
commitdiff
|
tree
2004-09-18
skimo
conform to C89
commit
|
commitdiff
|
tree
2004-09-07
skimo
h
o
ok
s
to count the in
p
u
t
and output size in bit
s
commit
|
commitdiff
|
tree
2004-09-07
skim
o
b
e careful
a
bout wh
a
t to negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
some vector
p
art
i
t
i
on
e
xamples
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
skimo
i
nclude s
t
r
i
ng n
e
e
d
f
o
r memcpy
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
avoid gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c++
l
in
k
ing instead of link
i
ng
in
libstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
force install
a
tion of (possibly) new v
e
rsion
commit
|
commitdiff
|
tree
2004-08-31
skim
o
check for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
m
ove "constant"
constant pa
r
t
outside of fraction
a
l
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
combi
n
e result
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
sma
l
l memory leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use pip if
av
a
ilable
commit
|
commitdiff
|
tree
2004-08-29
skimo
check for
p
iplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
co
n
vert to
l
oo
k
up-ta
b
le if
r
equest
e
d
commit
|
commitdiff
|
tree
2004-08-29
skimo
t
es
t
program for pip support
commit
|
commitdiff
|
tree
2004-08-29
skimo
ad
d
support fo
r
com
p
uting
t
he l
e
xicographical mi
n
im
u
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
also look
a
t denomi
n
ator of t
h
e const
a
n
t
commit
|
commitdiff
|
tree
2004-08-28
skimo
mo
r
e p
a
rtial
r
ay remov
a
l (large
l
y unt
e
sted
commit
|
commitdiff
|
tree
2004-08-23
skimo
s
/
vd/verti
c
es/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check
t
h
at polylib is rec
e
nt enough to correctly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
add t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new
te
s
t
s
f
r
o
m polyli
b
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
perform
correct periodic nu
m
ber looku
p
f
o
r
n
egative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
m
ore info
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
correct
t
est for mpz_divisible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat workaround in
loop
commit
|
commitdiff
|
tree
2004-08-14
s
kimo
old
e
r gmps seem to have problems wi
t
h
a string cons
t
isting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support
o
lder
gmp versi
o
n
s
commit
|
commitdiff
|
tree
2004-08-13
s
kimo
don't a
s
sume C99
commit
|
commitdiff
|
tree
2004-08-10
skim
o
r
e
move
c
ode duplic
a
tion
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out comm
o
n code
commit
|
commitdiff
|
tree
2004-08-09
skimo
e
x
tract ou
t
code
t
o
construct n
e
gative tes
t
c
onstrain
t
commit
|
commitdiff
|
tree
2004-08-09
skimo
code r
e
use
commit
|
commitdiff
|
tree
next