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
s
k
imo
don
'
t ma
k
e numerat
o
r
power positive +
merge loop
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't make
n
umerator power positi
v
e + merge l
o
op
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow negat
i
ve pow
e
rs
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
bump version
commit
|
commitdiff
|
tree
2004-09-18
skimo
up
d
ate
commit
|
commitdiff
|
tree
2004-09-18
skimo
p
o
int to
P
I
P location
commit
|
commitdiff
|
tree
2004-09-18
skimo
shift
polytope for PIP if varia
b
l
es ra
n
ge o
v
er negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow verification of direct
pip use
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
d
on't overallocate if we
d
o
n
't have t
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
do
n
't overallocate if we don't have to
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
overrid
e
barvinok_enume
r
ate_ev inste
a
d of
barvinok_enum
e
rate
commit
|
commitdiff
|
tree
2004-09-18
skimo
op
t
ionally use
p
ip
commit
|
commitdiff
|
tree
2004-09-18
skimo
rename and export
p
ip-
b
ased enumerati
o
n
commit
|
commitdiff
|
tree
2004-09-18
s
ki
m
o
conve
r
ter fo
r
cdd
i
np
u
t to polylib i
n
put
commit
|
commitdiff
|
tree
2004-09-18
skimo
conform t
o
C89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks to coun
t
th
e
i
n
pu
t
and
output size in bi
t
s
commit
|
commitdiff
|
tree
2004-09-07
sk
i
mo
be car
e
ful
a
bo
u
t what to nega
t
e
commit
|
commitdiff
|
tree
2004-09-04
ski
m
o
some vec
t
or partition examples
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
skimo
include stri
n
g need for m
e
mcpy
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
avoid gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c++ linking instead of
l
inking
i
n l
i
b
s
td
c
+
+
commit
|
commitdiff
|
tree
2004-08-31
skimo
force installa
t
i
on of
(
pos
s
ibly) new v
e
rsion
commit
|
commitdiff
|
tree
2004-08-31
sk
i
m
o
ch
e
c
k
f
o
r ge
t
o
pt
commit
|
commitdiff
|
tree
2004-08-29
skim
o
m
ove
"constan
t
" c
o
n
s
tant part
o
utside of frac
t
i
onal
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
combine r
e
sult
commit
|
commitdiff
|
tree
2004-08-29
skimo
small
m
e
mor
y
leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
u
s
e pip if ava
i
lable
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
h
eck for pip
l
i
b
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert
t
o
l
o
okup-
t
abl
e
if
requested
commit
|
commitdiff
|
tree
2004-08-29
skimo
tes
t
p
r
ogram for
pip suppo
r
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
d
d suppor
t
for
comp
u
tin
g
t
he lexicographical minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
also look at den
o
mina
t
or of the const
a
nt
commit
|
commitdiff
|
tree
2004-08-28
s
kimo
mo
r
e
partial ray
r
emo
v
al (
l
arge
l
y
untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s
/
vd/ver
t
ices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
c
h
eck
that polylib is recent enough to c
o
rrectly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add
t12
.
in esu
m
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests from polyli
b
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform cor
r
ect periodic number l
o
okup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
m
o
re inf
o
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
t
y
po
commit
|
commitdiff
|
tree
2004-08-14
s
kimo
correct test
for mpz_
d
ivisible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat wor
k
ar
o
u
nd in loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
older gmps s
e
em to have problems wit
h
a string cons
t
ist
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
suppor
t
older
g
mp versions
commit
|
commitdiff
|
tree
2004-08-13
skim
o
do
n
't a
s
sume
C
99
commit
|
commitdiff
|
tree
2004-08-10
skimo
r
e
move code duplication
commit
|
commitdiff
|
tree
2004-08-09
s
k
i
mo
extract out common code
commit
|
commitdiff
|
tree
2004-08-09
skimo
e
x
tr
a
ct ou
t
c
ode to con
s
truct n
e
gati
v
e test constraint
commit
|
commitdiff
|
tree
2004-08-09
skimo
code
reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
dete
c
t
more
u
nhandled cas
e
s
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify some code
commit
|
commitdiff
|
tree
2004-08-08
sk
i
m
o
remove redundant rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
allow
a
ny
numbe
r
of
p
arts in enumerate_or
commit
|
commitdiff
|
tree
2004-08-08
s
kimo
"implement" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
h
a
n
dle (single
)
r
ay
commit
|
commitdiff
|
tree
2004-08-06
sk
i
mo
re
m
ove
(
s
ome) lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
set npa
r
am b
a
ck
to use as number of dimension
s
i
n p
a
r
t
i
tion
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
m
a
ke compute_enode work a
g
a
in in genera
l
case
commit
|
commitdiff
|
tree
2004-08-05
skimo
rem
o
ve de
b
ugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
rem
o
v
e
debugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
use evalue rather than en
u
meration and some m
e
mo
r
y
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
e
xtend p
r
i
n
ting a
n
d
computi
n
g to handles "mod
u
los"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
alt
e
rnative to in_
d
omain that handles
"mod
u
lo
s
"
i
n
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
i
m
o
store "re
a
l
"
dimension in p
o
s
field of parti
t
ion
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove duplicate implem
e
nt
a
tion
commit
|
commitdiff
|
tree
2004-08-04
skimo
be slightly more con
s
e
rvative (correct) in determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
a r
a
y
t
hat depe
n
ds o
n
the
parame
t
ers s
h
ould be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
c
l
e
an 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
skimo
m
emory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
m
em
o
ry leak
commit
|
commitdiff
|
tree
2004-08-03
s
kim
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove
debuggin
g
o
u
tput
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
check
w
h
e
ther projec
t
io
n
is bounde
d
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on parametric vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If one of
the vertices in
t
he
c
ombined space is
a
lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
m
o
elimi
n
ate
p
arameters if w
e
can
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
only perform vd basid reduct
i
on if
t
he polytop
e
h
a
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
unfringe polyhedro
n
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove deb
u
gging output
in unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend adde
l
i
m
in
a
tedpa
r
ams to partitions
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
bail earl
y
on empty polytope
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
reduc
e
higher
degr
e
es of fractiona
l
parts with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
o
nly
r
ays in
v
o
l
ving
t
he real variables
l
ead to unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
perform r
a
nge reduction if requested
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
only
calculate
once for par
t
that is ind
e
pendent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform another ra
n
g
e
reduc
t
ion after
su
m
m
a
tion
commit
|
commitdiff
|
tree
2004-07-31
sk
i
mo
Deco
m
positio
n
s
b
ased on
validity domain
s
a
nd p
a
rametri
c
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
split off par
t
that certainly contains lattice
poin
t
s
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
routine for reduc
i
ng to ze
r
o variables case
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
s
e newl
y
added
rou
t
ine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a polytope
w
it
h
r
ays independent of t
h
e exist
e
ntia
l
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
check for e
m
pty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplif
y
constraints
on
eac
h
invo
c
ation
of bar
v
i
n
o
k_e
n
umer
a
t
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
extrac
t
out routine for
"
o
r
"ing
commit
|
commitdiff
|
tree
next