C# (CSharp) GPUVerify BitVector Examples

Example #1

File: Memory.cs Project: zeta1999/gpuverify

 public void Store(string name, BitVector val)
 {
     scalars[name] = val;
 }

Example #2

File: Memory.cs Project: zeta1999/gpuverify

 public void AddRaceArrayOffset(string name, BitVector offset)
 {
     raceArrayOffsets[name].Add(offset);
 }

Example #3

 public LiteralNode(BitVector val)
 {
     evaluation = val;
 }

Example #4

        public static BitVector Concatenate(BitVector a, BitVector b)
        {
            string bits = a.Bits + b.Bits;

            return(new BitVector(bits));
        }

Example #5

 public override void ClearState()
 {
     evaluation  = null;
     initialised = true;
 }