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
more memory leaks
2004-07-06
skimo
more memory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
m
emory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
potential
m
e
mory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(po
t
ential) memory l
e
a
k
s
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
print
m
ore info
commit
|
commitdiff
|
tree
2004-07-05
s
kimo
preload library to count
t
he numb
e
r o
f
valid
i
ty domains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory
l
e
a
k
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use f
u
nc
t
ion f
o
r
c
opyi
n
g e
v
alue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
order periodics in
multiplica
t
i
o
n as w
e
ll
commit
|
commitdiff
|
tree
2004-06-26
skimo
copy v
a
lue before freeing
commit
|
commitdiff
|
tree
2004-06-26
skimo
regression
test
commit
|
commitdiff
|
tree
2004-06-26
skimo
h
a
ndle case wh
e
r
e
p
olytope has
n
o
"
real" dime
n
sions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use smalles
t
repres
e
ntative
i
n abs
o
lute value rather
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
D
ebugging output t
o
evalua
t
e the
u
seful
n
e
s
s of several
commit
|
commitdiff
|
tree
2004-06-25
skimo
Add c
o
nstraint i
f
expr
e
ssion is only intege
r
for a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
pe
r
form
r
ange
r
eduction
on condition of r
e
l
a
tion
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully
p
ropagate
re
o
r
dering
commit
|
commitdiff
|
tree
2004-06-24
skimo
partially propagate
reordering and
reduce in ca
s
e of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
r
emove comment
commit
|
commitdiff
|
tree
2004-06-24
skimo
Range
reduction an
d
s
ome auxili
a
r
y
f
unct
i
ons
.
commit
|
commitdiff
|
tree
2004-06-24
s
k
i
m
o
Invert a f
r
a
c
tio
n
a
l if leading
coeffic
i
en
t
becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
ki
m
o
remove d
e
b
ug
g
ing output
commit
|
commitdiff
|
tree
2004-06-24
s
k
im
o
Remo
v
e in
v
a
l
id mem
o
ry access
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
r
e
comput
e
domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
compute size o
f
all s
u
bdomains
commit
|
commitdiff
|
tree
2004-06-23
skimo
trivial recomb
i
nation
commit
|
commitdiff
|
tree
2004-06-23
skimo
also invert when constant is ha
l
f the modulo, since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
All
o
w more fr
a
citonal substi
t
utions, in par
t
i
cular
commit
|
commitdiff
|
tree
2004-06-23
skimo
s
earch for pair of f
r
acti
o
nals that
c
a
n (
o
ptimally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
always provide subst
s
tructure (even if empty)
commit
|
commitdiff
|
tree
2004-06-22
sk
i
mo
a
void infinite loop caused by
s
plitting of
f
n
oth
i
ng
commit
|
commitdiff
|
tree
2004-06-22
skimo
re
m
o
v
e re
l
ation if br
a
nches ar
e
identical
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove redu
c
ed
r
elation
s
commit
|
commitdiff
|
tree
2004-06-21
s
kimo
replace
{ E
/
m
}
by {
(
E
-1)/m
}
+ 1/
m
if { E/m } != 0
commit
|
commitdiff
|
tree
2004-06-21
skim
o
numerator c
a
n
never
be negative in
s
i
d
e fract
i
onal
commit
|
commitdiff
|
tree
2004-06-21
s
k
i
m
o
opti
o
nally print "
s
i
z
e
"
of
enume
r
atio
n
commit
|
commitdiff
|
tree
2004-06-21
sk
i
mo
Enumer
a
tion_si
z
e
commit
|
commitdiff
|
tree
2004-06-21
skimo
export domain_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
r
e
duce after c
o
nversion
commit
|
commitdiff
|
tree
2004-06-21
skimo
translat
e
rel
a
tion as well
commit
|
commitdiff
|
tree
2004-06-20
s
k
imo
use convex hull for e
q
ualities to use
i
n
redu
c
t
ion
commit
|
commitdiff
|
tree
2004-06-20
s
kimo
re
o
rder
te
r
ms i
f
needed
a
fter red
u
ction
commit
|
commitdiff
|
tree
2004-06-20
skimo
remove
c
ode m
a
de re
d
u
nda
n
t by s
w
itch
t
o fractional
commit
|
commitdiff
|
tree
2004-06-20
skimo
convert from
modulo to
f
r
a
c
tional
commit
|
commitdiff
|
tree
2004-06-16
skim
o
inform calling proced
u
re
wh
e
ther a new
entry was added
commit
|
commitdiff
|
tree
2004-06-16
s
k
imo
r
e
allocat
e
subst
i
tu
t
ions a
r
r
ay i
f
n
ecess
a
ry
commit
|
commitdiff
|
tree
2004-06-15
ski
m
o
mult
i
pl
y
modulo
argumen
t
if this can help to
eliminate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
al
s
o
use eq
u
ivalen
c
es inside modulo expressions
commit
|
commitdiff
|
tree
2004-06-15
skimo
allow fractional subst
i
t
utions outsid
e
modulo (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
k
imo
Partial evaluation could in principle lead to further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
reduc
e
cons
t
ants insi
d
e modulo
commit
|
commitdiff
|
tree
2004-06-15
skim
o
c
o
n
st
r
uct subs
t
itu
t
ion for each e
q
uality
commit
|
commitdiff
|
tree
2004-06-15
skimo
collect s
u
bs
t
ituti
o
ns i
n
one str
u
ct
u
re
commit
|
commitdiff
|
tree
2004-06-14
skimo
only tak
e
difference of sets that
share
a
hyperplane
commit
|
commitdiff
|
tree
2004-06-11
sk
i
m
o
also skip over
zeroes and remembe
r
orig
i
n
a
l
l
ocat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
skimo
continue looking for coefficient
s
to neg
a
te
if current
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
calcu
l
ate "size" of polynomials
commit
|
commitdiff
|
tree
2004-06-09
skimo
combine identical relations
commit
|
commitdiff
|
tree
2004-06-09
skimo
don't knowingly create zero poly
n
omial
s
commit
|
commitdiff
|
tree
2004-06-09
ski
m
o
C
heck whether rVD is
t
oo
s
mall in d
i
mension *befo
r
e*
commit
|
commitdiff
|
tree
2004-06-08
s
kimo
reg
r
ession test
commit
|
commitdiff
|
tree
2004-06-08
skimo
2P
o
lyhedron routines can modif
y
their argum
e
n
t!
commit
|
commitdiff
|
tree
2004-06-07
s
kim
o
s
t
rict inequality should
be en
f
or
c
ed *p
r
ior* t
o
simplification
commit
|
commitdiff
|
tree
2004-06-06
s
kimo
a
nothe
r
me
m
ory
leak
commit
|
commitdiff
|
tree
2004-06-06
ski
m
o
memo
r
y leaks
commit
|
commitdiff
|
tree
2004-06-06
skimo
return malloced memory since we
define
a
"
C" interface
commit
|
commitdiff
|
tree
2004-06-06
skimo
always return
r
educed e
v
alue
commit
|
commitdiff
|
tree
2004-06-06
s
k
i
mo
simplify
con
s
traints duri
n
g multiplications as well
commit
|
commitdiff
|
tree
2004-06-06
skim
o
regr
e
s
s
io
n
test for l
a
test bug
commit
|
commitdiff
|
tree
2004-06-06
skimo
v
a
l
u
e
"tmp" is used over several interation
s
of second
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
s
k
imo
don't look at re
l
ation if we ju
s
t freed
it
commit
|
commitdiff
|
tree
2004-06-05
s
k
imo
r
e
m
o
v
e em
p
ty partitions
commit
|
commitdiff
|
tree
2004-06-05
s
k
imo
also remo
v
e f
i
r
st
empty subdomain
commit
|
commitdiff
|
tree
2004-06-05
skimo
remove some
empty
subdo
m
ains
commit
|
commitdiff
|
tree
2004-06-05
skimo
simplify c
o
ns
t
raints in ea
d
d_partitions
commit
|
commitdiff
|
tree
2004-06-04
skimo
simpl
i
fy whole
d
o
main a
n
d at more locat
i
ons
commit
|
commitdiff
|
tree
2004-06-04
skimo
only use equalities in a single var
commit
|
commitdiff
|
tree
2004-06-04
skimo
remov
e
VDs with zero Ehrhar
t
polynomial
commit
|
commitdiff
|
tree
2004-06-04
sk
i
mo
remov
e
relation
if
value
i
s known
commit
|
commitdiff
|
tree
2004-06-04
skimo
compute modulo if
arg
u
ment is known
commit
|
commitdiff
|
tree
2004-06-04
skimo
free temporary eva
l
ue
commit
|
commitdiff
|
tree
2004-06-04
skimo
subst
i
tute
know
v
a
l
ues fo
r
pa
r
a
m
ete
r
s
dur
i
ng r
e
duc
t
ion
commit
|
commitdiff
|
tree
2004-06-03
sk
i
m
o
r
educe relation
i
f possible
commit
|
commitdiff
|
tree
2004-06-03
skimo
s
i
mplify modulo expressions
d
u
ring reduce as well
commit
|
commitdiff
|
tree
2004-06-03
skimo
a
lso simp
l
i
f
y cons
t
raints during
redu
c
tio
n
commit
|
commitdiff
|
tree
2004-06-03
skimo
make tr
u
e partitions in P
a
ramPolyhedron_Reduce_mod
commit
|
commitdiff
|
tree
2004-06-03
sk
i
mo
be ca
r
ef
u
l when the vali
d
ity domain c
o
ntain
equalities
commit
|
commitdiff
|
tree
2004-06-02
s
kimo
reduce leading
c
oeff
i
cien
t
commit
|
commitdiff
|
tree
2004-06-02
skimo
n
o
r
m
a
liz
e
modulo in r
e
lation as well
commit
|
commitdiff
|
tree
2004-06-02
sk
i
mo
factor out some mor
e
code
commit
|
commitdiff
|
tree
2004-06-02
skimo
missin
g
v
alue_i
n
it i
n
previous
ch
a
nge
commit
|
commitdiff
|
tree
2004-06-02
skimo
ex
t
ract
out s
o
me code that
w
e may
n
eed later
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
simplify constraint
s
of
v
a
lidit
y
domains
commit
|
commitdiff
|
tree
2004-06-02
skimo
also multiply complement
o
f relation!
commit
|
commitdiff
|
tree
2004-05-31
s
kimo
sil
l
y typo
commit
|
commitdiff
|
tree
2004-04-25
skimo
evaluate partition
e
d
e
v
alues
commit
|
commitdiff
|
tree
2004-04-25
skimo
handle additions of
two rela
t
ions
commit
|
commitdiff
|
tree
next