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
change arguments of normalize methods
2004-11-16
skimo
c
h
a
n
g
e a
r
guments of nor
m
alize methods
commit
|
commitdiff
|
tree
2004-11-03
skimo
really only remove redundant constraints when f
a
ct
o
r
==0
commit
|
commitdiff
|
tree
2004-10-31
skimo
con
v
ersion to
explic
i
t fu
n
ct
i
on on reques
t
commit
|
commitdiff
|
tree
2004-10-31
skimo
convers
i
on f
r
om genfun
to evalue
commit
|
commitdiff
|
tree
2004-10-31
skimo
export zz2value
commit
|
commitdiff
|
tree
2004-10-31
skimo
"supp
o
rt" floor conversion for parametric
pol
y
topes
commit
|
commitdiff
|
tree
2004-10-31
s
ki
m
o
use
evalue instead of
E
numeration
commit
|
commitdiff
|
tree
2004-10-31
ski
m
o
print different statist
i
c
s
commit
|
commitdiff
|
tree
2004-10-31
s
kimo
remove re
d
undant code
commit
|
commitdiff
|
tree
2004-10-16
skimo
b
u
mp versio
n
commit
|
commitdiff
|
tree
2004-10-12
s
kimo
Test whether li
n
ear
combination of existent
i
a
l
variables
commit
|
commitdiff
|
tree
2004-10-12
skimo
hand
l
e case
w
h
ere firs
t
part does not
have a solution
commit
|
commitdiff
|
tree
2004-10-06
skimo
s
mall tool for removing
r
e
d
u
n
dant equalit
i
e
s
commit
|
commitdiff
|
tree
2004-10-06
skimo
use
b
i
g
ger valu
e
s for random vec
t
or
commit
|
commitdiff
|
tree
2004-10-05
skimo
war
n
o
n fl
o
or conversion
commit
|
commitdiff
|
tree
2004-10-05
ski
m
o
add collect_polytopes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
redu
c
e c
o
n
s
tant aft
e
r inversion;
a
void infinit
e
loop
commit
|
commitdiff
|
tree
2004-10-04
sk
i
m
o
d
o
n
'
t
call pip when there are no
exis
t
entia
l
v
a
riables
commit
|
commitdiff
|
tree
2004-10-03
skimo
b
u
mp v
e
rs
i
on
commit
|
commitdiff
|
tree
2004-10-03
skimo
f
u
rther merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
more merging
commit
|
commitdiff
|
tree
2004-10-03
sk
i
mo
compute EP o
n
ly once for ea
c
h v
e
rtex, at
t
he
e
x
p
ense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skimo
mi
n
or
e
xt
r
a
m
erge
commit
|
commitdiff
|
tree
2004-10-03
skimo
r
emove bottle
n
ec
k
+ me
r
ge
commit
|
commitdiff
|
tree
2004-10-03
skimo
add NTL_5_3_
2
.
patc
h
commit
|
commitdiff
|
tree
2004-10-01
skim
o
d
eeper loop merg
e
commit
|
commitdiff
|
tree
2004-09-30
skimo
dead
c
ode
commit
|
commitdiff
|
tree
2004-09-30
skimo
array contr
a
c
t
ion
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
r
e
move bottleneck
+ mer
g
e loops
commit
|
commitdiff
|
tree
2004-09-30
skimo
typ
o
in comm
e
nt
commit
|
commitdiff
|
tree
2004-09-30
skimo
dis
t
ribute cdd2
p
olylib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
skimo
ensur
e
all ra
y
s a
r
e positive
commit
|
commitdiff
|
tree
2004-09-30
skimo
use p
r
ovi
d
ed p
a
r
a
m
eter
n
ames
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
avoid +-
commit
|
commitdiff
|
tree
2004-09-30
skimo
collect
terms
with the same denom
i
n
a
to
r
commit
|
commitdiff
|
tree
2004-09-30
skimo
ignore ze
r
o
terms
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
typo
commit
|
commitdiff
|
tree
2004-09-29
skim
o
i
nclude unistd
.
h for pl
a
t
f
o
rms wit
h
out getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack to
i
gnore
rays
commit
|
commitdiff
|
tree
2004-09-19
skimo
m
ake ray lexi
c
o-positive
commit
|
commitdiff
|
tree
2004-09-19
skimo
ini
t
ial
support f
o
r
Ehrhart series
commit
|
commitdiff
|
tree
2004-09-19
skimo
allow construc
t
i
o
n
o
f 0D "nonorthogonal"
v
ector
commit
|
commitdiff
|
tree
2004-09-19
skimo
extr
a
ct che
c
k
f
o
r
inf
i
nit
e
p
a
rametr
i
c
polyto
p
es
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
change la
t
ti
c
e_point slightly (used in
p
revious pa
t
ch)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't ma
k
e numera
t
or power positi
v
e + merge loops
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
don't make numerator power positive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow negat
i
ve powers
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
typo
commit
|
commitdiff
|
tree
2004-09-18
skim
o
bump
v
ersion
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
update
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
point to PIP location
commit
|
commitdiff
|
tree
2004-09-18
skimo
shift polyt
o
pe for PIP
i
f variables range over ne
g
ativ
e
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
allo
w
verification o
f
direct pip
u
se
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't
o
verallocate if
w
e
don't have to
commit
|
commitdiff
|
tree
2004-09-18
skim
o
don't o
v
erall
o
c
a
te if we don
'
t ha
v
e
to
commit
|
commitdiff
|
tree
2004-09-18
skimo
overr
i
de barvinok_enu
m
era
t
e_ev instead
o
f barvinok_enumerate
commit
|
commitdiff
|
tree
2004-09-18
skimo
optiona
l
l
y
use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
rename and expor
t
pip-base
d
enu
m
er
a
tion
commit
|
commitdiff
|
tree
2004-09-18
skimo
convert
e
r f
o
r cdd inp
u
t to polyl
i
b
i
nput
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
con
f
orm to C89
commit
|
commitdiff
|
tree
2004-09-07
s
kimo
h
ooks t
o
cou
n
t
t
he inp
u
t and output
size in
b
its
commit
|
commitdiff
|
tree
2004-09-07
skimo
be c
a
reful about wh
a
t to
n
e
gate
commit
|
commitdiff
|
tree
2004-09-04
skimo
some vector partition exampl
e
s
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
include st
r
ing need
for memcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gcc
i
sm
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
force
c
+
+ linkin
g
instead
o
f linking in libstdc++
commit
|
commitdiff
|
tree
2004-08-31
sk
i
mo
f
o
rce in
s
tall
a
tion
of (
p
ossibly) new versio
n
commit
|
commitdiff
|
tree
2004-08-31
skimo
check for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move "constant
"
c
onstan
t
part
outside of fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
combine
result
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
s
mall memo
r
y
l
e
ak
commit
|
commitdiff
|
tree
2004-08-29
skimo
u
se p
i
p
i
f
avail
a
ble
commit
|
commitdiff
|
tree
2004-08-29
skimo
check
f
or p
i
p
l
i
b
commit
|
commitdiff
|
tree
2004-08-29
skim
o
conve
r
t
to lookup-
t
able
if requested
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
test prog
r
am for pi
p
suppor
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
add support
fo
r
computing the lexicographical
m
inim
u
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
also look at denomina
t
or of the c
o
nstant
commit
|
commitdiff
|
tree
2004-08-28
skimo
more partial ray removal (largely
untested
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
s
/vd/
v
ertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
ch
e
ck t
h
at p
o
lyl
i
b is
r
ece
n
t
e
nough to co
r
rectly co
m
p
u
t
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
a
d
d t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests from
poly
l
ib
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
p
e
r
form
corre
c
t period
i
c num
b
er lo
o
k
up
f
or
n
egative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skim
o
mor
e
i
nfo
commit
|
commitdiff
|
tree
2004-08-14
skimo
typ
o
commit
|
commitdiff
|
tree
2004-08-14
s
k
i
mo
correct t
e
s
t
for mpz_divisible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
r
epeat workar
o
und
i
n
l
oop
commit
|
commitdiff
|
tree
2004-08-14
skimo
older gmps seem to
h
ave pro
b
lems with a stri
n
g
constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support older gm
p
versions
commit
|
commitdiff
|
tree
2004-08-13
sk
i
mo
do
n
't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
r
emove code duplicat
i
on
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out common code
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
extract out code to cons
t
ruct negative test constraint
commit
|
commitdiff
|
tree
2004-08-09
skimo
code reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
d
e
tect more
unhandled cases
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
s
imp
l
i
f
y
some code
commit
|
commitdiff
|
tree
2004-08-08
skimo
remove red
u
ndant rays
commit
|
commitdiff
|
tree
2004-08-08
s
kimo
allow
a
ny number
o
f
part
s
in enumera
t
e_or
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
"
im
p
lement" eor
commit
|
commitdiff
|
tree
next