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
reduce after conversion
2004-06-21
skimo
reduce after conversion
commit
|
commitdiff
|
tree
2004-06-21
skimo
transl
a
te rel
a
tion
a
s wel
l
commit
|
commitdiff
|
tree
2004-06-20
skimo
use convex hu
l
l
for
e
qual
i
ti
e
s to use in red
u
c
t
ion
commit
|
commitdiff
|
tree
2004-06-20
skimo
re
o
rder terms
i
f needed
after reduction
commit
|
commitdiff
|
tree
2004-06-20
skim
o
remo
v
e code m
a
de redundant by
s
witch to fractional
commit
|
commitdiff
|
tree
2004-06-20
skimo
convert f
r
o
m
mo
d
ulo to f
r
actional
commit
|
commitdiff
|
tree
2004-06-16
ski
m
o
inform calling
proced
u
re
w
hether a
new
e
ntry
w
as add
e
d
commit
|
commitdiff
|
tree
2004-06-16
skimo
reallocate
s
ubstitutions arr
a
y i
f
necessary
commit
|
commitdiff
|
tree
2004-06-15
skimo
multiply modulo argument
i
f
t
his can
h
elp to eliminate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
also use equivalences inside modul
o
e
x
pres
s
ion
s
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
a
l
low fractio
n
al s
u
bstitutio
n
s outside modulo (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skim
o
Pa
r
tial eval
u
ation could
i
n pr
i
ncip
l
e
lead to further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
re
d
uc
e
c
ons
t
ants
i
nside mod
u
lo
commit
|
commitdiff
|
tree
2004-06-15
skimo
construct subst
i
tu
t
ion
f
or each equ
a
lity
commit
|
commitdiff
|
tree
2004-06-15
skimo
collect substi
t
u
t
ions in one struct
u
re
commit
|
commitdiff
|
tree
2004-06-14
skimo
only
t
ake differ
e
nce of sets
that sh
a
re a
hyperplane
commit
|
commitdiff
|
tree
2004-06-11
skim
o
also
s
kip over ze
r
oes and remember origin
a
l location
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
skimo
cont
i
nue l
o
oking for coe
f
f
i
cien
t
s t
o
negate if curr
e
nt
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
c
alcu
l
ate "s
i
ze" of polynomials
commit
|
commitdiff
|
tree
2004-06-09
skimo
com
b
ine identic
a
l
relations
commit
|
commitdiff
|
tree
2004-06-09
skimo
don't
knowingly create zero p
o
lynomials
commit
|
commitdiff
|
tree
2004-06-09
skimo
Check
w
het
h
er rVD is too smal
l
in dimen
s
i
o
n *before*
commit
|
commitdiff
|
tree
2004-06-08
sk
i
mo
regression test
commit
|
commitdiff
|
tree
2004-06-08
s
k
i
mo
2
P
olyhedron
routines
can m
o
dify the
i
r ar
g
ument!
commit
|
commitdiff
|
tree
2004-06-07
sk
i
m
o
strict inequali
t
y
shoul
d
be enforce
d
*prior* t
o
simplification
commit
|
commitdiff
|
tree
2004-06-06
ski
m
o
a
n
other memor
y
leak
commit
|
commitdiff
|
tree
2004-06-06
skimo
memory leaks
commit
|
commitdiff
|
tree
2004-06-06
skimo
return
m
all
o
ce
d
memor
y
since we d
e
fine a "C" in
t
erface
commit
|
commitdiff
|
tree
2004-06-06
skimo
a
lways return reduced evalue
commit
|
commitdiff
|
tree
2004-06-06
skimo
simplify constraints during mult
i
plicat
i
ons
as well
commit
|
commitdiff
|
tree
2004-06-06
skimo
reg
r
ession
t
est
f
o
r latest bug
commit
|
commitdiff
|
tree
2004-06-06
skimo
value "t
m
p" is used over se
v
eral int
e
rations of second
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
skimo
don't look at relat
i
on if
w
e
j
ust freed i
t
commit
|
commitdiff
|
tree
2004-06-05
s
k
i
m
o
remove
e
m
pty pa
r
t
i
tions
commit
|
commitdiff
|
tree
2004-06-05
s
k
imo
also remove fi
r
st
e
mpty subdomain
commit
|
commitdiff
|
tree
2004-06-05
skimo
remove s
o
me emp
t
y subdomains
commit
|
commitdiff
|
tree
2004-06-05
skimo
simplif
y
co
n
straint
s
in eadd_partitions
commit
|
commitdiff
|
tree
2004-06-04
skimo
simplify w
h
ole domai
n
an
d
at
more locations
commit
|
commitdiff
|
tree
2004-06-04
ski
m
o
o
nly use
e
qu
a
lities in a singl
e
v
ar
commit
|
commitdiff
|
tree
2004-06-04
skimo
remove VDs w
i
th zero Ehrh
a
rt
po
l
ynom
i
a
l
commit
|
commitdiff
|
tree
2004-06-04
skimo
remove re
l
ation if value is known
commit
|
commitdiff
|
tree
2004-06-04
skimo
compute
m
o
d
ul
o
i
f
argument
is known
commit
|
commitdiff
|
tree
2004-06-04
skimo
free temporary evalue
commit
|
commitdiff
|
tree
2004-06-04
skimo
substitu
t
e kno
w
val
u
es for para
m
et
e
rs during
r
eduction
commit
|
commitdiff
|
tree
2004-06-03
skimo
re
d
uce relation if possib
l
e
commit
|
commitdiff
|
tree
2004-06-03
s
k
imo
sim
p
lify m
o
dulo e
x
p
ressi
o
ns during r
e
du
c
e
as we
l
l
commit
|
commitdiff
|
tree
2004-06-03
s
kim
o
als
o
simplify c
o
nstraints during re
d
uction
commit
|
commitdiff
|
tree
2004-06-03
skimo
make tr
u
e par
t
itions i
n
ParamPolyhedron_Reduce_m
o
d
commit
|
commitdiff
|
tree
2004-06-03
skim
o
be caref
u
l when
th
e
v
alid
i
ty domai
n
c
ontain eq
u
alities
commit
|
commitdiff
|
tree
2004-06-02
skimo
reduce
l
eadi
n
g
co
e
f
ficient
commit
|
commitdiff
|
tree
2004-06-02
skimo
normal
i
ze mod
u
lo in relation as
w
el
l
commit
|
commitdiff
|
tree
2004-06-02
s
k
imo
fac
t
or ou
t
som
e
more code
commit
|
commitdiff
|
tree
2004-06-02
skimo
missing value_init
i
n previous
ch
a
nge
commit
|
commitdiff
|
tree
2004-06-02
skimo
extract out som
e
c
ode that we may
n
e
e
d later
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
si
m
plify constraints
of
v
alidity domains
commit
|
commitdiff
|
tree
2004-06-02
skim
o
also mult
i
ply complement of re
l
at
i
on!
commit
|
commitdiff
|
tree
2004-05-31
s
kimo
silly typo
commit
|
commitdiff
|
tree
2004-04-25
skimo
evaluate
p
artit
i
o
ned evalues
commit
|
commitdiff
|
tree
2004-04-25
s
k
i
mo
h
a
ndle additions of two relati
o
ns
commit
|
commitdiff
|
tree
2004-04-22
s
k
imo
b
e
careful when r
e
lculati
n
g
th
e
row
commit
|
commitdiff
|
tree
2004-04-21
skimo
Conv
e
r
t
m
u
lt
i
ple
e
xistential
v
ariabl
e
s in an e
q
uality
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
com
p
ut
e
"
c
omp
l
em
e
n
t
" if needed
commit
|
commitdiff
|
tree
2004-03-30
skimo
more
ad
d
"complemen
t
" relat
i
on when adding non-z
e
ro
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
s
kimo
a
d
d "complement" relation w
h
en adding non-ze
r
o value
commit
|
commitdiff
|
tree
2004-03-30
s
k
imo
support
printing of "
c
omplement" of rela
t
ion
commit
|
commitdiff
|
tree
2004-03-28
skimo
install headers
commit
|
commitdiff
|
tree
2004-03-28
skimo
p
a
rtial impl
e
mentat
i
on o
f
"mask" operation
commit
|
commitdiff
|
tree
2004-03-28
skimo
inc
l
ude appropriate header
commit
|
commitdiff
|
tree
2004-03-28
s
k
imo
co
m
ply w
i
t
h
C sta
n
da
r
d :-)
commit
|
commitdiff
|
tree
2004-03-28
skimo
e
xport _
e
v version
commit
|
commitdiff
|
tree
2004-02-29
skimo
b
ump versi
o
n
commit
|
commitdiff
|
tree
2004-02-28
skimo
regr
e
ssi
o
n tests
commit
|
commitdiff
|
tree
2004-02-28
skimo
Dr
.
E
go
n
Spengler: There
'
s something very important
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
skimo
bump ver
s
ion
commit
|
commitdiff
|
tree
2004-02-22
skimo
update Chang
e
Log
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid namespace pollution
commit
|
commitdiff
|
tree
2004-02-22
skimo
av
o
i
d sub validit
y
domain
s
commit
|
commitdiff
|
tree
2004-02-22
s
k
i
m
o
DomainIncludes
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
Postp
o
ne multiplica
t
i
o
n
wit
h
"factor
"
to ha
n
dle
the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
actu
a
l
ly perfor
m
modulo w
h
en co
n
verting t
o
tables
commit
|
commitdiff
|
tree
2004-02-15
skimo
ext
e
nd 1D sp
e
cial-casing to
multiple low
e
r/upper boun
d
s
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
emory lea
k
s
commit
|
commitdiff
|
tree
2004-02-15
skim
o
support emu
l
for
p
artitions
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't as
s
um
e
factor
i
s
a constant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't
modify
d parameter
commit
|
commitdiff
|
tree
2004-02-15
s
k
i
m
o
add pointer
to polyl
i
b
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
Sup
p
or
t
reduc
t
ion for non-modulo b
y
tempor
a
rily using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
mo
d
ulo to table conv
e
rsi
o
n
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
another
memory le
a
k
commit
|
commitdiff
|
tree
2004-02-15
skim
o
another memory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
e
x
perimenta
l
"unfringe" code
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
type
commit
|
commitdiff
|
tree
2004-02-06
skimo
fix
dec
o
mposition test a
n
d add polarized
d
e
c
ompostio
n
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
e
l
iminate a va
r
i
able if we can (not t
e
sted)
commit
|
commitdiff
|
tree
2004-01-26
skimo
o
o
ps; we need quotient rather than remainder
commit
|
commitdiff
|
tree
2004-01-25
sk
i
mo
handle equalitie
s
commit
|
commitdiff
|
tree
2004-01-25
skimo
Hand
l
e ONE_NEG for any
position of th
e
varia
b
l
e
correctly
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Handl
e
ONE_NE
G
for any positio
n
o
f
the vari
a
ble
.
commit
|
commitdiff
|
tree
2004-01-25
s
kimo
Only us
e
independent bounds to c
o
nstruct
the
o
n
e_dep
.
commit
|
commitdiff
|
tree
next