diff options
| author |  Unknown <t-alasdo@MSR-RISE-GUEST.redmond.corp.microsoft.com> | 2011-09-02 18:23:30 -0700 |
|---|---|---|
| committer | Unknown <t-alasdo@MSR-RISE-GUEST.redmond.corp.microsoft.com> | 2011-09-02 18:23:30 -0700 |
| commit | 68abcafd6a654bb319738415a4d94dfa6baa3bfd (patch) | |
| tree | ccd76ad4173c6c01a9dfd6ca90ce159f07b97cb9 /Source/GPUVerify/AccessRecord.cs | |
| parent | b9a6a826992356259535597838204c8bfc2d9d1e (diff) | |
Added GPUVerify project
Diffstat (limited to 'Source/GPUVerify/AccessRecord.cs')
| -rw-r--r-- | Source/GPUVerify/AccessRecord.cs | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Source/GPUVerify/AccessRecord.cs b/Source/GPUVerify/AccessRecord.cs new file mode 100644 index 00000000..fedacde3 --- /dev/null +++ b/Source/GPUVerify/AccessRecord.cs @@ -0,0 +1,27 @@ +using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Text;
+
+using Microsoft.Boogie;
+
+namespace GPUVerify
+{
+ class AccessRecord
+ {
+ public Variable v;
+ public Expr IndexZ;
+ public Expr IndexY;
+ public Expr IndexX;
+
+ public AccessRecord(Variable v, Expr IndexZ, Expr IndexY, Expr IndexX)
+ {
+ this.v = v;
+ this.IndexZ = IndexZ;
+ this.IndexY = IndexY;
+ this.IndexX = IndexX;
+ }
+
+
+ }
+}
|