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
reduce constant after inversion; avoid infinite loop
2004-10-04
skimo
r
e
duce constant after invers
i
on; a
v
oid in
f
i
nite
l
oop
commit
|
commitdiff
|
tree
2004-10-04
skimo
don't call
p
ip when
there
a
re
no existential variables
commit
|
commitdiff
|
tree
2004-10-03
skimo
b
ump
vers
i
on
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
further merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
m
o
re
mergin
g
commit
|
commitdiff
|
tree
2004-10-03
skimo
compute EP onl
y
once f
o
r
e
a
c
h v
e
rtex, at the
expense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
s
k
imo
m
inor ext
r
a merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
remove bottleneck
+
merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
ad
d
NTL_5
_
3
_
2
.
p
atch
commit
|
commitdiff
|
tree
2004-10-01
sk
i
mo
d
e
e
per loop merge
commit
|
commitdiff
|
tree
2004-09-30
s
k
i
m
o
dead code
commit
|
commitdiff
|
tree
2004-09-30
skimo
array contraction
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
rem
o
ve b
o
tt
l
ene
c
k + merge
l
oops
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo in comm
e
nt
commit
|
commitdiff
|
tree
2004-09-30
skim
o
distrib
u
te cdd
2
poly
l
ib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
e
n
s
ure all rays
ar
e
pos
i
tive
commit
|
commitdiff
|
tree
2004-09-30
skim
o
use provided para
m
e
ter names
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
a
void +-
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
collec
t
te
r
ms
with the same
denomina
t
or
commit
|
commitdiff
|
tree
2004-09-30
skimo
ignore zero t
e
r
ms
commit
|
commitdiff
|
tree
2004-09-30
skim
o
typo
commit
|
commitdiff
|
tree
2004-09-29
s
kimo
include unistd
.
h for platforms without getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
s
k
imo
hack t
o
ignore
rays
commit
|
commitdiff
|
tree
2004-09-19
skimo
ma
k
e ray
l
exico-posit
i
ve
commit
|
commitdiff
|
tree
2004-09-19
skimo
in
i
tial
s
upport
for Ehrhart seri
e
s
commit
|
commitdiff
|
tree
2004-09-19
sk
i
mo
al
l
ow construct
i
o
n of 0D "nonorthogonal"
ve
c
tor
commit
|
commitdiff
|
tree
2004-09-19
skimo
extract check for infinite parametric polytop
e
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
change lattice_poin
t
slightly (used
i
n prev
i
ous patch)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't m
a
ke numerator power
p
ositi
v
e
+ merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
do
n
't
make numerat
o
r
pow
e
r positi
v
e
+ merge l
o
ops
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
al
l
ow negative power
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
ty
p
o
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
bump v
e
rsion
commit
|
commitdiff
|
tree
2004-09-18
skimo
update
commit
|
commitdiff
|
tree
2004-09-18
skimo
po
i
nt to
PIP loca
t
io
n
commit
|
commitdiff
|
tree
2004-09-18
skimo
shift polytope for PIP if variables range
over negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
allow verif
i
c
a
tion
o
f direct pip use
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
don't overallocate i
f
we d
o
n
'
t
h
ave to
commit
|
commitdiff
|
tree
2004-09-18
skimo
d
on't overallocate if
we don't hav
e
to
commit
|
commitdiff
|
tree
2004-09-18
skim
o
ov
e
rrid
e
ba
r
vinok
_
enumerate_ev instead of barvinok_
e
numera
t
e
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
optionall
y
use pip
commit
|
commitdiff
|
tree
2004-09-18
skim
o
rena
m
e and expor
t
pip-bas
e
d enu
m
e
ration
commit
|
commitdiff
|
tree
2004-09-18
skimo
converter fo
r
cdd input to poly
l
ib input
commit
|
commitdiff
|
tree
2004-09-18
skim
o
confo
r
m to C89
commit
|
commitdiff
|
tree
2004-09-07
s
kimo
h
o
o
k
s
to count
the inp
u
t and output siz
e
in bits
commit
|
commitdiff
|
tree
2004-09-07
sk
i
mo
be caref
u
l
a
bout wh
a
t t
o
nega
t
e
commit
|
commitdiff
|
tree
2004-09-04
skimo
some vec
t
or p
a
rtition e
x
amples
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
skimo
includ
e
s
t
ring need for
m
emcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
force
c
++ linking instead of link
i
ng in li
b
s
tdc++
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
f
o
rce inst
a
l
l
ation of (possi
b
ly) new version
commit
|
commitdiff
|
tree
2004-08-31
skimo
c
h
ec
k
f
o
r getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
m
ove "co
n
s
tant" constant part outside of fractio
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
c
ombine res
u
lt
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
small memory
l
eak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use
pip
if avai
l
able
commit
|
commitdiff
|
tree
2004-08-29
skimo
check for
p
ip
l
ib
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
convert t
o
lookup-table
i
f req
u
es
t
ed
commit
|
commitdiff
|
tree
2004-08-29
s
kim
o
tes
t
program for pip support
commit
|
commitdiff
|
tree
2004-08-29
skimo
add support for c
o
m
puting the lexi
c
ographica
l
minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
a
l
so look at denomina
t
or of the
c
o
nstant
commit
|
commitdiff
|
tree
2004-08-28
s
k
imo
more
pa
r
tial ray rem
o
val (l
a
rgely
u
ntested
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
s/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
ch
e
ck
t
hat polylib is recent enough to correctl
y
c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add t12
.
in esu
m
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests from pol
y
lib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perf
o
rm co
r
rect pe
r
iodic number lookup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
sk
i
mo
mor
e
inf
o
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
s
k
i
mo
correct
t
est for mpz
_
div
i
sible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
r
epeat workaroun
d
in loop
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
older gmps seem to
h
ave prob
l
ems with a string constistin
g
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
supp
o
r
t
older gmp versions
commit
|
commitdiff
|
tree
2004-08-13
s
k
i
m
o
don't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
r
emove code dup
l
ication
commit
|
commitdiff
|
tree
2004-08-09
skim
o
extract o
u
t com
m
on co
d
e
commit
|
commitdiff
|
tree
2004-08-09
skimo
extr
a
ct o
u
t c
o
de to
c
onst
r
uc
t
n
egati
v
e test cons
t
rai
n
t
commit
|
commitdiff
|
tree
2004-08-09
skimo
code
r
euse
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect more
u
n
handled cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify some code
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
remove r
e
d
u
n
dant r
a
ys
commit
|
commitdiff
|
tree
2004-08-08
skimo
a
l
lo
w
any numb
e
r of par
t
s
in
e
numerat
e
_or
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
"
i
mplement" e
o
r
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
h
an
d
le
(single) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
remov
e
(some) lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
set nparam back
t
o use as n
u
mb
e
r of
di
m
ensions in partition
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
ma
k
e compute_enode
work aga
i
n
in general case
commit
|
commitdiff
|
tree
2004-08-05
skimo
r
e
move debuggi
n
g output
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
rem
o
ve
debugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
use
evalue ra
t
her
t
han enu
m
e
ration and s
o
me memor
y
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
extend p
r
i
n
ting
a
n
d
comput
i
ng t
o
handles "mo
d
ulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
a
l
tern
a
tive to in_d
o
m
a
in
t
hat handles
"modu
l
o
s
"
in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
s
tore "r
e
al" dimension in pos fiel
d
of partit
i
on
commit
|
commitdiff
|
tree
2004-08-04
skimo
remo
v
e
du
p
licate impl
e
men
t
at
i
on
commit
|
commitdiff
|
tree
2004-08-04
skimo
be
s
lightl
y
more conservative (correc
t
) in determinin
g
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
s
kim
o
a ray tha
t
d
e
pe
n
ds on t
h
e
paramet
e
rs should be ok
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
clean up
commit
|
commitdiff
|
tree
2004-08-04
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
next