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
remove redundant code
2004-10-31
skimo
re
m
ove redundant code
commit
|
commitdiff
|
tree
2004-10-16
s
kimo
b
ump version
commit
|
commitdiff
|
tree
2004-10-12
ski
m
o
T
est whether li
n
ear combina
t
i
o
n of
existential variables
commit
|
commitdiff
|
tree
2004-10-12
skimo
ha
n
dle ca
s
e whe
r
e first part
d
oes not
hav
e
a solut
i
on
commit
|
commitdiff
|
tree
2004-10-06
skimo
small tool for removing
redund
a
n
t
equalities
commit
|
commitdiff
|
tree
2004-10-06
skim
o
use bigger values for random vector
commit
|
commitdiff
|
tree
2004-10-05
skimo
warn o
n
floor conversion
commit
|
commitdiff
|
tree
2004-10-05
skimo
add col
l
e
c
t
_polytopes
2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
reduce co
n
stant
after inversion; avoi
d
infinite lo
o
p
commit
|
commitdiff
|
tree
2004-10-04
skimo
don't
c
a
l
l
pip when there
are
no existential
v
ariables
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
bump ver
s
ion
commit
|
commitdiff
|
tree
2004-10-03
skimo
fu
r
th
e
r
m
erge
commit
|
commitdiff
|
tree
2004-10-03
skim
o
m
o
r
e mergi
n
g
commit
|
commitdiff
|
tree
2004-10-03
skimo
compu
t
e EP only once fo
r
e
a
ch ver
t
ex, at the expense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
skimo
m
i
nor
e
xtra merge
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
r
e
mo
v
e
b
ottle
n
ec
k
+
m
er
g
e
commit
|
commitdiff
|
tree
2004-10-03
skimo
add NTL_5_3
_
2
.
patc
h
commit
|
commitdiff
|
tree
2004-10-01
skim
o
dee
p
er loop me
r
ge
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
dead code
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
a
r
r
a
y cont
r
acti
o
n
commit
|
commitdiff
|
tree
2004-09-30
skim
o
r
e
move bottl
e
ne
c
k + merge loo
p
s
commit
|
commitdiff
|
tree
2004-09-30
skim
o
ty
p
o
in comment
commit
|
commitdiff
|
tree
2004-09-30
skimo
distrib
u
te cdd2polylib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
ensure
all rays are
p
ositive
commit
|
commitdiff
|
tree
2004-09-30
skimo
use pr
o
vided parameter nam
e
s
commit
|
commitdiff
|
tree
2004-09-30
s
k
im
o
avoid +-
commit
|
commitdiff
|
tree
2004-09-30
skimo
collect terms with the
s
a
me d
e
nominator
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
ignore zero terms
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo
commit
|
commitdiff
|
tree
2004-09-29
skimo
include unistd
.
h for p
l
at
f
orms with
o
ut geto
p
t
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack to i
g
nore r
a
ys
commit
|
commitdiff
|
tree
2004-09-19
s
k
i
mo
make ray l
e
xico-posi
t
ive
commit
|
commitdiff
|
tree
2004-09-19
skimo
initial s
u
pport f
o
r E
h
rh
a
rt
s
erie
s
commit
|
commitdiff
|
tree
2004-09-19
skimo
allow con
s
truction of 0D "nonor
t
hogonal" ve
c
tor
commit
|
commitdiff
|
tree
2004-09-19
skimo
e
x
tra
c
t check f
o
r in
f
inite par
a
metr
i
c po
l
yto
p
es
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
change l
a
ttice
_
point slightly (used
in pre
v
i
ous pat
c
h)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't make
n
umer
a
tor p
o
wer positive +
merge loop
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't make nu
m
erat
o
r power positi
v
e + merg
e
loops
commit
|
commitdiff
|
tree
2004-09-18
skim
o
a
l
l
o
w n
e
gat
i
v
e
powers
commit
|
commitdiff
|
tree
2004-09-18
skimo
ty
p
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
bump version
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
update
commit
|
commitdiff
|
tree
2004-09-18
skim
o
po
i
nt to PIP location
commit
|
commitdiff
|
tree
2004-09-18
skimo
shift po
l
ytope for PIP
if varia
b
les range ov
e
r
ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow verification
o
f d
i
rect p
i
p use
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
don
'
t overa
l
locate if we don'
t
have to
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
don't
o
ver
a
llocate if we
d
on't have to
commit
|
commitdiff
|
tree
2004-09-18
skim
o
ove
r
r
i
d
e barvinok_enu
m
erate_e
v
i
ns
t
ea
d
o
f
ba
r
v
i
no
k
_
e
numerate
commit
|
commitdiff
|
tree
2004-09-18
skimo
optionally use pip
commit
|
commitdiff
|
tree
2004-09-18
skimo
rename
a
nd ex
p
ort pip-bas
e
d en
u
meration
commit
|
commitdiff
|
tree
2004-09-18
skimo
c
onv
e
rter for
c
dd i
n
put to polylib in
p
ut
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
c
o
n
f
orm
to C89
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks to
c
ount the input and output size in b
i
ts
commit
|
commitdiff
|
tree
2004-09-07
skimo
be
care
f
ul about wha
t
to negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
some
v
ecto
r
p
a
rtition
e
xam
p
les
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid
gccisms
commit
|
commitdiff
|
tree
2004-08-31
skim
o
i
nclud
e
st
r
ing need for
m
emc
p
y
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoi
d
gccism
commit
|
commitdiff
|
tree
2004-08-31
skimo
force c++
linking instead o
f
l
i
nking in l
i
bstdc
+
+
commit
|
commitdiff
|
tree
2004-08-31
skimo
force instal
l
at
i
on of (poss
i
b
ly) new version
commit
|
commitdiff
|
tree
2004-08-31
skimo
check for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
mov
e
"constant" con
s
tant part outside of fract
i
o
n
al
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
o
mbine result
commit
|
commitdiff
|
tree
2004-08-29
skimo
small m
e
mory
l
eak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use pip i
f
availabl
e
commit
|
commitdiff
|
tree
2004-08-29
skimo
check for pipl
i
b
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
con
v
e
r
t
t
o
lookup-table if requested
commit
|
commitdiff
|
tree
2004-08-29
skimo
t
e
st
p
rogram for pip support
commit
|
commitdiff
|
tree
2004-08-29
skimo
add support for c
o
mputing the le
x
icograp
h
ic
a
l minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
l
s
o
l
o
ok at denomin
a
t
o
r of the
constant
commit
|
commitdiff
|
tree
2004-08-28
skimo
more p
a
rtial ray remov
a
l (
l
argely untested
commit
|
commitdiff
|
tree
2004-08-23
s
kim
o
s/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check that polylib is recent
e
nou
g
h t
o
corr
e
ctly c
o
mp
u
t
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add
t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests fro
m
polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
p
e
rform
c
o
r
rect perio
d
ic numb
e
r lookup for
nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
mo
r
e
in
f
o
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
corr
e
c
t
tes
t
fo
r
mpz_
d
ivisib
l
e_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
rep
e
at workaround
i
n l
o
op
commit
|
commitdiff
|
tree
2004-08-14
skimo
older gmps seem t
o
have problems w
i
th a
stri
n
g
co
n
stisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
s
u
pport older gmp versions
commit
|
commitdiff
|
tree
2004-08-13
s
k
imo
d
on't assume
C
99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remo
v
e co
d
e duplic
a
ti
o
n
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out common code
commit
|
commitdiff
|
tree
2004-08-09
skim
o
extract out c
o
de to construct neg
a
t
ive test con
s
traint
commit
|
commitdiff
|
tree
2004-08-09
skimo
code reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect more unhandl
e
d cases
commit
|
commitdiff
|
tree
2004-08-09
s
kimo
simplify
s
om
e
cod
e
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
remove redundant r
a
ys
commit
|
commitdiff
|
tree
2004-08-08
s
kimo
allow
any number of parts in enumera
t
e_or
commit
|
commitdiff
|
tree
2004-08-08
s
k
imo
"implement" eor
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
h
a
ndl
e
(single) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
remove (
s
ome) l
i
nes
commit
|
commitdiff
|
tree
2004-08-05
skimo
set np
a
ram
b
ack to us
e
as numbe
r
of dim
e
ns
i
ons i
n
p
a
rtitio
n
commit
|
commitdiff
|
tree
2004-08-05
s
ki
m
o
make comp
u
te_enode work again in
general cas
e
commit
|
commitdiff
|
tree
2004-08-05
skimo
remov
e
d
ebugging ou
t
put
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
remove deb
u
g
gi
n
g outpu
t
commit
|
commitdiff
|
tree
2004-08-05
skimo
u
se evalue rath
e
r
t
h
a
n enumeration and
some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
ex
t
e
n
d printing and
c
omp
u
tin
g
to handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
next