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
convert to lookup-table if requested
2004-08-29
skimo
convert to l
o
okup-tabl
e
if requested
commit
|
commitdiff
|
tree
2004-08-29
skimo
test program for pip support
commit
|
commitdiff
|
tree
2004-08-29
skimo
add support for computi
n
g the
l
exi
c
ographical minimum
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
sk
i
m
o
als
o
look at denomi
n
at
o
r of the co
n
stant
commit
|
commitdiff
|
tree
2004-08-28
sk
i
mo
more pa
r
tial
ray removal (largely untest
e
d
commit
|
commitdiff
|
tree
2004-08-23
skimo
s/vd/vertices/
commit
|
commitdiff
|
tree
2004-08-23
skimo
check
tha
t
polylib
i
s
recent enough to correctly compute
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
add t12
.
in esum
.
in
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
new
t
ests from polylib
commit
|
commitdiff
|
tree
2004-08-23
skimo
perform
correct periodic number
l
ookup for negativ
e
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more info
commit
|
commitdiff
|
tree
2004-08-14
sk
i
mo
ty
p
o
commit
|
commitdiff
|
tree
2004-08-14
skimo
c
o
rrect test for mp
z
_div
i
sible_p
commit
|
commitdiff
|
tree
2004-08-14
skimo
re
p
eat workar
o
u
nd in
l
oop
commit
|
commitdiff
|
tree
2004-08-14
skim
o
olde
r
g
m
p
s
s
eem to have p
r
obl
e
ms wi
t
h
a str
i
ng consti
s
tin
g
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
supp
o
rt olde
r
g
m
p versions
commit
|
commitdiff
|
tree
2004-08-13
skim
o
don't as
s
u
me C99
commit
|
commitdiff
|
tree
2004-08-10
skimo
r
emo
v
e code d
u
plica
t
i
o
n
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
extrac
t
out common code
commit
|
commitdiff
|
tree
2004-08-09
skimo
e
x
t
ract out
code
to
construct negative tes
t
con
s
traint
commit
|
commitdiff
|
tree
2004-08-09
skimo
c
o
de r
e
use
commit
|
commitdiff
|
tree
2004-08-09
s
k
i
m
o
detect
m
o
r
e unhandled cases
commit
|
commitdiff
|
tree
2004-08-09
s
k
imo
simplify some
c
ode
commit
|
commitdiff
|
tree
2004-08-08
skimo
r
e
move redund
a
n
t ray
s
commit
|
commitdiff
|
tree
2004-08-08
skimo
a
l
low any number of parts in enu
m
erat
e
_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"impl
e
ment
"
eor
commit
|
commitdiff
|
tree
2004-08-08
sk
i
mo
handle (sing
l
e) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
remo
v
e
(
some) lin
e
s
commit
|
commitdiff
|
tree
2004-08-05
s
k
im
o
set n
p
aram b
a
ck to use a
s
number of dime
n
si
o
ns
i
n p
a
rtition
commit
|
commitdiff
|
tree
2004-08-05
skimo
make comp
u
te_enod
e
work again
i
n
gene
r
al case
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove deb
u
gging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
remo
v
e
debugging o
u
tput
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
use evalue rat
h
er
t
h
an enumeration and some mem
o
ry
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
e
xtend printi
n
g
and
computing to handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
ski
m
o
altern
a
tive to in_domain that handles "mod
u
l
os" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
st
o
re "real"
dimension in
pos fie
l
d
of partiti
o
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
remove duplicate implemen
t
ation
commit
|
commitdiff
|
tree
2004-08-04
skimo
be sli
g
h
t
ly more conservative (c
o
rrect)
i
n
det
e
rmining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
s
k
imo
a ray t
h
at depends
o
n the parameters sh
o
ul
d
be ok
commit
|
commitdiff
|
tree
2004-08-04
skimo
clean up
commit
|
commitdiff
|
tree
2004-08-04
s
k
i
mo
memory lea
k
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
m
o
memory lea
k
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
e
m
o
r
y
le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
m
emo
r
y l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove
debug
g
ing output
commit
|
commitdiff
|
tree
2004-08-03
skimo
check whethe
r
projection is bounded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Spl
i
t
o
n
parametric
v
ertex
.
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
If
o
n
e
o
f the ve
r
tices in the combined
s
pace
i
s a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
kim
o
elimina
t
e p
a
rameters i
f
we can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only
perform vd
b
asi
d
reduction if the polytope has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
u
n
fringe polyhedron
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove d
e
bugg
i
ng output in unfringe
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
extend
addeliminated
p
ar
a
ms to partitions
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
bail ea
r
ly on emp
t
y polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduc
e
hi
g
her d
e
gree
s
of fractional parts wit
h
floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
o
nly ra
y
s involving the real variables l
e
ad to unbo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
perform
range reduction
if r
e
quested
commit
|
commitdiff
|
tree
2004-08-01
skimo
only calculate once for part that is independen
t
of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perfo
r
m another ran
g
e
reductio
n
after summati
o
n
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decom
p
ositions based o
n
valid
i
ty domains and paramet
r
ic
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
sp
l
i
t
off par
t
that certainly contains l
a
ttice poi
n
ts
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
routine for
r
educin
g
to
zero vari
a
bles case
commit
|
commitdiff
|
tree
2004-07-30
skimo
us
e
n
e
wly added routi
n
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
polytope wit
h
rays
i
n
d
ependent of the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check for em
p
ty polytope
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
simplify
con
s
traint
s
o
n eac
h
invocation of barvinok_enumera
t
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract
o
ut routine f
o
r "or"ing
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
mo
unused routine
f
or removing doub
l
e bounds
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
send debug output
t
o st
d
err in (un
u
sed) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skim
o
m
a
ke debuggin eas
i
er by keeping track o
f
rec
u
rsion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
extrac
t
o
ut r
o
utine to align const
r
aint a
l
ong a line
a
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
If one of
t
h
e hyperplanes
h
as to be
i
nd
e
penden
t
as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure
t
hat first variable is made
n
egativ
e
insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ens
u
re
t
hat s
p
l
i
t
ting
w
ill reduce
t
he number o
f
existential
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
a
bstrac
t
o
u
t han
d
ling o
f
multiple v
a
lid
i
ty d
o
m
a
i
ns
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra che
c
k
t
hat is pr
o
bably not needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle composed va
l
idity
domains
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
red
u
ce af
t
er su
m
matio
n
commit
|
commitdiff
|
tree
2004-07-29
s
k
im
o
don
'
t cr
e
ate empty partitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow evaluati
o
n of floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
perfor
m
(t
r
ivial) reduction on
f
loorings
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
make reorder_
t
erms work fo
r
floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct check fo
r
1
commit
|
commitdiff
|
tree
2004-07-29
skimo
b
e more
s
trict
w
hen comparing two
r
ationals
commit
|
commitdiff
|
tree
2004-07-29
skim
o
typo in comment
commit
|
commitdiff
|
tree
2004-07-21
sk
i
mo
handle case of al
l
em
p
ty
validity domains
commit
|
commitdiff
|
tree
2004-07-21
skimo
support
p
olynomi
a
ls i
n
"
r
eal" par
a
meters
commit
|
commitdiff
|
tree
2004-07-21
s
kimo
han
d
le negative v
a
lues
o
f summed va
r
iable
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
check
w
heth
e
r POLYTOPE_PREFIX is actually
s
e
t
commit
|
commitdiff
|
tree
2004-07-20
s
kimo
f
l
oor conversi
o
n and partial implementation
of es
u
m
commit
|
commitdiff
|
tree
2004-07-20
ski
m
o
pos
s
tarts a
t
1
commit
|
commitdiff
|
tree
2004-07-19
s
k
imo
minor
r
eordering of code
commit
|
commitdiff
|
tree
2004-07-19
skimo
sp
l
it off more common cod
e
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
reve
r
t
c
h
ange commited by accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
add c
o
llect
_
polytop
e
s
.
c
commit
|
commitdiff
|
tree
2004-07-18
sk
i
mo
re
c
urs
e
i
n
to the
correct version
o
f
c
o
u
n
t_points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-s
p
l
it for case with only
exi
s
t
e
ntial variables
commit
|
commitdiff
|
tree
next