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
use convex hull for equalities to use in reduction
2004-06-20
skimo
use
convex hull for equal
i
t
i
es to us
e
i
n
re
d
uction
commit
|
commitdiff
|
tree
2004-06-20
skimo
reorder
terms if needed
after r
e
duction
commit
|
commitdiff
|
tree
2004-06-20
s
k
imo
remove code
m
ade
r
edundant by swit
c
h
t
o
fractional
commit
|
commitdiff
|
tree
2004-06-20
skimo
con
v
ert from
modulo to
f
rac
t
ional
commit
|
commitdiff
|
tree
2004-06-16
sk
i
mo
inform
c
a
lli
n
g
proc
e
dure whether
a
ne
w
entr
y
was ad
d
ed
commit
|
commitdiff
|
tree
2004-06-16
ski
m
o
reallo
c
ate substitutio
n
s array if n
e
cessa
r
y
commit
|
commitdiff
|
tree
2004-06-15
s
k
im
o
multi
p
ly modulo argum
e
n
t
if
t
hi
s
can help to elimi
n
ate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
ski
m
o
also use e
q
uivalences inside modulo exp
r
essions
commit
|
commitdiff
|
tree
2004-06-15
skimo
allow fractional su
b
stitutions outside modulo (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
Pa
r
tial evaluation co
u
ld in
p
rinciple
l
ead to
further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
k
im
o
reduce c
o
nstants inside modulo
commit
|
commitdiff
|
tree
2004-06-15
s
k
i
mo
con
s
truct su
b
s
tit
u
t
i
on f
o
r each equ
a
lity
commit
|
commitdiff
|
tree
2004-06-15
s
ki
m
o
coll
e
ct su
b
stitutions in
o
ne structure
commit
|
commitdiff
|
tree
2004-06-14
sk
i
m
o
only take
d
ifference of
s
ets
t
hat s
h
a
r
e a hyperplane
commit
|
commitdiff
|
tree
2004-06-11
skimo
also ski
p
over zeroes and r
e
m
ember original location
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
skimo
continu
e
looking for co
e
ffici
e
n
t
s
to negate if
current
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
calculate "size" of polynomial
s
commit
|
commitdiff
|
tree
2004-06-09
skimo
c
ombin
e
i
dent
i
cal re
l
ati
o
ns
commit
|
commitdiff
|
tree
2004-06-09
s
k
imo
do
n
'
t knowi
n
gly
c
reate
z
ero polynomials
commit
|
commitdiff
|
tree
2004-06-09
s
kimo
Check whether rVD i
s
too small in
dim
e
nsion *before*
commit
|
commitdiff
|
tree
2004-06-08
skimo
regression test
commit
|
commitdiff
|
tree
2004-06-08
skimo
2Po
l
yhe
d
ron ro
u
t
ines can
m
odify the
i
r argument!
commit
|
commitdiff
|
tree
2004-06-07
ski
m
o
str
i
ct inequalit
y
should be enforced *prior*
to simplification
commit
|
commitdiff
|
tree
2004-06-06
s
k
imo
ano
t
h
er memory leak
commit
|
commitdiff
|
tree
2004-06-06
s
kimo
memory lea
k
s
commit
|
commitdiff
|
tree
2004-06-06
skimo
re
t
u
r
n malloced memo
r
y since w
e
de
f
in
e
a "C"
inter
f
ac
e
commit
|
commitdiff
|
tree
2004-06-06
s
k
i
mo
alwa
y
s return r
e
duced evalue
commit
|
commitdiff
|
tree
2004-06-06
skimo
s
implify c
o
nstraints during mu
l
tipli
c
ations as well
commit
|
commitdiff
|
tree
2004-06-06
skimo
regression
t
est for l
a
te
s
t bug
commit
|
commitdiff
|
tree
2004-06-06
skimo
val
u
e "tm
p
" is
u
sed over several interations of se
c
ond
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
skimo
don't
l
o
ok at re
l
ation if we ju
s
t freed it
commit
|
commitdiff
|
tree
2004-06-05
skimo
remove empty parti
t
ions
commit
|
commitdiff
|
tree
2004-06-05
ski
m
o
a
l
so remove first
e
m
pty su
b
do
m
ain
commit
|
commitdiff
|
tree
2004-06-05
skimo
rem
o
ve
s
ome empty subdoma
i
ns
commit
|
commitdiff
|
tree
2004-06-05
skimo
si
m
plify constr
a
ints in
e
add_p
a
rtitions
commit
|
commitdiff
|
tree
2004-06-04
skimo
simplify wh
o
le domain and a
t
more locations
commit
|
commitdiff
|
tree
2004-06-04
skimo
on
l
y use equa
l
ities in a single var
commit
|
commitdiff
|
tree
2004-06-04
skimo
remove VDs
w
it
h
zero Ehrhart
p
olynomia
l
commit
|
commitdiff
|
tree
2004-06-04
skimo
remo
v
e re
l
ation if val
u
e is k
n
own
commit
|
commitdiff
|
tree
2004-06-04
skim
o
compute modu
l
o if a
r
gument is
known
commit
|
commitdiff
|
tree
2004-06-04
skimo
fr
e
e temporary evalue
commit
|
commitdiff
|
tree
2004-06-04
skimo
sub
s
ti
t
ute know v
a
lues fo
r
parameters during reduction
commit
|
commitdiff
|
tree
2004-06-03
skimo
reduce
r
elation if possible
commit
|
commitdiff
|
tree
2004-06-03
s
kimo
s
implify modulo expressions during reduce as we
l
l
commit
|
commitdiff
|
tree
2004-06-03
skimo
also simplify constr
a
ints during reduction
commit
|
commitdiff
|
tree
2004-06-03
skimo
make true parti
t
ions in ParamPolyhedron
_
Re
d
uce_m
o
d
commit
|
commitdiff
|
tree
2004-06-03
skimo
b
e care
f
ul
w
hen
t
h
e
v
alidity doma
i
n contain
eq
u
alit
i
e
s
commit
|
commitdiff
|
tree
2004-06-02
skimo
red
u
ce
l
e
ading coef
f
i
c
ient
commit
|
commitdiff
|
tree
2004-06-02
s
kimo
normalize modu
l
o in
r
el
a
ti
o
n as well
commit
|
commitdiff
|
tree
2004-06-02
skimo
f
act
o
r o
u
t some more code
commit
|
commitdiff
|
tree
2004-06-02
s
kimo
m
i
ssi
n
g
va
l
ue_in
i
t
i
n pr
e
vious change
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
e
x
tract out some code that we may need later
commit
|
commitdiff
|
tree
2004-06-02
skimo
s
i
mplify co
n
s
t
raints of validity doma
i
ns
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
a
lso m
u
ltiply complement of r
e
lation!
commit
|
commitdiff
|
tree
2004-05-31
skimo
silly
typo
commit
|
commitdiff
|
tree
2004-04-25
sk
i
m
o
evaluate
p
artiti
o
ne
d
evalue
s
commit
|
commitdiff
|
tree
2004-04-25
skimo
h
a
ndle additions
o
f two relations
commit
|
commitdiff
|
tree
2004-04-22
s
k
imo
be care
f
ul when rel
c
ulati
n
g the ro
w
commit
|
commitdiff
|
tree
2004-04-21
skimo
Co
n
vert mul
t
iple existentia
l
variabl
e
s in an e
q
uality
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skim
o
compute "c
o
mplement" if needed
commit
|
commitdiff
|
tree
2004-03-30
ski
m
o
more
a
dd "co
m
plement" r
e
l
a
tion
when ad
d
ing non-zero
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
sk
i
mo
add "complem
e
n
t
"
relation when
a
dding non-
z
ero value
commit
|
commitdiff
|
tree
2004-03-30
skimo
support p
r
in
t
i
n
g of
"
complement" of relation
commit
|
commitdiff
|
tree
2004-03-28
ski
m
o
install headers
commit
|
commitdiff
|
tree
2004-03-28
s
kimo
par
t
ial implementation
o
f
"mask" op
e
ratio
n
commit
|
commitdiff
|
tree
2004-03-28
ski
m
o
in
c
l
u
de appropriate header
commit
|
commitdiff
|
tree
2004-03-28
skimo
c
omply with
C standa
r
d :-
)
commit
|
commitdiff
|
tree
2004-03-28
skimo
e
xport _
e
v version
commit
|
commitdiff
|
tree
2004-02-29
sk
i
mo
bump vers
i
on
commit
|
commitdiff
|
tree
2004-02-28
skimo
regr
e
ssion te
s
ts
commit
|
commitdiff
|
tree
2004-02-28
skimo
D
r
.
Egon Spengler: T
h
ere's som
e
thing very important
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
bum
p
version
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
update Chan
g
eLog
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid n
a
mespace po
l
lution
commit
|
commitdiff
|
tree
2004-02-22
s
ki
m
o
a
void
sub validity domains
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
D
o
mainIncludes
commit
|
commitdiff
|
tree
2004-02-22
skimo
P
ostpone m
u
ltiplication
with "factor"
to handle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
actually perform modu
l
o
when co
n
verting to tables
commit
|
commitdiff
|
tree
2004-02-15
skimo
e
xt
e
nd 1D special-casing t
o
mu
l
tiple lower/upper
b
ounds
commit
|
commitdiff
|
tree
2004-02-15
skim
o
memory lea
k
s
commit
|
commitdiff
|
tree
2004-02-15
skim
o
support emul
f
or partiti
o
ns
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
don't
a
s
s
ume factor is a constant
commit
|
commitdiff
|
tree
2004-02-15
skim
o
don't modify d parameter
commit
|
commitdiff
|
tree
2004-02-15
skimo
a
dd
p
oi
n
t
er to polylib
commit
|
commitdiff
|
tree
2004-02-15
skimo
Sup
p
ort reductio
n
for non-modulo
by temporarily usin
g
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
modulo
t
o t
a
ble c
o
n
version
commit
|
commitdiff
|
tree
2004-02-15
skimo
a
nother me
m
o
r
y
l
eak
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
a
n
ot
h
e
r memory leak
commit
|
commitdiff
|
tree
2004-02-15
s
k
i
mo
memory leak
commit
|
commitdiff
|
tree
2004-02-15
sk
i
m
o
experimental "
u
nfringe" code
commit
|
commitdiff
|
tree
2004-02-15
skimo
type
commit
|
commitdiff
|
tree
2004-02-06
skimo
fi
x
decompo
s
ition t
e
s
t a
n
d a
d
d
pola
r
ized
d
eco
m
postion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
eli
m
i
n
ate a var
i
a
b
le if
we can (not
t
ested)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oops; we need quotient rather than remainder
commit
|
commitdiff
|
tree
2004-01-25
s
kimo
h
andle equalitie
s
commit
|
commitdiff
|
tree
2004-01-25
skimo
Ha
n
dle ONE_NEG for any po
s
ition of th
e
va
r
iable correc
t
ly
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Hand
l
e ONE_NEG for any position o
f
th
e
variab
l
e
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Only use ind
e
pen
d
ent bounds to construct the
o
n
e_dep
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Trul
y
partition val
i
dity domains
.
commit
|
commitdiff
|
tree
2004-01-25
s
kim
o
copy in_d
o
main fro
m
po
l
y
lib
commit
|
commitdiff
|
tree
next