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
ensure all rays are positive
2004-09-30
skimo
ensure all
r
ays are posi
t
ive
commit
|
commitdiff
|
tree
2004-09-30
ski
m
o
use provided parameter names
commit
|
commitdiff
|
tree
2004-09-30
sk
i
m
o
avoid +-
commit
|
commitdiff
|
tree
2004-09-30
s
kimo
collect terms with th
e
same denomi
n
ator
commit
|
commitdiff
|
tree
2004-09-30
sk
i
mo
ignore zero terms
commit
|
commitdiff
|
tree
2004-09-30
skimo
typ
o
commit
|
commitdiff
|
tree
2004-09-29
s
k
imo
i
nclu
d
e unistd
.
h f
o
r pla
t
f
orms
w
i
thout getopt
.
h
commit
|
commitdiff
|
tree
2004-09-28
skimo
hack to ignore rays
commit
|
commitdiff
|
tree
2004-09-19
ski
m
o
make
r
ay lexico-pos
i
tiv
e
commit
|
commitdiff
|
tree
2004-09-19
ski
m
o
i
nitial sup
p
ort for Ehrhart series
commit
|
commitdiff
|
tree
2004-09-19
skimo
al
l
ow con
s
truction
of 0D "nonorthogonal" vector
commit
|
commitdiff
|
tree
2004-09-19
skimo
extract check for infinite p
a
ra
m
etric po
l
ytopes
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
change
lat
t
i
c
e_point s
l
ightly (used in p
r
evious patch
)
commit
|
commitdiff
|
tree
2004-09-18
skimo
don't make n
u
merato
r
p
o
we
r
positi
v
e + m
e
rge loops
commit
|
commitdiff
|
tree
2004-09-18
sk
i
m
o
don't make nu
m
erator power p
o
sitive + merge lo
o
ps
commit
|
commitdiff
|
tree
2004-09-18
skimo
allow negat
i
ve powers
commit
|
commitdiff
|
tree
2004-09-18
skimo
typo
commit
|
commitdiff
|
tree
2004-09-18
skimo
bump version
commit
|
commitdiff
|
tree
2004-09-18
skimo
update
commit
|
commitdiff
|
tree
2004-09-18
skimo
point
to PIP l
o
cat
i
on
commit
|
commitdiff
|
tree
2004-09-18
s
kimo
shi
f
t polytope fo
r
PIP if
vari
a
bles range
o
v
e
r
negative
.
.
.
commit
|
commitdiff
|
tree
2004-09-18
skimo
allo
w
verificatio
n
o
f dir
e
ct
p
ip use
commit
|
commitdiff
|
tree
2004-09-18
skim
o
do
n
't overallocate if we d
o
n
'
t
have
t
o
commit
|
commitdiff
|
tree
2004-09-18
skimo
d
o
n't o
v
e
r
allocate if we don't have to
commit
|
commitdiff
|
tree
2004-09-18
skimo
over
r
i
de ba
r
v
i
nok_enu
m
erat
e
_ev i
n
stea
d
of barvin
o
k
_enumerate
commit
|
commitdiff
|
tree
2004-09-18
sk
i
mo
o
ptiona
l
ly use pip
commit
|
commitdiff
|
tree
2004-09-18
s
k
imo
rename
and export pip-b
a
sed en
u
meration
commit
|
commitdiff
|
tree
2004-09-18
skimo
converter for cdd in
p
ut to polylib input
commit
|
commitdiff
|
tree
2004-09-18
skim
o
conform to C
8
9
commit
|
commitdiff
|
tree
2004-09-07
skimo
hooks
to coun
t
the inpu
t
and output size in bits
commit
|
commitdiff
|
tree
2004-09-07
skimo
b
e careful about what to negate
commit
|
commitdiff
|
tree
2004-09-04
skimo
some
vector partition examples
commit
|
commitdiff
|
tree
2004-08-31
ski
m
o
avoid gccis
m
s
commit
|
commitdiff
|
tree
2004-08-31
skimo
inc
l
u
d
e st
r
ing need for mem
c
p
y
commit
|
commitdiff
|
tree
2004-08-31
s
k
i
mo
avoid gcc
i
sm
commit
|
commitdiff
|
tree
2004-08-31
s
kimo
f
o
rce
c
++ linkin
g
i
nstead o
f
linking in
l
ibst
d
c+
+
commit
|
commitdiff
|
tree
2004-08-31
skimo
force
in
s
tallat
i
on o
f
(pos
s
ibly) new
v
ersion
commit
|
commitdiff
|
tree
2004-08-31
s
k
imo
check f
o
r getopt
commit
|
commitdiff
|
tree
2004-08-29
skimo
move
"
c
o
nstant" constant pa
r
t outside o
f
fractional
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
combine
r
esult
commit
|
commitdiff
|
tree
2004-08-29
s
kim
o
small
memory lea
k
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
use pip if
available
commit
|
commitdiff
|
tree
2004-08-29
s
kimo
check for piplib
commit
|
commitdiff
|
tree
2004-08-29
skimo
conver
t
to
look
u
p
-
t
able if reques
t
e
d
commit
|
commitdiff
|
tree
2004-08-29
skimo
test prog
r
am for p
i
p support
commit
|
commitdiff
|
tree
2004-08-29
skimo
add su
p
port for computin
g
t
h
e
le
x
icogra
p
hical minimu
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
als
o
look at
d
enomina
t
or of the constant
commit
|
commitdiff
|
tree
2004-08-28
skimo
m
ore partial ra
y
removal (largel
y
u
n
tested
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
s/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
c
heck tha
t
polylib
i
s recent
e
nough t
o
cor
r
ectly c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
s
k
i
m
o
add t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
skimo
new tests from pol
y
lib
commit
|
commitdiff
|
tree
2004-08-23
ski
m
o
perform correct peri
o
dic numb
e
r looku
p
f
o
r
negat
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more
info
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
skimo
co
r
r
e
ct test
f
or mpz_divi
s
i
b
le_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat
w
o
r
k
around i
n
lo
o
p
commit
|
commitdiff
|
tree
2004-08-14
skimo
older gmps seem to have problems with a
s
trin
g
con
s
tisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
su
p
port
o
lder gm
p
v
e
rsions
commit
|
commitdiff
|
tree
2004-08-13
skimo
don't assume C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
remove
c
ode duplicat
i
on
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
extract out c
o
mmon code
commit
|
commitdiff
|
tree
2004-08-09
skimo
extract out code to constr
u
ct n
e
g
ative test constr
a
int
commit
|
commitdiff
|
tree
2004-08-09
skimo
code
r
euse
commit
|
commitdiff
|
tree
2004-08-09
skimo
detect more
unhandled cases
commit
|
commitdiff
|
tree
2004-08-09
skimo
simplify som
e
cod
e
commit
|
commitdiff
|
tree
2004-08-08
skimo
remove redundan
t
rays
commit
|
commitdiff
|
tree
2004-08-08
skim
o
al
l
ow any number
of p
a
rt
s
in enumerat
e
_or
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
"
i
mplemen
t
" eor
commit
|
commitdiff
|
tree
2004-08-08
skimo
handl
e
(s
i
ngle)
r
ay
commit
|
commitdiff
|
tree
2004-08-06
skimo
r
e
move
(
s
ome) lines
commit
|
commitdiff
|
tree
2004-08-05
skimo
set npa
r
a
m
back t
o
use as number
o
f
d
imensio
n
s in par
t
ition
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
m
a
ke
c
ompute_enode
w
ork again in general case
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove
d
eb
u
gging
ou
t
p
u
t
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove debug
g
ing out
p
ut
commit
|
commitdiff
|
tree
2004-08-05
s
kimo
use ev
a
lue rather than enumeration and some memo
r
y
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
extend printing and computi
n
g t
o
handles "m
o
dulo
s
"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alternative to in_domain that h
a
ndl
e
s "mod
u
los" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "real" dimension in pos f
i
eld of parti
t
ion
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove duplicat
e
implementation
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
be slightly more conser
v
ative (correc
t
) in deter
m
ini
n
g
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skimo
a ray that
depends on
t
he parameters should be ok
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
clean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory lea
k
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
m
em
o
ry
l
eak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
memory lea
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
mory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
s
k
i
m
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memo
r
y leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
remove debugging
o
u
tput
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
che
c
k
w
hether pr
o
jectio
n
is bounded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on paramet
r
ic vertex
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
If o
n
e of the vertices in the combined
s
p
a
ce
is
a la
t
t
ice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
kim
o
e
liminate
parameter
s
if we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only perform
v
d
b
asid reduction if the
p
oly
t
ope h
a
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
unfringe pol
y
h
e
dron
commit
|
commitdiff
|
tree
2004-08-03
sk
i
m
o
r
emove debugging
output in
unfringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend addeliminatedparams t
o
partitions
commit
|
commitdiff
|
tree
2004-08-01
skim
o
b
a
il
early
o
n
emp
t
y polyt
o
pe
commit
|
commitdiff
|
tree
next