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
remove redundant code
commit
|
commitdiff
|
tree
2004-10-16
skimo
bump version
commit
|
commitdiff
|
tree
2004-10-12
skim
o
Test
w
hether
l
i
n
ear
comb
i
n
a
tion of e
x
iste
n
tial
variables
commit
|
commitdiff
|
tree
2004-10-12
sk
i
mo
han
d
le case where first part doe
s
not have a solution
commit
|
commitdiff
|
tree
2004-10-06
skimo
sm
a
ll tool f
o
r removing redundant equalities
commit
|
commitdiff
|
tree
2004-10-06
skimo
use bi
g
ger values fo
r
r
andom vector
commit
|
commitdiff
|
tree
2004-10-05
s
k
imo
warn on floor
c
onversion
commit
|
commitdiff
|
tree
2004-10-05
s
kimo
a
d
d collect_polytopes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
reduce constant
afte
r
inve
r
s
i
o
n; avoid infinit
e
loop
commit
|
commitdiff
|
tree
2004-10-04
s
k
i
m
o
don't cal
l
pip w
h
en
there are no e
x
is
t
ential v
a
riables
commit
|
commitdiff
|
tree
2004-10-03
skim
o
bum
p
version
commit
|
commitdiff
|
tree
2004-10-03
skimo
fur
t
h
e
r
merge
commit
|
commitdiff
|
tree
2004-10-03
s
k
imo
mo
r
e mergi
n
g
commit
|
commitdiff
|
tree
2004-10-03
skimo
comp
u
te EP only
o
nce for each ver
t
ex, at
t
he expe
n
se
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
s
k
imo
minor ex
t
ra merg
e
commit
|
commitdiff
|
tree
2004-10-03
s
k
i
mo
remove
b
o
t
tl
e
neck + mer
g
e
commit
|
commitdiff
|
tree
2004-10-03
skim
o
add NTL_5_3_2
.
patch
commit
|
commitdiff
|
tree
2004-10-01
skimo
deepe
r
l
oop merge
commit
|
commitdiff
|
tree
2004-09-30
skim
o
dead code
commit
|
commitdiff
|
tree
2004-09-30
skimo
array contraction
commit
|
commitdiff
|
tree
2004-09-30
skimo
remove bottlen
e
ck + merge lo
o
ps
commit
|
commitdiff
|
tree
2004-09-30
skimo
typo
i
n comment
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
distribute cdd2polylib
.
pl
commit
|
commitdiff
|
tree
2004-09-30
skimo
e
n
sure all rays are
pos
i
tive
commit
|
commitdiff
|
tree
2004-09-30
skimo
use provided pa
r
a
m
et
e
r names
commit
|
commitdiff
|
tree
2004-09-30
skimo
avoi
d
+-
commit
|
commitdiff
|
tree
2004-09-30
skimo
c
oll
e
ct
t
erms w
i
t
h
the sam
e
den
o
minator
commit
|
commitdiff
|
tree
2004-09-30
skimo
ignore zero terms
commit
|
commitdiff
|
tree
2004-09-30
skim
o
t
ypo
commit
|
commitdiff
|
tree
2004-09-29
skimo
includ
e
unistd
.
h for p
l
a
tforms withou
t
getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
s
kimo
ha
c
k to ignore rays
commit
|
commitdiff
|
tree
2004-09-19
skimo
make
ray lexico-po
s
i
tive
commit
|
commitdiff
|
tree
2004-09-19
skimo
i
nitial support for Ehrhart serie
s
commit
|
commitdiff
|
tree
2004-09-19
sk
i
mo
allow
c
o
nstruc
t
ion
o
f 0D "nonorthogonal"
vec
t
o
r
commit
|
commitdiff
|
tree
2004-09-19
skimo
extract che
c
k for
infini
t
e
p
a
ra
m
etric pol
y
t
opes
commit
|
commitdiff
|
tree
2004-09-18
skim
o
cha
n
ge lattice_point sl
i
ghtly
(
used i
n
p
revious patch)
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
don't make numer
a
tor power positive + me
r
ge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
don
'
t m
a
ke num
e
rator powe
r
positive + merge loop
s
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
allo
w
ne
g
ative powers
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
bump versi
o
n
commit
|
commitdiff
|
tree
2004-09-18
skim
o
update
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
p
oint to PIP location
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
shift poly
t
ope for PIP if variable
s
range over
n
egative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow v
e
r
i
fication o
f
d
i
rect pip
use
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
d
o
n't o
v
e
r
allocate if we don't have to
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
don't
o
vera
l
lo
c
a
t
e
i
f
we don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
override barv
i
nok_enume
r
at
e
_ev inste
a
d of barvinok_enumerate
commit
|
commitdiff
|
tree
2004-09-18
skimo
o
p
tionally use pip
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
re
n
ame and export pip-
b
ased enume
r
a
t
ion
commit
|
commitdiff
|
tree
2004-09-18
skimo
converter fo
r
cdd input
to
p
olylib input
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
confo
r
m
t
o C
8
9
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks to
c
ount the input an
d
output
s
ize in
bi
t
s
commit
|
commitdiff
|
tree
2004-09-07
skimo
b
e careful about what
t
o
ne
g
ate
commit
|
commitdiff
|
tree
2004-09-04
skimo
some
v
ector partition examples
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
avoid gccisms
commit
|
commitdiff
|
tree
2004-08-31
skimo
include string need for memcpy
commit
|
commitdiff
|
tree
2004-08-31
s
k
i
m
o
av
o
id gccism
commit
|
commitdiff
|
tree
2004-08-31
s
k
i
mo
fo
r
ce c++ linking
i
nstead
of
l
inking in libstd
c
++
commit
|
commitdiff
|
tree
2004-08-31
skimo
force installation of (pos
s
i
bly) new ve
r
sion
commit
|
commitdiff
|
tree
2004-08-31
skimo
c
heck for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
mo
v
e "constant" con
s
tant part outside of fr
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
k
i
m
o
com
b
ine resu
l
t
commit
|
commitdiff
|
tree
2004-08-29
skimo
small memo
r
y leak
commit
|
commitdiff
|
tree
2004-08-29
skimo
u
se pip if available
commit
|
commitdiff
|
tree
2004-08-29
skimo
check f
o
r
piplib
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
conver
t
to
lookup-tabl
e
if requested
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
test progr
a
m for
p
ip s
u
p
p
ort
commit
|
commitdiff
|
tree
2004-08-29
skimo
add su
p
p
or
t
for
c
omputi
n
g
the lexicographical minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
k
im
o
al
s
o
look at d
e
nominator of the co
n
stant
commit
|
commitdiff
|
tree
2004-08-28
skimo
more partial ra
y
removal (largely untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s
/
vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
che
c
k that
p
olylib is recent e
n
ough to corr
e
ctly compute
.
.
.
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
skimo
perform correct periodic numbe
r
lo
o
kup for negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
mor
e
i
nfo
commit
|
commitdiff
|
tree
2004-08-14
sk
i
m
o
typo
commit
|
commitdiff
|
tree
2004-08-14
skim
o
co
r
rect test for mp
z
_
d
ivis
i
bl
e
_
p
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
repe
a
t work
a
round
i
n
loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
old
e
r
gmp
s
seem to have problems
w
ith
a
string constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
s
u
p
port ol
d
er gmp ve
r
sions
commit
|
commitdiff
|
tree
2004-08-13
s
k
imo
don't ass
u
me C99
commit
|
commitdiff
|
tree
2004-08-10
sk
i
mo
remo
v
e co
d
e duplic
a
tion
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
extract out common code
commit
|
commitdiff
|
tree
2004-08-09
ski
m
o
extract out
co
d
e
to
c
onstruct ne
g
at
i
ve test constr
a
int
commit
|
commitdiff
|
tree
2004-08-09
skimo
code reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect more
unhandled cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
si
m
plify s
o
me code
commit
|
commitdiff
|
tree
2004-08-08
skimo
r
e
mo
v
e
redun
d
a
n
t
r
ays
commit
|
commitdiff
|
tree
2004-08-08
skim
o
allow any number of
p
arts in
e
n
umerate_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"
impl
e
ment
"
eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
h
andle (single) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
r
e
move
(
some) lines
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
set nparam bac
k
to use as
n
umber of
d
imensions in p
a
rti
t
ion
commit
|
commitdiff
|
tree
2004-08-05
skimo
make c
o
mpute_enode work again i
n
general case
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove
debu
g
ging out
p
ut
commit
|
commitdiff
|
tree
2004-08-05
skimo
rem
o
ve debugging output
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
use evalue rather than enu
m
er
a
t
i
on
and some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend prin
t
ing
and comp
u
ting to h
a
ndles "
m
odu
l
os"
.
.
.
commit
|
commitdiff
|
tree
next