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
warn on floor conversion
2004-10-05
skimo
warn on floor convers
i
on
commit
|
commitdiff
|
tree
2004-10-05
s
k
imo
add collect_pol
y
t
opes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skim
o
re
d
uce
constant
a
fte
r
inv
e
r
s
i
o
n
;
avoid
i
n
finite lo
o
p
commit
|
commitdiff
|
tree
2004-10-04
ski
m
o
don't cal
l
pip wh
e
n there are no exis
t
ential
variab
l
es
commit
|
commitdiff
|
tree
2004-10-03
skimo
bump versio
n
commit
|
commitdiff
|
tree
2004-10-03
skimo
further m
e
rge
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
more mergin
g
commit
|
commitdiff
|
tree
2004-10-03
skimo
compute E
P
only once
for each vertex, at
the expens
e
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skimo
mi
n
or e
x
tra
merge
commit
|
commitdiff
|
tree
2004-10-03
s
k
imo
remove bottleneck + merge
commit
|
commitdiff
|
tree
2004-10-03
skim
o
add NTL_5_3_2
.
patch
commit
|
commitdiff
|
tree
2004-10-01
skimo
d
eeper loop merge
commit
|
commitdiff
|
tree
2004-09-30
skimo
dead
code
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
ar
r
ay cont
r
action
commit
|
commitdiff
|
tree
2004-09-30
skimo
remo
v
e bott
l
eneck
+ merge loops
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo in commen
t
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
distribute cdd2polylib
.
p
l
commit
|
commitdiff
|
tree
2004-09-30
skimo
ens
u
re
a
ll rays are
posit
i
ve
commit
|
commitdiff
|
tree
2004-09-30
skimo
us
e
p
rovided param
e
te
r
names
commit
|
commitdiff
|
tree
2004-09-30
skimo
av
o
id +-
commit
|
commitdiff
|
tree
2004-09-30
skimo
collect t
e
rms w
i
th the same den
o
min
a
tor
commit
|
commitdiff
|
tree
2004-09-30
s
k
i
m
o
ignore zero
t
e
r
ms
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo
commit
|
commitdiff
|
tree
2004-09-29
s
k
i
m
o
include
unist
d
.
h for p
l
a
t
forms witho
u
t getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
s
k
im
o
hack t
o
igno
r
e rays
commit
|
commitdiff
|
tree
2004-09-19
s
k
imo
ma
k
e ray lexi
c
o-
p
os
i
tive
commit
|
commitdiff
|
tree
2004-09-19
skimo
initi
a
l suppo
r
t
f
o
r
Ehrhart seri
e
s
commit
|
commitdiff
|
tree
2004-09-19
skimo
allow
construction
of 0D "
n
onorthog
o
nal" vecto
r
commit
|
commitdiff
|
tree
2004-09-19
skimo
e
x
t
r
a
c
t check
f
o
r infinite parametric polytopes
commit
|
commitdiff
|
tree
2004-09-18
skimo
change
l
attice_point sli
g
h
t
ly (used in
p
revious patch)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't make n
u
merator pow
e
r positive +
merge
l
o
ops
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
mo
do
n
'
t
m
ake numerator
p
ower positive
+
merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
a
l
l
o
w negative powers
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
bu
m
p version
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
update
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
poi
n
t to P
I
P location
commit
|
commitdiff
|
tree
2004-09-18
skim
o
shif
t
polytope
f
or PIP
if var
i
ables range over n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
s
kim
o
a
l
low verification of
d
irect pip us
e
commit
|
commitdiff
|
tree
2004-09-18
skimo
do
n
't overal
l
ocate if we don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't overalloc
a
te if we
d
o
n't ha
v
e to
commit
|
commitdiff
|
tree
2004-09-18
skimo
override barvinok_enumer
a
t
e_
e
v instead of barvinok_enumer
a
te
commit
|
commitdiff
|
tree
2004-09-18
skimo
optionally use pip
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
r
e
name an
d
export pip
-
based enumeration
commit
|
commitdiff
|
tree
2004-09-18
skimo
converter for cdd input
to polylib input
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
conform
t
o
C
8
9
commit
|
commitdiff
|
tree
2004-09-07
s
k
imo
ho
o
ks
to count the input and
out
p
ut size in bits
commit
|
commitdiff
|
tree
2004-09-07
skimo
be careful about what
to negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
so
m
e vec
t
or part
i
tion examples
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
skimo
include
string need for memcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
av
o
id
g
ccis
m
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c+
+
linking
i
nstead of lin
k
ing in li
b
stdc++
commit
|
commitdiff
|
tree
2004-08-31
skim
o
force install
a
t
ion of (possibly) ne
w
version
commit
|
commitdiff
|
tree
2004-08-31
skimo
check for
g
e
t
opt
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
move "constant" constant part outside of fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
comb
i
ne r
e
sult
commit
|
commitdiff
|
tree
2004-08-29
skimo
small
m
emory leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use pip if avai
l
able
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
c
h
e
c
k
for
pi
p
lib
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
convert to lookup
-
t
a
b
le
i
f
requested
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
test pro
g
r
a
m
for pip suppor
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
add s
u
pport for com
p
u
t
i
ng
t
he l
e
xic
o
gra
p
hical mi
n
im
u
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
a
lso look at denominat
o
r of th
e
con
s
tan
t
commit
|
commitdiff
|
tree
2004-08-28
skimo
mor
e
p
artial ray removal (
l
argely untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s
/
vd/vert
i
ces/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check that pol
y
lib is recent en
o
ugh to correctly comput
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
a
dd t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
n
e
w tests from
p
olylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform
c
o
r
rect
pe
r
iod
i
c numb
e
r loo
k
up
f
o
r
negativ
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skim
o
more info
commit
|
commitdiff
|
tree
2004-08-14
s
kimo
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
correct te
s
t fo
r
m
pz_divisible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat w
o
rkaroun
d
in loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
o
lder
gmps seem to have problems wi
t
h
a string cons
t
isting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support older gmp version
s
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't assum
e
C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove code
d
u
p
lication
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
ext
r
act ou
t
c
o
mm
o
n code
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out cod
e
to const
r
uct negati
v
e test c
o
n
s
traint
commit
|
commitdiff
|
tree
2004-08-09
skimo
co
d
e r
e
use
commit
|
commitdiff
|
tree
2004-08-09
skim
o
dete
c
t more
u
nhandl
e
d cases
commit
|
commitdiff
|
tree
2004-08-09
skim
o
simplify some co
d
e
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
remove red
u
nd
a
nt rays
commit
|
commitdiff
|
tree
2004-08-08
s
k
im
o
a
l
low any number of
p
arts
in en
u
merate_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"implement
"
eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
handl
e
(s
i
ngle) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
r
e
move (some)
lines
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
s
e
t npara
m
b
a
c
k to us
e
as number of di
m
ens
i
o
n
s in partiti
o
n
commit
|
commitdiff
|
tree
2004-08-05
skimo
make compute
_
enode
work again in general case
commit
|
commitdiff
|
tree
2004-08-05
skim
o
r
e
move de
b
u
gging outp
u
t
commit
|
commitdiff
|
tree
2004-08-05
s
k
im
o
r
e
m
ov
e
debu
g
ging output
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
use
e
v
alu
e
rat
h
er t
h
an e
n
ume
r
ation
and so
m
e memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend pri
n
ting
a
nd
comp
u
tin
g
to handl
e
s "m
o
d
ulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
al
t
ernative to in_domain that han
d
les "modulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "real" dimensi
o
n in pos field of p
a
rtitio
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
re
m
ove duplicat
e
implementation
commit
|
commitdiff
|
tree
2004-08-04
skimo
be
s
ligh
t
l
y
more conser
v
a
ti
v
e (cor
r
ect) i
n
d
eterm
i
ning
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
a
r
a
y
t
hat d
e
pen
d
s on the parame
t
ers sho
u
ld be o
k
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
clean up
commit
|
commitdiff
|
tree
next