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
support multiple divisions and clean up memory
2004-11-17
s
k
imo
support multiple divisions and c
l
ea
n
up memo
r
y
commit
|
commitdiff
|
tree
2004-11-17
skimo
also
d
u
mp rec
e
n
t
ly ad
d
ed denominator
commit
|
commitdiff
|
tree
2004-11-17
s
k
imo
apparentl
y
, sign wa
s
ignored befor
e
commit
|
commitdiff
|
tree
2004-11-17
skimo
mult
i
p
ly
with
correct c
o
efficie
n
t 1/d
commit
|
commitdiff
|
tree
2004-11-17
skimo
remov
e
dupli
c
a
te fa
c
tor
commit
|
commitdiff
|
tree
2004-11-17
skimo
add den
o
minator t
o
dp
o
ly_r
and split
d
iv
method
commit
|
commitdiff
|
tree
2004-11-16
ski
m
o
change
a
rgum
e
nts of normali
z
e methods
commit
|
commitdiff
|
tree
2004-11-03
s
k
imo
really only re
m
ove
redundant c
o
nstrain
t
s
when
f
acto
r
==0
commit
|
commitdiff
|
tree
2004-10-31
skimo
c
o
nversion to explici
t
function on requ
e
s
t
commit
|
commitdiff
|
tree
2004-10-31
skimo
conversion fr
o
m g
e
nf
u
n
to e
v
alue
commit
|
commitdiff
|
tree
2004-10-31
skimo
expo
r
t
z
z2valu
e
commit
|
commitdiff
|
tree
2004-10-31
skimo
"support" flo
o
r
c
onversion fo
r
parametric polytop
e
s
commit
|
commitdiff
|
tree
2004-10-31
skimo
use evalue instead of Enume
r
at
i
on
commit
|
commitdiff
|
tree
2004-10-31
s
k
im
o
print different stat
i
s
t
ics
commit
|
commitdiff
|
tree
2004-10-31
skimo
remove
re
d
und
a
nt code
commit
|
commitdiff
|
tree
2004-10-16
skimo
bu
m
p
ve
r
s
ion
commit
|
commitdiff
|
tree
2004-10-12
s
k
i
mo
Tes
t
w
h
e
ther
lin
e
ar
c
o
mbinat
i
on of existentia
l
var
i
a
bles
commit
|
commitdiff
|
tree
2004-10-12
s
k
i
mo
handle case wh
e
re first part
does
n
ot have a so
l
u
t
i
o
n
commit
|
commitdiff
|
tree
2004-10-06
skimo
small tool for r
e
movin
g
r
edun
d
a
n
t
equalities
commit
|
commitdiff
|
tree
2004-10-06
sk
i
m
o
use big
g
er values for rando
m
vector
commit
|
commitdiff
|
tree
2004-10-05
skimo
war
n
on floor
conversion
commit
|
commitdiff
|
tree
2004-10-05
s
k
imo
add
c
o
l
le
c
t_polyto
p
e
s
2
.
c
commit
|
commitdiff
|
tree
2004-10-04
s
k
im
o
r
educe constant aft
e
r in
v
ersion; a
v
oid infinite
loop
commit
|
commitdiff
|
tree
2004-10-04
skimo
don
'
t c
a
ll pip when there are no
existential
var
i
ables
commit
|
commitdiff
|
tree
2004-10-03
s
kim
o
b
ump version
commit
|
commitdiff
|
tree
2004-10-03
sk
i
mo
f
urt
h
er merge
commit
|
commitdiff
|
tree
2004-10-03
skim
o
more m
e
rging
commit
|
commitdiff
|
tree
2004-10-03
skimo
compute EP
o
nly on
c
e for each vert
e
x, at the expense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
s
kimo
minor e
x
tra merg
e
commit
|
commitdiff
|
tree
2004-10-03
skimo
remo
v
e
bottleneck + merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
a
dd NTL
_
5
_3_2
.
patch
commit
|
commitdiff
|
tree
2004-10-01
skimo
de
e
per loop merg
e
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
dead code
commit
|
commitdiff
|
tree
2004-09-30
skimo
array
c
ontrac
t
i
o
n
commit
|
commitdiff
|
tree
2004-09-30
skimo
remove bottleneck + merge
l
oops
commit
|
commitdiff
|
tree
2004-09-30
skimo
ty
p
o in
c
omment
commit
|
commitdiff
|
tree
2004-09-30
sk
i
m
o
distribu
t
e cdd2polylib
.
p
l
commit
|
commitdiff
|
tree
2004-09-30
skimo
ensure all rays are positive
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
us
e
provid
e
d
paramete
r
names
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
avoid +-
commit
|
commitdiff
|
tree
2004-09-30
skimo
col
l
ect
t
erms with the same denominator
commit
|
commitdiff
|
tree
2004-09-30
skimo
ignore zer
o
terms
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo
commit
|
commitdiff
|
tree
2004-09-29
skimo
i
n
clude uni
s
td
.
h for
p
l
atf
o
rms without
g
etopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
skim
o
h
a
ck t
o
i
g
nore rays
commit
|
commitdiff
|
tree
2004-09-19
s
k
imo
make ray lexi
c
o
-
p
os
i
tive
commit
|
commitdiff
|
tree
2004-09-19
skimo
initial su
p
po
r
t
f
or Ehr
h
a
rt seri
e
s
commit
|
commitdiff
|
tree
2004-09-19
skim
o
allow constr
u
ction of 0D
"nonorthogonal" vector
commit
|
commitdiff
|
tree
2004-09-19
skimo
extr
a
ct check
for infini
t
e pa
r
am
e
t
ric polytopes
commit
|
commitdiff
|
tree
2004-09-18
skimo
change lattice_point
s
ligh
t
ly (used
i
n previ
o
u
s patch)
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
don't make numerator power
p
o
sitive
+ mer
g
e
l
oops
commit
|
commitdiff
|
tree
2004-09-18
skimo
d
on't ma
k
e numerator power pos
i
ti
v
e + m
e
rge lo
o
ps
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
allow
n
egative p
o
wers
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
b
ump ve
r
sion
commit
|
commitdiff
|
tree
2004-09-18
skimo
u
pda
t
e
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
p
oint to PIP location
commit
|
commitdiff
|
tree
2004-09-18
skimo
shift polytope
f
o
r PIP
if variables ran
g
e over negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
al
l
ow verification of direct pip use
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't
overallocat
e
if we do
n
't
h
ave
to
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't overallocate if
w
e do
n
'
t
h
a
ve to
commit
|
commitdiff
|
tree
2004-09-18
skim
o
ov
e
rride barvi
n
ok_enu
m
erate_ev instead
o
f barvinok_enumerat
e
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
opt
i
onally use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
rename and exp
o
rt pip-based
e
numer
a
tion
commit
|
commitdiff
|
tree
2004-09-18
skimo
converte
r
for cdd input t
o
polylib input
commit
|
commitdiff
|
tree
2004-09-18
skimo
conform to C89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks to count th
e
input and output size in bits
commit
|
commitdiff
|
tree
2004-09-07
sk
i
mo
be
careful a
b
out w
h
at to
n
e
gate
commit
|
commitdiff
|
tree
2004-09-04
skim
o
some vect
o
r partit
i
on
e
xamples
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
av
o
id gcc
i
sms
commit
|
commitdiff
|
tree
2004-08-31
skimo
include string need for memcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c++ linking instead of lin
k
ing in libstdc
+
+
commit
|
commitdiff
|
tree
2004-08-31
skimo
for
c
e installation of (
p
ossib
l
y) new version
commit
|
commitdiff
|
tree
2004-08-31
skimo
c
h
eck for
g
etopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move "const
a
nt" c
o
n
s
t
a
nt
part ou
t
side of fra
c
t
i
ona
l
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combine result
commit
|
commitdiff
|
tree
2004-08-29
skimo
s
m
a
ll memory leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use
p
ip if available
commit
|
commitdiff
|
tree
2004-08-29
skimo
chec
k
for
p
iplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert to lookup-table
if requested
commit
|
commitdiff
|
tree
2004-08-29
s
k
i
mo
test program for pip sup
p
ort
commit
|
commitdiff
|
tree
2004-08-29
skimo
add support for
c
omputing the lexicographical min
i
mum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
also look
a
t denominator
o
f
t
h
e
constant
commit
|
commitdiff
|
tree
2004-08-28
skimo
mo
r
e
pa
r
tial ray remov
a
l (largely untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check that polylib is rece
n
t en
o
ug
h
to c
o
rrectly compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
a
d
d
t
12
.
in e
s
um
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
n
e
w
t
e
s
ts
f
r
o
m
polylib
commit
|
commitdiff
|
tree
2004-08-23
sk
i
mo
perform correct p
e
r
i
odic nu
m
b
e
r
lookup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more info
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
correct test for mpz_divis
i
bl
e
_
p
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
repeat workaro
u
nd in lo
o
p
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
older gmps s
e
em
t
o
have problems
wi
t
h a stri
n
g cons
t
i
s
t
ing
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support old
e
r
g
mp versi
o
ns
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't
a
ssum
e
C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
r
e
move cod
e
duplication
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out
c
ommon code
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out code to construc
t
n
egative test constraint
commit
|
commitdiff
|
tree
next