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
add collect_polytopes2.c
2004-10-05
sk
i
mo
add
collect_
p
olytopes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
s
k
im
o
reduce
c
o
n
s
t
ant after inv
e
rsio
n
; av
o
id infinite l
o
o
p
commit
|
commitdiff
|
tree
2004-10-04
s
k
imo
don't call
p
i
p
when there are
no existential variables
commit
|
commitdiff
|
tree
2004-10-03
skimo
bump
v
ersion
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
furt
h
er merge
commit
|
commitdiff
|
tree
2004-10-03
s
k
imo
more me
r
ging
commit
|
commitdiff
|
tree
2004-10-03
skimo
compute
E
P onl
y
once for each v
e
rtex,
a
t
t
he expense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skimo
minor
e
x
tra
m
er
g
e
commit
|
commitdiff
|
tree
2004-10-03
skimo
rem
o
ve bot
t
leneck
+
mer
g
e
commit
|
commitdiff
|
tree
2004-10-03
sk
i
mo
add N
T
L
_5_3_2
.
patch
commit
|
commitdiff
|
tree
2004-10-01
skim
o
d
e
e
per loop merge
commit
|
commitdiff
|
tree
2004-09-30
skimo
d
ead code
commit
|
commitdiff
|
tree
2004-09-30
skimo
array contraction
commit
|
commitdiff
|
tree
2004-09-30
skimo
remove
b
ottleneck
+
merge loops
commit
|
commitdiff
|
tree
2004-09-30
s
ki
m
o
typo in
c
om
m
e
n
t
commit
|
commitdiff
|
tree
2004-09-30
skimo
d
istribute
cdd2polylib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
skimo
ensure al
l
rays are po
s
iti
v
e
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
use
provi
d
e
d
param
e
ter n
a
mes
commit
|
commitdiff
|
tree
2004-09-30
skimo
avoid
+
-
commit
|
commitdiff
|
tree
2004-09-30
skim
o
collect
t
erms with the same denominator
commit
|
commitdiff
|
tree
2004-09-30
s
k
i
m
o
ignore z
e
ro term
s
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo
commit
|
commitdiff
|
tree
2004-09-29
skimo
in
c
l
ude
unistd
.
h for platfor
m
s
with
o
ut ge
t
opt
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack to ignore ra
y
s
commit
|
commitdiff
|
tree
2004-09-19
ski
m
o
make
ray lexico-positive
commit
|
commitdiff
|
tree
2004-09-19
skimo
i
n
itial support
f
o
r
E
hrhart series
commit
|
commitdiff
|
tree
2004-09-19
skimo
allow const
r
uc
t
ion of
0
D "nono
r
thogonal"
vector
commit
|
commitdiff
|
tree
2004-09-19
skimo
extr
a
ct ch
e
ck for infinite p
a
rametric pol
y
topes
commit
|
commitdiff
|
tree
2004-09-18
skimo
cha
n
ge l
a
ttice_poi
n
t slight
l
y (used in previous p
a
tch)
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
don't make nume
r
ator powe
r
positive
+
me
r
ge
l
o
o
ps
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't make numerator power positive
+
merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow
negative
p
owers
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
skim
o
bump
version
commit
|
commitdiff
|
tree
2004-09-18
skimo
update
commit
|
commitdiff
|
tree
2004-09-18
skimo
poi
n
t to PIP locati
o
n
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
shift polytop
e
for PIP if variables range over negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
m
o
a
l
low veri
f
i
c
ati
o
n
of
d
i
rect
p
i
p
use
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
don
'
t overallocate i
f
we don't have to
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
don't overallocate
if we don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
o
v
e
rrid
e
barvinok_en
u
m
e
rat
e
_ev
i
nstead of ba
r
vinok_
e
numera
t
e
commit
|
commitdiff
|
tree
2004-09-18
s
kim
o
optionally
use p
i
p
commit
|
commitdiff
|
tree
2004-09-18
skimo
rename and export pip-base
d
e
n
umeration
commit
|
commitdiff
|
tree
2004-09-18
skimo
c
o
nverter for cdd input to poly
l
ib input
commit
|
commitdiff
|
tree
2004-09-18
skimo
conf
o
rm to C8
9
commit
|
commitdiff
|
tree
2004-09-07
ski
m
o
hook
s
t
o
count the
i
n
put and outpu
t
size in bits
commit
|
commitdiff
|
tree
2004-09-07
skimo
be ca
r
eful about what to negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
some v
e
c
tor par
t
i
t
i
o
n
e
x
amples
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
avoid
g
ccisms
commit
|
commitdiff
|
tree
2004-08-31
skimo
include
s
trin
g
need
f
or me
m
cp
y
commit
|
commitdiff
|
tree
2004-08-31
skimo
av
o
id gcc
i
s
m
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
force c++ link
i
n
g
instead o
f
link
i
ng in libstdc++
commit
|
commitdiff
|
tree
2004-08-31
s
kim
o
fo
r
c
e
installation of
(
possibly) new version
commit
|
commitdiff
|
tree
2004-08-31
skimo
check
fo
r
getopt
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
mov
e
"constant" c
o
n
s
t
a
nt part ou
t
s
i
de of
f
ractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combine resul
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
small memor
y
leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
u
se
p
ip if
a
v
a
i
lable
commit
|
commitdiff
|
tree
2004-08-29
skimo
check for pipl
i
b
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
convert to l
o
okup-tabl
e
if requ
e
sted
commit
|
commitdiff
|
tree
2004-08-29
skimo
test program for
p
ip support
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
add sup
p
ort for com
p
uting the lexicogra
p
hical min
i
mum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
al
s
o look at denominat
o
r o
f
the constan
t
commit
|
commitdiff
|
tree
2004-08-28
sk
i
mo
more partial ray rem
o
va
l
(l
a
rgel
y
untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/ve
r
tices/
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
check that polylib is recent e
n
ough
t
o
corr
e
ctly comput
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
a
dd t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new t
e
st
s
from polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
p
erf
o
rm
c
o
rrect p
e
riodic
n
umber lookup for
negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
kimo
more info
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
correct test for mpz_div
i
sible_p
commit
|
commitdiff
|
tree
2004-08-14
sk
i
m
o
repeat wor
k
around in loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
older
gmps s
e
em to have pro
b
lems with a stri
n
g
con
s
t
i
sting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
support o
l
der gmp ve
r
s
i
o
n
s
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't as
s
u
m
e C99
commit
|
commitdiff
|
tree
2004-08-10
sk
i
mo
r
emove
c
o
d
e dup
l
ica
t
ion
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
extract out common
code
commit
|
commitdiff
|
tree
2004-08-09
skimo
extr
a
ct
out cod
e
to
con
s
truc
t
neg
a
tive
te
s
t
constraint
commit
|
commitdiff
|
tree
2004-08-09
s
kim
o
code reus
e
commit
|
commitdiff
|
tree
2004-08-09
skimo
det
e
ct more unhandled case
s
commit
|
commitdiff
|
tree
2004-08-09
skimo
s
implify some code
commit
|
commitdiff
|
tree
2004-08-08
s
kimo
remove
redunda
n
t rays
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
allow any number of
parts in
e
n
umerate
_
or
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
"implem
e
nt
"
eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
h
a
ndle (s
i
ngle) r
a
y
commit
|
commitdiff
|
tree
2004-08-06
skim
o
re
m
ove (some) lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
set
nparam b
a
ck to u
s
e
a
s number of dime
n
s
i
ons in partiti
o
n
commit
|
commitdiff
|
tree
2004-08-05
skimo
make compute_
e
node wo
r
k
again in ge
n
e
ral c
a
se
commit
|
commitdiff
|
tree
2004-08-05
skim
o
remove debug
g
i
ng output
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
remove debugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
u
se e
v
alu
e
rather th
a
n enumeration a
n
d
some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
ex
t
end printing
and computing to handle
s
"modulos
"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternat
i
ve to i
n
_
domain th
a
t h
a
ndles "modulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
store "real
"
dimension in pos f
i
e
l
d of parti
t
i
o
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove duplicate imp
l
ementation
commit
|
commitdiff
|
tree
2004-08-04
skimo
be s
l
ightly more
c
onservative (
c
orrect) in d
e
t
ermi
n
ing
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
a
ray that depends on the parame
t
ers shoul
d
be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
clean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory leak
commit
|
commitdiff
|
tree
next