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
extend printing and computing to handles "modulos" in validity domain
2004-08-05
s
k
im
o
extend pr
i
nting and computing to handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
alter
n
a
tiv
e
t
o
in_
d
o
ma
i
n that han
d
les
"
m
odulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
store "r
e
al" dimen
s
ion in po
s
fi
e
ld
of
p
artition
commit
|
commitdiff
|
tree
2004-08-04
skimo
r
e
move dupl
i
cate implementa
t
i
o
n
commit
|
commitdiff
|
tree
2004-08-04
ski
m
o
be slightly
m
ore conservative
(
correct) in determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
skim
o
a ra
y
that
d
e
pen
d
s on the
p
arameters should be
o
k
commit
|
commitdiff
|
tree
2004-08-04
s
kimo
clean up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
memory l
e
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory
l
eak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory
leak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
me
m
ory l
e
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
remove
debugging
output
commit
|
commitdiff
|
tree
2004-08-03
skimo
check wh
e
ther p
r
ojection i
s
bounded
commit
|
commitdiff
|
tree
2004-08-03
skimo
S
p
lit on p
a
rametric
v
ertex
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
If one of the
v
ertices
in the comb
i
ne
d
space is a lattice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
eliminate parameters
i
f we c
a
n
commit
|
commitdiff
|
tree
2004-08-03
skimo
only perform vd basi
d
redu
c
tion
if
t
he polytope
has
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
unfringe polyhe
d
ron
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
remo
v
e debugging output in un
f
ringe
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend addelimina
t
edpar
a
ms to partiti
o
n
s
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
bail early
on empty polyt
o
p
e
commit
|
commitdiff
|
tree
2004-08-01
s
kimo
reduce
h
i
gh
e
r
degrees of f
r
a
c
tion
a
l parts with fl
o
o
r
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
only rays involving
t
he
rea
l
variables lea
d
t
o
un
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
perform range reduction i
f
re
q
uested
commit
|
commitdiff
|
tree
2004-08-01
skimo
only calculate once fo
r
part that is indepe
n
dent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform another range r
e
du
c
tio
n
after s
u
mmat
i
on
commit
|
commitdiff
|
tree
2004-07-31
ski
m
o
Decompositions based on validity do
m
ains and
p
arametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
p
lit
off part
that c
e
rtainly
c
ontains
l
a
ttice points
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
routine for re
d
ucing t
o
ze
r
o
variables case
commit
|
commitdiff
|
tree
2004-07-30
sk
i
m
o
use newly added routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a poly
t
o
pe with
rays
in
d
ependent of the existe
n
tial
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
c
heck for
e
mpty polytope
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
si
m
plify
c
onstraints on each inv
o
cation
of barvinok
_
enum
e
rat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
extract out routine
f
or "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
un
u
sed routine for
removing double bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send
d
e
b
ug ou
t
put
t
o std
e
rr i
n
(
u
nus
e
d) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
m
ake
de
b
u
ggin
e
asier
by keeping track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
im
o
extract out rou
t
ine to a
l
ign constrai
n
t a
l
ong a l
i
near
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If
one of
t
he
h
yp
e
rplanes has to be
independent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
Ensure th
a
t f
i
r
s
t
variable is made negative inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that spl
i
t
t
in
g
will reduce th
e
n
u
m
b
er of
e
xistentia
l
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
abstract out
h
andling o
f
multiple validi
t
y d
o
mai
n
s
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
Extr
a
c
h
eck
t
hat is p
r
obably not ne
e
d
e
d
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle composed validity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce afte
r
summat
i
on
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
don't create empty
parti
t
ions
commit
|
commitdiff
|
tree
2004-07-29
sk
i
m
o
allo
w
evaluation
of
floorings
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
perfor
m
(tr
i
vial
)
reduction on floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
m
a
k
e reorder_
t
er
m
s wor
k
f
o
r floorin
g
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
corr
e
ct
c
heck for 1
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
be mo
r
e s
t
rict when com
p
a
ring two rationals
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
typ
o
in commen
t
commit
|
commitdiff
|
tree
2004-07-21
skimo
hand
l
e case of all empty validit
y
d
omains
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
su
p
p
or
t
polynom
i
als in
"
real
"
pa
r
ameters
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle negative value
s
of summed variable
commit
|
commitdiff
|
tree
2004-07-21
s
kimo
c
heck wheth
e
r
POLYTOPE_PREFI
X
i
s
actually s
e
t
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor convers
i
on and p
a
rtial im
p
lementation of esum
commit
|
commitdiff
|
tree
2004-07-20
skimo
p
o
s starts
a
t
1
commit
|
commitdiff
|
tree
2004-07-19
skimo
minor reo
r
deri
n
g
of
c
ode
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
split
o
ff mo
r
e common
code
commit
|
commitdiff
|
tree
2004-07-19
skimo
r
e
vert
c
h
a
nge com
m
i
t
ed
by accident
commit
|
commitdiff
|
tree
2004-07-19
s
ki
m
o
a
dd
col
l
ect_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
sk
i
mo
r
e
curse
into
t
he correct ve
r
sion of count_points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split for c
a
se
with o
n
ly existential variables
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow split
o
n o
t
her than first exi
s
t
e
n
t
ial va
r
ia
b
le
commit
|
commitdiff
|
tree
2004-07-18
skimo
extra
c
t
o
ut
code to split
o
n
a
c
o
nstraint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existe
n
tial"
ver
s
ion o
f
verif_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
ski
m
o
p
rovide evalue to
e
numerat
i
on co
n
version
commit
|
commitdiff
|
tree
2004-07-17
skimo
adapt to d
e
al with
e
xist
e
ntial vari
a
bles
commit
|
commitdiff
|
tree
2004-07-16
sk
i
m
o
copied fr
o
m ehrhart
.
c
f
rom Polylib distrib
u
t
i
on
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle
t
rivial case of only
existentia
l
variab
l
es
commit
|
commitdiff
|
tree
2004-07-14
skimo
It should be sufficient that one of the bound
s
i
s
i
n
d
ependent
commit
|
commitdiff
|
tree
2004-07-14
sk
i
mo
don't count storage space for the
r
ays
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
b
ump
v
ersion
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix up changelog
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
bu
m
p version some mo
r
e since we changed the interfac
e
commit
|
commitdiff
|
tree
2004-07-06
skim
o
turn
o
f
d
ebuggi
n
g me
s
sages
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
update
commit
|
commitdiff
|
tree
2004-07-06
skimo
brief description of the inp
u
t
commit
|
commitdiff
|
tree
2004-07-06
sk
i
m
o
r
eplace modulo by
f
ractional
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
remove empty parti
t
io
n
s
i
n pla
c
e
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
mor
e
memory leaks
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
memo
r
y leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
p
otential
memory l
e
a
k
commit
|
commitdiff
|
tree
2004-07-06
skim
o
(
potential
)
m
emo
r
y leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
p
ri
n
t
more i
n
f
o
commit
|
commitdiff
|
tree
2004-07-05
skimo
p
r
elo
a
d libra
r
y to cou
n
t the nu
m
ber
o
f
v
a
li
d
ity domains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memor
y
l
eak
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
emo
r
y
leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory lea
k
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory lea
k
commit
|
commitdiff
|
tree
2004-06-26
ski
m
o
U
s
e function for copying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
o
r
d
e
r peri
o
d
i
cs in multiplication as wel
l
commit
|
commitdiff
|
tree
2004-06-26
sk
i
mo
copy
value before
freeing
commit
|
commitdiff
|
tree
2004-06-26
skimo
regression test
commit
|
commitdiff
|
tree
2004-06-26
sk
i
mo
handl
e
case where polytope has no "r
e
al" dimensi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
s
k
im
o
Use
smallest
r
eprese
n
ta
t
ive in absolute val
u
e
r
ather
.
.
.
commit
|
commitdiff
|
tree
next