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
memory leak
2004-08-03
skimo
memory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
remove debuggi
n
g
o
utput
commit
|
commitdiff
|
tree
2004-08-03
skimo
c
h
eck w
h
ethe
r
p
r
ojec
t
ion i
s
bounded
commit
|
commitdiff
|
tree
2004-08-03
skimo
Split on
parametric verte
x
.
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
I
f one of t
h
e ver
t
ices
in th
e
combi
n
ed spac
e
is a lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
skimo
eliminate parameters if
w
e c
a
n
commit
|
commitdiff
|
tree
2004-08-03
skimo
only perform v
d
basid reduction i
f
the polytope ha
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
unfr
i
n
ge polyh
e
dron
commit
|
commitdiff
|
tree
2004-08-03
skimo
remove deb
u
gging output in unfri
n
ge
commit
|
commitdiff
|
tree
2004-08-03
skimo
extend addelim
i
natedpara
m
s to partitions
commit
|
commitdiff
|
tree
2004-08-01
skimo
ba
i
l earl
y
on empty polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
r
e
d
u
c
e
h
igher degrees of fract
i
o
nal parts with floo
r
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
on
l
y rays i
n
volving
t
he
r
e
a
l
v
ariables
l
ead to unbou
n
ded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform
r
an
g
e reduction if
r
equested
commit
|
commitdiff
|
tree
2004-08-01
skimo
only calculate onc
e
fo
r
part that is independen
t
o
f
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform anoth
e
r range reduction af
t
er summati
o
n
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decomposi
t
i
ons
based on validity domai
n
s
and para
m
e
t
ric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
split off
par
t
that certainly c
o
ntains
lattice poi
n
t
s
commit
|
commitdiff
|
tree
2004-07-30
skimo
r
outine
f
or reduc
i
ng to ze
r
o
va
r
iables case
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
use newly added routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a
polyt
o
p
e
with rays independent of the
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check
f
o
r
empty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify constraints on each invocation
o
f
bar
v
i
nok_enumera
t
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
extr
a
c
t out
r
outine for "or"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused rou
t
i
n
e
for
removing d
o
uble bounds
commit
|
commitdiff
|
tree
2004-07-30
skim
o
send debug
output
to stderr i
n
(unused) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skimo
ma
k
e debuggin easier by keeping track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out rou
t
in
e
to al
i
g
n constrain
t
along a
l
inear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
I
f
o
ne of the hyperpl
a
nes ha
s
to be independent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensur
e
that first v
a
riable is made n
e
gative inside
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensur
e
that splitt
i
ng will redu
c
e the number of
e
xisten
t
i
al
commit
|
commitdiff
|
tree
2004-07-30
skimo
ab
s
tract out h
a
nd
l
ing of m
u
ltiple
v
a
lidity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra check that is probably
n
ot need
e
d
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle c
o
m
posed validity d
o
mains
commit
|
commitdiff
|
tree
2004-07-29
skim
o
reduce
a
fter summation
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
don't cr
e
ate e
m
p
ty
partitions
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
a
llow evalua
t
ion o
f
floorings
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
p
e
rform (trivial)
reduction on
f
l
o
o
r
ings
commit
|
commitdiff
|
tree
2004-07-29
skimo
make reord
e
r_terms work fo
r
f
l
oorings
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
correct c
h
eck
for 1
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
be more stri
c
t
when comparing two rational
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo in comment
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle
cas
e
of
a
ll empty
v
alidity
d
omai
n
s
commit
|
commitdiff
|
tree
2004-07-21
skimo
support polynom
i
a
l
s in "real" parameters
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
h
a
nd
l
e negativ
e
values of summed var
i
a
ble
commit
|
commitdiff
|
tree
2004-07-21
skimo
c
he
c
k wheth
e
r POLYTOPE_PR
E
FIX is actually s
e
t
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor co
n
version
a
nd par
t
i
al implementati
o
n of e
s
u
m
commit
|
commitdiff
|
tree
2004-07-20
s
k
imo
pos
starts at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
m
inor
r
e
order
i
n
g of code
commit
|
commitdiff
|
tree
2004-07-19
sk
i
mo
s
plit off more common cod
e
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
revert chan
g
e commited by accident
commit
|
commitdiff
|
tree
2004-07-19
s
k
im
o
add collect_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skim
o
recurse into the corre
c
t ve
r
sion
of count_points
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split for case wit
h
only e
x
istential
v
a
r
iabl
e
s
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
al
l
ow sp
l
it on other tha
n
first existential
v
ariable
commit
|
commitdiff
|
tree
2004-07-18
skimo
extract out code
to split
on a constraint
commit
|
commitdiff
|
tree
2004-07-17
skim
o
"
e
xistenti
a
l" version of veri
f
_ehr
h
art
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide evalue to enum
e
ration c
o
nve
r
sion
commit
|
commitdiff
|
tree
2004-07-17
sk
i
mo
a
d
apt t
o
deal wit
h
exis
t
ential variables
commit
|
commitdiff
|
tree
2004-07-16
skimo
copied
from ehrhart
.
c from Poly
l
ib distribu
t
ion
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle tr
i
vial c
a
s
e
of only ex
i
stential va
r
iabl
e
s
commit
|
commitdiff
|
tree
2004-07-14
skimo
I
t
should be sufficient th
a
t one of the bo
u
nds is independen
t
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't count
s
torage space for t
h
e
r
ays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump version
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
f
ix up
change
l
og
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump v
e
rsion some more sin
c
e we changed
t
he interface
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of d
e
buggin
g
m
e
ss
a
g
es
commit
|
commitdiff
|
tree
2004-07-06
skimo
up
d
ate
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
r
ief description of the input
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
r
e
p
lace modulo by fractional
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
remove empty partitions in
p
l
ace
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
more
me
m
ory leaks
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
memory
l
e
a
k
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
poten
t
ial memo
r
y
l
eak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(pot
e
ntial) me
m
o
ry leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
prin
t
m
o
re info
commit
|
commitdiff
|
tree
2004-07-05
ski
m
o
p
r
elo
a
d lib
r
a
ry to count
th
e
number
of
v
alid
i
t
y
domains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memo
r
y leak
commit
|
commitdiff
|
tree
2004-07-01
sk
i
m
o
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory le
a
k
commit
|
commitdiff
|
tree
2004-07-01
ski
m
o
memory leak
commit
|
commitdiff
|
tree
2004-06-26
ski
m
o
Use function for copy
i
ng
e
value
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
o
r
d
er peri
o
dics in
m
u
lti
p
lic
a
t
i
on as well
commit
|
commitdiff
|
tree
2004-06-26
sk
i
mo
copy value
b
efore fr
e
eing
commit
|
commitdiff
|
tree
2004-06-26
s
k
im
o
regr
e
s
s
ion test
commit
|
commitdiff
|
tree
2004-06-26
skimo
handle case where polytope
h
as no "real" dime
n
sions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
U
s
e smallest representa
t
ive in absolute
v
a
lue rat
h
er
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debug
g
ing outpu
t
to evaluate the us
e
fulness of
several
commit
|
commitdiff
|
tree
2004-06-25
skimo
Add constraint if expression is only integer for
a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
perf
o
rm range reduc
t
io
n
on condi
t
ion of rel
a
t
io
n
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully
p
r
opagate
r
eorderin
g
commit
|
commitdiff
|
tree
2004-06-24
skimo
p
artially propagate
r
eordering and redu
c
e in c
a
se
o
f
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove c
o
mment
commit
|
commitdiff
|
tree
2004-06-24
skimo
Range r
e
duction and some au
x
iliary functions
.
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
Invert a fracti
o
nal
i
f leading c
o
effi
c
ient b
e
com
e
s
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
re
m
o
v
e debugging
o
utput
commit
|
commitdiff
|
tree
2004-06-24
s
k
imo
Remo
v
e invalid memory access
.
commit
|
commitdiff
|
tree
2004-06-23
s
ki
m
o
recompute
d
omains
commit
|
commitdiff
|
tree
2004-06-23
skim
o
comput
e
size of all subdo
m
ai
n
s
commit
|
commitdiff
|
tree
next