add more linear-x examples

71179b3a · Christian Müller · dc18ea40 · 71179b3a · 71179b3a
Commit 71179b3a authored May 15, 2017 by Christian Müller
Hide whitespace changes
Inline Side-by-side

Showing with 47 additions and 0 deletions

examples/linear-15.spec examples/linear-15.spec +21 -0

examples/linear20.spec examples/linear20.spec +26 -0

No files found.
--- a/examples/linear-15.spec
+++ b/examples/linear-15.spec
+Workflow
+
+forallmay i,j O(i,j) -> A += (i,j)
+forall i,j A(i,j) -> B += (i,j)
+forall i,j B(i,j) -> C += (i,j)
+forall i,j C(i,j) -> D += (i,j)
+forall i,j D(i,j) -> E += (i,j)
+forall i,j E(i,j) -> F += (i,j)
+forall i,j F(i,j) -> G += (i,j)
+forall i,j G(i,j) -> H += (i,j)
+forall i,j H(i,j) -> I += (i,j)
+forall i,j I(i,j) -> J += (i,j)
+forall i,j J(i,j) -> K += (i,j)
+forall i,j K(i,j) -> L += (i,j)
+forall i,j L(i,j) -> M += (i,j)
+forall i,j M(i,j) -> N += (i,j)
+forall i,j N(i,j) -> O += (i,j)
+
+Target
+
+O(x,y)
--- a/examples/linear20.spec
+++ b/examples/linear20.spec
+Workflow
+
+forallmay i,j O(i,j) -> A += (i,j)
+forall i,j A(i,j) -> B += (i,j)
+forall i,j B(i,j) -> C += (i,j)
+forall i,j C(i,j) -> D += (i,j)
+forall i,j D(i,j) -> E += (i,j)
+forall i,j E(i,j) -> F += (i,j)
+forall i,j F(i,j) -> G += (i,j)
+forall i,j G(i,j) -> H += (i,j)
+forall i,j H(i,j) -> I += (i,j)
+forall i,j I(i,j) -> J += (i,j)
+forall i,j J(i,j) -> K += (i,j)
+forall i,j K(i,j) -> L += (i,j)
+forall i,j L(i,j) -> M += (i,j)
+forall i,j M(i,j) -> N += (i,j)
+forall i,j N(i,j) -> O += (i,j)
+forall i,j O(i,j) -> P += (i,j)
+forall i,j P(i,j) -> Q += (i,j)
+forall i,j Q(i,j) -> R += (i,j)
+forall i,j R(i,j) -> S += (i,j)
+forall i,j S(i,j) -> T += (i,j)
+
+Target
+
+T(x,y)