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
perform range reduction if requested
2004-06-21
skimo
tra
n
slate relatio
n
as
w
ell
commit
|
commitdiff
|
tree
2004-06-20
skimo
use convex hu
l
l for equaliti
e
s to use in red
u
cti
o
n
commit
|
commitdiff
|
tree
2004-06-20
ski
m
o
r
e
order terms if nee
d
ed
after reducti
o
n
commit
|
commitdiff
|
tree
2004-06-20
skimo
remove cod
e
made red
u
n
dant
by switch to fractional
commit
|
commitdiff
|
tree
2004-06-20
skimo
convert from modulo to f
r
actional
commit
|
commitdiff
|
tree
2004-06-16
skimo
i
nf
o
rm call
i
ng pr
o
cedure whether a ne
w
entr
y
wa
s
added
commit
|
commitdiff
|
tree
2004-06-16
skimo
realloc
a
te substituti
o
ns array if necessary
commit
|
commitdiff
|
tree
2004-06-15
sk
i
mo
multiply modulo argumen
t
if this can help to eliminate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
sk
i
mo
also
u
s
e
equival
e
nces in
s
ide modulo express
i
ons
commit
|
commitdiff
|
tree
2004-06-15
skimo
allow
fract
i
onal su
b
stitut
i
o
n
s ou
t
side
mo
d
u
l
o (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
Partial evaluation coul
d
in pr
i
nciple l
e
ad to
furthe
r
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
reduc
e
cons
t
a
n
ts
i
nsid
e
modulo
commit
|
commitdiff
|
tree
2004-06-15
skimo
construct substituti
o
n for each equality
commit
|
commitdiff
|
tree
2004-06-15
skimo
c
ol
l
ect substitutions in
o
n
e structure
commit
|
commitdiff
|
tree
2004-06-14
skim
o
only take difference of
s
ets that share a
hype
r
pla
n
e
commit
|
commitdiff
|
tree
2004-06-11
skimo
also
s
k
i
p over z
e
roes and remember
origina
l
location
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
sk
i
mo
c
o
ntinue loo
k
ing
f
o
r
c
o
efficients to negate if curr
e
nt
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
calculate "size"
o
f polynom
i
als
commit
|
commitdiff
|
tree
2004-06-09
skimo
combine
identical relati
o
n
s
commit
|
commitdiff
|
tree
2004-06-09
s
kimo
don't knowing
l
y cre
a
te z
e
ro
p
olyno
m
ials
commit
|
commitdiff
|
tree
2004-06-09
skimo
Ch
e
ck wheth
e
r rVD
i
s too sm
a
ll in d
i
mension *b
e
fore
*
commit
|
commitdiff
|
tree
2004-06-08
skimo
regression t
e
st
commit
|
commitdiff
|
tree
2004-06-08
ski
m
o
2Polyhedro
n
r
o
u
t
ine
s
c
an mod
i
fy their arg
u
m
e
nt!
commit
|
commitdiff
|
tree
2004-06-07
skimo
strict ineq
u
ality should
b
e enfor
c
ed *prior* t
o
simplification
commit
|
commitdiff
|
tree
2004-06-06
skimo
anoth
e
r me
m
ory leak
commit
|
commitdiff
|
tree
2004-06-06
skimo
mem
o
ry le
a
ks
commit
|
commitdiff
|
tree
2004-06-06
skimo
retur
n
malloce
d
memory sinc
e
we de
f
ine a
"C" inte
r
face
commit
|
commitdiff
|
tree
2004-06-06
skimo
always ret
u
rn reduc
e
d
evalue
commit
|
commitdiff
|
tree
2004-06-06
skimo
s
implify constraints du
r
ing
m
ult
i
plic
a
tions
as we
l
l
commit
|
commitdiff
|
tree
2004-06-06
s
k
im
o
regres
s
ion
test fo
r
latest
bug
commit
|
commitdiff
|
tree
2004-06-06
skimo
value
"
tmp" is use
d
over several interati
o
ns of se
c
ond
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
skimo
d
o
n't look at relation if
w
e
just free
d
it
commit
|
commitdiff
|
tree
2004-06-05
s
k
imo
remove empty partition
s
commit
|
commitdiff
|
tree
2004-06-05
sk
i
mo
also remo
v
e
f
i
rst
empty subd
o
main
commit
|
commitdiff
|
tree
2004-06-05
ski
m
o
r
e
move some empty subdomains
commit
|
commitdiff
|
tree
2004-06-05
skimo
sim
p
lify constrain
t
s in e
a
dd_partitions
commit
|
commitdiff
|
tree
2004-06-04
skimo
simplif
y
whole domai
n
and at mor
e
locations
commit
|
commitdiff
|
tree
2004-06-04
skimo
only u
s
e equalities
in a single var
commit
|
commitdiff
|
tree
2004-06-04
skimo
r
e
move
VD
s
with
z
ero Ehrhar
t
polynomial
commit
|
commitdiff
|
tree
2004-06-04
skimo
remove rel
a
tion if value is known
commit
|
commitdiff
|
tree
2004-06-04
skimo
com
p
ute modul
o
i
f argumen
t
i
s
known
commit
|
commitdiff
|
tree
2004-06-04
skimo
fr
e
e
temporary eval
u
e
commit
|
commitdiff
|
tree
2004-06-04
skimo
su
b
stitute know
v
a
l
u
es for
pa
r
ameters during
reducti
o
n
commit
|
commitdiff
|
tree
2004-06-03
s
k
imo
red
u
ce relation i
f
possible
commit
|
commitdiff
|
tree
2004-06-03
s
k
imo
simplify modulo expressions
d
uring reduce as well
commit
|
commitdiff
|
tree
2004-06-03
skimo
also simplify cons
t
rai
n
ts during reductio
n
commit
|
commitdiff
|
tree
2004-06-03
ski
m
o
make true
p
artitions i
n
ParamPolyhe
d
ro
n
_Reduce_mod
commit
|
commitdiff
|
tree
2004-06-03
skimo
b
e c
a
re
f
ul when the validi
t
y
domain
c
o
n
t
a
i
n
e
q
ual
i
ties
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
reduc
e
lea
d
ing coefficient
commit
|
commitdiff
|
tree
2004-06-02
sk
i
mo
normaliz
e
modulo in relation
as well
commit
|
commitdiff
|
tree
2004-06-02
s
k
i
m
o
fa
c
tor out
some more code
commit
|
commitdiff
|
tree
2004-06-02
skimo
missin
g
v
a
lu
e
_in
i
t in p
r
evious change
commit
|
commitdiff
|
tree
2004-06-02
skimo
extract
o
ut
some co
d
e
tha
t
we may need later
commit
|
commitdiff
|
tree
2004-06-02
skimo
simplify constraints of validit
y
do
m
ains
commit
|
commitdiff
|
tree
2004-06-02
sk
i
mo
also multiply complement of relation!
commit
|
commitdiff
|
tree
2004-05-31
skimo
silly typo
commit
|
commitdiff
|
tree
2004-04-25
s
kimo
eval
u
ate part
i
tione
d
ev
a
lues
commit
|
commitdiff
|
tree
2004-04-25
skim
o
h
andle additio
n
s of two
r
e
la
t
i
o
ns
commit
|
commitdiff
|
tree
2004-04-22
s
ki
m
o
b
e
ca
r
ef
u
l when rel
c
ulatin
g
the row
commit
|
commitdiff
|
tree
2004-04-21
skim
o
Convert
m
u
ltiple ex
i
stential
v
ari
a
bles
in an equ
a
l
i
ty
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
sk
i
m
o
compute "com
p
lement" if
needed
commit
|
commitdiff
|
tree
2004-03-30
skimo
more add "com
p
leme
n
t" relation when adding non-zero
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
ad
d
"co
m
pl
e
ment" relati
o
n when adding
non-z
e
r
o value
commit
|
commitdiff
|
tree
2004-03-30
skimo
support print
i
ng of "comple
m
ent
"
of re
l
at
i
o
n
commit
|
commitdiff
|
tree
2004-03-28
s
k
im
o
instal
l
headers
commit
|
commitdiff
|
tree
2004-03-28
sk
i
mo
par
t
ial imp
l
ementatio
n
of "ma
s
k
"
operati
o
n
commit
|
commitdiff
|
tree
2004-03-28
skimo
include
a
p
propriate header
commit
|
commitdiff
|
tree
2004-03-28
skim
o
comply with C stan
d
a
r
d :-
)
commit
|
commitdiff
|
tree
2004-03-28
skimo
export _ev ver
s
io
n
commit
|
commitdiff
|
tree
2004-02-29
skimo
bump version
commit
|
commitdiff
|
tree
2004-02-28
s
k
i
mo
regress
i
on tests
commit
|
commitdiff
|
tree
2004-02-28
skimo
Dr
.
Egon Spengler: There
'
s something very impo
r
tant
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
skimo
bump ver
s
ion
commit
|
commitdiff
|
tree
2004-02-22
skimo
update ChangeLog
commit
|
commitdiff
|
tree
2004-02-22
skimo
a
v
oid
n
amespace
pollution
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid sub
va
l
idity
d
omains
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
DomainIncludes
commit
|
commitdiff
|
tree
2004-02-22
skimo
P
o
stpone multiplicat
i
on with "factor" to
h
andle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
k
i
m
o
actually perform modu
l
o whe
n
conv
e
rting to table
s
commit
|
commitdiff
|
tree
2004-02-15
skimo
extend 1D spe
c
ial-casing
t
o
multi
p
le lower/
u
p
per bounds
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
memory
l
eaks
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
support em
u
l for partition
s
commit
|
commitdiff
|
tree
2004-02-15
skimo
don'
t
a
s
sume fact
o
r is a constant
commit
|
commitdiff
|
tree
2004-02-15
skimo
d
on't modify
d
p
a
ra
m
e
ter
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
add poi
n
t
e
r
to polyli
b
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
Support reduction for non-m
o
dulo b
y
temporarily usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
sk
i
m
o
modulo to table conversion
commit
|
commitdiff
|
tree
2004-02-15
sk
i
m
o
another
memory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
a
n
other memory l
e
a
k
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory leak
commit
|
commitdiff
|
tree
2004-02-15
skim
o
e
x
per
i
m
en
t
al "unfringe" code
commit
|
commitdiff
|
tree
2004-02-15
skimo
ty
p
e
commit
|
commitdiff
|
tree
2004-02-06
skimo
fix
d
ecompo
s
ition test and add polarized decom
p
ostion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
ski
m
o
elimin
a
t
e a variable if we can (not
te
s
ted)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oops;
w
e
n
eed quotient
rat
h
er than remainder
commit
|
commitdiff
|
tree
2004-01-25
skim
o
handle equalities
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handl
e
O
N
E_NEG for any position of the var
i
abl
e
corr
e
c
t
ly
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle ONE_
N
EG for any positio
n
of the variable
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
On
l
y
u
se independent bounds to co
n
struct th
e
one_dep
.
commit
|
commitdiff
|
tree
2004-01-25
skim
o
T
r
uly
p
a
rtition validity
d
omains
.
commit
|
commitdiff
|
tree
next