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
multiply with correct coefficient 1/d
2004-11-17
skimo
mult
i
ply
w
ith c
o
r
r
ect coeff
i
ci
e
nt 1/d
commit
|
commitdiff
|
tree
2004-11-17
skimo
remove dupli
c
ate fac
t
o
r
commit
|
commitdiff
|
tree
2004-11-17
skimo
add denom
i
nator to dpoly_r and s
p
li
t
div met
h
od
commit
|
commitdiff
|
tree
2004-11-16
skimo
c
h
a
n
ge argume
n
ts of normalize m
e
thods
commit
|
commitdiff
|
tree
2004-11-03
skimo
really on
l
y
r
e
move r
e
du
n
dant
constraints when facto
r
==0
commit
|
commitdiff
|
tree
2004-10-31
ski
m
o
con
v
e
r
s
i
on t
o
explici
t
f
u
nction on
r
equest
commit
|
commitdiff
|
tree
2004-10-31
skimo
c
o
nversi
o
n from
g
enfun t
o
evalue
commit
|
commitdiff
|
tree
2004-10-31
skimo
export zz2
v
alue
commit
|
commitdiff
|
tree
2004-10-31
ski
m
o
"
s
upp
o
r
t" fl
o
or conversion for parametr
i
c pol
y
t
o
p
es
commit
|
commitdiff
|
tree
2004-10-31
skimo
use evalue in
s
tead of Enumerat
i
on
commit
|
commitdiff
|
tree
2004-10-31
skimo
print differ
e
nt statistics
commit
|
commitdiff
|
tree
2004-10-31
skimo
remo
v
e redundant code
commit
|
commitdiff
|
tree
2004-10-16
s
kimo
bump ver
s
ion
commit
|
commitdiff
|
tree
2004-10-12
skimo
Test whe
t
her lin
e
ar combination of exis
t
en
t
ial
variab
l
es
commit
|
commitdiff
|
tree
2004-10-12
ski
m
o
ha
n
dle case where first p
a
rt does
n
o
t have a so
l
u
t
ion
commit
|
commitdiff
|
tree
2004-10-06
s
k
imo
s
m
all
t
ool for removing redunda
n
t e
q
ualities
commit
|
commitdiff
|
tree
2004-10-06
skim
o
use
b
igger
v
alues fo
r
random v
e
c
t
or
commit
|
commitdiff
|
tree
2004-10-05
skimo
warn on floor conversion
commit
|
commitdiff
|
tree
2004-10-05
skimo
add collect_polytopes2
.
c
commit
|
commitdiff
|
tree
2004-10-04
skimo
re
d
u
c
e c
o
n
st
a
nt
a
fter inve
r
sion; av
o
id i
n
finite
l
oop
commit
|
commitdiff
|
tree
2004-10-04
skimo
don't c
a
ll pip
w
h
e
n there
a
re no existential
variables
commit
|
commitdiff
|
tree
2004-10-03
skimo
b
ump version
commit
|
commitdiff
|
tree
2004-10-03
skimo
further
m
erge
commit
|
commitdiff
|
tree
2004-10-03
skimo
more merging
commit
|
commitdiff
|
tree
2004-10-03
s
kimo
c
o
mpute EP on
l
y once for each ve
r
tex
,
at the expense
.
.
.
commit
|
commitdiff
|
tree
2004-10-03
ski
m
o
mi
n
or
extra
m
er
g
e
commit
|
commitdiff
|
tree
2004-10-03
skimo
remove
b
ottleneck + merge
commit
|
commitdiff
|
tree
2004-10-03
skimo
add NT
L
_
5
_3_2
.
p
a
t
c
h
commit
|
commitdiff
|
tree
2004-10-01
skimo
deeper loop merge
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
d
e
ad code
commit
|
commitdiff
|
tree
2004-09-30
skimo
array contraction
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
remove b
o
t
tleneck
+
merge loo
p
s
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
typo in comment
commit
|
commitdiff
|
tree
2004-09-30
skimo
d
i
stribu
t
e cdd2p
o
lylib
.
p
l
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
e
n
s
u
re all rays are posi
t
ive
commit
|
commitdiff
|
tree
2004-09-30
s
k
imo
use p
r
ov
i
ded parameter names
commit
|
commitdiff
|
tree
2004-09-30
skimo
avoid +
-
commit
|
commitdiff
|
tree
2004-09-30
skimo
collect terms with the
same
denominator
commit
|
commitdiff
|
tree
2004-09-30
skim
o
i
g
nore
zero term
s
commit
|
commitdiff
|
tree
2004-09-30
s
k
im
o
typo
commit
|
commitdiff
|
tree
2004-09-29
skimo
include un
i
s
t
d
.
h for
platf
o
r
m
s w
i
thout
getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
s
kim
o
hack t
o
igno
r
e rays
commit
|
commitdiff
|
tree
2004-09-19
skimo
make ray lexico-pos
i
tive
commit
|
commitdiff
|
tree
2004-09-19
s
k
i
mo
initial
s
uppor
t
f
o
r Ehrhart series
commit
|
commitdiff
|
tree
2004-09-19
skimo
allow construction of
0D "nonor
t
hogonal" ve
c
tor
commit
|
commitdiff
|
tree
2004-09-19
skimo
extra
c
t
ch
e
ck for infin
i
te param
e
tric pol
y
top
e
s
commit
|
commitdiff
|
tree
2004-09-18
skimo
change lattice_point sli
g
ht
l
y
(used
i
n
previous patch)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't make numerator p
o
w
e
r positive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
don't m
a
ke numerator po
w
e
r
po
s
itive + merge loops
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow negativ
e
powers
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
typo
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
bump vers
i
on
commit
|
commitdiff
|
tree
2004-09-18
skim
o
update
commit
|
commitdiff
|
tree
2004-09-18
skimo
p
o
int to PI
P
l
o
cation
commit
|
commitdiff
|
tree
2004-09-18
skimo
shif
t
p
olytope for PIP if variable
s
rang
e
over negativ
e
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
all
o
w verifica
t
ion of direct pip use
commit
|
commitdiff
|
tree
2004-09-18
skimo
don
'
t overallo
c
ate if we don't ha
v
e
to
commit
|
commitdiff
|
tree
2004-09-18
skim
o
don't ove
r
alloc
a
te if we don't
have
t
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
override barvinok_enumerate_ev in
s
t
e
ad
of barvinok
_
enu
m
erate
commit
|
commitdiff
|
tree
2004-09-18
skimo
optionally use
pip
commit
|
commitdiff
|
tree
2004-09-18
ski
m
o
ren
a
me and expor
t
pip-ba
s
ed
e
n
u
me
r
ation
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
conver
t
er f
o
r cdd inp
u
t to po
l
y
l
ib
i
nput
commit
|
commitdiff
|
tree
2004-09-18
skimo
conform to C89
commit
|
commitdiff
|
tree
2004-09-07
ski
m
o
hooks to count the input and
output size in bi
t
s
commit
|
commitdiff
|
tree
2004-09-07
skimo
be
c
areful about what to neg
a
te
commit
|
commitdiff
|
tree
2004-09-04
sk
i
mo
s
o
me vector
p
a
rtition
e
x
amples
commit
|
commitdiff
|
tree
2004-08-31
skimo
a
v
oid g
c
cisms
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
i
n
clu
d
e string
ne
e
d f
o
r
me
m
cpy
commit
|
commitdiff
|
tree
2004-08-31
skim
o
avoid gc
c
ism
commit
|
commitdiff
|
tree
2004-08-31
skimo
forc
e
c++ linking
inst
e
ad of linking in lib
s
tdc++
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
force installation of (p
o
s
sibl
y
)
n
e
w ver
s
i
o
n
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
c
heck for getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move "constant
"
const
a
nt par
t
outside of
fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combine
result
commit
|
commitdiff
|
tree
2004-08-29
skim
o
sma
l
l memory leak
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
u
s
e pip if
a
v
a
i
lable
commit
|
commitdiff
|
tree
2004-08-29
s
k
i
mo
check for piplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
convert to loo
k
up
-
table if requested
commit
|
commitdiff
|
tree
2004-08-29
skimo
test progra
m
f
o
r pip suppor
t
commit
|
commitdiff
|
tree
2004-08-29
ski
m
o
add s
u
ppo
r
t
for computi
n
g the l
e
xicographical minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
also look at de
n
o
m
inator o
f
the constant
commit
|
commitdiff
|
tree
2004-08-28
s
ki
m
o
m
or
e
partial r
a
y re
m
ov
a
l
(large
l
y untested
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/v
e
rtices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check
that poly
l
ib is re
c
e
nt
e
no
u
gh t
o
correct
l
y compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
add t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
new t
e
sts from polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform correct p
e
ri
o
dic numbe
r
l
o
okup for
negative
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more info
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
c
o
r
rect test for m
p
z_divisibl
e
_p
commit
|
commitdiff
|
tree
2004-08-14
s
k
imo
repeat wo
r
karound in loop
commit
|
commitdiff
|
tree
2004-08-14
skimo
o
l
der gmps seem to h
a
ve problems with a
s
tring con
s
t
isting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
support older gmp
v
e
r
sions
commit
|
commitdiff
|
tree
2004-08-13
sk
i
mo
don't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove
c
ode duplication
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract o
u
t comm
o
n
code
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out cod
e
t
o constr
u
ct negat
i
ve test constraint
commit
|
commitdiff
|
tree
2004-08-09
skimo
code
r
euse
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
dete
c
t more unh
a
nd
l
e
d cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
s
i
mplify
s
o
m
e
c
o
de
commit
|
commitdiff
|
tree
next