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
apparently, sign was ignored before
2004-11-17
skimo
appa
r
ently, sign
was ignore
d
befor
e
commit
|
commitdiff
|
tree
2004-11-17
skimo
mu
l
tiply
w
ith correct c
o
ef
f
icient 1/d
commit
|
commitdiff
|
tree
2004-11-17
skimo
remove dup
l
ic
a
te f
a
ctor
commit
|
commitdiff
|
tree
2004-11-17
s
kimo
add denominato
r
to
d
poly
_
r and spli
t
div m
e
t
hod
commit
|
commitdiff
|
tree
2004-11-16
skimo
change argument
s
of norma
l
ize
metho
d
s
commit
|
commitdiff
|
tree
2004-11-03
sk
i
mo
really only remove redundant
const
r
aints when fac
t
or==0
commit
|
commitdiff
|
tree
2004-10-31
skimo
conversion t
o
ex
p
lic
i
t function on
reque
s
t
commit
|
commitdiff
|
tree
2004-10-31
s
k
im
o
conv
e
rsion from ge
n
f
un to evalu
e
commit
|
commitdiff
|
tree
2004-10-31
sk
i
mo
e
x
port
z
z2value
commit
|
commitdiff
|
tree
2004-10-31
s
k
imo
"support" fl
o
o
r conv
e
rsion for parametr
i
c
polytopes
commit
|
commitdiff
|
tree
2004-10-31
skimo
use evalue instead of Enumeration
commit
|
commitdiff
|
tree
2004-10-31
skimo
print different s
t
atist
i
cs
commit
|
commitdiff
|
tree
2004-10-31
s
kimo
remo
v
e r
e
dundant code
commit
|
commitdiff
|
tree
2004-10-16
s
k
imo
bump ve
r
sion
commit
|
commitdiff
|
tree
2004-10-12
skimo
Test
wheth
e
r linear combination of existen
t
ial variables
commit
|
commitdiff
|
tree
2004-10-12
s
kim
o
handle case wher
e
first part does not have a solution
commit
|
commitdiff
|
tree
2004-10-06
skimo
sm
a
l
l tool for
r
em
o
ving redundant equalities
commit
|
commitdiff
|
tree
2004-10-06
skimo
use bigger va
l
ues for random vector
commit
|
commitdiff
|
tree
2004-10-05
sk
i
mo
warn on floor
c
onv
e
rsion
commit
|
commitdiff
|
tree
2004-10-05
s
kimo
add collect_polytopes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
reduce constan
t
aft
e
r inversion; avoid infin
i
t
e
loop
commit
|
commitdiff
|
tree
2004-10-04
skimo
do
n
'
t call pip when there a
r
e
no existential variables
commit
|
commitdiff
|
tree
2004-10-03
skim
o
bump ver
s
ion
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
s
kimo
compute E
P
o
n
ly once for ea
c
h vertex, at the expense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skimo
m
inor extra mer
g
e
commit
|
commitdiff
|
tree
2004-10-03
skimo
remove b
o
ttleneck + m
e
r
g
e
commit
|
commitdiff
|
tree
2004-10-03
skimo
add NTL_5_3_2
.
patch
commit
|
commitdiff
|
tree
2004-10-01
skimo
deeper l
o
op merge
commit
|
commitdiff
|
tree
2004-09-30
skimo
dead code
commit
|
commitdiff
|
tree
2004-09-30
skimo
arra
y
contraction
commit
|
commitdiff
|
tree
2004-09-30
skim
o
rem
o
v
e bottleneck + me
r
ge
loo
p
s
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo in comment
commit
|
commitdiff
|
tree
2004-09-30
s
kim
o
distri
b
ute cdd2polylib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
ensure all
ra
y
s are positive
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
use p
r
o
v
i
ded pa
r
ameter n
a
mes
commit
|
commitdiff
|
tree
2004-09-30
skim
o
a
v
oid
+-
commit
|
commitdiff
|
tree
2004-09-30
skimo
col
l
e
c
t terms with the same denominator
commit
|
commitdiff
|
tree
2004-09-30
s
k
i
mo
ignore zero te
r
ms
commit
|
commitdiff
|
tree
2004-09-30
skimo
ty
p
o
commit
|
commitdiff
|
tree
2004-09-29
skimo
in
c
lude unistd
.
h for platforms wi
t
hout g
e
topt
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack
t
o ignore
ray
s
commit
|
commitdiff
|
tree
2004-09-19
skimo
m
a
ke ray lexic
o
-positive
commit
|
commitdiff
|
tree
2004-09-19
s
k
imo
initial
s
upport
f
or Ehrhart se
r
ies
commit
|
commitdiff
|
tree
2004-09-19
skimo
al
l
ow constr
u
c
tion of 0D "nonorthog
o
nal
"
v
e
ctor
commit
|
commitdiff
|
tree
2004-09-19
skimo
extract che
c
k
fo
r
infinite
p
a
r
ametr
i
c
pol
y
t
o
p
es
commit
|
commitdiff
|
tree
2004-09-18
skimo
change lattice_point sligh
t
ly (used in
p
revious patch)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don
'
t mak
e
numerator power positive + merg
e
lo
o
ps
commit
|
commitdiff
|
tree
2004-09-18
skimo
d
on't make numerator powe
r
p
ositive + merge
loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow
negative
p
owers
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
bump version
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
up
d
ate
commit
|
commitdiff
|
tree
2004-09-18
skimo
point to
PIP location
commit
|
commitdiff
|
tree
2004-09-18
skimo
shift
p
o
l
ytope for
P
IP if variables range over negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow
v
er
i
fication of direct pip use
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
don't overallo
c
ate
i
f w
e
don't have t
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't overallocate if
w
e d
o
n
't have to
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
override
b
arvinok_enumer
a
t
e_ev inste
a
d of
barvinok_enumera
t
e
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
mo
opt
i
o
nally
use
p
ip
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
m
o
rename and export p
i
p-
b
ased enumeration
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
c
onverter for cdd inp
u
t
to polylib input
commit
|
commitdiff
|
tree
2004-09-18
skim
o
conform to C89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks to count the input
and
output size
in bits
commit
|
commitdiff
|
tree
2004-09-07
skimo
be c
a
r
e
ful about what to negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
som
e
vector partition examples
commit
|
commitdiff
|
tree
2004-08-31
skim
o
av
o
id gccisms
commit
|
commitdiff
|
tree
2004-08-31
skim
o
incl
u
de string nee
d
for memcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
av
o
id gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
forc
e
c++
l
inking inst
e
a
d
of linking in libstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
force
i
nst
a
llation
o
f (pos
s
ibly) n
e
w ver
s
ion
commit
|
commitdiff
|
tree
2004-08-31
skimo
check for
g
e
topt
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
move
"cons
t
ant" consta
n
t part out
s
ide o
f
fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combine res
u
lt
commit
|
commitdiff
|
tree
2004-08-29
skimo
s
m
a
ll
m
emory leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use pip if
avail
a
ble
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
h
eck for p
i
plib
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert to lookup
-
table if requested
commit
|
commitdiff
|
tree
2004-08-29
skimo
test program
for pip support
commit
|
commitdiff
|
tree
2004-08-29
skim
o
add support for comp
u
ting the lexi
c
ograph
i
cal min
i
m
u
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skim
o
also look at denominator
o
f the cons
t
ant
commit
|
commitdiff
|
tree
2004-08-28
s
kimo
m
o
re
partial ray re
m
oval (lar
g
ely untested
commit
|
commitdiff
|
tree
2004-08-23
skim
o
s/vd/verti
c
es/
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
check th
a
t polylib
is re
c
e
nt enough
t
o cor
r
ectly co
m
p
u
te
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
ad
d
t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests
f
rom pol
y
lib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform correct periodic number l
o
okup fo
r
n
ega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
m
o
re info
commit
|
commitdiff
|
tree
2004-08-14
skimo
typ
o
commit
|
commitdiff
|
tree
2004-08-14
skimo
correc
t
test for
mpz
_
divisible_p
commit
|
commitdiff
|
tree
2004-08-14
skim
o
repeat workaround in
l
oop
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
ol
d
er
g
mps seem to have
problems with a stri
n
g constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
support
o
lder gmp
versions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't
assume
C99
commit
|
commitdiff
|
tree
2004-08-10
sk
i
mo
remove
code duplic
a
tion
commit
|
commitdiff
|
tree
2004-08-09
skim
o
ext
r
a
c
t
out commo
n
cod
e
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
extract out co
d
e
to
c
o
nstruct negative test constraint
commit
|
commitdiff
|
tree
2004-08-09
sk
i
m
o
c
od
e
reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect
mo
r
e u
n
h
an
d
led
cases
commit
|
commitdiff
|
tree
next