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
don't make numerator power positive + merge loops
2004-09-18
sk
i
mo
don't make nume
r
a
tor power posi
t
i
v
e +
mer
g
e loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't ma
k
e numerato
r
power positive +
m
erge loops
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
a
l
low ne
g
a
t
ive pow
e
rs
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
bump version
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
up
d
ate
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
mo
point to
P
IP
locat
i
on
commit
|
commitdiff
|
tree
2004-09-18
skimo
shift poly
t
o
pe for P
I
P if variables range
o
ver
negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow verification of
d
i
rec
t
p
i
p use
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
d
on'
t
overallocate
if we
d
on't h
a
ve to
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
don't overal
l
ocate if we don't have
t
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
overr
i
de barvinok_enu
m
erate_ev instead of
b
a
rvinok_enume
r
ate
commit
|
commitdiff
|
tree
2004-09-18
skimo
option
a
ll
y
use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
re
n
ame
a
n
d export pip-b
a
s
e
d
enumera
t
ion
commit
|
commitdiff
|
tree
2004-09-18
skimo
convert
e
r
for cdd input to poly
l
ib
inpu
t
commit
|
commitdiff
|
tree
2004-09-18
skimo
conform t
o
C89
commit
|
commitdiff
|
tree
2004-09-07
skim
o
hook
s
to count th
e
inp
u
t
and output size in
b
its
commit
|
commitdiff
|
tree
2004-09-07
skim
o
be c
a
reful about what to negat
e
commit
|
commitdiff
|
tree
2004-09-04
skimo
some vector partit
i
on exa
m
ples
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid
gccisms
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
inclu
d
e st
r
ing need for memcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gcci
s
m
commit
|
commitdiff
|
tree
2004-08-31
skimo
f
orce c
+
+ linking instead of linking
i
n
l
ibstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
force inst
a
llation of (pos
s
ibly
)
new version
commit
|
commitdiff
|
tree
2004-08-31
sk
i
m
o
check for geto
p
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
move "constan
t
" constant p
a
rt outside of frac
t
io
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
o
mbine result
commit
|
commitdiff
|
tree
2004-08-29
skimo
small memory leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use
pip if available
commit
|
commitdiff
|
tree
2004-08-29
skimo
check for pip
l
ib
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
c
o
n
v
ert
t
o lookup-table
i
f
requested
commit
|
commitdiff
|
tree
2004-08-29
skimo
t
e
s
t
p
rogram for pip support
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
add support for computing
th
e
l
exicographical m
i
nimu
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
also loo
k
at
d
en
o
minator
of the con
s
tant
commit
|
commitdiff
|
tree
2004-08-28
skimo
more partial ra
y
r
emoval (largely
u
nteste
d
commit
|
commitdiff
|
tree
2004-08-23
skim
o
s
/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check that polylib
is recent enough to correctly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
add t12
.
in
esum
.
i
n
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
new te
s
t
s
from polylib
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
perform
correct periodic number lookup for
n
egative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more info
commit
|
commitdiff
|
tree
2004-08-14
sk
i
m
o
typo
commit
|
commitdiff
|
tree
2004-08-14
s
k
i
mo
correct
test f
o
r mpz_d
i
visible_p
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
repeat
w
or
k
around i
n
loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
olde
r
g
mps seem to h
a
ve problems
w
ith a string constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
su
p
port older gmp
v
ersions
commit
|
commitdiff
|
tree
2004-08-13
s
k
imo
don't assume C
9
9
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove c
o
de dup
l
icat
i
on
commit
|
commitdiff
|
tree
2004-08-09
skimo
e
x
trac
t
out comm
o
n
code
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract
o
ut code to construct
n
egative
test
c
o
nstraint
commit
|
commitdiff
|
tree
2004-08-09
skim
o
code reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect more
unh
a
n
d
l
ed c
a
ses
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify
some code
commit
|
commitdiff
|
tree
2004-08-08
skimo
r
e
move red
u
ndant rays
commit
|
commitdiff
|
tree
2004-08-08
s
kimo
a
l
low any numb
e
r
of parts
i
n enumera
t
e_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"
i
mplement" eor
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
handle (s
i
n
gle) ray
commit
|
commitdiff
|
tree
2004-08-06
s
k
im
o
r
e
mov
e
(
s
o
m
e) lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
set n
p
aram back to use
as n
u
mber of
d
i
m
ensions
i
n partition
commit
|
commitdiff
|
tree
2004-08-05
skimo
ma
k
e compute
_
enode work aga
i
n in general case
commit
|
commitdiff
|
tree
2004-08-05
skimo
remov
e
debugg
i
ng
o
u
t
put
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
remove debugging
output
commit
|
commitdiff
|
tree
2004-08-05
skimo
use eval
u
e r
a
ther than enum
e
ration and s
o
me m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
exten
d
printing and computin
g
to
handl
e
s
"modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alt
e
rnative
to in_domain that h
a
ndles
"modulo
s
" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store
"
r
e
al" di
m
en
s
i
o
n
i
n pos field of p
a
rt
i
tion
commit
|
commitdiff
|
tree
2004-08-04
skimo
re
m
o
v
e duplicate implementation
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
be slightly more conservat
i
ve
(c
o
rrect) in det
e
rmini
n
g
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
a ray
t
hat depe
n
d
s
o
n the p
a
ramete
r
s sh
o
uld
be ok
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
clean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
me
m
ory le
a
k
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
memor
y
lea
k
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
m
e
mory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debu
g
ging output
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
chec
k
whether proje
c
tion is bo
u
nd
e
d
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
Split on par
a
metric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one of t
h
e vertices
i
n
the combined spa
c
e is a
lattic
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate paramete
r
s if
w
e can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only perfor
m
v
d
basid
re
d
uct
i
on if the
p
ol
y
to
p
e ha
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
unfri
n
ge polyhedron
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove debugging output in unfringe
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
mo
exte
n
d ad
d
el
i
minate
d
para
m
s
t
o
pa
r
titions
commit
|
commitdiff
|
tree
2004-08-01
s
k
i
mo
bail
e
arly
on e
m
p
ty polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
re
d
uce hig
h
er d
e
grees of fract
i
ona
l
parts with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only rays involving the real variabl
e
s lead
to unboun
d
ed
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform r
a
nge reduction if
r
equested
commit
|
commitdiff
|
tree
2004-08-01
skimo
o
n
ly calcul
a
t
e o
n
ce for part t
h
a
t
is in
d
ependent
o
f
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
per
f
o
rm another range redu
c
tion after summation
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decompositions based on validity domains and parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
plit
off pa
r
t that c
e
rtainly cont
a
ins l
a
ttice points
commit
|
commitdiff
|
tree
2004-07-30
skimo
ro
u
tine for reducing to zero variable
s
case
commit
|
commitdiff
|
tree
2004-07-30
skimo
use newly added routine
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
a
polytope with rays i
n
dep
e
ndent of the existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
check for
e
m
pty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
implify constraints o
n
each invocation of
barvinok_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extrac
t
o
ut rou
t
ine for "or"ing
commit
|
commitdiff
|
tree
next