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 a
f
ter conversion
commit
|
commitdiff
|
tree
2004-06-21
skimo
translate re
l
at
i
o
n
as well
commit
|
commitdiff
|
tree
2004-06-20
s
k
imo
u
s
e convex hull fo
r
equalities to
u
s
e i
n
red
u
c
t
ion
commit
|
commitdiff
|
tree
2004-06-20
skimo
reorder terms if needed
a
fter reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
remove code made redundant by switch to frac
t
ional
commit
|
commitdiff
|
tree
2004-06-20
skim
o
c
onvert from modulo to fractional
commit
|
commitdiff
|
tree
2004-06-16
skimo
inform calling proc
e
dure whethe
r
a new entry was add
e
d
commit
|
commitdiff
|
tree
2004-06-16
skimo
r
e
allocat
e
substitutions ar
r
ay i
f
n
ecessary
commit
|
commitdiff
|
tree
2004-06-15
skim
o
multiply
modulo argument if this
c
an help t
o
eliminate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
a
lso us
e
equivalence
s
insi
d
e modulo ex
p
ressions
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
allow fractional
subs
t
itu
t
ions outside
m
odulo (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
sk
i
mo
Partial evaluation could in principle lead
t
o further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skim
o
reduce const
a
nts inside
m
odulo
commit
|
commitdiff
|
tree
2004-06-15
skimo
construct substitution for
e
a
ch equal
i
ty
commit
|
commitdiff
|
tree
2004-06-15
skimo
collect s
u
bstitutions i
n
one structure
commit
|
commitdiff
|
tree
2004-06-14
skimo
o
nly take dif
f
erence of sets that share a hy
p
erplane
commit
|
commitdiff
|
tree
2004-06-11
s
kimo
also skip over zeroes
a
n
d remember origi
n
al
location
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
skimo
continue looki
n
g for coefficients to negate if cu
r
rent
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skim
o
calc
u
l
ate
"
s
ize" of
polynomials
commit
|
commitdiff
|
tree
2004-06-09
skimo
combine identic
a
l
r
elatio
n
s
commit
|
commitdiff
|
tree
2004-06-09
skimo
don't kn
o
wingl
y
create
zero
p
olynomials
commit
|
commitdiff
|
tree
2004-06-09
skimo
Check wheth
e
r rVD is too small
i
n d
i
mension *before*
commit
|
commitdiff
|
tree
2004-06-08
skimo
regress
i
on test
commit
|
commitdiff
|
tree
2004-06-08
skimo
2Polyhed
r
o
n routin
e
s can modify their argument!
commit
|
commitdiff
|
tree
2004-06-07
s
kimo
s
t
rict inequ
a
lity sho
u
ld b
e
enforced *
p
r
i
or* to simpli
f
i
c
a
tion
commit
|
commitdiff
|
tree
2004-06-06
sk
i
mo
an
o
ther memory leak
commit
|
commitdiff
|
tree
2004-06-06
skimo
memor
y
leaks
commit
|
commitdiff
|
tree
2004-06-06
skimo
r
eturn malloced memory sin
c
e we define a "C"
inte
r
fa
c
e
commit
|
commitdiff
|
tree
2004-06-06
s
k
i
mo
always return
r
e
d
u
ced evalue
commit
|
commitdiff
|
tree
2004-06-06
skimo
simplify
constrain
t
s dur
i
ng multip
l
icat
i
ons
a
s
w
ell
commit
|
commitdiff
|
tree
2004-06-06
skimo
regression test for
latest
b
u
g
commit
|
commitdiff
|
tree
2004-06-06
s
kimo
val
u
e "tmp" is used over severa
l
interations of second
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
skimo
don't
lo
o
k at
r
elation if we ju
s
t f
r
eed it
commit
|
commitdiff
|
tree
2004-06-05
skimo
remove
e
mpt
y
p
artitions
commit
|
commitdiff
|
tree
2004-06-05
skimo
also
remove first empty subdom
a
in
commit
|
commitdiff
|
tree
2004-06-05
s
k
imo
remove some
e
mp
t
y subd
o
m
a
ins
commit
|
commitdiff
|
tree
2004-06-05
skimo
simplify
c
onstraints in ead
d
_p
a
rtitions
commit
|
commitdiff
|
tree
2004-06-04
skimo
sim
p
lify
who
l
e
domain and at mo
r
e l
o
cations
commit
|
commitdiff
|
tree
2004-06-04
skimo
only use
equalities in
a
single var
commit
|
commitdiff
|
tree
2004-06-04
skimo
remov
e
V
Ds wi
t
h zero Ehrhart polynomial
commit
|
commitdiff
|
tree
2004-06-04
s
k
imo
r
e
m
ove relati
o
n if value is
k
nown
commit
|
commitdiff
|
tree
2004-06-04
ski
m
o
comput
e
modulo if argument
is know
n
commit
|
commitdiff
|
tree
2004-06-04
skimo
free
t
emporary evalue
commit
|
commitdiff
|
tree
2004-06-04
skimo
substi
t
u
t
e know values for
parameters duri
n
g
re
d
uction
commit
|
commitdiff
|
tree
2004-06-03
skimo
re
d
uce r
e
lati
o
n if poss
i
bl
e
commit
|
commitdiff
|
tree
2004-06-03
skimo
sim
p
lify m
o
dulo expr
e
ssions during reduce as well
commit
|
commitdiff
|
tree
2004-06-03
skimo
also sim
p
lify constraints during reductio
n
commit
|
commitdiff
|
tree
2004-06-03
skimo
make true
partitions in
P
aramPolyhedron_Reduce_m
o
d
commit
|
commitdiff
|
tree
2004-06-03
s
k
imo
be careful when t
h
e val
i
dity
d
omain
c
ont
a
in equ
a
lit
i
es
commit
|
commitdiff
|
tree
2004-06-02
skimo
r
e
duc
e
leading coeffic
i
e
n
t
commit
|
commitdiff
|
tree
2004-06-02
skimo
normalize modulo in relation
a
s
w
ell
commit
|
commitdiff
|
tree
2004-06-02
skimo
factor out some
m
or
e
code
commit
|
commitdiff
|
tree
2004-06-02
skimo
missing value_init in previous change
commit
|
commitdiff
|
tree
2004-06-02
s
kimo
extract
o
ut some c
o
de that we may need later
commit
|
commitdiff
|
tree
2004-06-02
s
kim
o
s
i
mplify const
r
aint
s
of v
a
lidity domains
commit
|
commitdiff
|
tree
2004-06-02
s
kimo
also multiply complement of relation!
commit
|
commitdiff
|
tree
2004-05-31
skimo
silly typo
commit
|
commitdiff
|
tree
2004-04-25
skimo
evaluate partit
i
oned evalues
commit
|
commitdiff
|
tree
2004-04-25
skimo
handle addi
t
ion
s
of
two relati
o
ns
commit
|
commitdiff
|
tree
2004-04-22
sk
i
m
o
be careful
when relculating the r
o
w
commit
|
commitdiff
|
tree
2004-04-21
skimo
Co
n
vert
m
ultiple existen
t
i
a
l variables
in an equality
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
compu
t
e "comple
m
en
t
"
i
f
needed
commit
|
commitdiff
|
tree
2004-03-30
sk
i
mo
more add "co
m
plem
e
nt" relation when adding non-
z
ero
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
s
k
imo
add "complement" rela
t
ion whe
n
adding non-zero value
commit
|
commitdiff
|
tree
2004-03-30
skimo
s
u
pport prin
t
ing of
"
c
o
mplement" of relation
commit
|
commitdiff
|
tree
2004-03-28
skimo
install headers
commit
|
commitdiff
|
tree
2004-03-28
skimo
pa
r
tial implementation of "mask" operati
o
n
commit
|
commitdiff
|
tree
2004-03-28
skimo
inc
l
ude appropriate header
commit
|
commitdiff
|
tree
2004-03-28
skimo
c
o
m
ply with C s
t
andard :
-
)
commit
|
commitdiff
|
tree
2004-03-28
s
k
imo
e
xport
_
e
v version
commit
|
commitdiff
|
tree
2004-02-29
skimo
bump version
commit
|
commitdiff
|
tree
2004-02-28
s
kimo
r
egre
s
sion te
s
ts
commit
|
commitdiff
|
tree
2004-02-28
skimo
Dr
.
Egon Spe
n
gler: The
r
e's
s
omething very impo
r
ta
n
t
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
s
kimo
bump
v
ersion
commit
|
commitdiff
|
tree
2004-02-22
skimo
upd
a
te ChangeLog
commit
|
commitdiff
|
tree
2004-02-22
skimo
a
v
oid namespa
c
e p
o
l
luti
o
n
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
a
v
oid sub validity
d
om
a
ins
commit
|
commitdiff
|
tree
2004-02-22
ski
m
o
DomainIncludes
commit
|
commitdiff
|
tree
2004-02-22
skimo
Postpone multiplication with "facto
r
" to handle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
actually pe
r
form
modulo w
h
en converti
n
g to tables
commit
|
commitdiff
|
tree
2004-02-15
skim
o
exten
d
1D sp
e
cial-casing t
o
multiple
lower/
u
pper b
o
unds
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
memo
r
y leaks
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
support emul for partitions
commit
|
commitdiff
|
tree
2004-02-15
sk
i
m
o
don't ass
u
me factor is a constant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't modif
y
d parameter
commit
|
commitdiff
|
tree
2004-02-15
sk
i
m
o
add
p
ointer to polylib
commit
|
commitdiff
|
tree
2004-02-15
skimo
Support re
d
uctio
n
for n
o
n-m
o
dulo by tempo
r
arily u
s
ing
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
modulo to t
a
ble conve
r
si
o
n
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
ano
t
her
mem
o
ry lea
k
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
a
n
o
t
her memory le
a
k
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
e
mory le
a
k
commit
|
commitdiff
|
tree
2004-02-15
s
k
i
mo
experimental "unfringe"
code
commit
|
commitdiff
|
tree
2004-02-15
skimo
t
ype
commit
|
commitdiff
|
tree
2004-02-06
skimo
fix
dec
o
m
p
os
i
tion test a
n
d add
polarized
d
ecompostion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
elimin
a
t
e
a
var
i
able if we can (n
o
t
te
s
ted)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oops; we need quo
t
ient
rather th
a
n
r
emainde
r
commit
|
commitdiff
|
tree
2004-01-25
skimo
h
a
n
dle e
q
u
a
l
ities
commit
|
commitdiff
|
tree
2004-01-25
skimo
H
a
n
d
le ONE_NE
G
for
any p
o
sition of the va
r
iable correctly
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle ONE_NEG for any posi
t
i
o
n
of
the
variable
.
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Only
u
se indepe
n
dent bounds to
c
onst
r
u
c
t
t
he one_de
p
.
commit
|
commitdiff
|
tree
next