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
skimo
don't make numerator pow
e
r
p
ositive + merg
e
loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
do
n
't
make numerator power positive +
merge
lo
o
ps
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
a
l
low negative
powers
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
update
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
point to PIP
location
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
sh
i
ft polytope for PIP i
f
var
i
ables r
a
nge over negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
allow veri
f
ic
a
tion
o
f direct pip use
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't o
v
erallocat
e
if we don't
have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't over
a
llocate if
we don't have t
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
o
v
errid
e
b
arvinok_e
n
umerate_ev
i
nste
a
d of barvinok_enum
e
ra
t
e
commit
|
commitdiff
|
tree
2004-09-18
skim
o
o
pti
o
nally use pip
commit
|
commitdiff
|
tree
2004-09-18
skim
o
rename
a
nd export
pip-based enumerati
o
n
commit
|
commitdiff
|
tree
2004-09-18
skimo
c
o
n
verter for
c
dd input to polylib input
commit
|
commitdiff
|
tree
2004-09-18
skimo
conform to C89
commit
|
commitdiff
|
tree
2004-09-07
skimo
h
ooks t
o
c
o
u
n
t th
e
input and output
si
z
e
in b
i
ts
commit
|
commitdiff
|
tree
2004-09-07
skimo
be ca
r
eful about what to
n
egate
commit
|
commitdiff
|
tree
2004-09-04
skimo
s
o
me vector part
i
tion examples
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid
gccisms
commit
|
commitdiff
|
tree
2004-08-31
skim
o
include string need for memcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
av
o
id gccis
m
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
force c++
link
i
ng in
s
tead of linking in l
i
bstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
forc
e
installation
o
f (pos
s
i
b
ly) n
e
w v
e
rsion
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
check for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move "c
o
nstant" constant
part outside
of f
r
action
a
l
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
comb
i
ne result
commit
|
commitdiff
|
tree
2004-08-29
skimo
small memory
l
eak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use pip if avail
a
ble
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
ch
e
ck fo
r
piplib
commit
|
commitdiff
|
tree
2004-08-29
sk
i
m
o
c
onvert to lookup-table
i
f re
q
ue
s
ted
commit
|
commitdiff
|
tree
2004-08-29
skimo
tes
t
program for
pip support
commit
|
commitdiff
|
tree
2004-08-29
skimo
ad
d
s
u
p
po
r
t for computi
n
g the lexi
c
ographic
a
l mini
m
um
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
als
o
look at denominator o
f
the c
o
nstant
commit
|
commitdiff
|
tree
2004-08-28
s
k
imo
more partial
r
a
y removal (largely
u
ntested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/vert
i
c
e
s/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check that polylib is recent enoug
h
to correctly compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add t
1
2
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
new tests from
p
olylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform correct periodic num
b
er
l
ookup f
o
r neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more in
f
o
commit
|
commitdiff
|
tree
2004-08-14
skimo
typ
o
commit
|
commitdiff
|
tree
2004-08-14
skimo
correct test
for
m
p
z_divisible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
rep
e
at
wor
k
around in
l
oop
commit
|
commitdiff
|
tree
2004-08-14
skimo
older
gmps seem to have problems with a s
t
ring consti
s
ting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skim
o
support
older
g
m
p ve
r
sions
commit
|
commitdiff
|
tree
2004-08-13
s
kimo
don't
assum
e
C
9
9
commit
|
commitdiff
|
tree
2004-08-10
ski
m
o
re
m
o
v
e
code duplication
commit
|
commitdiff
|
tree
2004-08-09
skimo
e
x
t
r
act o
u
t common code
commit
|
commitdiff
|
tree
2004-08-09
sk
i
m
o
extract out code
t
o construct negativ
e
test
c
ons
t
raint
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
c
o
de reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect
m
o
re
u
nhan
d
led cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify
s
ome cod
e
commit
|
commitdiff
|
tree
2004-08-08
skim
o
remove re
d
undant rays
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
a
l
low any number of p
a
rts in enumerate
_
or
commit
|
commitdiff
|
tree
2004-08-08
s
k
i
mo
"implement" eor
commit
|
commitdiff
|
tree
2004-08-08
s
kimo
han
d
le (single)
ray
commit
|
commitdiff
|
tree
2004-08-06
skim
o
re
m
ove (some
)
li
n
es
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
set nparam
back to use
as number of
d
imension
s
in par
t
ition
commit
|
commitdiff
|
tree
2004-08-05
s
kim
o
make compute_
e
node work again in
g
ene
r
al case
commit
|
commitdiff
|
tree
2004-08-05
skimo
remov
e
debugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
r
emove d
e
bugging output
commit
|
commitdiff
|
tree
2004-08-05
s
k
i
mo
use
e
value rather than
e
n
umeration
a
nd so
m
e mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skim
o
e
xtend printing
a
nd
computi
n
g t
o
handle
s
"modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alter
n
ative to in_
d
omain
that han
d
les "
m
odul
o
s" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skim
o
store "r
e
al" dim
e
ns
i
on in pos field of partitio
n
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
rem
o
ve dup
l
i
c
ate implementat
i
on
commit
|
commitdiff
|
tree
2004-08-04
skimo
be sligh
t
ly more
c
onser
v
ative (correc
t
) in de
t
ermining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skim
o
a ray
t
hat depend
s
on the pa
r
ameters should be ok
commit
|
commitdiff
|
tree
2004-08-04
skim
o
clean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memor
y
le
a
k
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
emor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
me
m
or
y
lea
k
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
m
emory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
mem
o
r
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
r
e
mo
v
e debug
g
ing out
p
ut
commit
|
commitdiff
|
tree
2004-08-03
skimo
check
whether pro
j
ection is bounded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Spli
t
on
p
arametric
v
e
rtex
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
I
f
one of the
v
ertice
s
in the
c
o
m
bin
e
d sp
a
ce is a latti
c
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
elimin
a
te par
a
met
e
rs if we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only pe
r
form
v
d basid redu
c
tion if the pol
y
tope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfr
i
n
g
e
p
olyhedron
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
remove
debugging output
in unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend ad
d
eliminate
d
para
m
s to partitions
commit
|
commitdiff
|
tree
2004-08-01
skimo
bail early on empty polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduce hi
g
her
d
eg
r
ees of fracti
o
nal part
s
wit
h
flo
o
r
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
k
i
m
o
only rays invol
v
ing the real variables lead to
u
nbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skim
o
perform
r
ange
reduction
if requ
e
st
e
d
commit
|
commitdiff
|
tree
2004-08-01
skimo
only
c
alculate on
c
e for p
a
rt t
h
at is inde
p
end
e
nt o
f
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform another range re
d
uc
t
ion after summat
i
on
commit
|
commitdiff
|
tree
2004-07-31
ski
m
o
Decompositions based on
validity
domai
n
s
a
nd p
a
rametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split o
f
f part th
a
t certainly
co
n
tains latti
c
e p
o
ints
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
routine f
o
r reducing to zer
o
v
a
riable
s
case
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
us
e
newly added rout
i
n
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
a poly
t
ope with rays indepe
n
d
ent of the ex
i
s
tential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
check for empt
y
polytope
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
s
i
mplify
c
o
nstraints on each invo
c
atio
n
of bar
v
inok_enu
m
erat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
extract out r
o
utine for "or"
i
ng
commit
|
commitdiff
|
tree
next