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
bump version
2004-11-17
ski
m
o
b
ump version
commit
|
commitdiff
|
tree
2004-11-17
skimo
dead code elimi
n
at
i
on
commit
|
commitdiff
|
tree
2004-11-17
s
kimo
reuse new
i
nfrastructure to compu
t
e
E
hrhart series
commit
|
commitdiff
|
tree
2004-11-17
ski
m
o
t
ypo
commit
|
commitdiff
|
tree
2004-11-17
skimo
more refact
o
ring
commit
|
commitdiff
|
tree
2004-11-17
skim
o
more r
e
o
rdering
commit
|
commitdiff
|
tree
2004-11-17
skim
o
micr
o
-o
p
timization ?
commit
|
commitdiff
|
tree
2004-11-17
skimo
some c
o
de reordering
commit
|
commitdiff
|
tree
2004-11-17
skimo
remove duplicat
e
code
commit
|
commitdiff
|
tree
2004-11-17
skimo
add and us
e
incremental counter
commit
|
commitdiff
|
tree
2004-11-17
skim
o
support multip
l
e divisio
n
s and clean up memory
commit
|
commitdiff
|
tree
2004-11-17
skimo
a
ls
o
dump recently add
e
d denominator
commit
|
commitdiff
|
tree
2004-11-17
skim
o
a
pparently, sign
was ignored before
commit
|
commitdiff
|
tree
2004-11-17
skimo
multiply with correct co
e
f
ficient 1/d
commit
|
commitdiff
|
tree
2004-11-17
skimo
r
e
mo
v
e du
p
licate fa
c
t
o
r
commit
|
commitdiff
|
tree
2004-11-17
ski
m
o
add
denominator to dpoly_
r
and split
d
iv method
commit
|
commitdiff
|
tree
2004-11-16
skimo
change argument
s
of normalize m
e
thods
commit
|
commitdiff
|
tree
2004-11-03
s
kimo
really only
r
emov
e
redundant const
r
aints when factor
=
=
0
commit
|
commitdiff
|
tree
2004-10-31
skimo
co
n
version
t
o exp
l
icit fu
n
ction on
requ
e
s
t
commit
|
commitdiff
|
tree
2004-10-31
skim
o
conversion fro
m
genfun
t
o evalue
commit
|
commitdiff
|
tree
2004-10-31
ski
m
o
e
x
por
t
zz2value
commit
|
commitdiff
|
tree
2004-10-31
skimo
"support" floor conv
e
rsion for parametric p
o
lyt
o
pes
commit
|
commitdiff
|
tree
2004-10-31
s
kimo
use evalue instead of Enumeration
commit
|
commitdiff
|
tree
2004-10-31
skim
o
print diffe
r
ent statis
t
ics
commit
|
commitdiff
|
tree
2004-10-31
skimo
remove redunda
n
t co
d
e
commit
|
commitdiff
|
tree
2004-10-16
s
k
imo
bump ve
r
si
o
n
commit
|
commitdiff
|
tree
2004-10-12
ski
m
o
Test whether linear
c
o
m
bination of
exist
e
nti
a
l var
i
ables
commit
|
commitdiff
|
tree
2004-10-12
skimo
handle c
a
s
e
where first
part doe
s
not
h
a
v
e
a so
l
ution
commit
|
commitdiff
|
tree
2004-10-06
s
k
imo
s
mal
l
tool for remov
i
ng redundant equalities
commit
|
commitdiff
|
tree
2004-10-06
s
k
imo
use bigger values
f
or random vecto
r
commit
|
commitdiff
|
tree
2004-10-05
skimo
warn on
f
lo
o
r conversion
commit
|
commitdiff
|
tree
2004-10-05
skimo
add coll
e
ct_
p
ol
y
topes
2
.
c
commit
|
commitdiff
|
tree
2004-10-04
sk
i
mo
r
edu
c
e con
s
tant
a
f
te
r
inversion; avo
i
d infinit
e
loop
commit
|
commitdiff
|
tree
2004-10-04
skimo
don't call pi
p
w
hen
there are no exi
s
t
ential variab
l
es
commit
|
commitdiff
|
tree
2004-10-03
skim
o
bump version
commit
|
commitdiff
|
tree
2004-10-03
skimo
f
urther merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
more
merging
commit
|
commitdiff
|
tree
2004-10-03
skimo
compute EP only o
n
ce for each vertex, at t
h
e ex
p
ense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skimo
minor extra merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
remove
b
ottleneck
+
m
erge
commit
|
commitdiff
|
tree
2004-10-03
skimo
add NTL_5_3_2
.
patch
commit
|
commitdiff
|
tree
2004-10-01
skimo
deeper loop me
r
ge
commit
|
commitdiff
|
tree
2004-09-30
skimo
dead code
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
a
rray contraction
commit
|
commitdiff
|
tree
2004-09-30
skimo
remove bottleneck + merge l
o
ops
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo in comment
commit
|
commitdiff
|
tree
2004-09-30
skimo
distribute cdd
2
pol
y
l
i
b
.
pl
commit
|
commitdiff
|
tree
2004-09-30
skimo
ensure
all r
a
ys
ar
e
positiv
e
commit
|
commitdiff
|
tree
2004-09-30
sk
i
m
o
us
e
provided paramet
e
r names
commit
|
commitdiff
|
tree
2004-09-30
skimo
avoid +-
commit
|
commitdiff
|
tree
2004-09-30
skimo
collect term
s
with the same d
e
nominator
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
ignor
e
z
ero terms
commit
|
commitdiff
|
tree
2004-09-30
skimo
t
ypo
commit
|
commitdiff
|
tree
2004-09-29
s
k
imo
include unistd
.
h
for platforms w
i
t
hout getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack to ignore rays
commit
|
commitdiff
|
tree
2004-09-19
skimo
ma
k
e ray
le
x
ico-positive
commit
|
commitdiff
|
tree
2004-09-19
skimo
initial sup
p
o
r
t f
o
r Ehrhar
t
series
commit
|
commitdiff
|
tree
2004-09-19
s
k
imo
allow construction of 0D "non
o
r
t
hogonal"
v
ector
commit
|
commitdiff
|
tree
2004-09-19
skim
o
extrac
t
check for
infinit
e
para
m
etri
c
p
ol
y
topes
commit
|
commitdiff
|
tree
2004-09-18
skimo
change lattice
_
po
i
nt sligh
t
l
y
(
used
i
n previous patch
)
commit
|
commitdiff
|
tree
2004-09-18
skimo
d
o
n't make numerator power p
o
sitive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't make
numer
a
tor power posi
t
ive
+ merge loops
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
allow negative powe
r
s
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
bump vers
i
on
commit
|
commitdiff
|
tree
2004-09-18
skimo
update
commit
|
commitdiff
|
tree
2004-09-18
skimo
point to PIP location
commit
|
commitdiff
|
tree
2004-09-18
skimo
sh
i
ft poly
t
ope for PIP
if var
i
ab
l
es range
over
negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow verification of direct pip use
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't overallo
c
ate
if we d
o
n'
t
have t
o
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
don't overallocate if we
don't have to
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
overrid
e
barvino
k
_
en
u
merate_ev inste
a
d of barvino
k
_enum
e
ra
t
e
commit
|
commitdiff
|
tree
2004-09-18
skimo
optionally use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
rena
m
e and
e
xport
pip-based enum
e
rati
o
n
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
converter for cdd input to po
l
ylib input
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
conform to C89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks to count the
i
nput and o
u
tput
s
ize in
b
its
commit
|
commitdiff
|
tree
2004-09-07
skimo
be careful about wha
t
t
o
negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
som
e
vector partition
ex
a
m
p
les
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gcci
s
m
s
commit
|
commitdiff
|
tree
2004-08-31
skimo
include string nee
d
for memcpy
commit
|
commitdiff
|
tree
2004-08-31
sk
i
m
o
av
o
id gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c+
+
linkin
g
i
n
s
t
ead o
f
linking in l
i
bstdc++
commit
|
commitdiff
|
tree
2004-08-31
skimo
force insta
l
l
a
tion of (possibly) new version
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
c
h
eck for
g
etopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
m
o
ve "
c
onstan
t
"
constan
t
part o
u
tside of fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combi
n
e
r
esult
commit
|
commitdiff
|
tree
2004-08-29
skimo
small memory lea
k
commit
|
commitdiff
|
tree
2004-08-29
skimo
use pip
if available
commit
|
commitdiff
|
tree
2004-08-29
skimo
che
c
k
f
or pipli
b
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
convert to lookup-t
a
b
l
e i
f
r
equested
commit
|
commitdiff
|
tree
2004-08-29
skimo
t
e
st progr
a
m
f
or
pip support
commit
|
commitdiff
|
tree
2004-08-29
skimo
ad
d
s
uppo
r
t
f
or compu
t
ing the lexicograph
i
cal
m
in
i
mum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
als
o
l
o
ok at denominato
r
of the con
s
t
ant
commit
|
commitdiff
|
tree
2004-08-28
sk
i
mo
mo
r
e partial
ra
y
removal
(
largely untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/
v
ert
i
c
e
s/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check t
h
at poly
l
ib is rec
e
nt enough
to correct
l
y c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
a
d
d
t
12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
sk
i
mo
new te
s
ts from polylib
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
perform
correct p
e
rio
d
i
c
n
u
mber lookup fo
r
negative
.
.
.
commit
|
commitdiff
|
tree
next