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
export zz2value
2004-10-31
skimo
export z
z
2value
commit
|
commitdiff
|
tree
2004-10-31
ski
m
o
"
s
uppo
r
t" floor co
n
version for
p
a
rametric p
o
lytopes
commit
|
commitdiff
|
tree
2004-10-31
skimo
use evalue i
n
stead of Enumeration
commit
|
commitdiff
|
tree
2004-10-31
s
k
im
o
print different statistics
commit
|
commitdiff
|
tree
2004-10-31
skimo
r
e
move redu
n
dant code
commit
|
commitdiff
|
tree
2004-10-16
skimo
bump
v
er
s
io
n
commit
|
commitdiff
|
tree
2004-10-12
skimo
Test whether linear
c
ombination of exi
s
tential vari
a
bles
commit
|
commitdiff
|
tree
2004-10-12
s
k
im
o
handle c
a
se where first part does not have
a
solut
i
on
commit
|
commitdiff
|
tree
2004-10-06
skim
o
s
m
all tool f
o
r removin
g
re
d
un
d
ant equalit
i
e
s
commit
|
commitdiff
|
tree
2004-10-06
skimo
u
se bigger values for random vector
commit
|
commitdiff
|
tree
2004-10-05
skimo
warn on
f
loor
c
o
n
version
commit
|
commitdiff
|
tree
2004-10-05
skimo
add col
l
ect_po
l
yt
o
pes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
redu
c
e
constant afte
r
inversi
o
n
;
a
v
oid infinite loop
commit
|
commitdiff
|
tree
2004-10-04
skimo
d
on
'
t cal
l
pi
p
when there are
n
o existential variable
s
commit
|
commitdiff
|
tree
2004-10-03
skimo
bump version
commit
|
commitdiff
|
tree
2004-10-03
skimo
further m
e
rge
commit
|
commitdiff
|
tree
2004-10-03
skimo
more me
r
g
i
n
g
commit
|
commitdiff
|
tree
2004-10-03
skimo
compute EP only on
c
e for each
vertex,
a
t
t
h
e
e
x
pense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
minor ex
t
r
a
m
erge
commit
|
commitdiff
|
tree
2004-10-03
skim
o
remove bottleneck + merge
commit
|
commitdiff
|
tree
2004-10-03
sk
i
mo
add NTL_5_3_
2
.
pat
c
h
commit
|
commitdiff
|
tree
2004-10-01
skimo
deepe
r
lo
o
p merge
commit
|
commitdiff
|
tree
2004-09-30
skimo
dead cod
e
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
a
rray cont
r
action
commit
|
commitdiff
|
tree
2004-09-30
skimo
remove bottleneck
+
merge loop
s
commit
|
commitdiff
|
tree
2004-09-30
skimo
t
y
po in
comm
e
nt
commit
|
commitdiff
|
tree
2004-09-30
skimo
d
i
stribute cdd2polylib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
e
n
s
u
re a
l
l rays are positive
commit
|
commitdiff
|
tree
2004-09-30
skimo
use provided p
a
rameter
n
ames
commit
|
commitdiff
|
tree
2004-09-30
skimo
avoid +-
commit
|
commitdiff
|
tree
2004-09-30
skim
o
collect terms w
i
th the
s
a
m
e d
e
nomina
t
or
commit
|
commitdiff
|
tree
2004-09-30
skimo
ign
o
r
e zero terms
commit
|
commitdiff
|
tree
2004-09-30
skimo
t
ypo
commit
|
commitdiff
|
tree
2004-09-29
ski
m
o
inclu
d
e unistd
.
h for platforms without
g
etopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
s
ki
m
o
hack to ignore rays
commit
|
commitdiff
|
tree
2004-09-19
skimo
make ray
lex
i
co-positive
commit
|
commitdiff
|
tree
2004-09-19
skimo
initial s
u
pport for E
h
rha
r
t se
r
ies
commit
|
commitdiff
|
tree
2004-09-19
skimo
allow
construction
o
f
0D "non
o
r
t
ho
g
on
a
l" ve
c
tor
commit
|
commitdiff
|
tree
2004-09-19
skimo
extract
check for inf
i
nite pa
r
ametric
p
olyt
o
pes
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
change la
t
tice_po
i
nt sl
i
g
htly (use
d
i
n pre
v
i
ous patch)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don
'
t make numera
t
or po
w
er positi
v
e + mer
g
e loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
don'
t
make numerato
r
power po
s
itive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
a
l
l
o
w
nega
t
iv
e
powers
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
bump ve
r
sion
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
update
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
p
oint to PI
P
location
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
shift po
l
y
t
ope for PIP if variables range over negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow ver
i
fication
o
f direct pip use
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
don't overa
l
locate if w
e
don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't overallocat
e
if
we
don't have to
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
o
v
erride barvinok
_
enumerate_ev in
s
tead of barvinok_enumerate
commit
|
commitdiff
|
tree
2004-09-18
skimo
optio
n
ally use pip
commit
|
commitdiff
|
tree
2004-09-18
s
k
i
m
o
rename and export pip-based enumeration
commit
|
commitdiff
|
tree
2004-09-18
skimo
convert
e
r f
o
r cdd input to p
o
lylib i
n
put
commit
|
commitdiff
|
tree
2004-09-18
skimo
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 careful about what to
negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
some vector partit
i
on
e
xample
s
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
avoid
g
c
c
isms
commit
|
commitdiff
|
tree
2004-08-31
skimo
include str
i
ng need for memcpy
commit
|
commitdiff
|
tree
2004-08-31
skimo
avoid gc
c
is
m
commit
|
commitdiff
|
tree
2004-08-31
skim
o
forc
e
c++ linking instead of linking
i
n
libstdc++
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
force installation of (possibl
y
) n
e
w version
commit
|
commitdiff
|
tree
2004-08-31
skimo
chec
k
f
or getop
t
commit
|
commitdiff
|
tree
2004-08-29
sk
i
mo
move "constant" constant part outs
i
de of fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combine result
commit
|
commitdiff
|
tree
2004-08-29
skimo
small
memory leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
use
pip if
a
vailable
commit
|
commitdiff
|
tree
2004-08-29
skimo
check for piplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
c
onv
e
rt t
o
lookup-t
a
ble i
f
requested
commit
|
commitdiff
|
tree
2004-08-29
skimo
test p
r
ogram
f
o
r pip su
p
port
commit
|
commitdiff
|
tree
2004-08-29
skimo
add s
u
pport fo
r
computing the lexicographical minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
a
l
so lo
o
k at denom
i
n
a
t
o
r
of the
c
onstant
commit
|
commitdiff
|
tree
2004-08-28
s
k
imo
mor
e
partial ray remov
a
l (largely untes
t
ed
commit
|
commitdiff
|
tree
2004-08-23
s
k
i
mo
s/vd/
v
ertices
/
commit
|
commitdiff
|
tree
2004-08-23
sk
i
mo
che
c
k tha
t
polylib
i
s recent enoug
h
to cor
r
ectly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add
t
12
.
in es
u
m
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
n
e
w tests from polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform correct periodic numb
e
r lo
o
kup for negativ
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
m
ore
info
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
corre
c
t
t
est for mpz
_
divisible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
r
e
p
e
at workaround in l
o
op
commit
|
commitdiff
|
tree
2004-08-14
skimo
older gmps seem to have
proble
m
s
with a strin
g
cons
t
isting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support
o
lde
r
g
m
p ve
r
sions
commit
|
commitdiff
|
tree
2004-08-13
ski
m
o
don't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove c
o
de duplicatio
n
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
extract out common code
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract ou
t
cod
e
to construct negati
v
e
test con
s
traint
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
code reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
det
e
ct more unhandled
c
ases
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
si
m
plify som
e
code
commit
|
commitdiff
|
tree
2004-08-08
skimo
remove redundant rays
commit
|
commitdiff
|
tree
2004-08-08
s
k
imo
allow
any number
o
f
parts i
n
enumerate_or
commit
|
commitdiff
|
tree
2004-08-08
s
kimo
"implement" eo
r
commit
|
commitdiff
|
tree
2004-08-08
skimo
handle (single) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
rem
o
ve (some
)
lines
commit
|
commitdiff
|
tree
2004-08-05
s
ki
m
o
set nparam
b
ack to
u
se as number of dimension
s
in pa
r
tition
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
make com
p
ute_enod
e
w
o
rk again
i
n
gener
a
l
case
commit
|
commitdiff
|
tree
next