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
initial support for Ehrhart series
2004-09-19
skimo
initial support for Ehrhart series
commit
|
commitdiff
|
tree
2004-09-19
skimo
allow constructio
n
of 0D "nonorth
o
gonal" vector
commit
|
commitdiff
|
tree
2004-09-19
skimo
extract c
h
eck
f
or inf
i
nite parametric
p
o
lytopes
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
change lattice_point slightly (used in previ
o
u
s
pat
c
h)
commit
|
commitdiff
|
tree
2004-09-18
s
ki
m
o
do
n
't make nume
r
ator
pow
e
r
p
ositi
v
e + mer
g
e loops
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
don't make numerato
r
p
ower pos
i
tive
+ merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow ne
g
at
i
ve pow
e
rs
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
bump versio
n
commit
|
commitdiff
|
tree
2004-09-18
skimo
update
commit
|
commitdiff
|
tree
2004-09-18
skimo
point to PIP location
commit
|
commitdiff
|
tree
2004-09-18
skimo
shi
f
t pol
y
t
ope for PIP
if variables range
o
ver ne
g
a
t
ive
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
a
l
low v
e
r
if
i
c
a
tion
of dir
e
ct
p
ip use
commit
|
commitdiff
|
tree
2004-09-18
skimo
d
o
n't ov
e
rallocate if we don't have to
commit
|
commitdiff
|
tree
2004-09-18
skim
o
don't overallocate if we
don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
override barvi
n
ok_enumer
a
t
e_ev instead of barvino
k
_enumerate
commit
|
commitdiff
|
tree
2004-09-18
skim
o
optionally use
pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
ren
a
me and export pi
p
-based
e
numeration
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
conve
r
ter for cdd input to po
l
y
l
ib in
p
ut
commit
|
commitdiff
|
tree
2004-09-18
skimo
conform to C89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks to count the input and out
p
ut
size in bits
commit
|
commitdiff
|
tree
2004-09-07
skimo
be
c
ar
e
ful about wh
a
t to negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
so
m
e vector partitio
n
exam
p
l
es
commit
|
commitdiff
|
tree
2004-08-31
skim
o
a
void gc
c
isms
commit
|
commitdiff
|
tree
2004-08-31
skim
o
include st
r
ing need fo
r
m
e
mcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
for
c
e
c+
+
li
n
king in
s
tead of
linking in libstdc++
commit
|
commitdiff
|
tree
2004-08-31
skim
o
fo
r
c
e
installation of (possibly) new version
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
check f
o
r
getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move "constant" constant part o
u
tside of fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
com
b
i
ne result
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
small memory
leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
u
s
e pip if available
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
check for piplib
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
convert to l
o
ok
u
p
-
table if
r
e
quested
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
t
e
s
t
program for pip
s
upport
commit
|
commitdiff
|
tree
2004-08-29
skim
o
a
d
d support for computi
n
g
the lex
i
cographi
c
al minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
a
l
so look
a
t denomi
n
ato
r
of the constant
commit
|
commitdiff
|
tree
2004-08-28
sk
i
mo
more partia
l
ra
y
removal (largely un
t
e
sted
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/v
e
rtic
e
s/
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
check that p
o
lylib is recent eno
u
gh to correctly c
o
mp
u
te
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
a
dd t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
new tests f
r
om polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perf
o
r
m corre
c
t
periodic number lookup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
more info
commit
|
commitdiff
|
tree
2004-08-14
skimo
t
y
po
commit
|
commitdiff
|
tree
2004-08-14
s
kimo
co
r
rect test for mpz_di
v
isible
_
p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat wor
k
around in loop
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
older
g
m
ps seem to have problems with a
s
tring
constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
supp
o
rt older gmp
versions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don'
t
assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remo
v
e c
o
de dupl
i
catio
n
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract
out com
m
on code
commit
|
commitdiff
|
tree
2004-08-09
skimo
e
x
tract
out code to co
n
s
t
ruct negative test cons
t
r
aint
commit
|
commitdiff
|
tree
2004-08-09
skimo
code
re
u
s
e
commit
|
commitdiff
|
tree
2004-08-09
skimo
d
e
tect mor
e
unhandled cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify some
c
ode
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
rem
o
ve redunda
n
t rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
a
llow any numb
e
r of
parts
in enu
m
e
r
ate_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"implement" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
handle (single)
r
a
y
commit
|
commitdiff
|
tree
2004-08-06
s
k
imo
remove (so
m
e) lines
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
s
e
t
nparam back to use a
s
number of di
m
ension
s
in partit
i
on
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
make c
o
mpute_en
o
de work ag
a
in in general case
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
remove debugging output
commit
|
commitdiff
|
tree
2004-08-05
s
k
i
mo
remove
d
e
b
u
gging output
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
use
e
value r
a
t
h
er than
enumeration and some mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
ex
t
e
n
d print
i
ng a
n
d computing t
o
handles "modulos
"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alte
r
na
t
ive
t
o
i
n
_
d
omain that handles "modulo
s
" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "real"
d
i
m
ension
i
n
p
o
s field
of p
a
rtitio
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove
d
upli
c
a
t
e
implement
a
tion
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
be slightly m
o
re conser
v
ative (correct
)
in
d
etermining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
s
k
i
m
o
a
r
ay that depends on
the parameters sho
u
ld be ok
commit
|
commitdiff
|
tree
2004-08-04
s
k
i
mo
clean
u
p
commit
|
commitdiff
|
tree
2004-08-04
skimo
me
m
ory
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
rem
o
ve deb
u
ggi
n
g output
commit
|
commitdiff
|
tree
2004-08-03
skim
o
c
h
eck whether pro
j
ection is boun
d
ed
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
Spli
t
on parametric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skim
o
If one of
t
he ve
r
tice
s
i
n
th
e
combined space is a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate parameters
if we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only
perform vd basid
reduction if the polytope
h
as
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unf
r
i
n
g
e
p
olyh
e
d
r
on
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove
d
ebu
g
ging
output
i
n unf
r
ing
e
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend ad
d
elimina
t
edparams to p
a
r
t
it
i
ons
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
bail
e
arly on e
m
pty polytop
e
commit
|
commitdiff
|
tree
2004-08-01
s
k
i
m
o
reduce higher d
e
g
r
ee
s
of fraction
a
l parts with
f
l
o
or
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skim
o
only rays involving the real
v
ariables lead to unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
sk
i
m
o
perform r
a
n
g
e reduction if requeste
d
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
o
n
ly calculate once for part that i
s
in
d
e
p
en
d
ent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform an
o
ther
ran
g
e reduction after s
u
mmation
commit
|
commitdiff
|
tree
2004-07-31
s
k
i
mo
Deco
m
p
os
i
tions
b
a
sed
o
n v
a
lidity domains
a
nd parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
split of
f
part t
h
at cer
t
ain
l
y contains lattice
p
oints
commit
|
commitdiff
|
tree
2004-07-30
skim
o
routine fo
r
re
d
u
c
i
ng
t
o zero variab
l
es ca
s
e
commit
|
commitdiff
|
tree
2004-07-30
sk
i
m
o
use newly
added routi
n
e
commit
|
commitdiff
|
tree
next