diff options
author | 2012-09-26 20:04:50 +0100 | |
---|---|---|
committer | 2012-09-26 20:04:50 +0100 | |
commit | 00ece9690862b315ac57c45c1dfb066f5d53b4cb (patch) | |
tree | 097f4bf48f2fbe18eab024dfdc759c8676390ac3 /Source/GPUVerify/AccessCollector.cs | |
parent | e9b7ff7c38569ec2e11fd570d82bcd277fbac7c0 (diff) |
Barrier invariants can now refer to local variables that are uniform.
Diffstat (limited to 'Source/GPUVerify/AccessCollector.cs')
0 files changed, 0 insertions, 0 deletions