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 another range reduction after summation
2004-06-20
skimo
reord
e
r terms if needed a
f
t
e
r
r
eduction
commit
|
commitdiff
|
tree
2004-06-20
sk
i
mo
r
emo
v
e code made redundant by switch to fra
c
tio
n
al
commit
|
commitdiff
|
tree
2004-06-20
skimo
c
o
nvert from modulo to fractiona
l
commit
|
commitdiff
|
tree
2004-06-16
skimo
inform calling
p
r
o
ce
d
u
r
e w
h
ether a new entry w
a
s a
d
ded
commit
|
commitdiff
|
tree
2004-06-16
s
kimo
reallocate substi
t
utio
n
s
array if necess
a
ry
commit
|
commitdiff
|
tree
2004-06-15
skimo
multiply
m
odulo argument if this can help to elimin
a
te
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
also
use equivalences in
s
ide
m
odulo
expressions
commit
|
commitdiff
|
tree
2004-06-15
skimo
al
l
ow fractional subs
t
itutions ou
t
si
d
e modulo (n
o
t
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
Partial evaluation could in prin
c
iple
lea
d
to further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
reduce
c
ons
t
ants insi
d
e m
o
d
ulo
commit
|
commitdiff
|
tree
2004-06-15
skimo
construct substitution fo
r
ea
c
h
equality
commit
|
commitdiff
|
tree
2004-06-15
skimo
c
o
llect subs
t
ituti
o
ns in one
s
tructure
commit
|
commitdiff
|
tree
2004-06-14
skimo
only take
difference of sets that share
a
h
y
perp
l
ane
commit
|
commitdiff
|
tree
2004-06-11
skim
o
also skip o
v
er ze
r
o
e
s a
n
d remembe
r
ori
g
ina
l
l
oc
a
tion
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
sk
i
mo
con
t
inue
looking fo
r
coeff
i
cien
t
s
to ne
g
ate
if curre
n
t
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
calculate "
s
iz
e
" of poly
n
omials
commit
|
commitdiff
|
tree
2004-06-09
s
k
imo
combine ide
n
tical relations
commit
|
commitdiff
|
tree
2004-06-09
skimo
d
on't know
i
n
gly
c
reate zero polynomials
commit
|
commitdiff
|
tree
2004-06-09
skimo
Check
whe
t
he
r
rVD is to
o
small in
d
imension
*before*
commit
|
commitdiff
|
tree
2004-06-08
s
ki
m
o
regression te
s
t
commit
|
commitdiff
|
tree
2004-06-08
skimo
2Polyhedron ro
u
tines can mo
d
ify thei
r
a
r
gument!
commit
|
commitdiff
|
tree
2004-06-07
skimo
s
t
rict inequa
l
ity shou
l
d
be
e
nforced *prior*
to simplification
commit
|
commitdiff
|
tree
2004-06-06
sk
i
mo
another
memory leak
commit
|
commitdiff
|
tree
2004-06-06
s
kimo
memo
r
y le
a
ks
commit
|
commitdiff
|
tree
2004-06-06
ski
m
o
r
eturn malloced
m
emory sinc
e
w
e define a
"C" interface
commit
|
commitdiff
|
tree
2004-06-06
skimo
alway
s
return re
d
uced
e
valu
e
commit
|
commitdiff
|
tree
2004-06-06
skimo
simpli
f
y
c
o
n
straints durin
g
multiplicatio
n
s as well
commit
|
commitdiff
|
tree
2004-06-06
s
kimo
regression test for
latest bug
commit
|
commitdiff
|
tree
2004-06-06
sk
i
m
o
value
"
tmp" is used
o
ver sev
e
ral inter
a
tions of se
c
ond
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
s
k
imo
don't look
a
t r
e
lat
i
on i
f
we
just freed it
commit
|
commitdiff
|
tree
2004-06-05
sk
i
mo
remo
v
e empty pa
r
tit
i
ons
commit
|
commitdiff
|
tree
2004-06-05
skimo
also remo
v
e first empty subdom
a
in
commit
|
commitdiff
|
tree
2004-06-05
skimo
remove some e
m
pt
y
subdomai
n
s
commit
|
commitdiff
|
tree
2004-06-05
skimo
s
i
mplify constraints in eadd_partitions
commit
|
commitdiff
|
tree
2004-06-04
skimo
simp
l
ify whole
d
omain and
a
t
mo
r
e
locatio
n
s
commit
|
commitdiff
|
tree
2004-06-04
skimo
onl
y
u
s
e equalities in a singl
e
v
ar
commit
|
commitdiff
|
tree
2004-06-04
skimo
remo
v
e
VDs
w
i
th zero Ehrhart pol
y
nomial
commit
|
commitdiff
|
tree
2004-06-04
skim
o
remove relation if value is k
n
own
commit
|
commitdiff
|
tree
2004-06-04
s
kimo
compu
t
e
modulo if ar
g
ument
is known
commit
|
commitdiff
|
tree
2004-06-04
skimo
free tempor
a
ry evalue
commit
|
commitdiff
|
tree
2004-06-04
skimo
sub
s
titute know
v
al
u
e
s
for parameters
d
uring redu
c
tion
commit
|
commitdiff
|
tree
2004-06-03
ski
m
o
reduce relation
i
f possible
commit
|
commitdiff
|
tree
2004-06-03
sk
i
m
o
s
implify m
o
dulo e
x
pres
s
ions
during reduce as w
e
ll
commit
|
commitdiff
|
tree
2004-06-03
skimo
also simplify constra
i
nts duri
n
g
r
e
duction
commit
|
commitdiff
|
tree
2004-06-03
skimo
make true partitions in ParamPolyhe
d
ron_Reduce_mod
commit
|
commitdiff
|
tree
2004-06-03
skimo
be car
e
ful when the validity domain contain
e
qualitie
s
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
red
u
ce lead
i
n
g coefficient
commit
|
commitdiff
|
tree
2004-06-02
skimo
normalize
m
odulo in relation a
s
well
commit
|
commitdiff
|
tree
2004-06-02
skimo
factor out some more code
commit
|
commitdiff
|
tree
2004-06-02
skimo
mi
s
sing value_init in pre
v
ious
c
hang
e
commit
|
commitdiff
|
tree
2004-06-02
skimo
extract out some
c
o
de that
w
e may need later
commit
|
commitdiff
|
tree
2004-06-02
s
kimo
simplify constraints of valid
i
ty do
m
ain
s
commit
|
commitdiff
|
tree
2004-06-02
skimo
also multiply complement of r
e
lation
!
commit
|
commitdiff
|
tree
2004-05-31
skimo
silly typo
commit
|
commitdiff
|
tree
2004-04-25
skimo
e
v
aluate partitioned evalu
e
s
commit
|
commitdiff
|
tree
2004-04-25
s
k
imo
handle addit
i
on
s
of t
w
o relations
commit
|
commitdiff
|
tree
2004-04-22
skimo
be
c
areful wh
e
n
relculating the ro
w
commit
|
commitdiff
|
tree
2004-04-21
skimo
Convert multiple exi
s
tentia
l
variables
in an e
q
ual
i
ty
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
ski
m
o
compute
"compl
e
ment
"
if needed
commit
|
commitdiff
|
tree
2004-03-30
skimo
more add "compleme
n
t" rela
t
i
on
wh
e
n add
i
ng
n
o
n
-z
e
ro
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
add "complem
e
nt" rel
a
tion
w
h
e
n a
d
ding n
o
n-zero value
commit
|
commitdiff
|
tree
2004-03-30
skimo
supp
o
r
t
p
rinting of "complement" of r
e
lation
commit
|
commitdiff
|
tree
2004-03-28
skimo
i
n
stall
h
e
aders
commit
|
commitdiff
|
tree
2004-03-28
skimo
partial implemen
t
ation of "mask" operation
commit
|
commitdiff
|
tree
2004-03-28
s
k
imo
in
c
lude
a
p
pr
o
priate hea
d
er
commit
|
commitdiff
|
tree
2004-03-28
skimo
comply with
C
standard :-)
commit
|
commitdiff
|
tree
2004-03-28
skimo
e
xport _ev
v
e
r
sio
n
commit
|
commitdiff
|
tree
2004-02-29
sk
i
mo
bump version
commit
|
commitdiff
|
tree
2004-02-28
skimo
regres
s
io
n
tests
commit
|
commitdiff
|
tree
2004-02-28
skimo
Dr
.
Egon S
p
engler: There
'
s something very imp
o
rtant
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
bump vers
i
on
commit
|
commitdiff
|
tree
2004-02-22
skimo
update
Cha
n
geLog
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
a
void namespace
pollu
t
i
o
n
commit
|
commitdiff
|
tree
2004-02-22
skimo
a
v
o
i
d
sub validity dom
a
ins
commit
|
commitdiff
|
tree
2004-02-22
skimo
DomainIncl
u
des
commit
|
commitdiff
|
tree
2004-02-22
ski
m
o
Postpone m
u
lt
i
p
l
ic
a
tion with "
f
actor" to h
a
ndle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
act
u
al
l
y perform modulo
w
h
en co
n
verting to tables
commit
|
commitdiff
|
tree
2004-02-15
skimo
extend 1D special-casi
n
g
t
o
m
ultiple lo
w
er/upper b
o
unds
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
e
mory leaks
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
suppo
r
t e
m
ul for
partitions
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
don't a
s
s
u
me
fa
c
tor is a
constant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don'
t
modif
y
d parameter
commit
|
commitdiff
|
tree
2004-02-15
skimo
add po
i
nter to polylib
commit
|
commitdiff
|
tree
2004-02-15
sk
i
m
o
S
upport re
d
uctio
n
for
non-modulo
b
y
temporarily using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
modulo to t
a
ble conversion
commit
|
commitdiff
|
tree
2004-02-15
s
k
i
m
o
another memory l
e
ak
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
a
n
other memory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
experiment
a
l "unf
r
inge" code
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
ty
p
e
commit
|
commitdiff
|
tree
2004-02-06
skimo
fix decomposition test
and
add po
l
arized
decompo
s
tion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
eliminate a variable if we ca
n
(
n
o
t tested)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oop
s
; we need quotient rather
t
han
r
e
mai
n
de
r
commit
|
commitdiff
|
tree
2004-01-25
s
kim
o
handle equal
i
t
i
es
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handl
e
ONE_NE
G
for any posit
i
on of the variable correctly
commit
|
commitdiff
|
tree
2004-01-25
s
kimo
Ha
n
dle ONE_NEG f
o
r any position of the variable
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Only use inde
p
ende
n
t bounds to c
o
ns
t
ruc
t
the
o
ne
_
dep
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Truly p
a
rtition validity domains
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
copy in_domain from p
o
l
ylib
commit
|
commitdiff
|
tree
2004-01-25
skimo
Special case "infinite" poly
t
o
p
es, i
.
e
.
, t
h
ose
with
commit
|
commitdiff
|
tree
next