@@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # symbolic n; # omega_calc/test_parser/affineClosure.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # symbolic c; omega_calc/test_parser/affineClosure2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # do i = 1, np { # # do j = 1, i { # # ij = ia(i) + j omega_calc/test_parser/beatrice2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # Symbolic n, line5expr(2); # # omega_calc/test_parser/blume1.w.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # # # A (memory-based!) data dependence relation from a greatly simplified # # cfft2d1.t that was causing us trouble. omega_calc/test_parser/cfft2d1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # T10:={[i] -> [0,i,0,0]}; # # T20:={[i,j] -> [1,j,0,i]}; omega_calc/test_parser/chosol.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # ({[i] -> [i+2]} union {[i] -> [i+3]})+; {[i] -> [Out_1] : Exists ( alpha : 2alpha = i+Out_1 && i <= Out_1-2)} union omega_calc/test_parser/closure1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := {[i,j] -> [i+3,j]} union {[i,j] -> [i+2,j-1]} union {[i,j] -> [i+1,j+1]}; # # R+; omega_calc/test_parser/closure2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n,m; # # d11 := {[i,j] -> [i,2i+j] : 1 <= i <= n && 1 <= j,2i+j <= m}; omega_calc/test_parser/closure3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n,m; # # R1 := {[x,y] -> [x,y+1] : 1 <= x,y <= 10}; omega_calc/test_parser/closure4.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n,m; # # d11 := {[i,j] -> [i,2i+j] : 1 <= i <= n && 1 <= j,2i+j <= m}; omega_calc/test_parser/closure5.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # T1 := {[k,i,j] -> [k',i,j] : 1 <= k < k' < j <= i <= 1024}; # omega_calc/test_parser/closure6.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # R := {[t,s] -> [t+1,s] } union # {[t,s] -> [t,s] } union omega_calc/test_parser/closure7.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # {[i] -> [i]}+; {[i] -> [i] } omega_calc/test_parser/closure8.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # omega_calc/test_parser/collard.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic p(2), n, m; # # R := { [ir,jr] : 1 <= ir <= n && 1 <= jr <= m }; omega_calc/test_parser/cover.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # T := {[i,j] -> [i+10j]}; # # I := {[0:9,0:9]}; omega_calc/test_parser/dagstuhl1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # {[i,j] : # 2i+6j>=9 # && 5i-3j >= 0 omega_calc/test_parser/dagstuhl2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # In verify, we now prefer to eliminate wildcards last # # This gives us an improved chance of finding equality # # constraints on wildcards. omega_calc/test_parser/dagstuhl3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # # # A one point, we couldn't handling this analysis of value-based dependences. # # Now we can :-) omega_calc/test_parser/davew1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic p(2), n, m1, m2, low; # # omega_calc/test_parser/ddtest.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # # # A problem that arises during the analysis of emit.t # # We are trying to find the dependences to the read 58: rhs(i) omega_calc/test_parser/emit.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # foo := {[In_1,In_2] -> [i,j] : Exists ( alpha : In_2+2i = 1 && 2In_1+In_2 = 3+4j && In_2+20alpha = 5+8j && -199 <= In_2 <= -2j-5 && 1 <= j)}; # # example foo; omega_calc/test_parser/example1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # symbolic n; # omega_calc/test_parser/farkas.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # R := {[1:10,1:10]} union {[5:15,11:20]}; # omega_calc/test_parser/farkas2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # R := {[1:10,1:10,1:10,1:10]}; # omega_calc/test_parser/farkas3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # omega_calc/test_parser/fc1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # omega_calc/test_parser/fc2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # R := {[t,s] -> [t+2,s+2] : t <= s} union # {[t,s] -> [t+4,s+4] : t <= s} union omega_calc/test_parser/foo.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # hull( {[1,1]} union # {[In_1,In_1]: 2 <= In_1}); omega_calc/test_parser/foo2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # approximate {[i,j] : exists (a,b : a,b >= 0 && i = -201a-3b && j = 103a+200b)}; {[i,j]: 200i+3j <= 0 && 0 <= 103i+201j} omega_calc/test_parser/foo6.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n,m,B; # # { [max_diff] : omega_calc/test_parser/forall.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # A := {[i] : 1 <= i <= 8}; # # b := {[i] : exists (t : i=2t+1 & 0<=t<=3)}; omega_calc/test_parser/gc.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # I1 := {[k,i] : 1 <= k < i <= n }; omega_calc/test_parser/ge.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R:={[t1,t2]: exists (aa : 2aa = t1 && 2 <= t1 && t1 <= 8)}; # # known := {[t1,t2]: 1 <= t1 <= 9}; omega_calc/test_parser/gist.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # # # an example from a slightly defective dependence relation for givens2.t # # omega_calc/test_parser/givens2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n,m; # # incomingKnown := { [i1,i2] : Exists ( alpha : i1+3alpha = 1+i2 ) && omega_calc/test_parser/guard1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := {[1:10,1:10]} union {[-10:-1,-10:-1]} union # {[x,y] : -10 <= x,y <= 10 && -10 <= x-y <= 10}; # omega_calc/test_parser/hull1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := {[1,1]} union {[3,3]}; # # R; omega_calc/test_parser/hull2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # symbolic n; # omega_calc/test_parser/hull3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # time {[a,b,c,d,e,f] : # a+b+2c+2d+e+2f >= 1 # && a - 3b - 2f >= 1 omega_calc/test_parser/ip1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # time {[a,b,c,d,e,f] : # a+b+2c+2d+e+2f >= 1 # && 2a-3b-2f >= 1 omega_calc/test_parser/ip2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # approximate {[a,b,c,d,e,f] : ( # a+b+2c+2d+e+2f >= 1 # && 2a-3b-2f >= 1 omega_calc/test_parser/ip3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := { [i] : i < 10 && i > 1}; # # codegen R; omega_calc/test_parser/iter1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := { [i,j] : i <= 10 && i >= 1 && j <=100 && j >= 10}; # # codegen R; omega_calc/test_parser/iter2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := { [i,j] : i < 10 && i > 1 && j < 10 && j > i}; # # codegen R; omega_calc/test_parser/iter3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := { [i,j] : i < 10 && i > 1 && j <=2i && j > i}; # # codegen R; omega_calc/test_parser/iter4.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := { [i,j] : i < 10 && i > 1 && j <=2i && j > i && j <= 16}; # # codegen R; omega_calc/test_parser/iter5.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # Y := { [i,j] : 1 <= i <= 5 and 12 <= j <= 17}; # # codegen Y; omega_calc/test_parser/iter6.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := {[i,j] : 3i+2j=15 && 1<=i<=j<=100}; # # R; omega_calc/test_parser/iter7.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic exprVar1; # # symbolic exprVar2; omega_calc/test_parser/iter8.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # symbolic exprVar1; # omega_calc/test_parser/iter9.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := { [i, j, k, l] : # 0 <= i <= 19 && # 0 <= j <= 19 && omega_calc/test_parser/lefur00.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := { [i, j, k, l] : # 0 <= i <= 19 && # 0 <= j <= 19 && omega_calc/test_parser/lefur01.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # From Fabien Coelho # # R := { [i,j,k,l,m,n] : omega_calc/test_parser/lefur03-3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # From Fabien Coelho # # R := { [i,j,k,l,m,n] : omega_calc/test_parser/lefur03.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # From Fabien Coelho # # R := { [i, j, k, l, m, n, o, p] : omega_calc/test_parser/lefur04.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # From Fabien Coelho # # R := { [i, j, k, l, m, n, o, p] : omega_calc/test_parser/lefur05.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # I1 := { [i,j,k,l,m] : 1 <= i <= 60 && 1 <= j,k,l,m <= 100 }; # # I2 := { [i,j,k,l,m] : 1 <= i,j,k,l,m <= 100 }; omega_calc/test_parser/lift1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # I1 := { [i,j,k,l,m] : 5 <= i <= 60 && 1 <= j,k,l,m <= 100 }; # # I2 := { [i,j,k,l,m] : 1 <= i,j,k,l,m <= 100 }; omega_calc/test_parser/lift2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # { [i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,a,b,c] -> [j] : 1 <= i < j <= 20 }; {[i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,a,b,c] -> [j] : 1 <= i < j <= 20} omega_calc/test_parser/long_input.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # T10 := {[k,i] -> [t1,t2,k,k,i]: # exists (alpha,beta: t1 = 64beta+1 && k-1 = alpha + 64 beta && # alpha >= 0 && alpha <= 63) omega_calc/test_parser/lu.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n,lb,ub; # # I5 := {[k,j] : 1 <= k < j <= n}; omega_calc/test_parser/lu_ijk.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n,lb,ub; # # I1 := {[k,i] : 1 <= k < i <= n && lb <= k <= ub}; omega_calc/test_parser/lu_spmd.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # T1:={[i,j]->[i,j,0]}; # # T2:={[i,j]->[i,j,1]}; omega_calc/test_parser/m1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # IS:={[i,j]: 1 <= i,j <= 9}; # # T1:={[i,j]->[4j,i,0]}; omega_calc/test_parser/m10.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic m; # # I := {[p1,p2,c2,a1,a2,b1,b2] : omega_calc/test_parser/m11.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n,m; # # I1 := {[1,1:n,1:m,0]}; omega_calc/test_parser/m12.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R1:={[i,j]: 2 <= i,j <= 9}; # # R2:={[i,j]: 5 <= i <= 9 & 1 <= j <= 9}; omega_calc/test_parser/m2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # I := {[i,j] : 1 <= i+j,j <= 10}; # # codegen I; omega_calc/test_parser/m3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # T1:={[i,j]->[j,i,0]}; # # T2:={[i,j]->[j,i,1]}; omega_calc/test_parser/m4.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # T1:={[i,j]->[j,i,0]}; # # T2:={[i,j]->[j,i,1]}; omega_calc/test_parser/m7.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # T1:={[i,j]->[j,i,0]}; # # T2:={[i,j]->[j,i,1]}; omega_calc/test_parser/m8.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # IS:={[i,j]: 1 <= i,j <= 9}; # # T1:={[i,j]->[2j,i,0]}; omega_calc/test_parser/m9.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n, f(1); # # omega_calc/test_parser/maximize.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # test of Tina_code_gen # # symbolic T, N; omega_calc/test_parser/mm1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # This example shows the "time skewing" transformation, including # # the array remapping, for the code below: # # omega_calc/test_parser/mm2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # # # Various tests of mmap utilities # # omega_calc/test_parser/mm3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # # # This is the tskew.w file from tskew2d-mem # # omega_calc/test_parser/mm5.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # T10:={[mp,mq,mi] -> [mi,mq,mp,0]}; # # T20:={[mp,mq,mi] -> [mi,mp,mq,1]}; omega_calc/test_parser/olda.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # Generate local code for this HPF code fragment # # !HPF$ template T(0:150,0:150) # # !HPF$ align X(I,J) with T(3*I,3*J) omega_calc/test_parser/p.delft.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # Compute Sends and receives for the following HPF fragment # # I := { [i,j] : 1 <= i <= 14 && 0 <= j <= 14 }; omega_calc/test_parser/p.delft2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # hull {[p1,p2] -> [p1-1,p2,Out_3,Out_4] : # Exists ( alpha,gamma : # 1 <= p1 <= 3 omega_calc/test_parser/p.delft3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # { [i] -> [j] : 1 <= i <= 9 } subset { [i] -> [j] : 1 <= i <= 11 }; True omega_calc/test_parser/p.subset.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # { [i] -> [j] : 1 <= i < j <= 20 }; {[i] -> [j] : 1 <= i < j <= 20} omega_calc/test_parser/p1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # {[i,j,k,l,m] -> [i,i,i,i,i] : 1 <= i <= 100 }; {[i,j,k,l,m] -> [i,i,i,i,i] : 1 <= i <= 100} omega_calc/test_parser/p10.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # {[i] : 1 <= i <= 10 # && ! i = 3 # && ! i = 2 omega_calc/test_parser/p11.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n,m; # # T := { [i,j] -> [i-1,j] : 1 <= i <= n && 0 <= j <= m } union omega_calc/test_parser/p12.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # T := { [d1, -1] : d1 > 0 }; # # T; omega_calc/test_parser/p13.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # { [i,j] -> [i+1,j+1] : 1 <= i <= 9 && 5 <= j <= 25 }; {[i,j] -> [i+1,j+1] : 1 <= i <= 9 && 5 <= j <= 25} omega_calc/test_parser/p2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # { [i] -> [i+1] : 1 <= i <= n }+; omega_calc/test_parser/p3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # inverse { [i] -> [i+1] : 1 <= i <= 9 }; {[In_1] -> [In_1-1] : 2 <= In_1 <= 10} omega_calc/test_parser/p4.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # {[iw] -> [ir] : omega_calc/test_parser/p5.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := { [i] -> [i'] : 1 <= i,i' <= 10 && i' = i+1 }; # # R; omega_calc/test_parser/p6.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # { [i] -> [j] : 1 <= i,j <= 10 and i != j}; {[i] -> [j] : 1 <= j < i <= 10} union omega_calc/test_parser/p7.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R1 := {[i] -> [j] : i < j}; # # R2 := {[x] -> [y] : x < y}; omega_calc/test_parser/p8.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic lot_E; # # {[k_w,l_w] -> [k_r,l_r] : omega_calc/test_parser/p9.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n(1); # # { [i] -> [j] : 1 <= i <= j <= 100 && n(i) != n(j)}; omega_calc/test_parser/pufs1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n(1); # # R := { [i] -> [j] : 1 <= i = j <= 100 && n(i) <= n(j)}; omega_calc/test_parser/pufs2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n(1); # # R := { [i] -> [j] : 1 <= i = j <= 100 && n(i) <= n(j)}; omega_calc/test_parser/pufs3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # Calculate exposed reads for this code fragment # # for i := 1 to n do # # for j := 1 to m do omega_calc/test_parser/pufs4.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n(1); # # S := { [i] -> [j] : 1 <= i < j <= 100 && n(j) >= 0}; omega_calc/test_parser/pufs5.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # Symbolic n, f(1), f_last, f_first; # # omega_calc/test_parser/pufs6.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n(1),m; # # {[i] : n(i) >= 0} union {[i] : n(i) <=0}; omega_calc/test_parser/pufs7.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # reachable (a,b,c) # { a->b:{[1]->[2]}, omega_calc/test_parser/reach1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # a2b:={[1]->[2]}; # omega_calc/test_parser/reach2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # a2b:={[1]->[2]}; # omega_calc/test_parser/reach3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R1 := {[i,j,k] : 17i=12j+170}; # # R2 := {[i,j,k] : k >= 0}; omega_calc/test_parser/red1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # Passing array sections through array reshaping # # procedure foo() # # real a(1:5,1:64,1:64,1:5) omega_calc/test_parser/saman.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # example { [i] -> [j] : 1 <= i < j <= 20 }; {[19] -> [20] } omega_calc/test_parser/sample1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # Symbolic n,m; # # omega_calc/test_parser/sample2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # Symbolic n,m; # # omega_calc/test_parser/sample3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # omega_calc/test_parser/stodghil.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := { [i] : i < 10 && i > 1 && exists ( alpha : i = 3alpha) }; # # codegen R; omega_calc/test_parser/stride1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # Sym n; # # new_IS := {[t1,t2] : exists (alpha : t1 = 32alpha && omega_calc/test_parser/stride2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # Sym n; # # new_IS := {[t1,t2] : exists (alpha : t1 = 32alpha+3 && omega_calc/test_parser/stride3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # Sym n; # # new_IS := {[i] : exists (alpha : i = 5alpha-2 && omega_calc/test_parser/stride4.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # Sym n; # # R := {[i,j]: i >= 1 && i <= 101 && exists (alpha : i = 2 alpha) && omega_calc/test_parser/stride5.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # Sym n; # # R := {[i,j]: i >= 1 && i <= 101 && omega_calc/test_parser/stride6.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # # IS:={[i,j]: 1 <= i,j <= 9}; omega_calc/test_parser/stride7.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := {[x]:x > 1 }; # # R; omega_calc/test_parser/subsets1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # (subsetof {[1:10]}) - subsetof {[1:10]}; {[In_1]: 1 <= In_1 <= 10 && UNKNOWN} omega_calc/test_parser/subsets2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # Symbolic n,b; # omega_calc/test_parser/syr2k.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # # # Extract from omega4 # # removed "eqnarray" commands, associated &'s, and overbrace commands omega_calc/test_parser/tex1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic N,M,k; # # { [i,j] -> [] : 0 <= i <= M and 0 <= j <= N and 2i+j = k omega_calc/test_parser/tricky.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # This is the file facts.prew, which is prepended to the .prew files # # for the particular code generation we want, defines things like the # # iteration space and dependences. Known facts are inserted by the omega_calc/test_parser/ts1d-check-sblock.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # This is the file facts.prew, which is prepended to the .prew files # # for the particular code generation we want, defines things like the # # iteration space and dependences. Known facts are inserted by the omega_calc/test_parser/ts1d-check0.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # This is the file facts.prew, which is prepended to the .prew files # # for the particular code generation we want, defines things like the # # iteration space and dependences. Known facts are inserted by the omega_calc/test_parser/ts1d-mp-i_ts-m_b.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # This is the file facts.prew, which is prepended to the .prew files # # for the particular code generation we want, defines things like the # # iteration space and dependences. Known facts are inserted by the omega_calc/test_parser/ts1d-orig0.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # This is the file facts.prew, which is prepended to the .prew files # # for the particular code generation we want, defines things like the # # iteration space and dependences. Known facts are inserted by the omega_calc/test_parser/ts1d-tskew.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # This is the file facts.prew, which is prepended to the .prew files # # for the particular code generation we want, defines things like the # # iteration space and dependences. Known facts are inserted by the omega_calc/test_parser/ts2d-check-orig.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # This is the file facts.prew, which is prepended to the .prew files # # for the particular code generation we want, defines things like the # # iteration space and dependences. Known facts are inserted by the omega_calc/test_parser/ts2d-check-sblock.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # This is the file facts.prew, which is prepended to the .prew files # # for the particular code generation we want, defines things like the # # iteration space and dependences. Known facts are inserted by the omega_calc/test_parser/ts2d-check-tskew2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # This is the file facts.prew, which is prepended to the .prew files # # for the particular code generation we want, defines things like the # # iteration space and dependences. Known facts are inserted by the omega_calc/test_parser/ts2d-tskew.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # symbolic LV,UV; omega_calc/test_parser/tseng.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R3 := {[x] -> [y] : (y = x) | (y = 3x)}; # # omega_calc/test_parser/verlind1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := { [i] : 1 <= i <= 6 & Exists (alpha : 3 alpha + 1 <= i <= 3 alpha + 2) # & not (1 <= i <= 2) }; # omega_calc/test_parser/verlind1a.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # Symbolic a1,a2,a3,b1,b2,b3; # omega_calc/test_parser/wak1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # Symbolic a1,a2,b1,b2,c1,c2,d1,d2; # omega_calc/test_parser/wak2.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # # Symbolic a,b; # omega_calc/test_parser/wak3.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # Symbolic a1,a2,a3,a4,a5,b1,b2,b3,b4,b5; # # IS1 := {[i] : a1,a2,a3,a4,a5 <= i <= b1,b2,b3,b4,b5 }; omega_calc/test_parser/wak4.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # S1 := {[1,In_2,0,In_4,In_5,In_6,In_7]: 2 <= In_4 <= 1024 && 2 <= In_2 <= 1024}; # # S2 := {[1,In_2,0,In_4,In_5,In_6,In_7]: 1 <= In_4 < In_2 <= 1024}; omega_calc/test_parser/wak5.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # T1 := {[k,i,j] -> [k',i,j] : 1 <= k < k' < i <= 1024 && k'+1 <= j <= 1024}; # # T2 := {[k,i,j] -> [j,i,j'] : 1 <= k < j < i <= 1024 && j < j' <= 1024}; omega_calc/test_parser/wak6.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # R := {[k,k+1,k+1]: 1 <= k <= 1022} # union {[k,i,j]: 2 <= k < i <= 1024 && k < j <= 1024}; # omega_calc/test_parser/wak7.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # T1 := {[i1,i2,i3] -> [o1,i2,o3] : 2 <= i2 <= 511 && o1 <= 256 # && o3 <= 511 && 2 <= i3 && i1+o3 <= i3+o1 # && 255i3+o1 <= i1+255o3 && 1 <= i1}; omega_calc/test_parser/wak8.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # {[k1,k2,k3] : # 15+k1+2k2+3k3 = 0 # && k2+k3 <= 0 omega_calc/test_parser/wielage.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic L,M; # # omega_calc/test_parser/wild.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # I := {[i,j,k] : 1 <= i,j,k <= n}; omega_calc/test_parser/wrap.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # I := {[i,j,k] : 1 <= i,j,k <= n}; omega_calc/test_parser/wrap0.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # symbolic n; # # I := {[i,j,k] : 1 <= i,j,k <= n}; omega_calc/test_parser/wrap1.oc-rt @@ -1,4 +1,4 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): +# Omega Calculator v2.1 (based on Omega Library 2.1, July, 2008): # old_IS:= {[i,j]: 1 <= i <= 8 & 1 <= j <= 4}; # # T1:={[i,j] -> [j-i+8,i,0]}; omega_calc/test_parser/x.oc-rt 5f4b2a26fb148a2dbdfd46b21d0fc21fc39a01fc David G. Wonnacott davew@cs.haverford.edu http://github.com/davewathaverford/the-omega-project/commit/2ff0a6563ed1c2b2eee8c9bf82f3657a8e6d6bc2 2ff0a6563ed1c2b2eee8c9bf82f3657a8e6d6bc2 2008-07-30T13:37:00-07:00 2008-07-30T13:37:00-07:00 fixed oc-rt results with new version number ac7b251a80f60048a9811c935b27d0e92815b896 David G. Wonnacott davew@cs.haverford.edu